Skip to content

Commit 14a6c41

Browse files
committed
A meta-meta-test for the assert_test_feedback/2 meta test predicate. Closes #20
1 parent 0fa83f8 commit 14a6c41

1 file changed

Lines changed: 11 additions & 1 deletion

File tree

tests/test_pa.pl

Lines changed: 11 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -249,12 +249,22 @@
249249
assert_test_fails(assert_test_fails(assert_true(true))),
250250
!.
251251

252-
test(pa_eror_msg) :-
252+
test(pa_error_msg) :-
253253
assert_test_message(assert_true(1=2), 'Asserted true but got false for: 1=2'),
254254
assert_test_fails(
255255
assert_test_message(assert_true(true), 'Anything')
256256
),
257257
!.
258258

259+
test(pa_this_is_getting_silly_now) :-
260+
assert_test_message(
261+
assert_test_message(
262+
assert_true(false),
263+
'my hovercraft is full of eels'
264+
),
265+
'Expected message not found'
266+
),
267+
!.
268+
259269

260270
:- end_tests(meta_tests).

0 commit comments

Comments
 (0)