## Running analysis for "fixed_z3" version "0.1.1" STARTED: 2024-12-20T00:24:42.368542Z ### Starting pana 2024-12-20 00:24:57.620721 INFO: Running `dart pub unpack fixed_z3:0.1.1 --output /tmp/pana-fixed_z3HOGYGB/fixed_z3 --no-resolve`... 2024-12-20 00:24:58.791263 INFO: Running `/home/worker/dart/stable/bin/dart --version`... 2024-12-20 00:24:58.822784 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check --version --machine`... 2024-12-20 00:24:59.006188 INFO: Running `git rev-parse --show-toplevel`... 2024-12-20 00:24:59.095849 INFO: Running `/home/worker/dart/stable/bin/dart pub get --no-example`... 2024-12-20 00:25:00.189031 INFO: Running `/home/worker/dart/stable/bin/dart pub outdated --json --up-to-date --no-dev-dependencies --no-dependency-overrides`... 2024-12-20 00:25:01.171738 INFO: Analyzing package... 2024-12-20 00:25:01.214308 INFO: Running `/home/worker/dart/stable/bin/dart analyze --format machine lib`... 2024-12-20 00:25:19.264796 INFO: Running `git init`... 2024-12-20 00:25:19.288046 INFO: Running `git remote add origin https://github.com/pingbird/dz3`... 2024-12-20 00:25:19.311506 INFO: Running `git remote show origin`... 2024-12-20 00:25:19.551379 INFO: Running `git fetch --depth 1 --no-recurse-submodules origin master`... 2024-12-20 00:25:20.041201 INFO: Running `git ls-tree -r --name-only --full-tree origin/master`... 2024-12-20 00:25:20.065991 INFO: Running `git show origin/master:dz3/pubspec.yaml`... 2024-12-20 00:25:20.096346 INFO: Running `git show origin/master:dz3_example/pubspec.yaml`... 2024-12-20 00:25:20.138703 INFO: Running `git show origin/master:dz3_flutter/example/pubspec.yaml`... 2024-12-20 00:25:20.169001 INFO: Running `git show origin/master:dz3_flutter/pubspec.yaml`... 2024-12-20 00:25:20.199843 INFO: Running `git show origin/master:dz3_gen/pubspec.yaml`... 2024-12-20 00:25:20.232014 INFO: Repository has no matching `pubspec.yaml` with `name: fixed_z3`. 2024-12-20 00:25:24.366478 INFO: Running `/home/worker/dart/stable/bin/dart format --output=none --set-exit-if-changed /tmp/pana_EAKTNJ/./lib`... 2024-12-20 00:25:27.196722 INFO: Analyzing pub downgrade... 2024-12-20 00:25:27.203524 INFO: Running `/home/worker/dart/stable/bin/dart pub downgrade --no-example`... 2024-12-20 00:25:28.437085 INFO: Running `/home/worker/dart/stable/bin/dart analyze --format machine lib`... 2024-12-20 00:25:32.785859 INFO: [pub-downgrade-success] 2024-12-20 00:25:32.793936 INFO: Running `/home/worker/dart/stable/bin/dart pub upgrade --no-example`... 2024-12-20 00:25:33.778925 INFO: Running `/home/worker/dart/stable/bin/dart pub global activate dartdoc 8.3.0`... 2024-12-20 00:25:46.428611 INFO: Running `/home/worker/dart/stable/bin/dart pub global run dartdoc --output /tmp/pana-fixed_z3HOGYGB/raw-dartdoc --sanitize-html --max-file-count 10000000 --max-total-size 2147483648 --no-validate-links --sdk-dir /home/worker/dart/stable`... 2024-12-20 00:26:27.496382 INFO: `dartdoc` completed: 2024-12-20 00:26:27.496382 INFO: Documenting fixed_z3... 2024-12-20 00:26:27.496382 INFO: Discovering libraries... 2024-12-20 00:26:27.496382 INFO: Linking elements... 2024-12-20 00:26:27.496382 INFO: Precaching local docs for 163548 elements... 2024-12-20 00:26:27.496382 INFO: Initialized dartdoc with 98 libraries 2024-12-20 00:26:27.496382 INFO: Generating docs for library z3_ffi.dart from package:fixed_z3/z3_ffi.dart... 2024-12-20 00:26:27.496382 INFO: Generating docs for library z3.dart from package:fixed_z3/z3.dart... 2024-12-20 00:26:27.496382 INFO: Documented 2 public libraries in 39.6 seconds 2024-12-20 00:26:27.496382 INFO: Success! Docs generated into /tmp/pana-fixed_z3HOGYGB/raw-dartdoc 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [i] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:22201:16) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [mp T1 T2] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:22201:16) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [symmetry T1] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:22201:16) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [trans T1 T2] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:22201:16) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [trans* T1 T2 T3] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:22201:16) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [monotonicity T1 ... Tn] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:22201:16) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [quant-intro T1] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:22201:16) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [proof-bind T1] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:22201:16) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [and-elim T1] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:22201:16) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [not-or-elim T1] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:22201:16) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [x_1 ... x_m] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:22201:16) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [x_1 ... x_n] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:22201:16) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [lemma T1] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:22201:16) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [unit-resolution T1 ... T(n+1)] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:22201:16) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [iff-true T1] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:22201:16) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [iff-false T1] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:22201:16) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [comm] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:22201:16) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [def-intro] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:22201:16) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [apply-def T1] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:22201:16) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [iff~ T1] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:22201:16) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [nnf-pos T1 T2 T3 T4] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:22201:16) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [nnf-neg T1 ... Tn] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:22201:16) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [nnf-neg T1 T2 T3 T4] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:22201:16) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [sk] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:22201:16) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [mp~ T1 T2] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3_decl_kind: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:22201:16) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [0] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3Lib.algebraic_eval: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:16719:7) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [n-1] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3Lib.algebraic_eval: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:16719:7) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [0] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3Lib.algebraic_roots: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:16691:17) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [n-1] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3Lib.algebraic_roots: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:16691:17) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [A-Z] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3Lib.global_param_set: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:2488:8) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [0-9] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3Lib.global_param_set: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:2488:8) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [0] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3Lib.mk_add: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:4418:10) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [num_args-1] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3Lib.mk_add: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:4418:10) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [0] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3Lib.mk_and: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:4361:10) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [num_args-1] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3Lib.mk_and: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:4361:10) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [domain -> range] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3Lib.mk_array_sort: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:3412:11) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [0..2^N-1] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3Lib.mk_bv2int: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:5806:10) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [|m-1|:|m-1|] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3Lib.mk_bvslt: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:5274:10) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [0] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3Lib.mk_distinct: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:4217:10) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [num_args-1] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3Lib.mk_distinct: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:4217:10) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [j] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3Lib.mk_distinct: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:4217:10) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [domain_i -> range_i] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3Lib.mk_map: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:6188:10) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [0] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3Lib.mk_mul: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:4446:10) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [num_args-1] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3Lib.mk_mul: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:4446:10) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [0] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3Lib.mk_or: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:4388:10) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [num_args-1] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3Lib.mk_or: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:4388:10) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [domain -> range] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3Lib.mk_select: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:6045:10) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [domain -> range] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3Lib.mk_store: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:6102:10) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [0] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3Lib.mk_sub: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:4473:10) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [num_args - 1] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3Lib.mk_sub: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:4473:10) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [n-1] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3Lib.rcf_mk_roots: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:16929:7) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [0] 2024-12-20 00:26:27.496382 INFO: from z3_ffi.Z3Lib.rcf_mk_roots: (file:///tmp/pana_EAKTNJ/lib/src/z3_ffi.dart:16929:7) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [expr] 2024-12-20 00:26:27.496382 INFO: from scoped.substitute: (file:///tmp/pana_EAKTNJ/lib/src/scoped.dart:1095:3) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [to] 2024-12-20 00:26:27.496382 INFO: from scoped.substituteFuncs: (file:///tmp/pana_EAKTNJ/lib/src/scoped.dart:1104:3) 2024-12-20 00:26:27.496382 INFO: warning: unresolved doc reference [then] 2024-12-20 00:26:27.496382 INFO: from scoped.ExprExtension.thenElse: (file:///tmp/pana_EAKTNJ/lib/src/scoped.dart:1567:8) 2024-12-20 00:26:27.496382 INFO: Found 55 warnings and 0 errors. 2024-12-20 00:26:27.610579 INFO: Writing summary.json 2024-12-20 00:26:27.614312 INFO: Running dartdoc post-processing 2024-12-20 00:26:27.618335 INFO: Creating .tar.gz archive 2024-12-20 00:26:30.276197 INFO: Finished .tar.gz archive 2024-12-20 00:26:40.161232 INFO: Finished post-processing ### Execution of pana exited 0 STOPPED: 2024-12-20T00:26:40.505933Z