Crate finch

Finch: A Symbolic Executor Built With Falcon

Modules

error
executor	A Symbolic Executor for Falcon IL
platform	Modelling of Platforms (Execution environments, e.g. the Linux Operating System)