Move CfgTools to goblint_common

goblint · Dec 6, 2023 · 3dd3551 · 3dd3551
1 parent dbec9e8
commit 3dd3551
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 0 deletions.
diff --git a/src/common/common.mld b/src/common/common.mld
@@ -10,6 +10,7 @@ For better context, see {!Goblint_lib} which also documents these modules.
 Node
 Edge
 MyCFG
+CfgTools
 }
 
 {2 Specification}

diff --git a/src/framework/cfgTools.ml → src/common/framework/cfgTools.ml b/src/framework/cfgTools.ml → src/common/framework/cfgTools.ml
-Original file line number
+Diff line change
@@ Expand Up @@
     Node
     Edge
     MyCFG
+    CfgTools
     }
     {2 Specification}
@@ Expand Down @@