ICoyoteRuntime interface

Interface that exposes base runtime methods for Coyote.

public interface ICoyoteRuntime : IDisposable

Members

name	description
Logger { get; set; }	Gets or sets an `ILogger` for logging runtime 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 testing.
RandomInteger(…)	Returns a nondeterministic integer choice, that can be controlled during testing. The value is used to generate an integer in the range [0..maxValue).
RegisterLog(…)	Use this method to register an `IRuntimeLog`.
RegisterMonitor<T>()	Registers a new specification monitor of the specified Type.
RemoveLog(…)	Use this method to unregister a previously registered `IRuntimeLog`.
Stop()	Terminates the runtime, causing any executing operations to eventually complete.