qcheck_log

./run_test.native
[✗] (   1)    1 ;    0 ;    0 /    1 --     0.0s -- dummy_fail
[✗] (   1)    0 ;    1 ;    0 /    1 --     0.0s -- dummy_error
[✓] ( 130)    0 ;    0 ;  100 /  100 --     0.2s -- fixpoint_occur
[✓] ( 130)    0 ;    0 ;  100 /  100 --     0.2s -- fixpoint_is_proj
[✓] ( 230)    0 ;    0 ;   19 /   30 --     0.3s -- match_subst
[✓] ( 141)    0 ;    0 ;  100 /  100 --     0.2s -- subst_match
[✓] (  57)    0 ;    0 ;   10 /   10 --     0.1s -- robinson_subst
[✓] ( 141)    0 ;    0 ;  100 /  100 --     0.2s -- subst_robinson
[✓] (  10)    0 ;    0 ;   10 /   10 --     1.8s -- naive_correct_match
[✓] (  10)    0 ;    0 ;   10 /   10 --     2.0s -- naive_correct_unify
[✓] (  10)    0 ;    0 ;   10 /   10 --     1.8s -- index_correct_match
[✓] (  10)    0 ;    0 ;   10 /   10 --     1.9s -- index_correct_unify
[✓] (  10)    0 ;    0 ;   10 /   10 --     1.8s -- fingerprint_correct_match
[✓] (  10)    0 ;    0 ;   10 /   10 --     1.9s -- fingerprint_correct_unify
[✓] (  10)    0 ;    0 ;   10 /   10 --     1.9s -- index_complete_match
[✓] (  10)    0 ;    0 ;   10 /   10 --     2.1s -- index_complete_unify
[✓] (  10)    0 ;    0 ;   10 /   10 --     2.0s -- fingerprint_complete_match
[✓] (  10)    0 ;    0 ;   10 /   10 --     2.1s -- fingerprint_complete_unify

--- Failure --------------------------------------------------------------------

Test dummy_fail failed (1 shrink steps):

⟦p_1⟧

=== Error ======================================================================

Test dummy_error errored on (2 shrink steps):

m8_m8

exception Not_found
Raised at file "test/run_test.ml", line 13, characters 20-29
Called from file "src/QCheck.ml", line 846, characters 13-33