Incorrect fix of failed refinement
Before for CPAchecker_files.zip CPAchecker failed with exception ("Error: Refinement failed: Counterexample could not be ruled out and was found again"). Now it proves safety incorrectly. From my point of view the issue is quite crucial.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information