Update tla_model_checker.yml

greenSnot · Jul 16, 2024 · fe8ff87 · fe8ff87
1 parent b7e56c2
commit fe8ff87
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,6 +12,6 @@ jobs:
           distribution: oracle
           java-version: 21
       - run: wget https://github.com/tlaplus/tlaplus/releases/download/v1.8.0/tla2tools.jar
-      # - run: java -cp ./tla2tools.jar -XX:+UseParallelGC -DTLA-Library= tlc2.TLC tla+/cubic_aba.tla -tool -modelcheck -config tla+/cubic_aba.cfg -workers 12
       - run: java -cp ./tla2tools.jar -XX:+UseParallelGC -DTLA-Library= tlc2.TLC tla+/quadratic_aba.tla -tool -modelcheck -config tla+/quadratic_aba.cfg -fpmem 0.9 -workers 4
+      - run: java -cp ./tla2tools.jar -XX:+UseParallelGC -DTLA-Library= tlc2.TLC tla+/cubic_aba.tla -tool -modelcheck -config tla+/cubic_aba.cfg -fpmem 0.9 -workers 4