RubyGems Navigation menu

tla2dot 0.0.6

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

Gemfile:
=

install:
=

Versions:

  1. 0.0.6 January 26, 2016 (14 KB)
  2. 0.0.5 December 25, 2015 (13.5 KB)
  3. 0.0.3 December 25, 2015 (13.5 KB)

Runtime Dependencies (4):

app >= 1.2.0, ~> 1.2
mustache >= 1.0.2, ~> 1.0
racc >= 1.4.12, ~> 1.4
thor ~> 0.18

Owners:

Authors:

  • jarjuk

SHA 256 checksum:

=

Total downloads 6,887

For this version 2,946

Version Released:

License:

MIT

Required Ruby Version: ~> 2

Links: