Use the zuban executable

Author: davidhalter

conformance/results/pyright/version.toml

@@ -1 +1 @@
-version = "pyright 1.1.403"
+version = "pyright 1.1.404"

conformance/results/results.html

@@ -160,11 +160,11 @@ <h3>Python Type System Conformance Test Results</h3>
 <tr><th class="col1">&nbsp;</th>
 <th class='tc-header'><div class='tc-name'>mypy 1.17.1</div>
 </th>
-<th class='tc-header'><div class='tc-name'>pyright 1.1.403</div>
+<th class='tc-header'><div class='tc-name'>pyright 1.1.404</div>
 </th>
 <th class='tc-header'><div class='tc-name'>pyre 0.9.25</div>
 </th>
-<th class='tc-header'><div class='tc-name'>zuban 0.0.19</div>
+<th class='tc-header'><div class='tc-name'>zuban 0.0.20</div>
 </th>
 </tr>
 <tr><th class="column" colspan="5">

conformance/results/zuban/version.toml

@@ -1 +1 @@
-version = "zuban 0.0.19"
+version = "zuban 0.0.20"

conformance/src/type_checker.py

@@ -296,19 +296,20 @@ def install(self) -> bool:
             return False
 
     def get_version(self) -> str:
-        proc = run(["zmypy", "--version"], stdout=PIPE, text=True)
-        return proc.stdout.strip().replace("zmypy", "zuban")
+        proc = run(["zuban", "--version"], stdout=PIPE, text=True)
+        return proc.stdout.strip()
 
     def run_tests(self, test_files: Sequence[str]) -> dict[str, str]:
         command = [
-            "zmypy",
+            "zuban",
+            "check",
             ".",
             "--disable-error-code",
             "empty-body",
             "--enable-error-code",
             "deprecated",
             "--no-warn-unreachable",
-            "--no-mypy-compatible",
+            "--hide-error-codes",
         ]
         proc = run(command, stdout=PIPE, text=True, encoding="utf-8")
         lines = proc.stdout.split("\n")