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.
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.