VerificationStatus¶

enum Cocotec.CocoPlatform.Coco.VerificationStatus¶

The status of an assertion.

Values:

NotStarted¶

The verification has not started yet.

Submitted¶

A job containing this assertion has been submitted to a server.

Dispatched¶

The job has been dispatched to a worker.

Preparing¶

The job has been received by a worker which is about to start compiling the CSM etc.

Running¶

The verification is currently running.

FinishedUserError¶

The verification was attempted but did not finish due to an error found when generating CSM.

FinishedInternalError¶

The verification was attempted but failed due to some internal issue, such as invalid CSM being generated. This represents an error in the verification backend.

FinishedUnknown¶

The verification finished, but it was not possible to determine if this property holds or not due to other errors. For example, we may have found a counterexample to another property instead.

FinishedPassed¶

The verification has finished and passed.

FinishedWarning¶

The verification has finished and passed with warnings.

FinishedFailed¶

The verification has finished and failed, hopefully generating one or more counterexamples.

ServerNoConnection¶

The verification was attempted but couldn’t connect to the remote server.

ServerUnsupportedVersion¶

The version requested was not supported by the server.

ServerNoResources¶

The server does not have any verification resources available.

ServerWorkerCrash¶

The verification worker crashed.

Timeout¶

The verification consumed too many resources so was terminated