Enable Concurrency-Memsafety and Bitprecise Termination Validation for Violation Witnesses 1.0 and 2.0 in CPAchecker (!428) · Merge requests · SoSy-Lab / SV-Comp / Benchmark Definitions · GitLab

As of 2024-05-14 a change has been implemented to enforce access token expiry. If you see higher numbers of HTTP 401 responses, please check tokens that may have expired. For more details, including how to mitigate disruption, please check our docs guide on Expired Access Tokens. If you have a support contract, you may open a support ticket for additional assistance.

Daniel Baier requested to merge cpachecker_enable_all_validation into main Nov 24, 2023

Enable Concurrency-Memsafety and Bitprecise Termination Validation for Violation Witnesses 1.0 and 2.0 in CPAchecker