mirror of
https://github.com/tendermint/tendermint.git
synced 2026-09-19 22:44:24 +00:00
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 |