diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-11-22 16:50:09 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-11-22 16:50:09 -0800 |
| commit | 8779faf7891cf1fc394204b12ad1a0e403d22c6b (patch) | |
| tree | 44026e2a7319ad9839944fab8dc05881af12d8d3 /tests | |
| parent | 6a52897aeeff3e452884512470f21fa898b9e780 (diff) | |
| download | yosys-8779faf7891cf1fc394204b12ad1a0e403d22c6b.tar.gz yosys-8779faf7891cf1fc394204b12ad1a0e403d22c6b.tar.bz2 yosys-8779faf7891cf1fc394204b12ad1a0e403d22c6b.zip | |
Cleanup spacing
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/various/submod.ys | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/tests/various/submod.ys b/tests/various/submod.ys index 54455b580..271a8edef 100644 --- a/tests/various/submod.ys +++ b/tests/various/submod.ys @@ -13,9 +13,9 @@ EOT hierarchy -top top proc design -save gold + submod flatten - design -stash gate design -import gold -as gold @@ -23,4 +23,3 @@ design -import gate -as gate miter -equiv -flatten -make_assert -make_outputs gold gate miter sat -verify -prove-asserts -show-ports miter - |