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
653 B
653 B
| 1 | no | filename | tool | timeout | init | inv | next | args |
|---|---|---|---|---|---|---|---|---|
| 2 | 1 | LCD_MC3_3_faulty.tla | apalache | 1h | CommonHeightOnEvidenceInv | --length=10 | ||
| 3 | 2 | LCD_MC3_3_faulty.tla | apalache | 1h | AccuracyInv | --length=10 | ||
| 4 | 3 | LCD_MC3_3_faulty.tla | apalache | 1h | PrecisionInvLocal | --length=10 | ||
| 5 | 4 | LCD_MC3_4_faulty.tla | apalache | 1h | CommonHeightOnEvidenceInv | --length=10 | ||
| 6 | 5 | LCD_MC3_4_faulty.tla | apalache | 1h | AccuracyInv | --length=10 | ||
| 7 | 6 | LCD_MC3_4_faulty.tla | apalache | 1h | PrecisionInvLocal | --length=10 | ||
| 8 | 7 | LCD_MC4_4_faulty.tla | apalache | 1h | CommonHeightOnEvidenceInv | --length=10 | ||
| 9 | 8 | LCD_MC4_4_faulty.tla | apalache | 1h | AccuracyInv | --length=10 | ||
| 10 | 9 | LCD_MC4_4_faulty.tla | apalache | 1h | PrecisionInvLocal | --length=10 |