added test for detector divz

Veridise · Feb 28, 2024 · 27a0bc6 · 27a0bc6
1 parent 22521ec
commit 27a0bc6
Show file tree

Hide file tree

Showing 2 changed files with 25 additions and 0 deletions.
diff --git a/.github/workflows/dev.yml b/.github/workflows/dev.yml
@@ -25,6 +25,20 @@ jobs:
               run: python tests/scripts/dep.py
 
     parser-test:
+        runs-on: ubuntu-latest
+        steps:
+            - uses: actions/checkout@v4
+            - uses: actions/setup-python@v5
+              with:
+                python-version: '3.12'
+            - name: install dependencies
+              run: |
+                pip install networkx[default]
+                pip install lark
+            - name: test parsing.py
+              run: PYTHONPATH="./" python ./tests/scripts/parsing.py
+
+    detector-test-divz:
         runs-on: ubuntu-latest
         steps:
             - uses: actions/checkout@v4

diff --git a/tests/scripts/test-divz.py b/tests/scripts/test-divz.py
@@ -0,0 +1,11 @@
+from vanguard.aleo.grammar import AleoEnvironment
+from vanguard.aleo.detectors.divz import detector_divz
+
+if __name__ == "__main__":
+    project_name = "divz0"
+    build_path = f"./tests/public/{project_name}/build/"
+    env = AleoEnvironment(build_path)
+    main = env.main
+    fid = "ex0"
+    res, info = detector_divz(env, main.id, fid)
+    assert not res, f"Test failed for {fid}, expected: True, got: {res}"