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