sbb:SMACK Boogie 基准测试

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