From 18abf8f78a6d4fe4bdacbde08185e0b70a148ff5 Mon Sep 17 00:00:00 2001
From: julihoh <julihoh@users.noreply.github.com>
Date: Fri, 6 Aug 2021 17:51:53 +0200
Subject: [PATCH] fix libafl_concolic in docker image (#248)

---
 .dockerignore | 4 ++++
 Dockerfile    | 2 ++
 2 files changed, 6 insertions(+)

diff --git a/.dockerignore b/.dockerignore
index 533cef3cac..a00386f1f7 100644
--- a/.dockerignore
+++ b/.dockerignore
@@ -29,3 +29,7 @@ AFLplusplus
 # Ignore common dummy and logfiles
 *.log
 a
+
+# ignore files from concolic tests
+symcc_build
+symcc
\ No newline at end of file
diff --git a/Dockerfile b/Dockerfile
index 50c4c4f1b4..61b1d481cc 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -98,6 +98,8 @@ RUN touch libafl_qemu/src/lib.rs
 COPY libafl_qemu/src libafl_qemu/src
 RUN touch libafl_frida/src/lib.rs
 COPY libafl_concolic/symcc_libafl libafl_concolic/symcc_libafl
+COPY libafl_concolic/symcc_runtime libafl_concolic/symcc_runtime
+COPY libafl_concolic/test libafl_concolic/test
 RUN cargo build && cargo build --release
 
 # Copy fuzzers over