Project

General

Profile

« Previous | Next » 

Revision aea225b9

Added by Pierre-Loïc Garoche over 10 years ago

Updated version of test script: timeout for z3

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/horn_encoding@155 041b043f-8d7c-46b2-b46e-ef0dd855326e

View differences:

test/test-compile.sh
21 21 
      rlustrec="VALID"
22 22 
    fi
23 23 
    echo z3 `basename $file .lus`.smt2 | grep unsat
24 
    z3 `basename $file .lus`.smt2 | grep unsat > /dev/null
24 
    z3 -T:10 `basename $file .lus`.smt2 | grep unsat > /dev/null
25 25 
    if [ $? -ne 0 ]; then
26 26 
      rz3="INVALID";
27 27 
    else

Also available in: Unified diff