From 798f54c05376ec3b4ebbe8326d0a91eec807df3d Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 14 Nov 2019 16:27:19 +0000
Subject: Add proper reports to bugs

---
 bugs/minimal_4.v | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100644 bugs/minimal_4.v

(limited to 'bugs/minimal_4.v')

diff --git a/bugs/minimal_4.v b/bugs/minimal_4.v
deleted file mode 100644
index 5cf8bbe..0000000
--- a/bugs/minimal_4.v
+++ /dev/null
@@ -1,16 +0,0 @@
-module test_module(y, w1, w2, w3, w4, w5, w6, w7, w8, w9, w10);
-output wire [1458:0] y;
-input wire [26:0] w1;
-input wire [24:0] w2;
-input wire [23:0] w3;
-input wire [1:0] w4;
-input wire [5:0] w5;
-input wire [12:0] w6;
-input wire [27:0] w7;
-input wire [16:0] w8;
-input wire [14:0] w9;
-input wire [13:0] w10;
-wire [23:0] w96;
-assign w96 = {(-(-(10'h1))), ({(6'hb), (-(25'h3)), w7, w10, (1'h0), w2, w2, (17'h1c)} ? $signed(w6) : ((22'hd) | w10))};
-assign y = {w96};
-endmodule
-- 
cgit