#!/bin/bash

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

cat bench/qs2/bool.out |
grep " = "  |
sed -e "s/^...\. //" |
sed -e "y/xyz/pqr/;s/=/==/" |
sort > $qs2

cat test/model/bool |
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
#dwdiff -c $qs2 $speculate

rm -r $tempdir