Rust 软件校验基准

此存储库提供了一组 Rust 校验基准和相关校验器包。该包提供了基本校验接口，例如引入断言、假设和非确定性值。该接口受到了 SVCOMP 的启发。我们希望它能方便地将各种校验器应用于基准，而无需对基准本身进行任何更新。

这是一个正在进行中的项目，我们非常欢迎反馈和贡献！

这样运行 MIRAI

mirai add_fail.rs --extern verifier=/Users/zrakamaric/projects/rust-benchmarks/verifier/target/debug/deps/libverifier-a0e8df43af99bd6d.rlib --extern mirai_annotations=/Users/zrakamaric/projects/rust-benchmarks/verifier/target/debug/deps/libmirai_annotations-02aa2d91ba500cf6.rlib