#!/bin/sh

env ABAC_CN=1 ./run_query 1 > query.tmp 2>& 1

result=`diff -I "Restoring file" -I "YAP 6.3" query.tmp query.save 2>/dev/null`
if [ $? -eq 0 ]; then
    if [ "$result" = "" ]; then
       echo "   PASSED"
    else
       echo "   ERROR:acme_rockets_rt0 acme_rockets_rt0 creddy_prover result differs!!!"
    fi
else
    echo "   ERROR:acme_rockets_rt0 creddy_prover test result differs!!!"
fi