Specification.Assert method (1 of 4)

Checks if the predicate holds, and if not, throws an exception.

public static void Assert(bool predicate, string s, object arg0)

See Also

• class Specification
• namespace Microsoft.Coyote.Specifications
• assembly Microsoft.Coyote

---

Specification.Assert method (2 of 4)

Checks if the predicate holds, and if not, throws an exception.

public static void Assert(bool predicate, string s, params object[] args)

See Also

• class Specification
• namespace Microsoft.Coyote.Specifications
• assembly Microsoft.Coyote

---

Specification.Assert method (3 of 4)

Checks if the predicate holds, and if not, throws an exception.

public static void Assert(bool predicate, string s, object arg0, object arg1)

See Also

• class Specification
• namespace Microsoft.Coyote.Specifications
• assembly Microsoft.Coyote

---

Specification.Assert method (4 of 4)

Checks if the predicate holds, and if not, throws an exception.

public static void Assert(bool predicate, string s, object arg0, object arg1, object arg2)

See Also

• class Specification
• namespace Microsoft.Coyote.Specifications
• assembly Microsoft.Coyote