Merge pull request #1020 from diffblue/bump-cbmc

kroening · web-flow · commit 80391aa96bbb · 2025-03-11T09:27:25.000-07:00
bump CBMC dependency
diff --git a/lib/cbmc b/lib/cbmc
@@ -1 +1 @@
-Subproject commit f55f63666bbf06e2a59a57a984f3cb977187a796
+Subproject commit 9bade97ef304c98e66674c208f72d4532490645d
diff --git a/regression/verilog/expressions/constants2.sv b/regression/verilog/expressions/constants2.sv
@@ -23,8 +23,8 @@ module main;
   parameter p19 = 1&1;
   parameter p20 = 1|1;
   parameter p21 = 1^1;
-//  parameter p22 = 1^~1;
-//  parameter p23 = 1~^1;
+  parameter p22 = 1^~1;
+  parameter p23 = 1~^1;
   parameter p24 = 1>>1;
   parameter p25 = 1<<1;
   parameter p26 = 1>>>1;
