comsys/klee-dev-fat-prebuilt repository overview

This Docker image based on Arch Linux contains all sources and prebuilt binaries to getting started with the symbolic execution engine KLEE.

This image is recommended for development purposes, since it contains compared to the base-image further packages needed for development.