A command line filter utility for processing [[http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html][TLA+ Tools]] output resulting created when model checking [[[http://research.microsoft.com/en-us/um/people/lamport/tla/book.html][TLA+ language]]] formal model generated using [[https://github.com/jarjuk/tla-sbuilder][sbuilder]] -tool.

Required Ruby Version

>= 2.3, ~> 2

Authors

jarjuk

Versions

  1. 0.0.6

    1. source

      1. 0.0.6 source February 02, 2018 (37.5 KB)
  2. 0.0.3

    1. source

      1. 0.0.3 source December 20, 2017 (34 KB)

SHA 256 checksum

← Previous version