Mercurial > hg > CbC > old > akasha

view cbmc/README @ 34:30100c379f2f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update cbmc README
author atton
date Tue, 07 Jun 2016 07:29:31 +0000
parents 865c1b265e80
children
line wrap: on
line source

# 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 container.
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

CBMC verifies llrb in Gears(108:4db311ba1289).