blob: a9ac7b82230efd0623226ea47aaef47849205224 (
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
|
#!/usr/bin/bash
TESTS="
LoopSqRoot.chalice
RecSqRoot.chalice
SpecStmt.chalice
SumCubes.chalice
TestTransform.chalice
TestRefines.chalice
RecFiniteDiff.chalice
"
if [ -f Output ]
then
rm -f Output
fi
for f in $TESTS
do
echo "Processing $f" | tee -a Output
scala -cp ../bin chalice.Chalice -nologo $f >> Output 2>&1
done
if diff Output Answer
then
echo Success
else
echo Failure
fi
|
