| 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=C:\\Users\\Alberto\\Downloads\\FBK_Tools_2018_10_31\\FBK_Tools\\xSAP\\bin\\extend_model.exe | |
| #resources\\tools\\xSAP\\bin\\extend_model.exe |