Criterion/samples/tests/early_exit.sh
2015-03-11 19:45:06 +01:00

2 lines
52 B
Bash
Executable file

#!/bin/sh
./simple --no-early-exit --always-succeed