github.com/aakash4dev/cometbft@v0.38.2/spec/light-client/verification/004bmc-apalache-ok.csv (about)

     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