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~880^2~2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7c878bf39741ca8889425932063918d837b8ac9b;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