From e62f3d805c32bae820eb63b7d349fa0c472304c3 Mon Sep 17 00:00:00 2001 From: Shuo Ding Date: Fri, 28 Jul 2023 00:19:20 -0400 Subject: [PATCH] readme --- README.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index f708216..6bd2c4b 100644 --- a/README.md +++ b/README.md @@ -7,9 +7,11 @@ proposed in the paper _Mutual Refinements of Context-Free Language Reachability Python >= 3.9, C++ >= 17, and any recent version of GNU make. +**These version requirements are strict. For example, Python 3.8 will not work.** + ## Build and run -Run `python3 run.py` to build the project and run every benchmark item +Use Python (>= 3.9) to execute `run.py` to build the project and run every benchmark item in the following 5 categories with 10-second time limit. Please check `run.py` for detailed arguments for each invocation. @@ -38,6 +40,7 @@ Once you have the `.tar` file, you can share it with others. Anyone with the `.tar` file can load the docker image and launch a container from the image. Then one can repeat the above experiment inside the docker container. +Please note: inside the container you should use the `python3.9` command to run the script. ``` docker load --input mutual-refinement.tar