Add goblint.constraint to goblint-lib-modules.py check

sim642 · sim642 · commit 73473192e6e1 · 2025-05-15T17:35:44.000+03:00
diff --git a/scripts/goblint-lib-modules.py b/scripts/goblint-lib-modules.py
@@ -8,6 +8,7 @@
 
 goblint_lib_paths = [
     src_root_path / "goblint_lib.ml",
+    src_root_path / "constraint" / "goblint_constraint.ml",
     src_root_path / "solver" / "goblint_solver.ml",
     src_root_path / "util" / "std" / "goblint_std.ml",
 ]

Original file line number	Diff line number	Diff line change
`@@ -8,6 +8,7 @@`
`8`	`8`
`9`	`9`	`goblint_lib_paths = [`
`10`	`10`	`src_root_path / "goblint_lib.ml",`
	`11`	`+ src_root_path / "constraint" / "goblint_constraint.ml",`
`11`	`12`	`src_root_path / "solver" / "goblint_solver.ml",`
`12`	`13`	`src_root_path / "util" / "std" / "goblint_std.ml",`
`13`	`14`	`]`