tla-trace-filter 0.0.6
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.
Gemfile:
=
Copy to clipboard
Copied!
install:
=
Runtime Dependencies (4):
mustache
>= 1.0.3, ~> 1.0
thor
>= 0.19.1, ~> 0.19
tla-sbuilder
>= 0.3.9, ~> 0.3
treetop
>= 1.6.3, ~> 1.6
Owners:
Authors:
-
jarjuk
SHA 256 checksum:
98b6e7b55154ce60a6d5919b66ea64302075a2d183bf81384ef7b57d5f78e1fb