leancheck-1.0.2: eg/test-list.txt

*** Failed! Falsifiable (after 4 tests):
[] [0,0]
*** Failed! Falsifiable (after 1 tests):
[]
*** Failed! Exception '...' (after 1 tests):
[]