[WIP] Merge testing analyzer

.github/workflows/testing_ci.yml

@@ -2,7 +2,7 @@ name: Invariant testing CI
 
 on:
   push:
-    branches: [ "main" ]
+    branches: [ "main", "merge_testing_analyzer" ]
   pull_request:
     branches: [ "main" ]
 
@@ -21,7 +21,6 @@ jobs:
         python-version: "3.12.2"
     - name: Setup dependencies
       run: |
-        cd testing
         python -m pip install --upgrade pip
         pip install poetry
         poetry install --with dev
@@ -31,5 +30,4 @@ jobs:
       env:
         OPENAI_API_KEY: ${{ secrets.INVARIANT_TESTING_OPENAI_KEY }}
       run: |
-        cd testing
-        poetry run pytest --cov=invariant --cov-report=term --cov-fail-under=60 -s -vv tests
+        poetry run pytest --cov=invariant --cov-report=term --cov-fail-under=60 -s -vv invariant/tests

README.md

@@ -48,7 +48,7 @@ Code:
 
 ```python
 # content of tests/test_weather.py
-import invariant.testing.functional as F
+import invariant.testing.testing.functional as F
 from invariant.testing import Trace, assert_equals
 
 def test_weather():