Can you kindly let me know about Polyspace Main Generator ?
14 visualizzazioni (ultimi 30 giorni)
Alexandre De Barros il 14 Dic 2016
With Polyspace, you don't need to provide all the source code of your application.
You can use the tools (Code Prover and Bug Finder) with only a subset of files, or even one file.
But to be able to process these files, Polyspace will create a main automatically, via the "main generator".
This main will be responsible for calling the functions and initializing the global variables.
If you want to know more about how the main generator is working, you can refer to another MATLAB Answer that you will find here: http://www.mathworks.com/matlabcentral/answers/309263-can-anyone-tell-me-how-polyspace_main-file-is-generated-and-works.