Project

General

Profile

Bug #773

Feature #849: Model checking extensions for AF3 2.1

Improve the efficiency of NuSMV code

Added by Anonymous over 8 years ago. Updated over 8 years ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Target version:
Start date:
04/22/2012
Due date:
% Done:

100%

Estimated time:

Description

- replace wrapping of constants with swConst by directly using signed word constants
- use the commands sequence from Marco

History

#1 Updated by Anonymous over 8 years ago

  • Status changed from New to Resolved
  • Assignee changed from Anonymous to Florian Hölzl

#2 Updated by Florian Hölzl over 8 years ago

  • Assignee changed from Florian Hölzl to Anonymous
  • % Done changed from 0 to 90

org.fortiss.af3.tools.nusmv.run has two RED classes.

#3 Updated by Anonymous over 8 years ago

  • Assignee changed from Anonymous to Florian Hölzl

the TODOs in the RED file are now fixed

#4 Updated by Florian Hölzl over 8 years ago

  • Status changed from Resolved to Closed
  • Assignee deleted (Florian Hölzl)
  • % Done changed from 90 to 100

#5 Updated by Anonymous over 8 years ago

  • Parent task set to #849

Also available in: Atom PDF