From 790dd728a67b36e3006f83d89fd6fef357bc3868 Mon Sep 17 00:00:00 2001
From: kt218 <93427283+kt218@users.noreply.github.com>
Date: Fri, 17 Jun 2022 13:07:39 +0100
Subject: Update Dockerfile to install tabulate

Install tabulate package for klee-stats to work when used within KLEE Docker.
---
 Dockerfile | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Dockerfile')

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
 
-- 
cgit 1.4.1