Actor.Assert method (1 of 5)
Checks if the assertion holds, and if not, throws an AssertionFailureException exception.
protected void Assert(bool predicate)
See Also
- class Actor
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors
Actor.Assert method (2 of 5)
Checks if the assertion holds, and if not, throws an AssertionFailureException exception.
protected void Assert(bool predicate, string s, object arg0)
See Also
- class Actor
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors
Actor.Assert method (3 of 5)
Checks if the assertion holds, and if not, throws an AssertionFailureException exception.
protected void Assert(bool predicate, string s, params object[] args)
See Also
- class Actor
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors
Actor.Assert method (4 of 5)
Checks if the assertion holds, and if not, throws an AssertionFailureException exception.
protected void Assert(bool predicate, string s, object arg0, object arg1)
See Also
- class Actor
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors
Actor.Assert method (5 of 5)
Checks if the assertion holds, and if not, throws an AssertionFailureException exception.
protected void Assert(bool predicate, string s, object arg0, object arg1, object arg2)
See Also
- class Actor
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors