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:
=
installation:
=
Dépendances de Runtime (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
Propriétaires:
Auteurs:
-
jarjuk
Total de contrôle SHA 256:
=