Select Git revision
train.py
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]
Code owners
Assign users and groups as approvers for specific file changes. Learn more.