Project

General

Profile

Support #3045

[Analysis] refactor the nusmv model

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

Status:
Rejected
Priority:
Normal
Assignee:
-
Category:
-
Target version:
Start date:
08/21/2017
Due date:
% Done:

0%

Estimated time:

Description

Ecore model for NuSMV has 3 kinds of assignments: Normal, INIT, and next.

I noticed that we only use the INIT assignment.

Remove the remaining assignments.

History

#1 Updated by Anonymous about 3 years ago

Or do you see any reason to keep it?

#2 Updated by Anonymous about 3 years ago

  • Status changed from New to In Progress

#3 Updated by Anonymous about 3 years ago

  • Status changed from In Progress to Resolved
  • Assignee changed from Anonymous to Anonymous

Yes, we don't use them, but they are part of what NuSMV provides so we should hold on to them.

#4 Updated by Anonymous almost 3 years ago

  • Status changed from Resolved to Rejected
  • Assignee deleted (Anonymous)

no time to fix.

#5 Updated by Anonymous almost 3 years ago

  • Tracker changed from Bug to Support

Also available in: Atom PDF