Experiment Results (CPAChecker)
收藏DataCite Commons2024-03-04 更新2024-08-18 收录
下载链接：
https://figshare.com/articles/dataset/Experiment_Results_CPAChecker_/24785706/4
下载链接
链接失效反馈官方服务：
资源简介：
How to reproduce:download "CPAchecker-2.1-unix" from https://cpachecker.sosy-lab.org/download-oldversions.phpinstall "CPAchecker-2.1-unix" using the documentation (https://cpachecker.sosy-lab.org/doc.php)copy the "CPAchecker-2.1-unix" directory and paste it into both "cpa-results-svcomp" and "cpa-results-embedded" directoriesrun test_cpa*.sh files<br>
提供机构：
figshare
创建时间：
2023-12-11
