Using Polyspace Spooler

Use the Polyspace spooler to manage jobs running on remote servers. To open the spooler, select Polyspace > Open Spooler .

For more information, see Managing Verification Jobs Using Polyspace Queue Manager in the Polyspace Products for Ada User Guide.

Reviewing Verification Results from Eclipse Editor

Glossary

© 1984-2012- The MathWorks, Inc.    -   Site Help   -   Patents   -   Trademarks   -   Privacy Policy   -   Preventing Piracy   -   RSS