remove test

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Mar 6, 2024 · 364da19 · 364da19
1 parent 620efbb
commit 364da19
Showing 1 changed file with 0 additions and 9 deletions.
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
@@ -216,15 +216,6 @@ stages:
         scriptPath: scripts/mk_unix_dist.py
         arguments: --nodotnet --nojava --arch=arm64
         pythonInterpreter: $(python)
-    - script: git clone https://github.com/z3prover/z3test z3test
-      displayName: 'Clone z3test'
-    - task: PythonScript@0
-      displayName: Test
-      inputs:
-        scriptSource: 'filepath'
-        scriptPath: z3test/scripts/test_benchmarks.py
-        arguments: build-dist/z3 z3test/regressions/smt2
-        pythonInterpreter: $(python)
     - task: CopyFiles@2
       inputs:
         sourceFolder: dist