Update configTest.properties.
Change-Id: I7828382967377c53dddf419e72cce0da07ae9806
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 d4d2e6a..53ea59b 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
@@ -1,6 +1,8 @@
OCRAPath=C:\\Users\\Alberto\\Downloads\\20180124_OpenCertCHESSClient_Win_x64\\amass_P1\\FBK_Tools\\OCRA\\ocra_win64.exe
testOutput=testOutput
testTempOutput=C:\\tmp\\adapter4
-OCRAFilePath=resources\\tools\\ocra_win64.exe
-nuXmvFilePath=resources\\tools\\nuXmv_win64.exe
-xSapFilePath=resources\\tools\\xSAP_win64.exe
+OCRAFilePath=resources\\tools\\OCRA\\ocra_win64.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