Mercurial > hg > CbC > old > akasha

view cbmc/README @ 29:073de2e0c148

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add Dockerfile for cbmc
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 24 May 2016 14:48:43 +0900
parents
children 865c1b265e80
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.

$ docker build -t cbmc .
$ docker run -it cbmc zsh