Module CommonPriv.NoAtomic

val handle_atomic : bool

Whether to handle SV-COMP atomic blocks (experimental).