## Running analysis for "z3" version "0.1.0" STARTED: 2025-12-10T03:38:28.632989Z ### Starting pana 2025-12-10 03:38:40.602855 INFO: Running `dart pub unpack z3:0.1.0 --output /tmp/pana-z3OWJARL/z3 --no-resolve`... 2025-12-10 03:38:40.952166 INFO: Running `/home/worker/dart/stable/bin/dart --version`... 2025-12-10 03:38:40.983990 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check --version --machine`... 2025-12-10 03:38:41.116238 INFO: Running `git rev-parse --show-toplevel`... 2025-12-10 03:38:41.192578 INFO: Running `/home/worker/dart/stable/bin/dart pub get --no-example`... 2025-12-10 03:38:41.345462 INFO: Running `/home/worker/dart/stable/bin/dart pub outdated --json --up-to-date --no-dev-dependencies --no-dependency-overrides`... 2025-12-10 03:38:41.447028 INFO: Analyzing package... 2025-12-10 03:38:41.487964 INFO: Running `/home/worker/dart/stable/bin/dart analyze --format machine lib`... 2025-12-10 03:38:50.328323 INFO: Running `git init`... 2025-12-10 03:38:50.356262 INFO: Running `git remote add origin https://github.com/pingbird/dz3`... 2025-12-10 03:38:50.379362 INFO: Running `git remote show origin`... 2025-12-10 03:38:50.603982 INFO: Running `git fetch --depth 1 --no-recurse-submodules origin master`... 2025-12-10 03:38:50.959425 INFO: Running `git ls-tree -r --name-only --full-tree origin/master`... 2025-12-10 03:38:50.987110 INFO: Running `git show origin/master:dz3/pubspec.yaml`... 2025-12-10 03:38:51.017023 INFO: Running `git show origin/master:dz3_example/pubspec.yaml`... 2025-12-10 03:38:51.042582 INFO: Running `git show origin/master:dz3_flutter/example/pubspec.yaml`... 2025-12-10 03:38:51.071360 INFO: Running `git show origin/master:dz3_flutter/pubspec.yaml`... 2025-12-10 03:38:51.100517 INFO: Running `git show origin/master:dz3_gen/pubspec.yaml`... 2025-12-10 03:38:54.830878 INFO: Running `/home/worker/dart/stable/bin/dart pub get --no-example`... 2025-12-10 03:38:54.882890 INFO: Running `/home/worker/dart/stable/bin/dart format --output=none --set-exit-if-changed /tmp/pana_MGOUOE/./lib`... 2025-12-10 03:38:54.954756 INFO: Analyzing pub downgrade... 2025-12-10 03:38:54.961618 INFO: Running `/home/worker/dart/stable/bin/dart pub downgrade --no-example`... 2025-12-10 03:38:55.200258 INFO: Running `/home/worker/dart/stable/bin/dart analyze --format machine lib`... 2025-12-10 03:38:57.018204 INFO: [pub-downgrade-success] 2025-12-10 03:38:57.023633 INFO: Running `/home/worker/dart/stable/bin/dart pub upgrade --no-example`... 2025-12-10 03:38:57.115853 INFO: Running `/home/worker/dart/stable/bin/dart pub global activate dartdoc 9.0.0`... 2025-12-10 03:39:04.372355 INFO: Running `/home/worker/dart/stable/bin/dart pub global run dartdoc --output /tmp/pana-z3OWJARL/raw-dartdoc --sanitize-html --max-file-count 10000000 --max-total-size 2147483648 --no-validate-links --sdk-dir /home/worker/dart/stable`... 2025-12-10 03:39:30.796957 INFO: `dartdoc` completed: 2025-12-10 03:39:30.796957 INFO: Documenting z3... 2025-12-10 03:39:30.796957 INFO: Discovering libraries... 2025-12-10 03:39:30.796957 INFO: Linking elements... 2025-12-10 03:39:30.796957 INFO: Precaching local docs for 163867 elements... 2025-12-10 03:39:30.796957 INFO: Initialized dartdoc with 99 libraries 2025-12-10 03:39:30.796957 INFO: Generating docs for library z3_ffi.dart from package:z3/z3_ffi.dart... 2025-12-10 03:39:30.796957 INFO: Generating docs for library z3.dart from package:z3/z3.dart... 2025-12-10 03:39:30.796957 INFO: Documented 2 public libraries in 25.8 seconds 2025-12-10 03:39:30.796957 INFO: Success! Docs generated into /tmp/pana-z3OWJARL/raw-dartdoc 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [i] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:22201:16) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [mp T1 T2] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:22201:16) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [symmetry T1] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:22201:16) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [trans T1 T2] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:22201:16) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [trans* T1 T2 T3] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:22201:16) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [monotonicity T1 ... Tn] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:22201:16) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [quant-intro T1] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:22201:16) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [proof-bind T1] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:22201:16) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [and-elim T1] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:22201:16) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [not-or-elim T1] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:22201:16) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [x_1 ... x_m] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:22201:16) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [x_1 ... x_n] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:22201:16) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [lemma T1] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:22201:16) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [unit-resolution T1 ... T(n+1)] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:22201:16) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [iff-true T1] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:22201:16) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [iff-false T1] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:22201:16) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [comm] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:22201:16) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [def-intro] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:22201:16) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [apply-def T1] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:22201:16) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [iff~ T1] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:22201:16) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [nnf-pos T1 T2 T3 T4] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:22201:16) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [nnf-neg T1 ... Tn] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:22201:16) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [nnf-neg T1 T2 T3 T4] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:22201:16) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [sk] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:22201:16) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [mp~ T1 T2] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:22201:16) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [0] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3Lib.algebraic_eval: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:16719:7) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [n-1] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3Lib.algebraic_eval: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:16719:7) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [0] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3Lib.algebraic_roots: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:16691:17) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [n-1] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3Lib.algebraic_roots: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:16691:17) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [A-Z] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3Lib.global_param_set: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:2488:8) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [0-9] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3Lib.global_param_set: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:2488:8) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [0] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3Lib.mk_add: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:4418:10) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [num_args-1] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3Lib.mk_add: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:4418:10) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [0] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3Lib.mk_and: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:4361:10) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [num_args-1] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3Lib.mk_and: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:4361:10) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [domain -> range] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3Lib.mk_array_sort: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:3412:11) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [0..2^N-1] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3Lib.mk_bv2int: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:5806:10) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [|m-1|:|m-1|] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3Lib.mk_bvslt: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:5274:10) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [0] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3Lib.mk_distinct: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:4217:10) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [num_args-1] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3Lib.mk_distinct: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:4217:10) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [j] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3Lib.mk_distinct: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:4217:10) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [domain_i -> range_i] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3Lib.mk_map: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:6188:10) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [0] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3Lib.mk_mul: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:4446:10) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [num_args-1] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3Lib.mk_mul: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:4446:10) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [0] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3Lib.mk_or: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:4388:10) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [num_args-1] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3Lib.mk_or: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:4388:10) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [domain -> range] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3Lib.mk_select: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:6045:10) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [domain -> range] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3Lib.mk_store: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:6102:10) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [0] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3Lib.mk_sub: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:4473:10) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [num_args - 1] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3Lib.mk_sub: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:4473:10) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [n-1] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3Lib.rcf_mk_roots: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:16929:7) 2025-12-10 03:39:30.796957 INFO: warning: unresolved doc reference [0] 2025-12-10 03:39:30.796957 INFO: from z3_ffi.Z3Lib.rcf_mk_roots: (file:///tmp/pana_MGOUOE/lib/src/z3_ffi.dart:16929:7) 2025-12-10 03:39:30.796957 INFO: Found 52 warnings and 0 errors. 2025-12-10 03:39:30.884394 INFO: Writing summary.json 2025-12-10 03:39:30.889057 INFO: Running dartdoc post-processing 2025-12-10 03:39:30.892638 INFO: Creating .tar.gz archive 2025-12-10 03:39:33.328832 INFO: Finished .tar.gz archive 2025-12-10 03:39:37.197984 INFO: Finished post-processing ### Execution of pana exited 0 STOPPED: 2025-12-10T03:39:37.362572Z