Revision aea225b9
Added by Pierre-Loïc Garoche over 10 years ago
| 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
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