Skip to content

Latest commit

 

History

History
 
 

demos

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
bottlenecks
bottlenecks
 
 
simple
simple
 
 
README.md
README.md
 
 

README.md

Demo code

This directory contains demonstration code.

  • demos/simple/klee: using KLEE directly to verify Rust code. See docs/using-klee for description.

  • demos/simple/annotations: using the verification-annotations crate with cargo-verify. See docs/using-annotations for description.

  • demos/simple/ffi: using KLEE directly to verify Rust+C crates (that use the FFI). See docs/using-ffi for description.