From c354d323547458ebb088ff309512fb0096b6bbb8 Mon Sep 17 00:00:00 2001 From: verifit Date: Thu, 26 Oct 2023 13:52:04 +0200 Subject: [PATCH] Fix minor things --- README.md | 2 +- generate_figs.py | 2 +- run_smoke_test.sh | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) 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