Chalice/refinements/test.sh


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}