Project

General

Profile

Bug #3412

bounds check fails for strongly causal component

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

Status:
New
Priority:
Normal
Assignee:
-
Category:
Formal Verification
Target version:
Start date:
05/17/2018
Due date:
% Done:

0%

Estimated time:

Description

Port bounds check of an strongly causal atomic component is not working properly.


Related issues

Related to Support #3411: rethink bounds check designNew05/17/2018

History

#1 Updated by Anonymous over 2 years ago

#2 Updated by Anonymous almost 2 years ago

  • Target version changed from AF3 2.14 RC2 (Tested, Bug-free) to AF3 2.15 RC2 (Tested, Bug-free)

#3 Updated by Johannes Eder over 1 year ago

  • Target version changed from AF3 2.15 RC2 (Tested, Bug-free) to AF3 2.16 RC2 (Tested, Bug-free)

#4 Updated by Simon Barner about 1 year ago

  • Category set to Formal Verification
  • Assignee deleted (Anonymous)
  • Target version changed from AF3 2.16 RC2 (Tested, Bug-free) to Backlog

Also available in: Atom PDF