diff options
| author | SergeyDegtyar <sndegtyar@gmail.com> | 2019-09-03 12:11:12 +0300 |
|---|---|---|
| committer | SergeyDegtyar <sndegtyar@gmail.com> | 2019-09-03 12:11:12 +0300 |
| commit | 55fbc1a355a6139872a176318356ecdb71a35f5d (patch) | |
| tree | 8ca8b8fe41876ac5ce9ea10247ab0668a0f450c6 | |
| parent | 11f330ed223f524cbbdbe2433599990a69b8f380 (diff) | |
| download | yosys-55fbc1a355a6139872a176318356ecdb71a35f5d.tar.gz yosys-55fbc1a355a6139872a176318356ecdb71a35f5d.tar.bz2 yosys-55fbc1a355a6139872a176318356ecdb71a35f5d.zip | |
Uncomment sat command in memory.ys test.
| -rw-r--r-- | tests/ecp5/memory.ys | 3 |
1 files changed, 1 insertions, 2 deletions
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 |