aboutsummaryrefslogtreecommitdiffstats
path: root/bugs/minimal_8.v
diff options
context:
space:
mode:
authorYann Herklotz Grave <git@yannherklotzgrave.com>2019-03-16 10:43:06 +0000
committerYann Herklotz Grave <git@yannherklotzgrave.com>2019-03-16 10:43:06 +0000
commit858615d4e4cb6cfda09425f9f05e3eb0769b1661 (patch)
tree193fb668863b06609009103cc9be7a4123365db1 /bugs/minimal_8.v
parent5882e8d39792d24625dd8d6ebfbdc0a38a0f839d (diff)
downloadverismith-858615d4e4cb6cfda09425f9f05e3eb0769b1661.tar.gz
verismith-858615d4e4cb6cfda09425f9f05e3eb0769b1661.zip
Move the analysed bugs to better file names
Diffstat (limited to 'bugs/minimal_8.v')
-rw-r--r--bugs/minimal_8.v16
1 files changed, 0 insertions, 16 deletions
diff --git a/bugs/minimal_8.v b/bugs/minimal_8.v
deleted file mode 100644
index cad34a1..0000000
--- a/bugs/minimal_8.v
+++ /dev/null
@@ -1,16 +0,0 @@
-module test_module(y, w1, w2, w3, w4, w5, w6, w7, w8, w9, w10);
-output wire [1472:0] y;
-input wire [23:0] w1;
-input wire [20:0] w2;
-input wire [1:0] w3;
-input wire [29:0] w4;
-input wire [23:0] w5;
-input wire [22:0] w6;
-input wire [20:0] w7;
-input wire [26:0] w8;
-input wire [3:0] w9;
-input wire [8:0] w10;
-wire [26:0] w99;
-assign w99 = (&((30'h19) ? w8 : (30'h5)));
-assign y = {w99};
-endmodule