## Running analysis for "temporal_logic_mtl" version "0.2.0"
STARTED: 2026-01-08T03:16:07.865898Z

### Starting pana
2026-01-08 03:16:25.761162 INFO: Running `dart pub unpack temporal_logic_mtl:0.2.0 --output /tmp/pana-temporal_logic_mtlFOAPRE/temporal_logic_mtl --no-resolve`...
2026-01-08 03:16:26.163385 INFO: Running `/home/worker/dart/stable/bin/dart --version`...
2026-01-08 03:16:26.205393 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check --version --machine`...
2026-01-08 03:16:26.411292 INFO: Running `git rev-parse --show-toplevel`...
2026-01-08 03:16:26.496848 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check pub pub get --no-example`...
2026-01-08 03:16:27.512824 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check pub pub get --no-example`...
2026-01-08 03:16:27.850749 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check pub pub outdated --json --up-to-date --no-dev-dependencies --no-dependency-overrides`...
2026-01-08 03:16:28.276254 INFO: Analyzing package...
2026-01-08 03:16:28.318793 INFO: Running `/home/worker/flutter/stable/bin/cache/dart-sdk/bin/dart analyze --format machine .`...
2026-01-08 03:16:33.875827 INFO: Running `git init`...
2026-01-08 03:16:33.910080 INFO: Running `git remote add origin https://github.com/CAPHTECH/temporal_logic`...
2026-01-08 03:16:33.941773 INFO: Running `git remote show origin`...
2026-01-08 03:16:34.177587 INFO: Running `git fetch --depth 1 --no-recurse-submodules origin main`...
2026-01-08 03:16:34.559104 INFO: Running `git ls-tree -r --name-only --full-tree origin/main`...
2026-01-08 03:16:34.608345 INFO: Running `git show origin/main:examples/counter_ltl/pubspec.yaml`...
2026-01-08 03:16:34.645569 INFO: Running `git show origin/main:examples/login_flow_ltl/pubspec.yaml`...
2026-01-08 03:16:34.681515 INFO: Running `git show origin/main:examples/snackbar_mtl/pubspec.yaml`...
2026-01-08 03:16:34.719538 INFO: Running `git show origin/main:packages/temporal_logic_core/pubspec.yaml`...
2026-01-08 03:16:34.751142 INFO: Running `git show origin/main:packages/temporal_logic_flutter/pubspec.yaml`...
2026-01-08 03:16:34.788046 INFO: Running `git show origin/main:packages/temporal_logic_mtl/pubspec.yaml`...
2026-01-08 03:16:34.828171 INFO: Running `git show origin/main:pubspec.yaml`...
2026-01-08 03:16:36.584660 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check packages pub get --no-example`...
2026-01-08 03:16:36.936545 INFO: Running `/home/worker/dart/stable/bin/dart format --output=none --set-exit-if-changed /tmp/pana_GASEOE/.`...
2026-01-08 03:16:37.074069 INFO: Analyzing pub downgrade...
2026-01-08 03:16:37.079396 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check packages pub downgrade --no-example`...
2026-01-08 03:16:37.477501 INFO: Running `/home/worker/flutter/stable/bin/cache/dart-sdk/bin/dart analyze --format machine .`...
2026-01-08 03:16:38.381775 INFO: [pub-downgrade-success]
2026-01-08 03:16:38.391754 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check packages pub upgrade --no-example`...
2026-01-08 03:16:38.797206 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check pub global activate dartdoc 9.0.0`...
2026-01-08 03:16:49.675865 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check pub global run dartdoc --output /tmp/pana-temporal_logic_mtlFOAPRE/raw-dartdoc --sanitize-html --max-file-count 10000000 --max-total-size 2147483648 --no-validate-links --sdk-dir /home/worker/flutter/stable/bin/cache/dart-sdk`...
2026-01-08 03:17:20.882905 INFO: `dartdoc` completed:
2026-01-08 03:17:20.882905 INFO: Documenting temporal_logic_mtl...
2026-01-08 03:17:20.882905 INFO: Discovering libraries...
2026-01-08 03:17:20.882905 INFO: Linking elements...
2026-01-08 03:17:20.882905 INFO: Precaching local docs for 109461 elements...
2026-01-08 03:17:20.882905 INFO: Initialized dartdoc with 63 libraries
2026-01-08 03:17:20.882905 INFO: Generating docs for library temporal_logic_mtl.dart from package:temporal_logic_mtl/temporal_logic_mtl.dart...
2026-01-08 03:17:20.882905 INFO: Documented 1 public library in 30.0 seconds
2026-01-08 03:17:20.882905 INFO: Success! Docs generated into /tmp/pana-temporal_logic_mtlFOAPRE/raw-dartdoc
2026-01-08 03:17:20.882905 INFO: Found 0 warnings and 0 errors.
2026-01-08 03:17:20.934025 INFO: Writing summary.json
2026-01-08 03:17:20.937123 INFO: Running dartdoc post-processing
2026-01-08 03:17:20.940587 INFO: Creating .tar.gz archive
2026-01-08 03:17:21.683665 INFO: Finished .tar.gz archive
2026-01-08 03:17:22.511971 INFO: Finished post-processing
### Execution of pana exited 0
STOPPED: 2026-01-08T03:17:22.646980Z