da13a65b4dd5b8f39e4294220dcb57a9257d4a01
8 if ! .
/obn
-compile.sh
$1; then
9 OK
=0; echo "Test fail: $1 compile-time $?"
12 if ! .
/obn
-run.sh
$1; then
13 OK
=0; echo "Test fail: $1 run-time $?"
21 compile_false_positive
()
23 if .
/obn
-compile.sh
$1; then
24 echo "Test fail: $1 compile-time $?"