From 656b5cbf6b9d70d8912875eddbe21f77402062d6 Mon Sep 17 00:00:00 2001 From: Alberto Debiasi <adebiasi@fbk.eu> Date: Thu, 30 Apr 2020 10:46:16 +0200 Subject: [PATCH] Remove local dependences from configTest.properties. Change-Id: I276bc62b5d825213b69c65a43c0e1946c6783268 --- .../configTest.properties | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/configTest.properties b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/configTest.properties index 1bdf989f2..0c6e60128 100644 --- a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/configTest.properties +++ b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/configTest.properties @@ -8,5 +8,4 @@ testTempOutput=C:\\tmp\\adapter4 OCRAFilePath=resources\\tools\\OCRA\\ocra_win64(1).exe nuXmvFilePath=resources\\tools\\nuXmv\\nuXmv_win64.exe xSapFilePath=resources\\tools\\xSAP\\bin\\xSAP_win64.exe -feiFilePathPath=C:\\Users\\Alberto\\Downloads\\FBK_Tools_2018_10_31\\FBK_Tools\\xSAP\\bin\\extend_model.exe -#resources\\tools\\xSAP\\bin\\extend_model.exe \ No newline at end of file +feiFilePathPath=resources\\tools\\xSAP\\bin\\extend_model.exe \ No newline at end of file -- GitLab