diff options
author | Clifford Wolf <clifford@clifford.at> | 2013-07-04 21:26:49 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2013-07-04 21:26:49 +0200 |
commit | cd33db25d174727b4c2ccb0d6b455238a81a32e3 (patch) | |
tree | e72c7d668acdccabc266a562b26d07b9ce0759cb /tests/xsthammer/run-check.sh | |
parent | 14c84c111badf52d7830d4473e27534d076550f7 (diff) |
Improved xsthammer quartus support
Diffstat (limited to 'tests/xsthammer/run-check.sh')
-rw-r--r-- | tests/xsthammer/run-check.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/xsthammer/run-check.sh b/tests/xsthammer/run-check.sh index 99daa137..37750d21 100644 --- a/tests/xsthammer/run-check.sh +++ b/tests/xsthammer/run-check.sh @@ -81,7 +81,7 @@ done echo "read_ilang ${job}_top_techmap.il" echo "sat -timeout 60 -verify-no-timeout -show a,b,y_rtl,y_syn -prove y_rtl y_syn ${job}_top_nomap" echo "sat -timeout 60 -verify-no-timeout -show a,b,y_rtl,y_syn -prove y_rtl y_syn ${job}_top_techmap" - if [[ $job != expression_* ]]; then + if [[ $job != expression_* ]] && ! $use_quartus && ! $use_vivado; then echo "eval -brute_force_equiv_checker ${job}_rtl_nomap ${job}_syn_nomap" echo "eval -brute_force_equiv_checker ${job}_rtl_techmap ${job}_syn_techmap" fi |