Iteration on TLC wrapper script #32
achamayouci-verification.yml
on: pull_request
Model Checking - Consistency
0s
Counterexamples - Consistency
1m 0s
Simulation - Consistency
1m 38s
Model Checking - Consensus
47s
Simulation - Consensus
1m 35s
Trace Validation - Consensus
0s
Annotations
8 errors
|
Model Checking - Consistency
Canceling since a higher priority waiting request for 'Continuous Verification-refs/pull/6513/merge' exists
|
|
Trace Validation - Consensus
Canceling since a higher priority waiting request for 'Continuous Verification-refs/pull/6513/merge' exists
|
|
Model Checking - Consensus
Canceling since a higher priority waiting request for 'Continuous Verification-refs/pull/6513/merge' exists
|
|
Model Checking - Consensus
The operation was canceled.
|
|
Simulation - Consensus
Canceling since a higher priority waiting request for 'Continuous Verification-refs/pull/6513/merge' exists
|
|
Simulation - Consensus
The operation was canceled.
|
|
Simulation - Consistency
Canceling since a higher priority waiting request for 'Continuous Verification-refs/pull/6513/merge' exists
|
|
Simulation - Consistency
The operation was canceled.
|