let force_compute () =
try
let kf, library = Globals.entry_point () in
ignore (compute_entry_point kf ~library);
Db.Properties.synchronize_alarms ();
Db.Value.mark_as_computed ();
!Db.Scope.rm_asserts ()
with
| Db.Value.Aborted ->
Db.Value.mark_as_computed ();
Value_parameters.abort
"Degeneration occured:@\nresults are not correct for lines of code that can be reached from the degeneration point."
| Globals.No_such_entry_point _ as exn -> raise exn
| exn -> Db.Value.mark_as_computed (); raise exn