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 |