Project

General

Profile

Support #3331

Changes in constraint mechanism

Added by Anonymous over 2 years ago. Updated over 1 year ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
-
Target version:
Start date:
03/08/2018
Due date:
% Done:

0%

Estimated time:

Description

Some changes need to be done in the constraint service for formal verification constraints.

See 3329, and 3330 for getting more idea.

There are 2 options available:
1) Change the constraint service
2) Do these changes only for the formal verification constraints.

At present I am inclined towards point 2 and then merging it with constraint service when it is stable.


Related issues

Related to Support #3329: Constraint can be triggered again while being verifiedClosed03/08/2018

Related to Support #3330: cancelling formal verification constraintsNew03/08/2018

History

#1 Updated by Anonymous over 2 years ago

  • Related to Support #3329: Constraint can be triggered again while being verified added

#2 Updated by Anonymous over 2 years ago

  • Related to Support #3330: cancelling formal verification constraints added

#3 Updated by Anonymous over 2 years ago

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

#4 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