Project

General

Profile

Support #3330

cancelling formal verification constraints

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

Constraint mechanism provides an option to cancel the the constraint checking.

These are not implemented for the formal verification constraints at the moment. These should be implemented


Related issues

Related to Support #3331: Changes in constraint mechanismNew03/08/2018

History

#1 Updated by Anonymous over 2 years ago

  • Subject changed from cancelling of formal verification constraints to cancelling formal verification constraints

#2 Updated by Anonymous over 2 years ago

  • Related to Support #3331: Changes in constraint mechanism added

#3 Updated by Anonymous over 2 years ago

  • Target version changed from AF3 2.13 RC2 (Tested, Bug-free) 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