ICoyoteRuntime interface

Interface that exposes base runtime methods for Coyote.

public interface ICoyoteRuntime : IDisposable

Members

name description
Logger { get; } Used to log messages. Use SetLogger to replace the logger with a custom one.
event OnFailure Callback that is fired when the runtime throws an exception which includes failed assertions.
Assert(…) Checks if the assertion holds, and if not, throws an AssertionFailureException exception. (5 methods)
Monitor<T>(…) Invokes the specified monitor with the specified Event.
RandomBoolean() Returns a nondeterministic boolean choice, that can be controlled during analysis or testing.
RandomBoolean(…) Returns a nondeterministic boolean choice, that can be controlled during analysis or testing. The value is used to generate a number in the range [0..maxValue), where 0 triggers true.
RandomInteger(…) Returns a nondeterministic integer choice, that can be controlled during analysis or testing. The value is used to generate an integer in the range [0..maxValue).
RegisterMonitor<T>() Registers a new specification monitor of the specified Type.
SetLogger(…) Use this method to override the default TextWriter for logging messages.
Stop() Terminates the runtime and notifies each active actor to halt execution.

See Also