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

PVS Bug 1012


Synopsis:        Theory Interpretations (bug?)
Severity:        serious
Priority:        medium
Responsible:     owre (Sam Owre)
State:           open
Class:           sw-bug
Arrival-Date:    Mon Nov 12 14:55:00 2007
Originator:      "Cesar Munoz"
Organization:    nianet.org
Release:         PVS 4.1
Environment: 
 System:          
 Architecture: 

Description: 
  This is a multi-part message in MIME format.
  
  ------_=_NextPart_001_01C824C4.F635C7AE
  Content-Type: multipart/alternative;
  	boundary="----_=_NextPart_002_01C824C4.F635C7AE"
  
  
  ------_=_NextPart_002_01C824C4.F635C7AE
  Content-Type: text/plain;
  	charset="iso-8859-1"
  Content-Transfer-Encoding: quoted-printable
  
  Hi Sam,
  Typechecking the following files also fails with an error message:
  "Break: Something's wrong, notify pvs-bugs."
  
  Thanks,
  
  Cesar
  
   
  
  
  
  
  
  
  
  
  
   National Institute of Aerospace: This e-mail message (including all atta=
  chments transmitted with it, if any) is intended solely for the use of the =
  addressee and may contain company proprietary information. If you are not t=
  he person to whom this e-mail is addressed, or an employee or agent respons=
  ible for delivering this message to the person to whom it is addressed, you=
   are hereby notified that any dissemination, distribution, copying, or othe=
  r use of this message or its attachments is strictly prohibited. If you hav=
  e received this e-mail in error, please notify the sender immediately by e-=
  mail reply, then please delete this e-mail, together with any attachments t=
  o it, from your computer. 
  ------_=_NextPart_002_01C824C4.F635C7AE
  Content-Type: text/html;
  	charset="iso-8859-1"
  Content-Transfer-Encoding: quoted-printable
  
  <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
  <HTML>
  <HEAD>
  <META HTTP-EQUIV=3D"Content-Type" CONTENT=3D"text/html; charset=3Diso-885=
  9-1">
  <META NAME=3D"Generator" CONTENT=3D"MS Exchange Server version 6.5.7650.2=
  8">
  <TITLE>Theory Interpretations (bug?)</TITLE>
  </HEAD>
  <BODY><P>
  <!-- Converted from text/plain format -->
  
  <P><FONT SIZE=3D2>Hi Sam,<BR>
  Typechecking the following files also fails with an error message:<BR>
  &quot;Break: Something's wrong, notify pvs-bugs.&quot;<BR>
  <BR>
  Thanks,<BR>
  <BR>
  Cesar<BR>
  </FONT>
  </P>
  
   </P>
  <P>
  <P>
  <HR style=3D"HEIGHT: 1px">
  
  <P></P>
  <P><FONT face=3DVerdana size=3D2><STRONG></STRONG></FONT></P>
  <P><FONT size=3D1><EM>&nbsp;National Institute of Aerospace: <FONT face=
  =3DArial>This 
  e-mail message (including all attachments transmitted with it, if any) is=
   
  intended solely for the use of the addressee and may contain company prop=
  rietary 
  information. If you are not the person to whom this e-mail is addressed, =
  or an 
  employee or agent responsible for delivering this message to the person t=
  o whom 
  it is addressed, you are hereby notified that any dissemination, distribu=
  tion, 
  copying, or other use of this message or its attachments is strictly proh=
  ibited. 
  If you have received this e-mail in error, please notify the sender immed=
  iately 
  by e-mail reply, then please delete this e-mail, together with any attach=
  ments 
  to it, from your computer.</FONT></EM></FONT><FONT size=3D2> </FONT></P><=
  /BODY>
  </HTML>
  
  ------_=_NextPart_002_01C824C4.F635C7AE--
  
  ------_=_NextPart_001_01C824C4.F635C7AE
  Content-Type: application/octet-stream;
  	name="test3.pvs"
  Content-Transfer-Encoding: base64
  Content-Description: test3.pvs
  Content-Disposition: attachment;
  	filename="test3.pvs"
  
  dGgzIDogVEhFT1JZCkJFR0lOCiAgVCA6IFRZUEUrCkVORCB0aDMKCnRoM2JpcyA6IFRIRU9SWQpC
  RUdJTgogIFRUIDogVFlQRSsKCiAgdCA6IFRIRU9SWSA9IHRoMyB7eyBUIDo6PSBUVCB9fQoKRU5E
  IHRoM2Jpcwo=
  
  ------_=_NextPart_001_01C824C4.F635C7AE--

How-To-Repeat: 

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