From 74fcbef134378ac68d045a84b33f989c231b1892 Mon Sep 17 00:00:00 2001 From: greenSnot Date: Fri, 12 Jul 2024 15:28:05 +0800 Subject: [PATCH] Update tla_model_checker.yml --- .github/workflows/tla_model_checker.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/tla_model_checker.yml b/.github/workflows/tla_model_checker.yml index d140db5..9e2e3f1 100644 --- 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