Permalink
Browse files

Test that feeding results from counterexample/1 to check/2 works.

* triq_tests.erl (counterexample_test): New test.
  • Loading branch information...
1 parent 0e625c2 commit 84ea2a0395f30e1bbd0a3493e89f71c011b1237b @legoscia legoscia committed Jun 11, 2010
Showing with 4 additions and 0 deletions.
  1. +4 −0 src/triq_tests.erl
View
4 src/triq_tests.erl
@@ -203,3 +203,7 @@ recheck_test_() ->
Bad = [[1,1], 1],
[?_assertEqual(true, triq:check(xprop_delete(), Good)),
?_assertEqual(false, triq:check(xprop_delete(), Bad))].
+
+counterexample_test() ->
+ Counterexample = triq:counterexample(xprop_delete()),
+ ?assertEqual(false, triq:check(xprop_delete(), Counterexample)).

0 comments on commit 84ea2a0

Please sign in to comment.