mitchellgerrard/alpaca repository overview

(Note: this image is large, ~10 GB.)

To run the image:

docker run -it --privileged -v /sys/fs/cgroup:/sys/fs/cgroup:rw mitchellgerrard/alpaca

The --privileged flag and cgroup configuration is necessary to properly run an underlying tool---BenchExec---that uses its own containerization.

Inside the running container, you can run ALPACA on C files via the alpaca command, for example:

cd /alpaca/examples alpaca -p cpaSeq demo.c

To see the full list of options, run alpaca -h