From: Eddie Hung <eddie@fpgeh.com>
Date: Tue, 7 Jan 2020 19:44:03 +0000 (-0800)
Subject: tests/aiger: write Yosys output
X-Git-Tag: working-ls180~849^2~46
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9c5ceb5b4f7aea169c8d9ffd2411c6f4eb3e49d5;p=yosys.git

tests/aiger: write Yosys output
---

diff --git a/tests/aiger/run-test.sh b/tests/aiger/run-test.sh
index deaf48a3d..8e932b091 100755
--- a/tests/aiger/run-test.sh
+++ b/tests/aiger/run-test.sh
@@ -33,7 +33,7 @@ design -import gold -as gold
 design -import gate -as gate
 miter -equiv -flatten -make_assert -make_outputs gold gate miter
 sat -verify -prove-asserts -show-ports -seq 16 miter
-"
+" -l ${aag}.log
 done
 
 for aig in *.aig; do
@@ -50,5 +50,5 @@ design -import gold -as gold
 design -import gate -as gate
 miter -equiv -flatten -make_assert -make_outputs gold gate miter
 sat -verify -prove-asserts -show-ports -seq 16 miter
-"
+" -l ${aig}.log
 done