Iteration on TLC wrapper script #38
Triggered via pull request
October 2, 2024 10:48
achamayou
Status
Failure
Total duration
2h 42m 16s
Artifacts
2
ci-verification.yml
on: pull_request
Model Checking - Consistency
2m 36s
Counterexamples - Consistency
1m 1s
Simulation - Consistency
2m 11s
Model Checking - Consensus
2h 40m
Simulation - Consensus
20m 45s
Trace Validation - Consensus
3m 48s
Annotations
1 error and 1 warning
|
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: 83 MB
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
tlc-model-checking-consensus
Expired
|
45.8 KB |
|
|
tlc-trace-validation-consensus
Expired
|
3.69 MB |
|