Module Biabduction.BiabductionConfig

Global variables

val footprint : bool IStdlib.IStd.ref
val run_in_footprint_mode : ('a -> 'b) -> 'a -> 'b

Call f x with footprint set to true. Restore the initial value of footprint also in case of exception.

val run_in_re_execution_mode : ('a -> 'b) -> 'a -> 'b

Call f x with footprint set to false. Restore the initial value of footprint also in case of exception.

Global variables with initial values specified by command-line options

val abs_val : int IStdlib.IStd.ref
val run_with_abs_val_equal_zero : ('a -> 'b) -> 'a -> 'b

Call f x with abs_val set to zero. Restore the initial value also in case of exception.

val allow_leak : bool IStdlib.IStd.ref