Commit 3aea9492 authored by Martin Spiessl's avatar Martin Spiessl

Improve information in the tool output

parent 9054b48a
......@@ -2,7 +2,7 @@
set -e
count=0
name=""
VERSION="0.1.5"
VERSION="0.1.6"
if [ "$1" == "--version" ]
then
......@@ -78,7 +78,8 @@ TRANSFORMERCMD="CPAchecker/scripts/cpa.sh -witness2reach -spec $witness $name -s
ARCHITECTUREWARNING="Cannot parse witness: The architecture assumed for the given verification-task differs from the architecture assumed by the witness."
# temporary workaround for the architecture (it is irrelevant for the transformation step, but CPAchecker still complains if it does not match).
if eval $TRANSFORMERCMD 2>&1 1>/dev/null |grep -q "$ARCHITECTUREWARNING" ; then
if eval $TRANSFORMERCMD 2>&1 1>/dev/null | tee /dev/stderr | grep -q "$ARCHITECTUREWARNING" ; then
echo "architecture mismatch detected. This is irrelevant for program transformation, retrying with 64 bit:"
$TRANSFORMERCMD -64 1>/dev/null
fi
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment