Merge pull request #1321 from diffblue/bump-ebmc-version

tautschnig · web-flow · commit 94a3c3dfd753 · 2025-10-14T21:09:42.000+02:00
bump EBMC version to 5.8
diff --git a/CHANGELOG b/CHANGELOG
@@ -1,3 +1,5 @@
+# EBMC 5.8
+
 # EBMC 5.7
 
 * Verilog: --initial-zero changes the default value from nondet to zero
diff --git a/src/config.inc b/src/config.inc
@@ -1 +1 @@
-EBMC_VERSION = 5.7
+EBMC_VERSION = 5.8

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+# EBMC 5.8`
	`2`	`+`
`1`	`3`	`# EBMC 5.7`
`2`	`4`
`3`	`5`	`* Verilog: --initial-zero changes the default value from nondet to zero`