diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-28 10:12:48 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-28 10:12:48 -0700 |
| commit | dc677c791de438a493ad5e0101987da29c6a6d0f (patch) | |
| tree | cc066adc0cefdd7cb187680e4ca81b790535fd81 /tests/various/specify.ys | |
| parent | af744097496702926f4fbff5d6eb889ad82fa6cf (diff) | |
| download | yosys-dc677c791de438a493ad5e0101987da29c6a6d0f.tar.gz yosys-dc677c791de438a493ad5e0101987da29c6a6d0f.tar.bz2 yosys-dc677c791de438a493ad5e0101987da29c6a6d0f.zip | |
Add test from #1144, and try reading without '-specify' flag
Diffstat (limited to 'tests/various/specify.ys')
| -rw-r--r-- | tests/various/specify.ys | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/various/specify.ys b/tests/various/specify.ys index a5ca07219..a2b6038e4 100644 --- a/tests/various/specify.ys +++ b/tests/various/specify.ys @@ -54,3 +54,5 @@ equiv_struct equiv_induct -seq 5 equiv_status -assert design -reset + +read_verilog specify.v |