Creates a monitor that checks if the specified task eventually completes its execution successfully, and if not, fails with a liveness property violation.
public static void IsEventuallyCompletedSuccessfully(Task task)
|task||The task to monitor.|
The liveness property is only checked during systematic testing.
- class Specification
- namespace Microsoft.Coyote.Specifications
- assembly Microsoft.Coyote