search

project-oak / rust-verification-tools

RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
https://project-oak.github.io/rust-verification-tools/
Apache License 2.0
273 stars 37 forks source link

Distinguish different kinds of error #110

Closed alastairreid closed 3 years ago

alastairreid commented 3 years ago

This change makes finer distinctions in cargo-verify between different kinds of error such as assertion failure, array index bounds failure, and overflow.