diff options
| author | kt218 <93427283+kt218@users.noreply.github.com> | 2022-06-17 13:07:39 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-06-18 22:01:04 +0100 |
| commit | 790dd728a67b36e3006f83d89fd6fef357bc3868 (patch) | |
| tree | 4e68a93fa5290935e5c102b98d6d87eafcd8e930 /Dockerfile | |
| parent | 63fe39a9d0ce842ef13d2736efe31d5661f63829 (diff) | |
| download | klee-790dd728a67b36e3006f83d89fd6fef357bc3868.tar.gz | |
Update Dockerfile to install tabulate
Install tabulate package for klee-stats to work when used within KLEE Docker.
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Dockerfile b/Dockerfile index 33c822b7..567dd63d 100644 --- a/Dockerfile +++ b/Dockerfile @@ -51,6 +51,9 @@ COPY --chown=klee:klee . /tmp/klee_src/ RUN /tmp/klee_src/scripts/build/build.sh --debug --install-system-deps klee && chown -R klee:klee /tmp/klee_build* && pip3 install flask wllvm && \ rm -rf /var/lib/apt/lists/* +# Install tabulate for klee-stats +RUN pip3 install tabulate + ENV PATH="$PATH:/tmp/llvm-110-install_O_D_A/bin:/home/klee/klee_build/bin" ENV BASE=/tmp |