Project

General

Profile

Feature #11816

Updated by Evgeny Novikov about 2 years ago

Update CPAchecker that started to support packed/aligned attributes (this is a credit of Oleg Petrov and Anton Vasiliev). attributes. Several new appropriate test cases are welcome.

Back