Skip to content

EOD1

EOD1 #82

Workflow file for this run

name: CI
on: [push]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
- name: Get (nightly) TLC
run: wget https://github.com/tlaplus/tlaplus/releases/download/v1.8.0/tla2tools.jar
- name: Run TLC
run: >-
java -Dtlc2.TLC.stopAfter=1800 -Dtlc2.TLC.ide=Github
-Dutil.ExecutionStatisticsCollector.id=aabbcc60f238424fa70d124d0c77bbf1
-cp tla2tools.jar tlc2.TLC -workers auto -lncheck final -checkpoint 60
-coverage 60 -tool -deadlock AsyncTerminationDetection