From: SergeyDegtyar <sndegtyar@gmail.com>
Date: Tue, 3 Sep 2019 09:11:12 +0000 (+0300)
Subject: Uncomment sat command in memory.ys test.
X-Git-Tag: working-ls180~989^2~13^2~4
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=55fbc1a355a6139872a176318356ecdb71a35f5d;p=yosys.git

Uncomment sat command in memory.ys test.
---

diff --git a/tests/ecp5/memory.ys b/tests/ecp5/memory.ys
index c90f1991e..9cc6bb5be 100644
--- a/tests/ecp5/memory.ys
+++ b/tests/ecp5/memory.ys
@@ -7,8 +7,7 @@ memory
 opt -full
 
 miter -equiv -flatten -make_assert -make_outputs gold gate miter
-#ERROR: Called with -verify and proof did fail!
-#sat -verify -prove-asserts -seq 5 -set-init-zero -show-inputs -show-outputs miter
+sat -verify -prove-asserts -seq 5 -set-init-zero -show-inputs -show-outputs miter
 
 design -load postopt
 cd top