Skip to content

Commit

Permalink
Build Z3 from source
Browse files Browse the repository at this point in the history
  • Loading branch information
@qhdwight
qhdwight committed Feb 20, 2023
1 parent f3513c5 commit 310ff05
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion containers/Dockerfile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ USER wolvsec

ENV PATH="${PATH}:/home/wolvsec/.local/bin"

RUN pip3 install pwntools numpy ipython z3-solver
RUN pip3 install pwntools numpy ipython

RUN bash -c "$(curl -fsSL https://gef.blah.cat/sh)"

Expand Down

0 comments on commit 310ff05

Please sign in to comment.