Permalink
Browse files

Add the pqueue4 data structure.

  • Loading branch information...
1 parent 8a6cd29 commit 0674e11b374302cbcf61bc4df6fc005cc4567bbe @okeuday committed Nov 24, 2011
Showing with 7,889 additions and 1 deletion.
  1. +7,885 −0 src/pqueue4.erl
  2. +4 −1 src/pqueue_proper.erl
View
Oops, something went wrong.
@@ -4,7 +4,7 @@
-behaviour(proper_statem).
--export([qc_pq/0, qc_pq2/0, qc_pq3/0, correct/1]).
+-export([qc_pq/0, qc_pq2/0, qc_pq3/0, qc_pq4/0, correct/1]).
-export([command/1, initial_state/0, next_state/3, postcondition/3,
precondition/2]).
@@ -97,6 +97,9 @@ qc_pq2() ->
qc_pq3() ->
proper:quickcheck(pqueue_proper:correct(pqueue3), qc_opts()).
+qc_pq4() ->
+ proper:quickcheck(pqueue_proper:correct(pqueue4), qc_opts()).
+
%% ----------------------------------------------------------------------
%% A listq is a sorted list of priorities

0 comments on commit 0674e11

Please sign in to comment.