review all CBMC pragmas in AWS C Common

Question

review all CBMC pragmas in AWS C Common

TingDaoK opened this issue 4 years ago · 2 comments

The pragmas are dangerous in the CBMC proof, please review all of them.

Answer 1 · 2023-09-21T16:47:03.000Z

Has this been fixed with the merged PR?

Answer 2 · 2023-09-23T17:01:05.000Z

Greetings! It looks like this issue hasn’t been active in longer than a week. We encourage you to check if this is still an issue in the latest release. Because it has been longer than a week since the last update on this, and in the absence of more information, we will be closing this issue soon. If you find that this is still a problem, please feel free to provide a comment or add an upvote to prevent automatic closure, or if the issue is already closed, please feel free to open a new one.