ICoyoteRuntime.Assert method (1 of 5)
Checks if the assertion holds, and if not, throws an AssertionFailureException
exception.
public void Assert(bool predicate)
parameter | description |
---|---|
predicate | The predicate to check. |
See Also
- interface ICoyoteRuntime
- namespace Microsoft.Coyote.Runtime
- assembly Microsoft.Coyote
ICoyoteRuntime.Assert method (2 of 5)
Checks if the assertion holds, and if not, throws an AssertionFailureException
exception.
public void Assert(bool predicate, string s, object arg0)
parameter | description |
---|---|
predicate | The predicate to check. |
s | The message to print if the assertion fails. |
arg0 | The first argument. |
See Also
- interface ICoyoteRuntime
- namespace Microsoft.Coyote.Runtime
- assembly Microsoft.Coyote
ICoyoteRuntime.Assert method (3 of 5)
Checks if the assertion holds, and if not, throws an AssertionFailureException
exception.
public void Assert(bool predicate, string s, params object[] args)
parameter | description |
---|---|
predicate | The predicate to check. |
s | The message to print if the assertion fails. |
args | The message arguments. |
See Also
- interface ICoyoteRuntime
- namespace Microsoft.Coyote.Runtime
- assembly Microsoft.Coyote
ICoyoteRuntime.Assert method (4 of 5)
Checks if the assertion holds, and if not, throws an AssertionFailureException
exception.
public void Assert(bool predicate, string s, object arg0, object arg1)
parameter | description |
---|---|
predicate | The predicate to check. |
s | The message to print if the assertion fails. |
arg0 | The first argument. |
arg1 | The second argument. |
See Also
- interface ICoyoteRuntime
- namespace Microsoft.Coyote.Runtime
- assembly Microsoft.Coyote
ICoyoteRuntime.Assert method (5 of 5)
Checks if the assertion holds, and if not, throws an AssertionFailureException
exception.
public void Assert(bool predicate, string s, object arg0, object arg1, object arg2)
parameter | description |
---|---|
predicate | The predicate to check. |
s | The message to print if the assertion fails. |
arg0 | The first argument. |
arg1 | The second argument. |
arg2 | The third argument. |
See Also
- interface ICoyoteRuntime
- namespace Microsoft.Coyote.Runtime
- assembly Microsoft.Coyote