Add -r flag, rm old install script, add clone instruction

gsvgit · Jan 25, 2024 · e037d58 · e037d58
1 parent 350efe5
commit e037d58
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 7 deletions.
diff --git a/AIAgent/install_script.sh b/AIAgent/install_script.sh
diff --git a/README.md b/README.md
@@ -7,6 +7,7 @@ Python infrastructure to train paths selectors for symbolic execution engines.
 
 This repository contains submodules, so use the following command to get sources locally. 
 ```sh
+git clone https://github.com/gsvgit/PySymGym.git
 git submodule update --init --recursive
 ```
 
@@ -21,7 +22,7 @@ Create & activate virtual environment:
 python3 -m pip install virtualenv
 python3 -m virtualenv .env
 source .env/bin/activate
-pip install requirements.txt
+pip install -r requirements.txt
 ```
 
 ### GPU installation: