view cbmc/README @ 30:865c1b265e80

Update Dockerfile
author Yasutaka Higa <>
date Tue, 24 May 2016 17:07:21 +0900
parents 073de2e0c148
children 30100c379f2f
line wrap: on
line source

# Dockerfile for cbmc

CBMC is a Bounded Model Checker for C. (
We will compare with cbmc and akasha.

Dockerfile adds cbmc in gears contaier.
So it needs gears container in .

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