fast realtime shock decomposition
Allow for a more accurate (and more expensive) fast realtime modality. Would require to adapt preprocessor for option fast_realtime
.
Could we allow both INTEGER and INTEGER_VECTOR (for backward compatibility)?
fast_realtime=INTEGER | INTEGER_VECTOR
otherwise we should change the type from INTEGER
to INTEGER_VECTOR
.