Skip to content
Snippets Groups Projects
Select Git revision
  • 9658b39544947d6a0c6155a920d4adaa11f5970f
  • master default protected
  • release/1.1.4
  • release/1.1.3
  • release/1.1.1
  • 1.4.2
  • 1.4.1
  • 1.4.0
  • 1.3.0
  • 1.2.1
  • 1.2.0
  • 1.1.5
  • 1.1.4
  • 1.1.3
  • 1.1.1
  • 1.1.0
  • 1.0.9
  • 1.0.8
  • 1.0.7
  • v1.0.5
  • 1.0.5
21 results

InstanceTransformation.java

user avatar
loki der quaeler authored and loki der quaeler committed
. refactoring of spec writing and error-state-variable atoms into the tlatools level
. creation of a model check output parser to capture an error state list
. creation of the TraceExplorer command line application to:
.. generate SpecTE from the .tla/.cfg/.out triplet from a model checking run
.. pretty print to System.out the error state trace specified in an .out
. unit tests for the CFG and TLA copiers
. documentation

Issue #393
[Feature][Tools][Toolbox]
5286ead4
History
Code owners
Assign users and groups as approvers for specific file changes. Learn more.