Fix path

ftsrg · Aug 12, 2020 · 7eb8853 · 7eb8853
1 parent dd0a67d
commit 7eb8853
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/subprojects/cfa-cli/README.md b/subprojects/cfa-cli/README.md
@@ -36,7 +36,7 @@ docker build -t theta-cfa-cli -f docker/theta-cfa-cli.Dockerfile .
 
 The script `run-theta-cfa-cli.sh` can be used for running the containerized version on models residing on the host:
 ```
-./run-theta-cfa-cli.sh model.cfa [OTHER ARGUMENTS]
+./docker/run-theta-cfa-cli.sh model.cfa [OTHER ARGUMENTS]
 ```
 Note that the model must be given as the first positional argument (without `--model`).
 

diff --git a/subprojects/sts-cli/README.md b/subprojects/sts-cli/README.md
@@ -31,7 +31,7 @@ docker build -t theta-sts-cli -f docker/theta-sts-cli.Dockerfile .
 
 The script `run-theta-sts-cli.sh` can be used for running the containerized version on models residing on the host:
 ```
-./run-theta-sts-cli.sh model.sts [OTHER ARGUMENTS]
+./docker/run-theta-sts-cli.sh model.sts [OTHER ARGUMENTS]
 ```
 Note that the model must be given as the first positional argument (without `--model`).
 

diff --git a/subprojects/xta-cli/README.md b/subprojects/xta-cli/README.md
@@ -29,6 +29,6 @@ docker build -t theta-xta-cli -f docker/theta-xta-cli.Dockerfile .
 
 The script `run-theta-xta-cli.sh` can be used for running the containerized version on models residing on the host:
 ```
-./run-theta-xta-cli.sh model.xta [OTHER ARGUMENTS]
+./docker/run-theta-xta-cli.sh model.xta [OTHER ARGUMENTS]
 ```
 Note that the model must be given as the first positional argument (without `--model`).