| commit | 656b5cbf6b9d70d8912875eddbe21f77402062d6 | [log] [tgz] |
|---|---|---|
| author | Alberto Debiasi <adebiasi@fbk.eu> | Thu Apr 30 10:46:16 2020 +0200 |
| committer | Alberto Debiasi <adebiasi@fbk.eu> | Thu Apr 30 10:46:16 2020 +0200 |
| tree | c1156518d5a82178fff784282a2fc62d976a8bed | |
| parent | ab2756b3009c667ae13f20db8362d2466ee9215a [diff] |
Remove local dependences from configTest.properties. Change-Id: I276bc62b5d825213b69c65a43c0e1946c6783268
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 1bdf989..0c6e601 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 @@ 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