3 lines
100 B
Bash
Executable file
3 lines
100 B
Bash
Executable file
#!/bin/sh
|
|
./simple.c.bin --always-succeed
|
|
CRITERION_NO_EARLY_EXIT=0 ./simple.c.bin --always-succeed
|