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
Activity
- Latest release
- 10y ago
- Total releases
- 3
- Cadence
- ~16 days
- Last 12 months
- 0
Details
- License
- MIT
- First release
- Dec 25, 2015
| Version | Released | |
|---|---|---|
0.0.6
patch
|
0.0.6
patch
Dependencies (4)
|
|
0.0.3
initial
|
0.0.3
initial
Dependencies (4)
|
|
0.0.5
patch
|
0.0.5
patch
Dependencies (4)
|