let emit_status =
let emitter =
Emitter.create "RTE"
~correctness:[ DoUnsignedOverflow.parameter ;
DoAll.parameter ;
DoSignedOverflow.parameter ;
DoDownCast.parameter ;
DoDivMod.parameter ;
DoMemAccess.parameter ;
DoCalledPrecond.parameter ;
FunctionSelection.parameter
]
~tuning:[ Enabled.parameter ;
Print.parameter ;
ConstFold.parameter ;
Warn.parameter
]
in
fun ppt s -> Extlib.may (Property_status.emit emitter ~hyps:[] ppt) s