goblint · sim642 · Aug 10, 2022 · Aug 8, 2022 · Aug 9, 2022
diff --git a/gobview b/gobview
diff --git a/src/apronPrecCompare.ml b/src/apronPrecCompare.ml
@@ -1,3 +1,4 @@
+open Goblint_lib
 (* Utility program to compare precision of results of the apron analysis with different privatizations and/or differents apron domains *)
 (* The result files that can be compared here may be created by passing an output file name in "exp.apron.prec-dump" to Goblint *)
 module B = PrecCompare.MakeDump (ApronPrecCompareUtil)

diff --git a/src/dune b/src/dune
@@ -6,7 +6,6 @@
 (library
   (name goblint_lib)
   (public_name goblint.lib)
-  (wrapped false)
   (modules :standard \ goblint mainspec privPrecCompare apronPrecCompare messagesCompare)
   (libraries goblint.sites goblint-cil.all-features batteries.unthreaded qcheck-core.runner sha json-data-encoding jsonrpc cpu arg-complete fpath yaml yaml.unix uuidm
     ; Conditionally compile based on whether apron optional dependency is installed or not.

diff --git a/src/goblint.ml b/src/goblint.ml
@@ -1,3 +1,4 @@
+open Goblint_lib
 open GobConfig
 open Goblintutil
 open Maingoblint

diff --git a/src/mainspec.ml b/src/mainspec.ml
@@ -1,3 +1,4 @@
+open Goblint_lib
 open Prelude (* otherwise open_in would return wrong type for SpecUtil *)
 open SpecUtil
 

diff --git a/src/messagesCompare.ml b/src/messagesCompare.ml
@@ -1,3 +1,4 @@
+open Goblint_lib
 module MS = Set.Make (Messages.Message)
 
 let colors = ref true

diff --git a/src/privPrecCompare.ml b/src/privPrecCompare.ml
@@ -1,3 +1,4 @@
+open Goblint_lib
 (* Utility program to compare precision of results of the base analysis with different privatizations *)
 (* The result files that can be compared here may be created by passing an output file name in "exp.priv-prec-dump" to Goblint *)
 module A = PrecCompare.MakeDump (PrivPrecCompareUtil)

diff --git a/unittest/analyses/libraryDslTest.ml b/unittest/analyses/libraryDslTest.ml
@@ -1,3 +1,4 @@
+open Goblint_lib
 open OUnit2
 open GoblintCil
 

diff --git a/unittest/cdomains/floatDomainTest.ml b/unittest/cdomains/floatDomainTest.ml
diff --git a/unittest/cdomains/intDomainTest.ml b/unittest/cdomains/intDomainTest.ml
@@ -1,3 +1,4 @@
+open Goblint_lib
 open OUnit2
 open GoblintCil
 open Z

diff --git a/unittest/cdomains/lvalTest.ml b/unittest/cdomains/lvalTest.ml
@@ -1,3 +1,4 @@
+open Goblint_lib
 open OUnit2
 open GoblintCil
 

diff --git a/unittest/domains/mapDomainTest.ml b/unittest/domains/mapDomainTest.ml
@@ -1,3 +1,4 @@
+open Goblint_lib
 open OUnit2
 
 module Pretty = GoblintCil.Pretty

diff --git a/unittest/maindomaintest.ml b/unittest/maindomaintest.ml
@@ -1,3 +1,4 @@
+open Goblint_lib
 (* open! Defaults (* Enums / ... need initialized conf *) *)
 open GoblintCil
 

diff --git a/unittest/solver/solverTest.ml b/unittest/solver/solverTest.ml
@@ -1,3 +1,4 @@
+open Goblint_lib
 open OUnit2
 open GoblintCil
 open Pretty

diff --git a/unittest/util/compilationDatabaseTest.ml b/unittest/util/compilationDatabaseTest.ml
@@ -1,3 +1,4 @@
+open Goblint_lib
 open OUnit2
 
 let command_object_from_string s =
+1 −0		src/App.re
+1 −0		src/state/gvGoblint.ml
+1 −1		src/state/gvMessages.ml
+1 −0		src/state/search.ml