diff options
| author | whitequark <whitequark@whitequark.org> | 2021-02-23 21:46:16 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-23 21:46:16 +0000 |
| commit | ad2960adb7ae66d524e4ac5f8f5c16cbca3730e2 (patch) | |
| tree | 7da8cbbf621850924cee90e94d8ad95597f2fa5c /tests/various/const_func.ys | |
| parent | 4b31223e60f8854d50c1d1bbddca528fbf37d261 (diff) | |
| parent | b6af90fe20bc92631061c48c328f3c6e4760e4df (diff) | |
| download | yosys-ad2960adb7ae66d524e4ac5f8f5c16cbca3730e2.tar.gz yosys-ad2960adb7ae66d524e4ac5f8f5c16cbca3730e2.tar.bz2 yosys-ad2960adb7ae66d524e4ac5f8f5c16cbca3730e2.zip | |
Merge pull request #2594 from zachjs/func-arg-width
verilog: fix sizing of constant args for tasks/functions
Diffstat (limited to 'tests/various/const_func.ys')
| -rw-r--r-- | tests/various/const_func.ys | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/tests/various/const_func.ys b/tests/various/const_func.ys index 5e3c04105..2f60acfe6 100644 --- a/tests/various/const_func.ys +++ b/tests/various/const_func.ys @@ -1 +1,7 @@ -read_verilog const_func.v +read_verilog -sv const_func.sv +hierarchy +proc +flatten +opt -full +select -module top +sat -verify -seq 1 -tempinduct -prove-asserts -show-all |