diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-11-14 16:27:19 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-11-14 16:27:19 +0000 |
commit | 798f54c05376ec3b4ebbe8326d0a91eec807df3d (patch) | |
tree | 29274e92b775d280238ea15e0b46fb545b55b559 /bugs/minimal_1.v | |
parent | 809d342084e39432615945edac7662e6f9968b7f (diff) | |
download | verismith-798f54c05376ec3b4ebbe8326d0a91eec807df3d.tar.gz verismith-798f54c05376ec3b4ebbe8326d0a91eec807df3d.zip |
Add proper reports to bugs
Diffstat (limited to 'bugs/minimal_1.v')
-rw-r--r-- | bugs/minimal_1.v | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/bugs/minimal_1.v b/bugs/minimal_1.v deleted file mode 100644 index 95957ff..0000000 --- a/bugs/minimal_1.v +++ /dev/null @@ -1,7 +0,0 @@ -// Increasing the size of the wires makes yosys hang -module div_error(y, w1, w2); - output [50:0] y; - input [50:0] w1; - input [50:0] w2; - assign y = w1 / w2; -endmodule // div_error |