Public | Automated Build

Last pushed: 3 years ago
Short Description
Short description is empty for this repo.
Full Description

Dockerfile for KLEE-CL

This repository contains the DockerFile and other associated files
for building a Docker container for KLEE-CL.


First obtain the image from the DockerHub. If you don't want to do this see "Building"

$ docker pull delcypher/klee-cl-docker

Now you can gain access to a shell inside the container (note --rm removes
the container when you exit it).

$ docker run -ti --rm delcypher/klee-cl-docker /bin/bash


If you'd rather not used the pre-built image from the DockerHub
Then you can build it locally on your system by doing the following.

$ cd /path/to/this/repository
$ docker build -t "delcypher/klee-cl-docker" .

Docker Pull Command
Source Repository