diff --git a/Makefile b/Makefile index 8124a81..a688296 100644 --- a/Makefile +++ b/Makefile @@ -58,7 +58,6 @@ test_ci: venv @echo -e "${GREEN}======== Installing Stacy for Clarity ========${NC}" ./venv/bin/pip install $(PATH2) @echo -e "${GREEN}======== Testing detectors ========${NC}" - alias stacy-analyzer="./venv/bin/stacy-analyzer" ./tests.sh > $(GITHUB_WORKSPACE)/test.out fish: venv diff --git a/tests.sh b/tests.sh index a6d8d71..18b8a49 100755 --- a/tests.sh +++ b/tests.sh @@ -7,7 +7,7 @@ process_example() { local clar_file=$(find "$example_path" -name "*.clar") local expected_output_file="$example_path/stdout" - stacy-analyzer lint "$clar_file" > output.tmp + ./venv/bin/stacy-analyzer lint "$clar_file" > output.tmp if ! diff -q output.tmp "$expected_output_file" > /dev/null; then diff --color output.tmp "$expected_output_file"