RuntimeException constructor

Initializes a new instance of the RuntimeException class.

protected RuntimeException(SerializationInfo serializationInfo, StreamingContext streamingContext)

See Also

• class RuntimeException
• namespace Microsoft.Coyote.Runtime
• assembly Microsoft.Coyote