Fail when interactive & narrowing on globals are active.

Author: michael-schwarz

src/maingoblint.ml

@@ -168,8 +168,7 @@ let check_arguments () =
   if get_bool "solvers.td3.space" && get_string "solvers.td3.side_widen" = "sides-local" then fail "solvers.td3.space is incompatible with solvers.td3.side_widen = 'sides-local'";
   if get_bool "solvers.td3.space" && get_bool "solvers.td3.narrow-globs.enabled" then fail "solvers.td3.space is incompatible with solvers.td3.narrow-globs.enabled";
   if (get_bool "incremental.load" || get_bool "incremental.save") && get_bool "solvers.td3.narrow-globs.enabled" then (
-    set_bool "solvers.td3.narrow-globs.enabled" false;
-    warn "solvers.td3.narrow-globs.enabled implicitly disabled by incremental analysis";
+    fail "solvers.td3.space is incompatible with incremental analsyis.";
   );
   if List.mem "termination" @@ get_string_list "ana.activated" then (
     if GobConfig.get_bool "incremental.load" || GobConfig.get_bool "incremental.save" then fail "termination analysis is not compatible with incremental analysis";