/rust-serval-example

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

Primary LanguageRacket

Minimal serval example for rust

To run this example you need to have serval installed and running as well as rust and cargo.

You'll also need make (but I should really be using rust build scripts).

You can find the tests in test.rkt and you can run them with make test.