Provides complete VeriFast environment includes commandline tooI(with Z3 support) and IDE(vfide).
771
This image provides VeriFast environment on CentOS7.4(x86_64). VeriFast is executed in /verifast directory.
Supported features:
This docker image execute vfide with no any argument:
$ docker run -e DISPLAY=<display> eldesh/verifast:3cc7413
If you want to use verifast command line tool:
$ docker run -it -v /src:/src eldesh/verifast:3cc7413 verifast /pro
vfide example:
$ docker run -e DISPLAY=192.168.1.5:0 eldesh/verifast:3cc7413
verifast example:
$ docker run -it -v /src:/src eldesh/verifast:3cc7413 verifast /src/foo.c
Content type
Image
Digest
Size
211.7 MB
Last updated
over 8 years ago
docker pull eldesh/verifast:3cc7413