Mercurial > hg > CbC > old > akasha

changeset 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 c056a6a70c7e
children e06337c478c6
files cbmc/README
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/cbmc/README	Tue Jun 07 07:24:03 2016 +0000
+++ b/cbmc/README	Tue Jun 07 07:29:31 2016 +0000
@@ -3,9 +3,11 @@
 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.
+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).