nrc / libhoare

Design by contract style assertions for Rust

nrc/libhoare Issues

Compilation errors
Updated 6 years ago2
Current development
Updated 7 years ago1
Lift restrictions on patterns
Closed 9 years ago1
Tests for contracts on methods
Closed 9 years ago1
Debug version of contracts not working.
Closed 9 years ago3
Allow on impl methods
Closed 9 years ago2
Weed out dummy spans
Updated 9 years ago
Compile error? attribute `phase` is currently unknown
Closed 9 years ago2
Compile error? 5 fields vs. 6 fields?
Closed 9 years ago3
Make `cargo test` work and add tests to CI
Updated 10 years ago
This is a test issue, please ignore it
Closed 10 years ago
This is a test issue, please ignore it
Closed 10 years ago
libnative does not handle fds with O_NONBLOCK
Closed 10 years ago33
Use `return` instead of `result`
Closed 10 years ago
might be worth checking out how SPARK 2014 does contracts
Updated 10 years ago
Better error messages
Updated 10 years ago
Allow custom error messages
Updated 10 years ago
Refer to precondition state from the postcondition
Updated 10 years ago