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

PVS Bug 641


Synopsis:        TAB e failure
Severity:        serious
Priority:        medium
Responsible:     owre
State:           analyzed
Class:           sw-bug
Arrival-Date:    Wed Jan  2 12:35:00 2002
Originator:      Jerry James
Organization:    eecs.ku.edu
Release:         PVS 2.4
Environment: 
 System:          
 Architecture: 

Description: 
  The shortcut "TAB e" for "expand" in the prover fails in 2.4.1 with the
  message "Symbol's value as variable is void: noguess".  This is because
  the function pvs-prover-guess-at-expand in pvs-prover-helps.el contains
  an "(if (null noguess) ...)", but the variable noguess is not defined
  anywhere.
  -- 
  Jerry James
  Assistant Professor
  EECS Department
  University of Kansas
  

How-To-Repeat: 

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