Specification.IsEventuallyCompletedSuccessfully method

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)

parameter	description
task	The task to monitor.

Remarks

The liveness property is only checked during systematic testing.

See Also

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