diff --git a/README.md b/README.md index 98c91e0..4c18177 100644 --- a/README.md +++ b/README.md @@ -89,7 +89,7 @@ You can test, that everything is set up correctly by running `pyintepret` comman To test that the environment is working correctly run the following script: ```shell -./run_test.sh +./run_smoke_test.sh ``` This will run only `b-smt` benchmark, with timeout `60s`, and runs only diff --git a/generate_figs.py b/generate_figs.py index f21d38e..2ce69be 100755 --- a/generate_figs.py +++ b/generate_figs.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 # coding: utf-8 # System Packages diff --git a/run_smoke_test.sh b/run_smoke_test.sh index 3014716..270b1f5 100755 --- a/run_smoke_test.sh +++ b/run_smoke_test.sh @@ -1,3 +1,3 @@ #!/bin/bash rm -rf ./results/data/smoke-test || true -./run_all.sh --test-run --jobs 1 --b-smt --timeout 60 --output-dir smoke-test --test-run-count 2 +./run_all.sh --test-run --jobs 1 --b-smt --output-dir smoke-test --test-run-count 2 --timeout 60