Project

General

Profile

« Previous | Next » 

Revision f1da5111

Added by Pierre-Loïc Garoche almost 9 years ago

Updated version of test script: timeout for z3

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