## Running analysis for "fixed_z3" version "0.1.1" STARTED: 2025-02-08T03:19:56.543367Z ### Starting pana 2025-02-08 03:20:12.439695 INFO: Running `dart pub unpack fixed_z3:0.1.1 --output /tmp/pana-fixed_z3KHKWGY/fixed_z3 --no-resolve`... 2025-02-08 03:20:13.476468 INFO: Running `/home/worker/dart/stable/bin/dart --version`... 2025-02-08 03:20:13.508127 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check --version --machine`... 2025-02-08 03:20:13.688961 INFO: Running `git rev-parse --show-toplevel`... 2025-02-08 03:20:13.778135 INFO: Running `/home/worker/dart/stable/bin/dart pub get --no-example`... 2025-02-08 03:20:14.896453 INFO: Running `/home/worker/dart/stable/bin/dart pub outdated --json --up-to-date --no-dev-dependencies --no-dependency-overrides`... 2025-02-08 03:20:15.903737 INFO: Analyzing package... 2025-02-08 03:20:15.942997 INFO: Running `/home/worker/dart/stable/bin/dart analyze --format machine lib`... 2025-02-08 03:20:33.687602 INFO: Running `git init`... 2025-02-08 03:20:33.719936 INFO: Running `git remote add origin https://github.com/pingbird/dz3`... 2025-02-08 03:20:33.743390 INFO: Running `git remote show origin`... 2025-02-08 03:20:33.989464 INFO: Running `git fetch --depth 1 --no-recurse-submodules origin master`... 2025-02-08 03:20:34.458643 INFO: Running `git ls-tree -r --name-only --full-tree origin/master`... 2025-02-08 03:20:34.483394 INFO: Running `git show origin/master:dz3/pubspec.yaml`... 2025-02-08 03:20:34.513367 INFO: Running `git show origin/master:dz3_example/pubspec.yaml`... 2025-02-08 03:20:34.538871 INFO: Running `git show origin/master:dz3_flutter/example/pubspec.yaml`... 2025-02-08 03:20:34.568766 INFO: Running `git show origin/master:dz3_flutter/pubspec.yaml`... 2025-02-08 03:20:34.598298 INFO: Running `git show origin/master:dz3_gen/pubspec.yaml`... 2025-02-08 03:20:34.624951 INFO: Repository has no matching `pubspec.yaml` with `name: fixed_z3`. 2025-02-08 03:20:39.380497 INFO: Running `/home/worker/dart/stable/bin/dart format --output=none --set-exit-if-changed /tmp/pana_WLNOPO/./lib`... 2025-02-08 03:20:42.245081 INFO: Analyzing pub downgrade... 2025-02-08 03:20:42.255468 INFO: Running `/home/worker/dart/stable/bin/dart pub downgrade --no-example`... 2025-02-08 03:20:43.518754 INFO: Running `/home/worker/dart/stable/bin/dart analyze --format machine lib`... 2025-02-08 03:20:48.029562 INFO: [pub-downgrade-success] 2025-02-08 03:20:48.036171 INFO: Running `/home/worker/dart/stable/bin/dart pub upgrade --no-example`... 2025-02-08 03:20:49.059975 INFO: Running `/home/worker/dart/stable/bin/dart pub global activate dartdoc 8.3.2`... 2025-02-08 03:21:01.636042 INFO: Running `/home/worker/dart/stable/bin/dart pub global run dartdoc --output /tmp/pana-fixed_z3KHKWGY/raw-dartdoc --sanitize-html --max-file-count 10000000 --max-total-size 2147483648 --no-validate-links --sdk-dir /home/worker/dart/stable`... 2025-02-08 03:21:40.684351 INFO: `dartdoc` completed: 2025-02-08 03:21:40.684351 INFO: Documenting fixed_z3... 2025-02-08 03:21:40.684351 INFO: Discovering libraries... 2025-02-08 03:21:40.684351 INFO: Linking elements... 2025-02-08 03:21:40.684351 INFO: Precaching local docs for 163548 elements... 2025-02-08 03:21:40.684351 INFO: Initialized dartdoc with 98 libraries 2025-02-08 03:21:40.684351 INFO: Generating docs for library z3_ffi.dart from package:fixed_z3/z3_ffi.dart... 2025-02-08 03:21:40.684351 INFO: Generating docs for library z3.dart from package:fixed_z3/z3.dart... 2025-02-08 03:21:40.684351 INFO: Documented 2 public libraries in 37.6 seconds 2025-02-08 03:21:40.684351 INFO: Success! Docs generated into /tmp/pana-fixed_z3KHKWGY/raw-dartdoc 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [i] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:22201:16) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [mp T1 T2] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:22201:16) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [symmetry T1] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:22201:16) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [trans T1 T2] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:22201:16) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [trans* T1 T2 T3] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:22201:16) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [monotonicity T1 ... Tn] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:22201:16) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [quant-intro T1] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:22201:16) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [proof-bind T1] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:22201:16) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [and-elim T1] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:22201:16) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [not-or-elim T1] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:22201:16) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [x_1 ... x_m] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:22201:16) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [x_1 ... x_n] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:22201:16) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [lemma T1] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:22201:16) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [unit-resolution T1 ... T(n+1)] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:22201:16) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [iff-true T1] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:22201:16) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [iff-false T1] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:22201:16) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [comm] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:22201:16) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [def-intro] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:22201:16) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [apply-def T1] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:22201:16) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [iff~ T1] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:22201:16) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [nnf-pos T1 T2 T3 T4] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:22201:16) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [nnf-neg T1 ... Tn] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:22201:16) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [nnf-neg T1 T2 T3 T4] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:22201:16) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [sk] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:22201:16) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [mp~ T1 T2] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:22201:16) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [0] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3Lib.algebraic_eval: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:16719:7) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [n-1] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3Lib.algebraic_eval: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:16719:7) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [0] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3Lib.algebraic_roots: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:16691:17) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [n-1] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3Lib.algebraic_roots: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:16691:17) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [A-Z] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3Lib.global_param_set: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:2488:8) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [0-9] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3Lib.global_param_set: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:2488:8) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [0] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3Lib.mk_add: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:4418:10) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [num_args-1] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3Lib.mk_add: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:4418:10) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [0] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3Lib.mk_and: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:4361:10) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [num_args-1] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3Lib.mk_and: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:4361:10) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [domain -> range] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3Lib.mk_array_sort: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:3412:11) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [0..2^N-1] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3Lib.mk_bv2int: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:5806:10) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [|m-1|:|m-1|] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3Lib.mk_bvslt: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:5274:10) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [0] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3Lib.mk_distinct: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:4217:10) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [num_args-1] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3Lib.mk_distinct: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:4217:10) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [j] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3Lib.mk_distinct: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:4217:10) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [domain_i -> range_i] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3Lib.mk_map: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:6188:10) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [0] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3Lib.mk_mul: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:4446:10) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [num_args-1] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3Lib.mk_mul: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:4446:10) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [0] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3Lib.mk_or: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:4388:10) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [num_args-1] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3Lib.mk_or: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:4388:10) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [domain -> range] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3Lib.mk_select: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:6045:10) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [domain -> range] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3Lib.mk_store: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:6102:10) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [0] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3Lib.mk_sub: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:4473:10) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [num_args - 1] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3Lib.mk_sub: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:4473:10) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [n-1] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3Lib.rcf_mk_roots: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:16929:7) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [0] 2025-02-08 03:21:40.684351 INFO: from z3_ffi.Z3Lib.rcf_mk_roots: (file:///tmp/pana_WLNOPO/lib/src/z3_ffi.dart:16929:7) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [expr] 2025-02-08 03:21:40.684351 INFO: from scoped.substitute: (file:///tmp/pana_WLNOPO/lib/src/scoped.dart:1095:3) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [to] 2025-02-08 03:21:40.684351 INFO: from scoped.substituteFuncs: (file:///tmp/pana_WLNOPO/lib/src/scoped.dart:1104:3) 2025-02-08 03:21:40.684351 INFO: warning: unresolved doc reference [then] 2025-02-08 03:21:40.684351 INFO: from scoped.ExprExtension.thenElse: (file:///tmp/pana_WLNOPO/lib/src/scoped.dart:1567:8) 2025-02-08 03:21:40.684351 INFO: Found 55 warnings and 0 errors. 2025-02-08 03:21:40.801364 INFO: Writing summary.json 2025-02-08 03:21:40.804950 INFO: Running dartdoc post-processing 2025-02-08 03:21:40.808507 INFO: Creating .tar.gz archive 2025-02-08 03:21:43.288338 INFO: Finished .tar.gz archive 2025-02-08 03:21:53.497372 INFO: Finished post-processing ### Execution of pana exited 0 STOPPED: 2025-02-08T03:21:53.826755Z