# Dockerfile for cbmc

CBMC is a Bounded Model Checker for C. (http://www.cprover.org/cbmc/)
We will compare with cbmc and akasha.

Dockerfile adds cbmc in gears contaier.
So it needs gears container in http://firefly.cr.ie.u-ryukyu.ac.jp/hg/Gears .

$ docker build -t gears <path/to/gears-Dockerfile>
$ docker build -t cbmc .
$ docker run -it cbmc zsh