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

PVS Bug 687


Synopsis:        PVS shell script ignores flags in raw mode
Severity:        serious
Priority:        medium
Responsible:     owre
State:           analyzed
Class:           sw-bug
Arrival-Date:    Mon Jul 22 23:15:01 2002
Originator:      Judy Crow
Organization:    csl.sri.com
Release:         PVS 2.4
Environment: 
 System:          
 Architecture: 

Description: 
  i.e.,
  
  .. .
  elif [ $rawmode ]
    then
      $PVSIMAGE -qq
  elif ..
  
  should be:
  
  .. .
  elif [ $rawmode ]
    then
      $PVSIMAGE -qq $flags
  elif..
  

How-To-Repeat: 

Fix: 
Fixed the handling of maplets, which were incorrectly handled in the
modifications supporting datatype updates.
Home Intro Announce FAQ Docs Download Mail Status Bugs Users Related FM Tools