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

PVS Bug 928


Synopsis:        PVS Bug, Parser not changed for Bug 780
Severity:        serious
Priority:        medium
Responsible:     owre (Sam Owre)
State:           analyzed
Class:           sw-bug
Arrival-Date:    Tue Dec  6 17:15:00 2005
Originator:      "Thomas Witkowski"
Organization:    inf.tu-dresden.de
Release:         PVS 3.2
Environment: 
 System:          
 Architecture: 

Description: 
  Hi,
  
  in the "Fix"-part of the bug 780 it is mentioned that the parser was
  changed to produce a different message. Using the source from this bug I
  got the same message in PVS 3.2 and also using the beta version of PVS
  3.3.
  
  pvs-version: PVS Version 3.2 - Allegro CL Enterprise Edition 6.2 [Linux
  (x86)] (Nov 3, 2004 23:30)
  emacs-version: GNU Emacs 21.3.1 (i586-suse-linux, X toolkit, Xaw3d scroll
  bars) of 2003-09-23 on Weber
  uname -a: Linux linux 2.4.21-99-default #1 Wed Sep 24 13:30:51 UTC 2003 
  i686 i686 i386 GNU/Linux
  
  By,
  
  Thomas

How-To-Repeat: 

Fix: 
The fix was added after the 3.3 beta was built.
Home Intro Announce FAQ Docs Download Mail Status Bugs Users Related FM Tools