ActorTestKit<T>.Assert method (1 of 5)

Asserts if the specified condition holds.

public void Assert(bool predicate)

See Also

• class ActorTestKit<T>
• namespace Microsoft.Coyote.Actors.UnitTesting
• assembly Microsoft.Coyote.Actors

---

ActorTestKit<T>.Assert method (2 of 5)

Asserts if the specified condition holds.

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

See Also

• class ActorTestKit<T>
• namespace Microsoft.Coyote.Actors.UnitTesting
• assembly Microsoft.Coyote.Actors

---

ActorTestKit<T>.Assert method (3 of 5)

Asserts if the specified condition holds.

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

See Also

• class ActorTestKit<T>
• namespace Microsoft.Coyote.Actors.UnitTesting
• assembly Microsoft.Coyote.Actors

---

ActorTestKit<T>.Assert method (4 of 5)

Asserts if the specified condition holds.

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

See Also

• class ActorTestKit<T>
• namespace Microsoft.Coyote.Actors.UnitTesting
• assembly Microsoft.Coyote.Actors

---

ActorTestKit<T>.Assert method (5 of 5)

Asserts if the specified condition holds.

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

See Also

• class ActorTestKit<T>
• namespace Microsoft.Coyote.Actors.UnitTesting
• assembly Microsoft.Coyote.Actors