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

PVS Bug 715


Synopsis:        parse/typecheck errors encountered via show-tccs
Severity:        serious
Priority:        medium
Responsible:     owre
State:           open
Class:           sw-bug
Arrival-Date:    Mon Sep 23 16:20:01 2002
Originator:      Judy Crow
Organization:    csl.sri.com
Release:         PVS 2.4
Environment: 
 System:          
 Architecture: 

Description: 
  
  The error is displayed in a pop-up window and the *Message* buffer
  indicates parse/typecheck error, but the error type is not displayed
  in the Emacs echo area (i.e., below the mode line).

How-To-Repeat: 

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