Add convenience funtions for running vclock eqc from console

basho · Dec 4, 2013 · 97d3877 · 97d3877
1 parent 1933464
commit 97d3877
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/test/vclock_qc.erl b/test/vclock_qc.erl
@@ -13,10 +13,18 @@
 
 -record(state, {vclocks = []}).
 
+-define(TEST_TIME, 20).
+
 eqc_test_() ->
     {timeout,
      60,
-     ?_assert(quickcheck(eqc:testing_time(20, more_commands(10,?QC_OUT(prop_vclock())))))}.
+     ?_assert(quickcheck(eqc:testing_time(?TEST_TIME, more_commands(10,?QC_OUT(prop_vclock())))))}.
+
+test() ->
+    quickcheck(eqc:testing_time(?TEST_TIME, more_commands(10, prop_vclock()))).
+
+test(Time) ->
+    quickcheck(eqc:testing_time(Time, more_commands(10, prop_vclock()))).
 
 
 %% Initialize the state