Mukan Erkin Törük
ef24c0b67e
Some checks are pending
docker-build-cometbft / vars (push) Waiting to run
docker-build-cometbft / build-images (amd64, ubuntu-24.04) (push) Blocked by required conditions
docker-build-cometbft / build-images (arm64, ubuntu-24.04-arm) (push) Blocked by required conditions
docker-build-cometbft / merge-images (push) Blocked by required conditions
docker-build-e2e-node / vars (push) Waiting to run
docker-build-e2e-node / build-images (amd64, ubuntu-24.04) (push) Blocked by required conditions
docker-build-e2e-node / build-images (arm64, ubuntu-24.04-arm) (push) Blocked by required conditions
docker-build-e2e-node / merge-images (push) Blocked by required conditions
254 B
254 B
| 1 | no | filename | tool | timeout | init | inv | next | args |
|---|---|---|---|---|---|---|---|---|
| 2 | 1 | LCD_MC3_3_faulty.tla | apalache | 1h | PrecisionInvGrayZone | --length=10 | ||
| 3 | 2 | LCD_MC3_4_faulty.tla | apalache | 1h | PrecisionInvGrayZone | --length=10 | ||
| 4 | 3 | LCD_MC4_4_faulty.tla | apalache | 1h | PrecisionInvGrayZone | --length=10 |