Feature #7454
closedUpdate CPAchecker to revision 22517
0%
Description
Mikhail has improved CPAchecker so that it will be able to process our model for kzalloc(). In addition we will receive many other improvements and bug fixes.
That version of CPAchecker requires Java 1.8 so Docker and cloud images should be updated respectively. Besides this commit should be merged to the branch where MAV is supported.
Updated by Evgeny Novikov over 8 years ago
96d02b5 to master added support for CPAchecker r22517 so that old versions of CPAchecker still can be invoked. Some experiments do show that this update does have sense.
It is remain to do the following:- Update the Docker image (I will do this).
- Update the ISP RAS cloud image (I will do this).
- Merge r22517 to the branch where MAV is supported (Vitaly should do this at last).
Updated by Evgeny Novikov over 8 years ago
- Status changed from New to Resolved
- Published in build set to 30f5dba
I updated the required CPAchecker version in 30f5dba to master and prepared and tested images with CPAchecker r22517.
From now everybody needs to update JRE/JDK to 1.8 and get or install CPAchecker r22517 for any valuable experiments/launches.
I will close this issue as soon as r22517 will be successfully merged into branch with MAV.
Updated by Evgeny Novikov about 8 years ago
- Status changed from Resolved to Closed
Everything was done and works nice.