#!/bin/bash

tempdir=`mktemp -d /tmp/speculate-XXXXXXXXXX`
speculate=$tempdir/speculate.out
qs1=$tempdir/quickspec2.out
qs2=$tempdir/quickspec2.out

cat bench/qs1/arithficial.out |
grep " == " |
sed -e 's/.*: //;s/+/ + /g' |
sort > $qs1

cat bench/qs2/arithficial.out |
grep " = " |
sed -e "s/^...\. //" |
sed -e "y/ijk/xyz/;s/=/==/" |
sed -e "s/xd/id/" |
sort > $qs2

cat test/model/arithficial |
grep " == " |
sed -e "s/ *//" |
sed -e 's/\([^a-z]\) (\([a-z]* .\))/\1 \2/g' |
sed -e 's/^(\([a-z ]*\))/\1/' |
sort > $speculate

diff -rud $qs1 $qs2
diff -rud $qs2 $speculate

rm -r $tempdir