blob: 80b42258352b6a71a0745a9dfd652a4bfe974e68 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
#!/usr/bin/bash
# Regression tests for refinement extension
# Author: Kuat Yessenov
TESTS="
LoopSqRoot.chalice
RecSqRoot.chalice
SpecStmt.chalice
SumCubes.chalice
TestTransform.chalice
TestRefines.chalice
RecFiniteDiff.chalice
LoopFiniteDiff.chalice
Pick.chalice
TestCoupling.chalice
Calculator.chalice
"
# Switch to test directory
CURRENT=`pwd`
cd `dirname $0`
# Remove stale output file
if [ -f Output ]
then
rm -f Output
fi
# Process tests
START=`date +%s`
for f in ${TESTS}
do
echo "Processing $f" | tee -a Output
scala -cp ../bin chalice.Chalice -nologo -noTermination $f >> Output 2>&1
done
END=`date +%s`
echo "Time: $(( $END - $START )) seconds"
# Compare with answer
if diff Output Answer
then
rm Output
rm out.bpl
echo Success
else
echo Failure
fi
# Switch back to current directory
cd ${CURRENT}
|