Code covered by the BSD License  

Be the first to rate this file! 8 Downloads (last 30 days) File Size: 857 KB File ID: #27324
image thumbnail

SCREAMConverter

by

 

A tool to convert SCREAM comments into the new 10a acronyms

| Watch this File

File Information
Description

The tool SCREAMConverter is aimed to convert SCREAM comments into the new check acronyms available since the 10a release

Required Products Polyspace Client for Ada
Polyspace Client for C/C++
Polyspace Server for Ada
Polyspace Code Prover
MATLAB release MATLAB 7.4 (R2007a)
Tags for This File   Please login to tag files.
Please login to add a comment or rating.

Contact us