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

PVS Bug 617


Synopsis:        lists and members
Severity:        serious
Priority:        medium
Responsible:     dave_sc (Dave Stringer-Calvert)
State:           analyzed
Class:           sw-bug
Arrival-Date:    Sat Nov  3 09:40:00 2001
Originator:      Ajay Chander
Organization:    theory.Stanford.EDU
Release:         PVS 2.3
Environment: 
 System:          
 Architecture: 

Description: 

  the following simple query in the pvs ground evaluator returns false:
  
  (   "member ( (1,2),  (:  (1,2)  :) )"   )
  
  
  Any idea why?  Maybe its too late at night and I need to sleep?
  

How-To-Repeat: 

Fix: 
Seems to be fixed in PVS 3.0
Home Intro Announce FAQ Docs Download Mail Status Bugs Users Related FM Tools