Project

General

Profile

Bug #963

Feature #849: Model checking extensions for AF3 2.1

Fix the nusmv tests

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

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Start date:
08/21/2012
Due date:
% Done:

0%

Estimated time:

History

#1 Updated by Anonymous about 8 years ago

  • Status changed from New to Closed

#2 Updated by Anonymous almost 8 years ago

  • Parent task set to #849

#3 Updated by Anonymous almost 8 years ago

  • Target version set to Phoenix 2.3 Release

#4 Updated by Anonymous almost 8 years ago

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

Also available in: Atom PDF