Skip to content

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

Notifications You must be signed in to change notification settings

Hoblovski/stupid-see

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

11 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

About

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

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages