## Running analysis for "z3" version "0.1.0" STARTED: 2024-05-09T06:22:17.239371Z ### Starting pana 2024-05-09 06:22:32.129485 INFO: Running `/home/worker/dart/stable/bin/dart --version`... 2024-05-09 06:22:32.187067 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check --version --machine`... 2024-05-09 06:22:32.417301 INFO: Downloading package z3 0.1.0 from https://pub.dev/api/archives/z3-0.1.0.tar.gz 2024-05-09 06:22:32.708243 INFO: Running `/home/worker/dart/stable/bin/dart pub get --no-example`... 2024-05-09 06:22:33.880199 INFO: Running `/home/worker/dart/stable/bin/dart pub outdated --json --up-to-date --no-dev-dependencies --no-dependency-overrides`... 2024-05-09 06:22:34.937528 INFO: Analyzing package... 2024-05-09 06:22:34.981925 INFO: Running `/home/worker/dart/stable/bin/dart analyze --format machine lib`... 2024-05-09 06:22:52.006952 INFO: Running `git init`... 2024-05-09 06:22:52.045275 INFO: Running `git remote add origin https://github.com/pingbird/dz3`... 2024-05-09 06:22:52.070609 INFO: Running `git remote show origin`... 2024-05-09 06:22:52.318315 INFO: Running `git fetch --depth 1 --no-recurse-submodules origin master`... 2024-05-09 06:22:52.827808 INFO: Running `git ls-tree -r --name-only --full-tree origin/master`... 2024-05-09 06:22:52.857610 INFO: Running `git show origin/master:dz3/pubspec.yaml`... 2024-05-09 06:22:52.895002 INFO: Running `git show origin/master:dz3_example/pubspec.yaml`... 2024-05-09 06:22:52.923671 INFO: Running `git show origin/master:dz3_flutter/example/pubspec.yaml`... 2024-05-09 06:22:52.956825 INFO: Running `git show origin/master:dz3_flutter/pubspec.yaml`... 2024-05-09 06:22:52.988454 INFO: Running `git show origin/master:dz3_gen/pubspec.yaml`... 2024-05-09 06:22:57.129394 INFO: Running `/home/worker/dart/stable/bin/dart format --output=none --set-exit-if-changed /tmp/pana_BHTQZB/lib`... 2024-05-09 06:23:00.052175 INFO: Running `/home/worker/dart/stable/bin/dart pub global activate dartdoc 8.0.8`... 2024-05-09 06:23:20.310515 INFO: Running `/home/worker/dart/stable/bin/dart pub global run dartdoc --output /tmp/dartdoc-z3EKYKXG --sanitize-html --max-file-count 10000000 --max-total-size 2147483648 --no-validate-links --sdk-dir /home/worker/dart/stable`... 2024-05-09 06:23:59.279366 INFO: `dartdoc` completed: 2024-05-09 06:23:59.279366 INFO: Documenting z3... 2024-05-09 06:23:59.279366 INFO: Discovering libraries... 2024-05-09 06:23:59.279366 INFO: Linking elements... 2024-05-09 06:23:59.279366 INFO: Precaching local docs for 163918 elements... 2024-05-09 06:23:59.279366 INFO: Initialized dartdoc with 95 libraries 2024-05-09 06:23:59.279366 INFO: Generating docs for library z3_ffi.dart from package:z3/z3_ffi.dart... 2024-05-09 06:23:59.279366 INFO: Generating docs for library z3.dart from package:z3/z3.dart... 2024-05-09 06:23:59.279366 INFO: Documented 2 public libraries in 37.6 seconds 2024-05-09 06:23:59.279366 INFO: Success! Docs generated into /tmp/dartdoc-z3EKYKXG 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [i] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [mp T1 T2] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [symmetry T1] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [trans T1 T2] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [trans* T1 T2 T3] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [monotonicity T1 ... Tn] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [quant-intro T1] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [proof-bind T1] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [and-elim T1] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [not-or-elim T1] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [x_1 ... x_m] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [x_1 ... x_n] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [x] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [t] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [lemma T1] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [unit-resolution T1 ... T(n+1)] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [iff-true T1] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [iff-false T1] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [comm] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [def-intro] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [apply-def T1] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [iff~ T1] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [nnf-pos T1 T2 T3 T4] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [nnf-pos T1] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [nnf-neg T1 ... Tn] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [nnf-neg T1 T2 T3 T4] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [sk] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [mp~ T1 T2] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:22201:16) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [0] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.algebraic_eval: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:16719:7) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [n-1] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.algebraic_eval: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:16719:7) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [0] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.algebraic_roots: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:16691:17) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [n-1] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.algebraic_roots: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:16691:17) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [A-Z] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.global_param_set: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:2488:8) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [0-9] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.global_param_set: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:2488:8) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [0] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.mk_add: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:4418:10) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [num_args-1] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.mk_add: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:4418:10) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [0] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.mk_and: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:4361:10) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [num_args-1] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.mk_and: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:4361:10) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [domain -> range] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.mk_array_sort: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:3412:11) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [0..2^N-1] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.mk_bv2int: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:5806:10) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [|m-1|:|m-1|] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.mk_bvslt: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:5274:10) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [0] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.mk_distinct: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:4217:10) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [num_args-1] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.mk_distinct: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:4217:10) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [j] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.mk_distinct: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:4217:10) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [domain_i -> range_i] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.mk_map: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:6188:10) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [domain_i -> range] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.mk_map: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:6188:10) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [0] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.mk_mul: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:4446:10) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [num_args-1] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.mk_mul: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:4446:10) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [0] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.mk_or: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:4388:10) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [num_args-1] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.mk_or: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:4388:10) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [domain -> range] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.mk_select: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:6045:10) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [domain -> range] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.mk_store: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:6102:10) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [0] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.mk_sub: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:4473:10) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [num_args - 1] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.mk_sub: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:4473:10) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [n-1] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.rcf_mk_roots: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:16929:7) 2024-05-09 06:23:59.279366 INFO: warning: unresolved doc reference [0] 2024-05-09 06:23:59.279366 INFO: from z3_ffi.Z3Lib.rcf_mk_roots: (file:///tmp/pana_BHTQZB/lib/src/z3_ffi.dart:16929:7) 2024-05-09 06:23:59.279366 INFO: Found 56 warnings and 0 errors. 2024-05-09 06:23:59.372134 INFO: Writing summary.json 2024-05-09 06:23:59.377533 INFO: Running dartdoc post-processing 2024-05-09 06:23:59.380978 INFO: Creating .tar.gz archive 2024-05-09 06:24:02.494185 INFO: Finished .tar.gz archive 2024-05-09 06:24:11.317544 INFO: Finished post-processing ### Execution of pana exited 0 STOPPED: 2024-05-09T06:24:11.491787Z