speculate-0.4.1: bin/compare-arith

#!/bin/bash

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

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

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

diff -rud $qs2 $speculate

rm -r $tempdir