]> matita.cs.unibo.it Git - fireball-separation.git/blob - ocaml/run
Run tests with: make run
[fireball-separation.git] / ocaml / run
1 #!/usr/bin/env bash
2
3 file=`mktemp`
4
5 echo
6 echo "Running test. Log file: $file."
7 echo
8
9 trap 'echo' SIGINT
10
11 if ( ./test4.out 2>&1 | tee $file | stdbuf -o0 grep -Po '(?<=measure=)[^ ]*' | stdbuf -o0 tr '\n' ' ')
12 then {
13  rm $file
14  echo
15  echo 'Test succeeded'
16 }
17 else {
18  echo ''
19  echo 'Test failed or interrupted'
20  echo "Please have a look at log file: $file ."
21 }
22 fi