README.md

Boogie Docker Image

Run Boogie in a Docker container.

Build:

docker build -t boogie .

Run:

docker run -it boogie

This starts an interactive Bash shell with the boogie command ready to run on any of the programs in the Boogie test suite.