Tests: Add test (#2912).
This commit is contained in:
parent
c11cd18491
commit
2ee52222e2
|
|
@ -174,6 +174,11 @@ module t (/*AUTOARG*/
|
||||||
if ((1 <-> 0) != 1'b0) $stop;
|
if ((1 <-> 0) != 1'b0) $stop;
|
||||||
if ((1 <-> 1) != 1'b1) $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");
|
$write("*-* All Finished *-*\n");
|
||||||
$finish;
|
$finish;
|
||||||
end
|
end
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue