## Running analysis for "z3" version "0.1.0" STARTED: 2024-11-22T02:02:08.620685Z ### Starting pana 2024-11-22 02:02:23.844839 INFO: Running `dart pub unpack z3:0.1.0 --output /tmp/pana-z3MBNJPR/z3 --no-resolve`... 2024-11-22 02:02:24.963808 INFO: Running `/home/worker/dart/stable/bin/dart --version`... 2024-11-22 02:02:24.995919 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check --version --machine`... 2024-11-22 02:02:25.186446 INFO: Running `git rev-parse --show-toplevel`... 2024-11-22 02:02:25.279224 INFO: Running `/home/worker/dart/stable/bin/dart pub get --no-example`... 2024-11-22 02:02:26.399384 INFO: Running `/home/worker/dart/stable/bin/dart pub outdated --json --up-to-date --no-dev-dependencies --no-dependency-overrides`... 2024-11-22 02:02:27.397626 INFO: Analyzing package... 2024-11-22 02:02:27.435621 INFO: Running `/home/worker/dart/stable/bin/dart analyze --format machine lib`... 2024-11-22 02:02:45.117354 INFO: Running `git init`... 2024-11-22 02:02:45.142304 INFO: Running `git remote add origin https://github.com/pingbird/dz3`... 2024-11-22 02:02:45.165768 INFO: Running `git remote show origin`... 2024-11-22 02:02:45.412952 INFO: Running `git fetch --depth 1 --no-recurse-submodules origin master`... 2024-11-22 02:02:45.928874 INFO: Running `git ls-tree -r --name-only --full-tree origin/master`... 2024-11-22 02:02:45.956265 INFO: Running `git show origin/master:dz3/pubspec.yaml`... 2024-11-22 02:02:45.988326 INFO: Running `git show origin/master:dz3_example/pubspec.yaml`... 2024-11-22 02:02:46.013733 INFO: Running `git show origin/master:dz3_flutter/example/pubspec.yaml`... 2024-11-22 02:02:46.044272 INFO: Running `git show origin/master:dz3_flutter/pubspec.yaml`... 2024-11-22 02:02:46.073334 INFO: Running `git show origin/master:dz3_gen/pubspec.yaml`... 2024-11-22 02:02:50.408376 INFO: Running `/home/worker/dart/stable/bin/dart format --output=none --set-exit-if-changed /tmp/pana_KIKOGF/./lib`... 2024-11-22 02:02:53.215472 INFO: Analyzing pub downgrade... 2024-11-22 02:02:53.223320 INFO: Running `/home/worker/dart/stable/bin/dart pub downgrade --no-example`... 2024-11-22 02:02:54.484590 INFO: Running `/home/worker/dart/stable/bin/dart analyze --format machine lib`... 2024-11-22 02:02:58.747638 INFO: [pub-downgrade-success] 2024-11-22 02:02:58.754583 INFO: Running `/home/worker/dart/stable/bin/dart pub upgrade --no-example`... 2024-11-22 02:02:59.758096 INFO: Running `/home/worker/dart/stable/bin/dart pub global activate dartdoc 8.1.0`... 2024-11-22 02:03:12.475942 INFO: Running `/home/worker/dart/stable/bin/dart pub global run dartdoc --output /tmp/pana-z3MBNJPR/raw-dartdoc --sanitize-html --max-file-count 10000000 --max-total-size 2147483648 --no-validate-links --sdk-dir /home/worker/dart/stable`... 2024-11-22 02:03:53.667396 INFO: `dartdoc` completed: 2024-11-22 02:03:53.667396 INFO: Documenting z3... 2024-11-22 02:03:53.667396 INFO: Discovering libraries... 2024-11-22 02:03:53.667396 INFO: Linking elements... 2024-11-22 02:03:53.667396 INFO: Precaching local docs for 164434 elements... 2024-11-22 02:03:53.667396 INFO: Initialized dartdoc with 97 libraries 2024-11-22 02:03:53.667396 INFO: Generating docs for library z3_ffi.dart from package:z3/z3_ffi.dart... 2024-11-22 02:03:53.667396 INFO: Generating docs for library z3.dart from package:z3/z3.dart... 2024-11-22 02:03:53.667396 INFO: Documented 2 public libraries in 38.3 seconds 2024-11-22 02:03:53.667396 INFO: Success! Docs generated into /tmp/pana-z3MBNJPR/raw-dartdoc 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [i] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [mp T1 T2] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [symmetry T1] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [trans T1 T2] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [trans* T1 T2 T3] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [monotonicity T1 ... Tn] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [quant-intro T1] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [proof-bind T1] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [and-elim T1] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [not-or-elim T1] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [x_1 ... x_m] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [x_1 ... x_n] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [x] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [t] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [lemma T1] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [unit-resolution T1 ... T(n+1)] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [iff-true T1] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [iff-false T1] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [comm] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [def-intro] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [apply-def T1] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [iff~ T1] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [nnf-pos T1 T2 T3 T4] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [nnf-pos T1] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [nnf-neg T1 ... Tn] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [nnf-neg T1 T2 T3 T4] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [sk] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [mp~ T1 T2] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:22201:16) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [0] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.algebraic_eval: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:16719:7) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [n-1] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.algebraic_eval: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:16719:7) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [0] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.algebraic_roots: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:16691:17) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [n-1] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.algebraic_roots: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:16691:17) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [A-Z] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.global_param_set: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:2488:8) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [0-9] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.global_param_set: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:2488:8) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [0] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.mk_add: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:4418:10) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [num_args-1] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.mk_add: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:4418:10) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [0] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.mk_and: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:4361:10) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [num_args-1] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.mk_and: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:4361:10) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [domain -> range] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.mk_array_sort: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:3412:11) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [0..2^N-1] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.mk_bv2int: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:5806:10) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [|m-1|:|m-1|] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.mk_bvslt: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:5274:10) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [0] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.mk_distinct: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:4217:10) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [num_args-1] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.mk_distinct: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:4217:10) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [j] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.mk_distinct: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:4217:10) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [domain_i -> range_i] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.mk_map: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:6188:10) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [domain_i -> range] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.mk_map: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:6188:10) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [0] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.mk_mul: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:4446:10) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [num_args-1] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.mk_mul: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:4446:10) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [0] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.mk_or: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:4388:10) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [num_args-1] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.mk_or: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:4388:10) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [domain -> range] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.mk_select: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:6045:10) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [domain -> range] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.mk_store: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:6102:10) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [0] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.mk_sub: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:4473:10) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [num_args - 1] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.mk_sub: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:4473:10) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [n-1] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.rcf_mk_roots: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:16929:7) 2024-11-22 02:03:53.667396 INFO: warning: unresolved doc reference [0] 2024-11-22 02:03:53.667396 INFO: from z3_ffi.Z3Lib.rcf_mk_roots: (file:///tmp/pana_KIKOGF/lib/src/z3_ffi.dart:16929:7) 2024-11-22 02:03:53.667396 INFO: Found 56 warnings and 0 errors. 2024-11-22 02:03:53.787685 INFO: Writing summary.json 2024-11-22 02:03:53.791630 INFO: Running dartdoc post-processing 2024-11-22 02:03:53.795227 INFO: Creating .tar.gz archive 2024-11-22 02:03:56.675802 INFO: Finished .tar.gz archive 2024-11-22 02:04:05.426613 INFO: Finished post-processing ### Execution of pana exited 0 STOPPED: 2024-11-22T02:04:05.771643Z