Docker support

The tests are run in a docker container to ease the portability.

Dockerfile

+FROM ubuntu:22.04 as build
+
+# Install jq from source
+WORKDIR /btc_symbolic
+
+RUN apt update
+RUN apt upgrade -y
+RUN apt install -y python3 pip
+
+# Necessary to support RIPEMD-160 hashes: see https://github.com/ofek/bit/issues/168
+RUN sed -i 's/default = default_sect/default = default_sect\nlegacy = legacy_sect/g' /usr/lib/ssl/openssl.cnf
+RUN sed -i 's/# activate = 1/activate = 1\n\n[legacy_sect]\nactivate = 1/g' /usr/lib/ssl/openssl.cnf
+
+COPY . .
+
+RUN pip install -r requirements.txt
+
+ENTRYPOINT ["python3", "-m", "unittest", "discover", "tests"]
\ No newline at end of file

Makefile

 
 
-.PHONY: all tests
+.PHONY: all docker_image tests
 
-all: tests
+all: docker_image tests
+
+docker_image:
+	docker build -t btc_symbolic_executer .
 
 tests:
-	python -m unittest discover tests
\ No newline at end of file
+	docker run --name btc_symbolic_executer_tests btc_symbolic_executer
+	docker rm btc_symbolic_executer_tests
\ No newline at end of file

requirements.txt

+numpy==1.26.4
+pyparsing==3.1.2
+z3-solver==4.13.0.0
\ No newline at end of file