Iteration on TLC wrapper script #30
Triggered via pull request
October 1, 2024 17:55
achamayou
Status
Failure
Total duration
2h 39m 26s
Artifacts
2
ci-verification.yml
on: pull_request
Model Checking - Consistency
2m 27s
Counterexamples - Consistency
47s
Simulation - Consistency
2m 16s
Model Checking - Consensus
2h 36m
Simulation - Consensus
20m 46s
Trace Validation - Consensus
2m 54s
Annotations
2 errors and 1 warning
|
Trace Validation - Consensus
Process completed with exit code 31.
|
|
Model Checking - Consensus
Process completed with exit code 1.
|
|
Model Checking - Consensus
You are running out of disk space. The runner will stop working when the machine runs out of disk space. Free space left: 94 MB
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
tlc-model-checking-consensus
|
44.7 KB |
|
|
tlc-trace-validation-consensus
|
116 KB |
|