I found that if we don't include main file while using polyspace, it creates its own _polyspace_main file. Can anyone tell me, how it get created? what it takes into consideration? how it decides sequence of function calling as main is missing?
MATLAB: Can anyone tell me how polyspace_main file is generated and works
main generatorpallavi ingolepolyspace
Best Answer