ICoyoteRuntime interface

Interface that exposes base runtime methods for Coyote.

public interface ICoyoteRuntime : IDisposable

Members

name description
Logger { get; set; } Get or set the ILogger used to log messages.
event OnFailure Callback that is fired when an exception is thrown that 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.
Stop() Terminates the runtime and notifies each active actor to halt execution.

See Also