Monitor.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 Monitor
• namespace Microsoft.Coyote.Specifications
• assembly Microsoft.Coyote

---

Monitor.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 Monitor
• namespace Microsoft.Coyote.Specifications
• assembly Microsoft.Coyote

---

Monitor.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 Monitor
• namespace Microsoft.Coyote.Specifications
• assembly Microsoft.Coyote

---

Monitor.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 Monitor
• namespace Microsoft.Coyote.Specifications
• assembly Microsoft.Coyote

---

Monitor.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 Monitor
• namespace Microsoft.Coyote.Specifications
• assembly Microsoft.Coyote