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