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.
-
Notifications
You must be signed in to change notification settings - Fork 0
hnj2/rust-serval-example
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A minimal example of how to use the serval llvm verifier on a rust project.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published