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:
=
クリップボードにコピー
コピー完了!
インストール:
=
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
所有者:
作者:
-
jarjuk
SHA 256チェックサム:
7a7c90093be514cc4291d4cbcc31004a8ac92c6fa39a09f6c0ca0d59aca1e097