Update tla_model_checker.yml

greenSnot · Jul 12, 2024 · 74fcbef · 74fcbef
1 parent 5c999b0
commit 74fcbef
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/tla_model_checker.yml b/.github/workflows/tla_model_checker.yml
@@ -12,4 +12,4 @@ jobs:
           distribution: oracle
           java-version: 21
       - run: wget https://github.com/tlaplus/tlaplus/releases/download/v1.8.0/tla2tools.jar
-      - run: java tla2tools.jar -XX:+UseParallelGC -DTLA-Library= tlc2.TLC tla+/quadratic_aba.tla -tool -modelcheck -config tla+/quadratic_aba.cfg -workers 12
+      - run: java ./tla2tools.jar -XX:+UseParallelGC -DTLA-Library= tlc2.TLC tla+/quadratic_aba.tla -tool -modelcheck -config tla+/quadratic_aba.cfg -workers 12