diff options
author | Eddie Hung <eddie@fpgeh.com> | 2019-08-22 16:57:59 -0700 |
---|---|---|
committer | Eddie Hung <eddie@fpgeh.com> | 2019-08-22 16:57:59 -0700 |
commit | fe1b2337fd7950e1d563be5b8ccbaa81688261e4 (patch) | |
tree | 55f287bb3ae90dcbdd630455bd5e0269dc247070 /tests/various | |
parent | c50d68653d093a8daa47f589836e6178be82b54f (diff) | |
download | yosys-fe1b2337fd7950e1d563be5b8ccbaa81688261e4.tar.gz yosys-fe1b2337fd7950e1d563be5b8ccbaa81688261e4.tar.bz2 yosys-fe1b2337fd7950e1d563be5b8ccbaa81688261e4.zip |
Do not propagate mem2reg attribute through to result
Diffstat (limited to 'tests/various')
-rw-r--r-- | tests/various/mem2reg.ys | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/various/mem2reg.ys b/tests/various/mem2reg.ys index 00389c700..85d6267c5 100644 --- a/tests/various/mem2reg.ys +++ b/tests/various/mem2reg.ys @@ -11,3 +11,4 @@ proc cd top select -assert-count 1 m:data1 a:src=<<EOT:4 %i select -assert-count 2 w:data2[*] a:src=<<EOT:5 %i +select -assert-none a:mem2reg |