1 2 3 4
\* Direct-TLC liveness check for PER-0022 scan termination. \* Run from specs/: java -jar tla2tools.jar -config ScanLivenessModel.cfg ScanLivenessModel.tla SPECIFICATION ScanSpec PROPERTY ScanTerminates