INFO:root:Searching for suitable gates file
ERROR:root:No gates file found in output dir 'C:/Users/FBK/git/AMASS_SystemArchitectureProjects/SSR_fault/NuSMV3-XSAP/Temp'. Specify explicitly
