From ee94e78a5bde3b491282db7acf1620c224119459 Mon Sep 17 00:00:00 2001
From: Ryan Riley <rriley.cs@gmail.com>
Date: Thu, 14 Apr 2022 13:42:39 +0300
Subject: Update the Dockerfile to use the correct path for llvm-110

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Dockerfile')

diff --git a/Dockerfile b/Dockerfile
index 0076f9f4..575a0899 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -51,7 +51,7 @@ 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/*
 
-ENV PATH="$PATH:/tmp/llvm-90-install_O_D_A/bin:/home/klee/klee_build/bin"
+ENV PATH="$PATH:/tmp/llvm-110-install_O_D_A/bin:/home/klee/klee_build/bin"
 ENV BASE=/tmp
 
 # Add KLEE header files to system standard include folder
-- 
cgit 1.4.1