Merge pull request #8644 from tautschnig/goto-checker-dep

kroening · web-flow · commit fc412c7ceda0 · 2025-05-28T05:48:03.000-07:00
goto-checker no longer depends on cbmc
diff --git a/src/goto-checker/module_dependencies.txt b/src/goto-checker/module_dependencies.txt
@@ -1,5 +1,4 @@
 assembler
-cbmc # symex_bmc will be moved next
 goto-checker
 goto-instrument
 goto-programs

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,4 @@`
`1`	`1`	`assembler`
`2`		`-cbmc # symex_bmc will be moved next`
`3`	`2`	`goto-checker`
`4`	`3`	`goto-instrument`
`5`	`4`	`goto-programs`