tendermint/004bmc-apalache-ok.csv at stepper-default - tendermint - Anomalous Gitea

mirrors/tendermint

mirror of https://github.com/tendermint/tendermint.git synced 2026-01-03 11:45:18 +00:00

Files

Marko b270ab8d15 spec: merge rust-spec (#252 )

2021-03-01 08:54:08 +00:00

653 B

Raw Permalink Blame History

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