appleseedlab / maki

A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs
8 stars 3 forks source link

Include Dockerfile and relevant instructions #22

Closed Bottle-Water closed 3 months ago

Bottle-Water commented 3 months ago

Added a Dockerfile with required maki dependencies, updated README.md to include instructions on running the test suite on the Docker image as well as instructions to use the Docker image on AMD64 architecture.