Home Intro Announce FAQ Docs Download Mail Status Bugs Users Related FM Tools

PVS Bug 950


Synopsis:        Prettyprinter removes subtype names from datatypes
Severity:        serious
Priority:        medium
Responsible:     owre (Sam Owre)
State:           open
Class:           sw-bug
Arrival-Date:    Mon Feb  6 21:05:00 2006
Originator:      Jerry James
Organization:    usu.edu
Release:         PVS 3.3 release candidate
Environment: 
 System:          
 Architecture: 

Description: 
  
  --=-EH/4/6UMOxabXA26Uokh
  Content-Type: text/plain
  Content-Transfer-Encoding: quoted-printable
  
  Using the PVS 3.3 release candidate on a Fedora Core 4 machine,
  prettyprint-pvs-file does the following to a file containing a DATATYPE
  declaration:
  
  1) It removes all the comments.
  2) It removes any WITH SUBTYPES clause from the DATATYPE declaration.
  3) It removes the subtype identifiers from the body of the DATATYPE.
  
  Furthermore, it shows the split window the prettyprinter usually shows,
  but both parts are showing the modified DATATYPE file.
  --=20
  Jerry James, Assistant Professor    Email: Jerry.James@usu.edu
  Computer Science Dept.              Web: http://www.cs.usu.edu/~jerry/
  Utah State University
  
  --=-EH/4/6UMOxabXA26Uokh
  Content-Type: application/pgp-signature; name=signature.asc
  Content-Description: This is a digitally signed message part
  
  -----BEGIN PGP SIGNATURE-----
  Version: GnuPG v1.4.1 (GNU/Linux)
  
  iD8DBQBD6CFEdXqtoXjUyRoRAnpYAJ9jAsMBP4Dy9V82Lt9kWPQPCi1kpgCgigKp
  169aqCvOj/QiE/aJU9l9TJc=
  =ptdw
  -----END PGP SIGNATURE-----
  
  --=-EH/4/6UMOxabXA26Uokh--

How-To-Repeat: 

Fix: 
Home Intro Announce FAQ Docs Download Mail Status Bugs Users Related FM Tools