leancheck-0.7.0: tests/diff/eg/test-list.out
*** Failed! Falsifiable (after 4 tests): [] [0,0] *** Failed! Falsifiable (after 1 tests): [] *** Failed! Exception 'Prelude.head: empty list' (after 1 tests): []
*** Failed! Falsifiable (after 4 tests): [] [0,0] *** Failed! Falsifiable (after 1 tests): [] *** Failed! Exception 'Prelude.head: empty list' (after 1 tests): []