OCRAPath=C:\\Users\\Alberto\\Downloads\\20180124_OpenCertCHESSClient_Win_x64\\amass_P1\\FBK_Tools\\OCRA\\ocra_win64.exe
testOutputBasicOperations=testOutput\\basic
testOutputBasicOperationsHeadless=testOutput\\basicHeadless
testOutputVandVOperations=testOutput\\VandV
testOutputVandVOperationsOSLC=testOutput\\VandVOSLC
testOutputSafetyOperations=testOutput\\safety
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=resources\\tools\\xSAP\\bin\\extend_model.exe