lsee

lsee - a lightweight symbolic execution engine written in OCaml.

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
artifacts		artifacts
driver		driver
lib		lib
opt		opt
.dockerignore		.dockerignore
.gitignore		.gitignore
Dockerfile		Dockerfile
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
entrypoint.sh		entrypoint.sh
lsee		lsee
lsee-all		lsee-all

Provide feedback