Sign inSign up

diffblue/cbmc-builder

By diffblue

•Updated about 9 years ago

Docker images for building CBMC in/for different operating systems.

Image
2

9.5K

diffblue/cbmc-builder repository overview

⁠CBMC Builder Docker Images

CBMC⁠ builders exist for two OS:

  • alpine in alpine/Dockerfile⁠ referenced as diffblue/cbmc-builder:alpine, diffblue/cbmc-builder:alpine-0.0.1
  • ubuntu in ubuntu/Dockerfile⁠ referenced as diffblue/cbmc-builder:latest, diffblue/cbmc-builder:xenial, diffblue/cbmc-builder:xenial-0.0.1

See more information on GitHub project page⁠.

Tag summary

Content type

Image

Digest

Size

124.2 MB

Last updated

about 9 years ago

docker pull diffblue/cbmc-builder