diff --git a/ivtest/ivltests/br_gh756.v b/ivtest/ivltests/br_gh756.v new file mode 100644 index 000000000..42530ab67 --- /dev/null +++ b/ivtest/ivltests/br_gh756.v @@ -0,0 +1,15 @@ +module dut(input [3:0] x); + +initial begin + $display("%b", x); + if (x === 4'b1111) + $display("PASSED"); + else + $display("FAILED"); +end + +endmodule + +module test; + dut dut('1); +endmodule diff --git a/ivtest/regress-sv.list b/ivtest/regress-sv.list index a605f9843..d21ffab1b 100644 --- a/ivtest/regress-sv.list +++ b/ivtest/regress-sv.list @@ -217,6 +217,7 @@ br_gh661a normal,-g2009 ivltests br_gh661b normal,-g2009 ivltests br_gh672 normal,-g2009 ivltests br_gh699 CE,-g2009 ivltests +br_gh756 normal,-g2009 ivltests br_ml20171017 normal,-g2009 ivltests br_ml20180227 CE,-g2009 ivltests br_ml20180309a normal,-g2009 ivltests