Sign in
foss-fpga-tools
/
third_party
/
Surelog
/
1c596881d1a7fc4baa7972b1f16b2e3d461aa200
/
.
/
src
/
Testcases
/
Google
/
chapter-16
/
16.2--assume0.sv
blob: 11840018a6c969b72c02b7b63ef87e19176f31ec [
file
] [
log
] [
blame
]
/*
:name: assume0_test
:description: assume #0 test
:should_fail: 0
:tags: 16.4
*/
module
top
(
input a
);
logic a
;
assume
#0 (a != 0);
endmodule
