merge analyzer and testing folder

.github/workflows/analyzer_examples.yml

@@ -0,0 +1,47 @@
+name: Run Tests
+
+on:
+  push:
+    branches: [ "main", "ci-testing", "merge_testing_analyzer" ]
+
+permissions:
+  contents: read
+
+jobs:
+  test-examples:
+    name: Test invariant.examples
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v4
+    - name: Set up Python 3.12.2
+      uses: actions/setup-python@v3
+      with:
+        python-version: "3.12.2"
+    - name: Install dependencies
+      run: |
+        python -m pip install --upgrade pip
+        pip install poetry
+        poetry install --with dev
+    - name: Run invariant.examples
+      env:
+        OPENAI_API_KEY: ${{ secrets.CI_OPENAI_API_KEY }}
+      run: |
+        poetry run python -m unittest discover -s invariant/analyzer/examples -p "*_example.py"
+  test-no-extras:
+    name: Test without extra dependencies
+    # (some tests will be skipped, but this is the default setup when users install the package)
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v4
+    - name: Set up Python 3.12.2
+      uses: actions/setup-python@v3
+      with:
+        python-version: "3.12.2"
+    - name: Install dependencies
+      run: |
+        python -m pip install --upgrade pip
+        pip install poetry
+        poetry install --without dev
+    - name: Run tests
+      run: |
+        poetry run pytest invariant/tests/analyzer

.github/workflows/publish.yml

@@ -21,20 +21,14 @@ jobs:
 
       - name: Setup dependencies
         run: |
-          cd testing
           python -m pip install --upgrade pip
           pip install poetry
           poetry install
-      
-      - name: Set PYTHONPATH
-        run: echo "PYTHONPATH=$PYTHONPATH:$(pwd)/testing" >> $GITHUB_ENV
 
       - name: Set PyPI credentials
         run: |
-          cd testing
           poetry config pypi-token.pypi ${{ secrets.PYPI_API_TOKEN }}
 
       - name: Publish to PyPI
         run: |
-          cd testing
           poetry publish --build

.github/workflows/testing_ci.yml → .github/workflows/tests_ci.yml

@@ -2,7 +2,7 @@ name: Invariant testing CI
 
 on:
   push:
-    branches: [ "main" ]
+    branches: [ "main", "merge_testing_analyzer" ]
   pull_request:
     branches: [ "main" ]
 
@@ -21,15 +21,11 @@ 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
-    - name: Set PYTHONPATH
-      run: echo "PYTHONPATH=$PYTHONPATH:$(pwd)/testing" >> $GITHUB_ENV
     - name: Run tests
       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():