Source

mutated_ocaml / testsuite / tests / lib-threads / test7.checker

Full commit
test `grep -E '^-?[0123456789]+$' test7.result | wc -l` = `cat test7.result | wc -l`