Adding some specific tests that were breaking merge

basho · May 14, 2010 · 710dd7b · 710dd7b
1 parent 19f22f1
commit 710dd7b
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/test/bitcask_qc.erl b/test/bitcask_qc.erl
@@ -91,13 +91,25 @@ prop_merge_test_() ->
                           P = ?QC_OUT(prop_merge()),
                           case catch(eqc:current_counterexample()) of
                               CE when is_list(CE) ->
+                                  ?debugFmt("Using counter example: ~p\n", [CE]),
                                   ?assert(eqc:check(P, CE));
                               _ ->
                                   ?assert(eqc:quickcheck(P))
 
                           end
                   end}.
 
+merge1_test() ->
+    ?assert(eqc:check(?QC_OUT(prop_merge()),
+                      [{[{put,<<0>>,<<>>},{delete,<<0>>,<<>>}],1,1}])).
+
+merge2_test() ->
+    ?assert(eqc:check(?QC_OUT(prop_merge()),
+                      [{[{put,<<1>>,<<>>},{delete,<<0>>,<<>>}],1,1}])).
+
+merge3_test() ->
+    ?assert(eqc:check(?QC_OUT(prop_merge()),
+                      [{[{put,<<0>>,<<>>},{delete,<<0>>,<<>>},{delete,<<1>>,<<>>}],1,1}])).
 
 -endif.