diff --git a/src/triq_tests.erl b/src/triq_tests.erl
index 6b8d2b9..d88ecf2 100644
--- a/src/triq_tests.erl
+++ b/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)).