/rust-serval-example

A minimal example of how to use the serval llvm verifier on a rust project.

Primary LanguageRacket

No issues in this repository yet.