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

PVS Bug 514


Synopsis:        error in process filter: Window height 1 too small (after splitting)
Severity:        serious
Priority:        medium
Responsible:     dave_sc (Dave Stringer-Calvert)
State:           analyzed
Class:           sw-bug
Arrival-Date:    Mon Jan 15 02:40:05 2001
Originator:      Hendrik Tews
Organization:    inf.tu-dresden.de
Release:         PVS 2.3
Environment: 
 System:          
 Architecture: 

Description: 
  Hi,
  
  Invoking M-x siblings in a proof state with no siblings yields
  
    error in process filter: Window height 1 too small (after splitting) [2 tim
 es]
  
  Bye,
  
  Hendrik
  

How-To-Repeat: 

Fix: 

 [davesc]

 1) Fixed (call-siblings) to return a sane message instead of an empty
    buffer when there are no siblings.

 2) In the output filter, if PVS sends an empty buffer back for Emacs
    to display, just print "PVS sent an empty buffer".  [defensive]

 3) Checked all other calls to pvs-buffer have guards to prevent sending
    empty buffers back.


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