Skip to content

Commit 93953da

Browse files
committed
bump CBMC dependency
The bump of the CBMC dependency fixes $onehot0.
1 parent 35fdabf commit 93953da

File tree

3 files changed

+7
-6
lines changed

3 files changed

+7
-6
lines changed

regression/verilog/SVA/system_verilog_assertion3.desc

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
1-
CORE broken-smt-backend
1+
CORE
22
system_verilog_assertion3.sv
3-
--module main --bound 1
3+
--module main --bound 0
44
^EXIT=0$
55
^SIGNAL=0$
66
--

regression/verilog/SVA/system_verilog_assertion3.sv

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,9 @@ module main();
33
assert final ($onehot('b0001000));
44
assert final (!$onehot('b0101000));
55
assert final (!$onehot('b00000));
6-
assert final ($onehot0('b00000));
7-
assert final ($onehot0('b000100));
8-
assert final (!$onehot0('b010100));
6+
assert final (!$onehot0(6'b00000));
7+
assert final (!$onehot0(6'b000100));
8+
assert final (!$onehot0(6'b010100));
9+
assert final ($onehot0(6'b111101));
910

1011
endmodule

0 commit comments

Comments
 (0)