Recommended tooling to validate contracts?

viperproject / rust-contracts

Apache License 2.0

7 stars 0 forks source link

Open qpwo opened 2 years ago

qpwo commented 2 years ago

Hey know any good SMT solvers or whatever to plug in to this?

vakaras commented 2 years ago

This repository probably should be deprecated. Please see Prusti and its contracts library: https://github.com/viperproject/prusti-dev

qpwo commented 2 years ago

Thank you!