Fixed specification-transformation.zip

ftsrg · Nov 14, 2024 · 8a1452e · 8a1452e
1 parent 208ff04
commit 8a1452e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/actions/build-spec-transformation/patch.diff b/.github/actions/build-spec-transformation/patch.diff
@@ -9,7 +9,7 @@ index 86a7a74e..56f3336a 100644
 -                [
 -                    f"lib/cpachecker/bin/cpachecker",
 +                [   "java", "-cp",
-+                    f"{os.path.dirname(os.path.dirname(__file__))}/cpachecker/runtime/*:{os.path.dirname(os.path.dirname(__file__))}/cpachecker/cpachecker.jar",
++                    f"{{os.path.dirname(os.path.dirname(os.path.dirname(__file__)))}}/cpachecker/runtime/*:{os.path.dirname(os.path.dirname(os.path.dirname(__file__)))}/cpachecker/cpachecker.jar",
 +                    "org.sosy_lab.cpachecker.cmdline.CPAMain",
                      "--preprocess",
                      "--option",