Code covered by the BSD License  

Be the first to rate this file! 9 Downloads (last 30 days) File Size: 70.1 KB File ID: #16638 Version: 1.1

Post Preprocessing Templates



28 Sep 2007 (Updated )

post preprocessing scripts

| Watch this File

File Information

Templates of a Perl script that could be used with -post-preprocessing-command option. Three scripts have been provided:
1. is a template script acting on the pre-processed file with the -post-preprocessing-command option
2 is an example of Perl script program constructed with allowing to remove code between two #pragma.
3 is a script which adds "void" in empty prototype of functions.

Required Products Polyspace Client for C/C++
Polyspace Model Link SL
Polyspace Model Link TL
Polyspace Code Prover
Polyspace UML Link RH
MATLAB release MATLAB 7.9 (R2009b)
Other requirements Note that this tool needs a PolySpace product until release r2008a.
Tags for This File   Please login to tag files.
Please login to add a comment or rating.
08 Sep 2009 1.1

Added copyrights and a .bat file template to facilitate usage under a Windows OS.

Contact us