Merge pull request #309 from fandango-fuzzer/dev

fix: make experiment

.github/workflows/python-tests.yml

@@ -7,7 +7,6 @@ on:
   push:
     branches:
       - dev   # Run tests on pushes to the dev branch
-      - main  # Run tests on pushes to the main branch
   pull_request:
     branches:
       - main  # Run tests on pull requests targeting the main branch
@@ -47,12 +46,11 @@ jobs:
           sudo apt-get update && sudo apt-get install -y python3-dev graphviz libgraphviz-dev pkg-config libarchive-tools
           pip install pygraphviz
 
-      # Step 5: Install Python dependencies using make and run tests
+      # Step 5: Install Python dependencies using make
       - name: Install dependencies with Makefile
         run: |
           python -m pip install --upgrade pip  # Upgrade pip to the latest version
           make install-test  # Install dependencies using the Makefile
-          make tests  # Run the tests
 
       # Step 6: Run tests using pytest
       - name: Run tests with pytest

Makefile

@@ -188,3 +188,6 @@ uninstall:
 # python -m evaluation.vs_isla.run_evaluation
 evaluate evaluation:
 	$(PYTHON) -m evaluation.vs_isla.run_evaluation 1
+
+experiment experiments:
+	$(PYTHON) -m evaluation.experiments.run_experiments