module Options: sig
.. end
Module which contains the options given as parameter to the program
val verbose : bool Pervasives.ref
Do we have to print backtrace when an exception is encountered
val withoutLocs : bool Pervasives.ref
Do we have to hide locations in the printed version of the program
val withoutWidening1 : bool Pervasives.ref
Do we have to remove the widening and to compute the lfp by enlarging abstract domains
val withoutWidening2 : bool Pervasives.ref
Do we have to remove the widening and to compute the lfp by excluding cases and then join all the cases