Project

General

Profile

Bug #2113

[Analyses] Tables translation to NuSMV is buggy

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

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Start date:
08/27/2014
Due date:
% Done:

100%

Estimated time:

Description

To reproduce:
- open SimpleTrafficLight*TabularSpecification*Example
- try to check the first specification atom

Outcome:
- "NuSMV returned -255" or similar

Expected:
- no error

History

#1 Updated by Anonymous about 6 years ago

Happens to actually be a mistake in the translation of actions of the form "Port = NoVal"

#2 Updated by Anonymous about 6 years ago

  • Status changed from New to Resolved
  • Assignee changed from Anonymous to Anonymous
  • Target version set to Phoenix 2.7 Release
  • % Done changed from 0 to 100

#3 Updated by Anonymous about 6 years ago

  • Status changed from Resolved to Closed

#4 Updated by Anonymous almost 6 years ago

  • Target version changed from Phoenix 2.7 Release to AF3 2.7 RC4 (bugs fixed)

Also available in: Atom PDF