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

PVS Bug 530


Synopsis:        Modelchecker
Severity:        serious
Priority:        medium
Responsible:     owre
State:           open
Class:           sw-bug
Arrival-Date:    Wed Mar  7 12:20:02 2001
Originator:      Christian Jacobi
Organization:    cs.uni-sb.de
Release:         PVS 2.3
Environment: 
 System:          
 Architecture: 

Description: 
  Hi,
  I found a small bug while using the model-checker:
  after  aborting modelchecking (C-c C-c), the prove status is
  "complete" (PVS version 2.3.1.2.2.36).
  
  Bye, Chris
  -- 
  ----------------------------------------------------------------
                                         FB 14 - Informatik
   Christian Jacobi                      Im Stadtwald
   Computer Science Department           D-66041 Saarbruecken
   Saarland University        			 
   Germany                               Phone: (+49) 681 3024490
                                         Fax:   (+49) 681 3024290
  ----------------------------------------------------------------
  

How-To-Repeat: 

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