tendermint/001indinv-apalache.csv at stepper-default - tendermint - Anomalous Gitea

mirrors/tendermint

mirror of https://github.com/tendermint/tendermint.git synced 2026-01-05 04:55:18 +00:00

Files

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

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

957 B

Raw Permalink Blame History

1	no	filename	tool	timeout	init	inv	next	args
2	1	MC_n4_f1.tla	apalache	10h	TypedInv	TypedInv		--length=1 --cinit=ConstInit
3	2	MC_n4_f2.tla	apalache	10h	TypedInv	TypedInv		--length=1 --cinit=ConstInit
4	3	MC_n5_f1.tla	apalache	10h	TypedInv	TypedInv		--length=1 --cinit=ConstInit
5	4	MC_n5_f2.tla	apalache	10h	TypedInv	TypedInv		--length=1 --cinit=ConstInit
6	5	MC_n4_f1.tla	apalache	20h	Init	TypedInv		--length=0 --cinit=ConstInit
7	6	MC_n4_f2.tla	apalache	20h	Init	TypedInv		--length=0 --cinit=ConstInit
8	7	MC_n5_f1.tla	apalache	20h	Init	TypedInv		--length=0 --cinit=ConstInit
9	8	MC_n5_f2.tla	apalache	20h	Init	TypedInv		--length=0 --cinit=ConstInit
10	9	MC_n4_f1.tla	apalache	20h	TypedInv	Agreement		--length=0 --cinit=ConstInit
11	10	MC_n4_f2.tla	apalache	20h	TypedInv	Accountability		--length=0 --cinit=ConstInit
12	11	MC_n5_f1.tla	apalache	20h	TypedInv	Agreement		--length=0 --cinit=ConstInit
13	12	MC_n5_f2.tla	apalache	20h	TypedInv	Accountability		--length=0 --cinit=ConstInit