## Running analysis for "dart_z3" version "1.0.5"
STARTED: 2025-06-03T11:45:19.571967Z

### Starting pana
2025-06-03 11:45:32.897782 INFO: Running `dart pub unpack dart_z3:1.0.5 --output /tmp/pana-dart_z3BTHMQO/dart_z3 --no-resolve`...
2025-06-03 11:45:33.621227 INFO: Running `/home/worker/dart/stable/bin/dart --version`...
2025-06-03 11:45:33.655004 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check --version --machine`...
2025-06-03 11:45:33.802782 INFO: Running `git rev-parse --show-toplevel`...
2025-06-03 11:45:33.873598 INFO: Running `/home/worker/dart/stable/bin/dart pub get --no-example`...
2025-06-03 11:45:34.409961 INFO: Running `/home/worker/dart/stable/bin/dart pub outdated --json --up-to-date --no-dev-dependencies --no-dependency-overrides`...
2025-06-03 11:45:34.881210 INFO: Analyzing package...
2025-06-03 11:45:34.912225 INFO: Running `/home/worker/dart/stable/bin/dart analyze --format machine lib`...
2025-06-03 11:45:44.284129 INFO: Running `git init`...
2025-06-03 11:45:44.316484 INFO: Running `git remote add origin https://github.com/IvoSchols/dart-z3`...
2025-06-03 11:45:44.348576 INFO: Running `git remote show origin`...
2025-06-03 11:45:44.629404 INFO: Running `git fetch --depth 1 --no-recurse-submodules origin main`...
2025-06-03 11:45:45.084084 INFO: Running `git ls-tree -r --name-only --full-tree origin/main`...
2025-06-03 11:45:45.112844 INFO: Running `git show origin/main:pubspec.yaml`...
2025-06-03 11:45:47.271775 INFO: Running `/home/worker/dart/stable/bin/dart format --output=none --set-exit-if-changed /tmp/pana_ULXYJP/./lib`...
2025-06-03 11:45:48.909950 INFO: Analyzing pub downgrade...
2025-06-03 11:45:48.914993 INFO: Running `/home/worker/dart/stable/bin/dart pub downgrade --no-example`...
2025-06-03 11:45:49.478704 INFO: Running `/home/worker/dart/stable/bin/dart analyze --format machine lib`...
2025-06-03 11:45:53.520376 INFO: [pub-downgrade-success]
2025-06-03 11:45:53.525772 INFO: Running `/home/worker/dart/stable/bin/dart pub upgrade --no-example`...
2025-06-03 11:45:54.019105 INFO: Running `/home/worker/dart/stable/bin/dart pub global activate dartdoc 8.3.3`...
2025-06-03 11:46:04.774131 INFO: Running `/home/worker/dart/stable/bin/dart pub global run dartdoc --output /tmp/pana-dart_z3BTHMQO/raw-dartdoc --sanitize-html --max-file-count 10000000 --max-total-size 2147483648 --no-validate-links --sdk-dir /home/worker/dart/stable`...
2025-06-03 11:46:32.271879 INFO: `dartdoc` completed:
2025-06-03 11:46:32.271879 INFO: Documenting dart_z3...
2025-06-03 11:46:32.271879 INFO: Discovering libraries...
2025-06-03 11:46:32.271879 INFO: Linking elements...
2025-06-03 11:46:32.271879 INFO: Precaching local docs for 142536 elements...
2025-06-03 11:46:32.271879 INFO: Initialized dartdoc with 56 libraries
2025-06-03 11:46:32.271879 INFO: Generating docs for library dart_z3.dart from package:dart_z3/dart_z3.dart...
2025-06-03 11:46:32.271879 INFO: Documented 1 public library in 26.4 seconds
2025-06-03 11:46:32.271879 INFO: Success! Docs generated into /tmp/pana-dart_z3BTHMQO/raw-dartdoc
2025-06-03 11:46:32.271879 INFO: Found 0 warnings and 0 errors.
2025-06-03 11:46:32.304449 INFO: Writing summary.json
2025-06-03 11:46:32.308551 INFO: Running dartdoc post-processing
2025-06-03 11:46:32.312131 INFO: Creating .tar.gz archive
2025-06-03 11:46:32.582959 INFO: Finished .tar.gz archive
2025-06-03 11:46:32.895733 INFO: Finished post-processing
### Execution of pana exited 0
STOPPED: 2025-06-03T11:46:33.001447Z