/stupid-see

A Rust symbolic execution engine. Mainly targeted at the verification course in THU.

Primary LanguageRust

S3E2: Simple, Stupid, Symbolic; Execution, Engine

... written in Rust for pedagogical purposes.

Dependencies

  • A recent nightly rust compiler.
  • Modified version of the z3.rs crate (to be released).

Running

See tests/lib.rs.

Example

The below tests illustrate basic examples:

$ cargo test while_1 -- --nocapture
$ cargo test while_2 -- --nocapture