1 2 3 4 5 6
#!/bin/bash # Tests the execution of the binaries produced by CompCert source do_test.sh do_test check $1