Project

General

Profile

Support #3107

NuSMV support

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

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

0%

Estimated time:

Description

Currently we support both NuSMV and nuXmv.

I do not think that we need to support both. We can remove NuSMV support. It would result in simpler code.

History

#1 Updated by Anonymous almost 3 years ago

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

IMO still should be done, but rejecting it as I do not have time.

Also available in: Atom PDF