PerMutexMeetPriv.Param
val handle_atomic : bool
Whether to handle SV-COMP atomic blocks (experimental).