Add pdf version of the presentation and fix unzipping on Windows.

giladreich · Sep 4, 2021 · 1a3027a · 1a3027a
1 parent d62b47f
commit 1a3027a
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/bootstrap.sh b/bootstrap.sh
@@ -5,5 +5,5 @@ docker build --platform linux/amd64 -t angr_ctf .
 container_id=$(docker create angr_ctf)
 docker cp "$container_id":/home/angr_ctf/ctfs - > angr_ctfs.tar
 docker rm -v "$container_id"
-tar -xzf angr_ctfs.tar
+tar -xvf angr_ctfs.tar
 rm angr_ctfs.tar
diff --git a/docs/SymbolicExecution.pdf b/docs/SymbolicExecution.pdf