diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-06-20 12:49:10 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-06-20 12:49:10 +0200 |
| commit | 8fbb5b62400edf82f6719eda90a75730d467db83 (patch) | |
| tree | 5f11874a9ffcb1553cca9a1de0d2a2234aa01ea5 /tests/xsthammer/run-check.sh | |
| parent | 21e38bed98d3d6bc4ae5833f6f609ac8f12d6361 (diff) | |
Added timout functionality to SAT solver
Diffstat (limited to 'tests/xsthammer/run-check.sh')
| -rw-r--r-- | tests/xsthammer/run-check.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/xsthammer/run-check.sh b/tests/xsthammer/run-check.sh index 994f4d92..3dd63b59 100644 --- a/tests/xsthammer/run-check.sh +++ b/tests/xsthammer/run-check.sh @@ -51,8 +51,8 @@ done { echo "read_ilang ${job}_top_nomap.il" echo "read_ilang ${job}_top_techmap.il" - echo "sat -verify -show a,b,y_rtl,y_xst -prove y_rtl y_xst ${job}_top_nomap" - echo "sat -verify -show a,b,y_rtl,y_xst -prove y_rtl y_xst ${job}_top_techmap" + echo "sat -timeout 60 -verify-no-timeout -show a,b,y_rtl,y_xst -prove y_rtl y_xst ${job}_top_nomap" + echo "sat -timeout 60 -verify-no-timeout -show a,b,y_rtl,y_xst -prove y_rtl y_xst ${job}_top_techmap" if [[ $job != expression_* ]]; then echo "eval -brute_force_equiv_checker ${job}_rtl_nomap ${job}_xst_nomap" echo "eval -brute_force_equiv_checker ${job}_rtl_techmap ${job}_xst_techmap" |