| 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\\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 |