Project

General

Profile

Feature #3022

Analysis Collection issue

Added by Anonymous over 3 years ago. Updated about 1 year ago.

Status:
New
Priority:
Normal
Assignee:
-
Target version:
Start date:
08/04/2017
Due date:
% Done:

80%

Estimated time:
(Total: 0.00 h)

Description

collection issue for feature and bugs in analysis


Subtasks

Feature #3017: [Analysis] Observers - design and implementationRejected

Feature #3021: [Analysis] allow the possibility to disable formal analysis on a componentRejected

Bug #3023: [Analysis] specification generated for ports bound is not correctRejected

AF3 Phoenix - Bug #3108: Counterexample interpretation of enum valuesNew

Feature #3232: assumptions on componentsRejected

History

#1 Updated by Anonymous almost 3 years ago

  • Project changed from AF3 Phoenix to Analysis
  • Target version deleted (AF3 2.12 Post-release)

#2 Updated by Anonymous over 2 years ago

  • Target version set to AF3 2.14 RC1 (Feature Freeze)

#3 Updated by Johannes Eder over 1 year ago

  • Target version changed from AF3 2.14 RC1 (Feature Freeze) to Backlog

Also available in: Atom PDF