Escher Verification Studio: its parts and versions
Escher Verification Studio includes Perfect Developer and Escher C Verifier, but you may have chosen
to use only one of these, in which case not all of this information will apply to your system.
The Project Manager, the Escher Tool, and rubric.pdc are used by both PD and eCv.
The file builtin.pdc is used by PD only, and ecv.pdc is used by eCv only.
To find your version
The version of Project Manager running is shown in the Help->About box.
When you start a build, check, verify, or cross-reference, you can see the version of the Escher Tool displayed
in the Results window.
The builtin.pdc, ecv.pdc, rubric.pdc versions are shown , when applicable, in the Verification Report.
|
Current Release version information for Windows:
|
| Project Manager: 7.0 |
EscherTool: 7.0 |
| builtin.pdc: 7.0 |
ecv.pdc: 7.0 |
| rubric.pdc: 7.0 |
|
Current Release version information for Linux:
|
| Project Manager: 6.10.01 |
EscherTool: 6.10.01 |
| builtin.pdc: 6.10 |
ecv.pdc: 6.10 |
| rubric.pdc: 6.10 |
Escher Verification Studio
documentation common to both Perfect Developer and Escher C Verifier
Escher C Verifier
Perfect Developer
* means that this is included in standard releases
If you have a question which you cannot answer using the resources here, please ask us for
email help,
but do be aware that priority is given to customers with
support contracts and it may be some days before we have time to get back to you.
|
TOP
