tla-trace-filter 0.0.3
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:
=
instalar:
=
dependencias de Runtime (4):
mustache
>= 1.0.3, ~> 1.0
thor
>= 0.19.1, ~> 0.19
tla-sbuilder
> 0.3.7, ~> 0.3
treetop
>= 1.6.3, ~> 1.6
Propietarios:
Autores:
-
jarjuk
SHA 256 checksum:
=