From 2ee52222e2ef87b6ed4c6f96309d57d423591d50 Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Sat, 19 Jun 2021 14:39:34 -0400 Subject: [PATCH] Tests: Add test (#2912). --- test_regress/t/t_math_arith.v | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/test_regress/t/t_math_arith.v b/test_regress/t/t_math_arith.v index 6679ca665..f2c1d366e 100644 --- a/test_regress/t/t_math_arith.v +++ b/test_regress/t/t_math_arith.v @@ -174,6 +174,11 @@ module t (/*AUTOARG*/ if ((1 <-> 0) != 1'b0) $stop; if ((1 <-> 1) != 1'b1) $stop; + // bug2912 + // verilator lint_off WIDTH + if (2'(~1'b1) != 2'b10) $stop; + // verilator lint_on WIDTH + $write("*-* All Finished *-*\n"); $finish; end