falcon-finch 0.5.2

Symbolic Execution against Falcon IL
docs.rs failed to build falcon-finch-0.5.2
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Visit the last successful build: falcon-finch-0.4.7

Finch

Finch is a Symbolic Executor over Falcon IL. If it lifts to Falcon IL, it symbolically executes with Finch.

For an introduction to Finch, see this blog post.

Building

Finch requires the same dependencies as Falcon and falcon-z3. There is a Dockerfile in the dockers/ directory, which will create an appropriate environment for Finch. If you don't want to use Docker, it is still recommended you use the Dockerfile as a reference for how to install dependencies.