Project

General

Profile

Bug #1000

Bug #999: Make the analyses work on the Emergency Shutdown Module

Extend Yices analyses to deal also with user-defined functions calls

Added by Anonymous about 8 years ago. Updated almost 8 years ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Start date:
10/14/2012
Due date:
% Done:

0%

Estimated time:

History

#1 Updated by Anonymous about 8 years ago

  • Status changed from New to Resolved

#2 Updated by Anonymous almost 8 years ago

  • Target version set to Phoenix 2.3 Release

#3 Updated by Anonymous almost 8 years ago

  • Target version changed from Phoenix 2.3 Release to Phoenix 2.3 RC2 (Major Bugs)

#4 Updated by Anonymous almost 8 years ago

  • Status changed from Resolved to Closed

Also available in: Atom PDF