isla-lib 0.2.0

Isla is a symbolic execution engine for Sail instruction set architecture specifications. This crate implements the core symbolic execution engine as a library.
Documentation 
1
2
3
4
5
6
7

.PHONY: test fmt

test:
	LD_LIBRARY_PATH=..:$(LD_LIBRARY_PATH) cargo test

fmt:
	cargo fmt