RuntimeException class
An exception that is thrown by the Coyote runtime.
public class RuntimeException : Exception
Protected Members
| name | description |
|---|---|
| RuntimeException(…) | Initializes a new instance of the RuntimeException class. |
See Also
- namespace Microsoft.Coyote.Runtime
- assembly Microsoft.Coyote