From 21e38bed98d3d6bc4ae5833f6f609ac8f12d6361 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Wed, 19 Jun 2013 09:30:37 +0200 Subject: Added "eval" pass --- tests/xsthammer/run-check.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'tests') diff --git a/tests/xsthammer/run-check.sh b/tests/xsthammer/run-check.sh index ee995c90..994f4d92 100644 --- a/tests/xsthammer/run-check.sh +++ b/tests/xsthammer/run-check.sh @@ -54,8 +54,8 @@ done 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" if [[ $job != expression_* ]]; then - echo "sat -brute_force_equiv_checker ${job}_rtl_nomap ${job}_xst_nomap" - echo "sat -brute_force_equiv_checker ${job}_rtl_techmap ${job}_xst_techmap" + echo "eval -brute_force_equiv_checker ${job}_rtl_nomap ${job}_xst_nomap" + echo "eval -brute_force_equiv_checker ${job}_rtl_techmap ${job}_xst_techmap" fi } > ${job}_cmp.ys -- cgit v1.2.3