文件名称:sbb:SMACK Boogie 基准测试
文件大小:750.43MB
文件格式:ZIP
更新时间:2024-07-28 03:26:47
SMACK Boogie 基准测试 SMACK Boogie Benchmarks 是由使用的国际软件验证竞赛 ( ) 基准生成的 3760 个 Boogie 程序的集合。 一般来说,名称中标有true的基准应该不会触发断言违规,而标有false的基准应该触发断言违规。 请注意,由于各种原因(有问题的 SV-COMP 基准、SMACK 中的错误等),我们不保证所有基准都被正确标记。 请报告任何错误标记的基准。 入口过程用{:entrypoint}属性表示,在我们当前的所有基准测试中都称为main 。 为了生成我们使用的 SMACK Boogie Benchmarks 的当前版本: SV-COMP 2015 基准测试 SMACK(变更集 )