DEADSOFTWARE

Переделано присваивание строк и добавлены процедуры COPY, ASSERT и HALT
[dsw-obn.git] / obn-run-tests.sh
1 #!/bin/sh
3 set -e
5 maketest()
6 {
7 local OK=1
8 if ! ./obn-compile.sh $1; then
9 OK=0; echo "Test fail: $1 compile-time $?"
10 fi
11 if ! ./obn-run.sh $1; then
12 OK=0; echo "Test fail: $1 run-time $?"
13 fi
14 if [ $OK ]; then
15 echo "Test ok: $1"
16 fi
17 }
19 compile_false_positive()
20 {
21 if ./obn-compile.sh $1; then
22 echo "Test fail: $1 compile-time $?"
23 else
24 echo "Test ok: $1"
25 fi
26 }
28 ./make.sh jvm
30 maketest Test1
31 maketest Test2
32 maketest Test3
33 maketest Test4
34 maketest Test5
35 maketest Test6