## Running analysis for "temporal_logic_mtl" version "0.1.0"
STARTED: 2026-01-08T03:17:24.028724Z

### Starting pana
2026-01-08 03:17:42.883804 INFO: Running `dart pub unpack temporal_logic_mtl:0.1.0 --output /tmp/pana-temporal_logic_mtlLUQPVA/temporal_logic_mtl --no-resolve`...
2026-01-08 03:17:43.250861 INFO: Running `/home/worker/dart/stable/bin/dart --version`...
2026-01-08 03:17:43.292969 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check --version --machine`...
2026-01-08 03:17:43.498616 INFO: Running `git rev-parse --show-toplevel`...
2026-01-08 03:17:43.585172 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check pub pub get --no-example`...
2026-01-08 03:17:43.972577 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check pub pub get --no-example`...
2026-01-08 03:17:44.314067 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:17:44.727207 INFO: Analyzing package...
2026-01-08 03:17:44.771554 INFO: Running `/home/worker/flutter/stable/bin/cache/dart-sdk/bin/dart analyze --format machine .`...
2026-01-08 03:17:49.546807 INFO: Running `git init`...
2026-01-08 03:17:49.581678 INFO: Running `git remote add origin https://github.com/CAPHTECH/temporal_logic`...
2026-01-08 03:17:49.613427 INFO: Running `git remote show origin`...
2026-01-08 03:17:49.855565 INFO: Running `git fetch --depth 1 --no-recurse-submodules origin main`...
2026-01-08 03:17:50.228660 INFO: Running `git ls-tree -r --name-only --full-tree origin/main`...
2026-01-08 03:17:50.264591 INFO: Running `git show origin/main:examples/counter_ltl/pubspec.yaml`...
2026-01-08 03:17:50.303539 INFO: Running `git show origin/main:examples/login_flow_ltl/pubspec.yaml`...
2026-01-08 03:17:50.339688 INFO: Running `git show origin/main:examples/snackbar_mtl/pubspec.yaml`...
2026-01-08 03:17:50.378560 INFO: Running `git show origin/main:packages/temporal_logic_core/pubspec.yaml`...
2026-01-08 03:17:50.410977 INFO: Running `git show origin/main:packages/temporal_logic_flutter/pubspec.yaml`...
2026-01-08 03:17:50.445855 INFO: Running `git show origin/main:packages/temporal_logic_mtl/pubspec.yaml`...
2026-01-08 03:17:50.486873 INFO: Running `git show origin/main:pubspec.yaml`...
2026-01-08 03:17:55.554862 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check packages pub get --no-example`...
2026-01-08 03:17:55.901685 INFO: Running `/home/worker/dart/stable/bin/dart format --output=none --set-exit-if-changed /tmp/pana_ETKPMT/.`...
2026-01-08 03:17:56.017349 INFO: Analyzing pub downgrade...
2026-01-08 03:17:56.022436 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check packages pub downgrade --no-example`...
2026-01-08 03:17:56.423991 INFO: Running `/home/worker/flutter/stable/bin/cache/dart-sdk/bin/dart analyze --format machine .`...
2026-01-08 03:17:56.627842 INFO: [pub-downgrade-success]
2026-01-08 03:17:56.633772 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check packages pub upgrade --no-example`...
2026-01-08 03:17:57.038621 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check pub global activate dartdoc 9.0.0`...
2026-01-08 03:17:57.650978 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check pub global run dartdoc --output /tmp/pana-temporal_logic_mtlLUQPVA/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:18:28.423835 INFO: `dartdoc` completed:
2026-01-08 03:18:28.423835 INFO: Documenting temporal_logic_mtl...
2026-01-08 03:18:28.423835 INFO: Discovering libraries...
2026-01-08 03:18:28.423835 INFO: Linking elements...
2026-01-08 03:18:28.423835 INFO: Precaching local docs for 109357 elements...
2026-01-08 03:18:28.423835 INFO: Initialized dartdoc with 63 libraries
2026-01-08 03:18:28.423835 INFO: Generating docs for library temporal_logic_mtl.dart from package:temporal_logic_mtl/temporal_logic_mtl.dart...
2026-01-08 03:18:28.423835 INFO: Documented 1 public library in 29.6 seconds
2026-01-08 03:18:28.423835 INFO: Success! Docs generated into /tmp/pana-temporal_logic_mtlLUQPVA/raw-dartdoc
2026-01-08 03:18:28.423835 INFO: Found 0 warnings and 0 errors.
2026-01-08 03:18:28.476732 INFO: Writing summary.json
2026-01-08 03:18:28.480092 INFO: Running dartdoc post-processing
2026-01-08 03:18:28.483668 INFO: Creating .tar.gz archive
2026-01-08 03:18:29.152389 INFO: Finished .tar.gz archive
2026-01-08 03:18:29.959723 INFO: Finished post-processing
### Execution of pana exited 0
STOPPED: 2026-01-08T03:18:30.093112Z