blob: 5cc68b34b248ce06042c2c0cc268e4699bad96df (
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
|
#!/bin/bash
cd "$(dirname $0)"
EXECUTABLE="$PWD/../simulator"
echo $PWD
for src in invalid-hence/*.hence ; do
outfile="$(mktemp)"
"$EXECUTABLE" "$src" 2> "$outfile"
if diff "$src.expected" "$outfile" ; then
echo -ne '[\e[0;32mPASS\e[0m]'
rm "$outfile"
else
echo -ne '[\e[1;31mFAIL\e[0m]'
fi
echo " $src"
done
#for src in valid-hence/*.hence ; do
# outfile="$(mktemp)"
# "$EXECUTABLE" "$src" > "$outfile"
# if diff "$src.expected" "$outfile" >/dev/null ; then
# echo "$src: PASS"
# else
# echo "$src: FAIL"
# fi
#done
|
