search

model-checking / verify-rust-std

Verifying the Rust standard library
https://model-checking.github.io/verify-rust-std/
Other
9 stars 7 forks source link

Add runtime implementation of requires and ensures #17

Open celinval opened 1 month ago

celinval commented 1 month ago

At runtime, the safety::requires and safety::ensures attributes could be converted into assert_unsafe_preconditions.