From 8a1452ec256eaf7e7f13d9ecce74c0421706a773 Mon Sep 17 00:00:00 2001 From: Levente Bajczi Date: Fri, 15 Nov 2024 00:19:38 +0100 Subject: [PATCH] Fixed specification-transformation.zip --- .github/actions/build-spec-transformation/patch.diff | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/actions/build-spec-transformation/patch.diff b/.github/actions/build-spec-transformation/patch.diff index 224e1e1cf4..9669c8eb30 100644 --- 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",