Use D.bot ()for startcontext. Closes #1474

goblint · May 22, 2024 · a0309d1 · a0309d1
1 parent 8f62145
commit a0309d1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/framework/analyses.ml b/src/framework/analyses.ml
@@ -427,7 +427,7 @@ end
 
 module ValueContexts (D:Lattice.S) = struct
   module C = D
-  let startcontext () = D.top ()
+  let startcontext () = D.bot ()
 end
 
 module type SpecSys =