Project
tla2dot
Parse a reachability graph and process it using Mustache templates.
Example
State 2/2398339604900326310:
/ steps = <<"TenantManager", "Loader">>
/ db_data = {}
/ now = 1
/ pc = [ Tail |-> "tail_wait",
TenantManager |-> "tenant_manager" ]
/ db_tenants = {"t1"}
/ input_data = { [tenant |-> "t1", data |-> "d1"],
[tenant |-> "t2", data |-> "d2"] }
Transition -8297134421408988195 --> 2398339604900326310
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
Development
Licenses
MIT