github.com/MagHErmit/tendermint@v0.282.1/spec/light-client/detection/005bmc-apalache-error.csv (about) 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