## Running analysis for "temporal_logic_flutter" version "0.1.0"
STARTED: 2026-01-08T03:18:45.741206Z

### Starting pana
2026-01-08 03:19:20.483968 INFO: Running `dart pub unpack temporal_logic_flutter:0.1.0 --output /tmp/pana-temporal_logic_flutterXEKFZR/temporal_logic_flutter --no-resolve`...
2026-01-08 03:19:21.084239 INFO: Running `/home/worker/dart/stable/bin/dart --version`...
2026-01-08 03:19:21.180610 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check --version --machine`...
2026-01-08 03:19:21.528754 INFO: Running `git rev-parse --show-toplevel`...
2026-01-08 03:19:21.705186 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check pub pub get --no-example`...
2026-01-08 03:19:22.810371 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check pub pub get --no-example`...
2026-01-08 03:19:23.582702 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:19:24.761862 INFO: Analyzing package...
2026-01-08 03:19:24.854292 INFO: Running `/home/worker/flutter/stable/bin/cache/dart-sdk/bin/dart analyze --format machine .`...
2026-01-08 03:19:53.145721 INFO: Running `git init`...
2026-01-08 03:19:53.205527 INFO: Running `git remote add origin https://github.com/CAPHTECH/temporal_logic`...
2026-01-08 03:19:53.267325 INFO: Running `git remote show origin`...
2026-01-08 03:19:53.551347 INFO: Running `git fetch --depth 1 --no-recurse-submodules origin main`...
2026-01-08 03:19:54.034432 INFO: Running `git ls-tree -r --name-only --full-tree origin/main`...
2026-01-08 03:19:54.114344 INFO: Running `git show origin/main:examples/counter_ltl/pubspec.yaml`...
2026-01-08 03:19:54.198756 INFO: Running `git show origin/main:examples/login_flow_ltl/pubspec.yaml`...
2026-01-08 03:19:54.299320 INFO: Running `git show origin/main:examples/snackbar_mtl/pubspec.yaml`...
2026-01-08 03:19:54.381012 INFO: Running `git show origin/main:packages/temporal_logic_core/pubspec.yaml`...
2026-01-08 03:19:54.458787 INFO: Running `git show origin/main:packages/temporal_logic_flutter/pubspec.yaml`...
2026-01-08 03:19:54.535341 INFO: Running `git show origin/main:packages/temporal_logic_mtl/pubspec.yaml`...
2026-01-08 03:19:54.600640 INFO: Running `git show origin/main:pubspec.yaml`...
2026-01-08 03:20:04.697156 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check packages pub get --no-example`...
2026-01-08 03:20:05.502874 INFO: Running `/home/worker/dart/stable/bin/dart format --output=none --set-exit-if-changed /tmp/pana_QGWUYO/.`...
2026-01-08 03:20:05.771278 INFO: Analyzing pub downgrade...
2026-01-08 03:20:05.782377 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check packages pub downgrade --no-example`...
2026-01-08 03:20:06.906163 INFO: Running `/home/worker/flutter/stable/bin/cache/dart-sdk/bin/dart analyze --format machine .`...
2026-01-08 03:20:12.385306 INFO: [pub-downgrade-success]
2026-01-08 03:20:12.396173 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check packages pub upgrade --no-example`...
2026-01-08 03:20:13.440068 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check pub global activate dartdoc 9.0.0`...
2026-01-08 03:20:14.707074 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check pub global run dartdoc --output /tmp/pana-temporal_logic_flutterXEKFZR/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:22:15.455275 INFO: `dartdoc` completed:
2026-01-08 03:22:15.455275 INFO: Documenting temporal_logic_flutter...
2026-01-08 03:22:15.455275 INFO: Discovering libraries...
2026-01-08 03:22:15.455275 INFO: Linking elements...
2026-01-08 03:22:15.455275 INFO: Precaching local docs for 680358 elements...
2026-01-08 03:22:15.455275 INFO: Initialized dartdoc with 1078 libraries
2026-01-08 03:22:15.455275 INFO: Generating docs for library temporal_logic_flutter.dart from package:temporal_logic_flutter/temporal_logic_flutter.dart...
2026-01-08 03:22:15.455275 INFO: Documented 1 public library in 118.4 seconds
2026-01-08 03:22:15.455275 INFO: Success! Docs generated into /tmp/pana-temporal_logic_flutterXEKFZR/raw-dartdoc
2026-01-08 03:22:15.455275 INFO: warning: unresolved doc reference [result]
2026-01-08 03:22:15.455275 INFO:     from ltl_checker_widget.LtlCheckerWidget.builder: (file:///tmp/pana_QGWUYO/lib/src/ltl_checker_widget.dart:53:61)
2026-01-08 03:22:15.455275 INFO:     in documentation inherited from ltl_checker_widget.LtlCheckerWidget.builder: (file:///tmp/pana_QGWUYO/lib/src/ltl_checker_widget.dart:53:61)
2026-01-08 03:22:15.455275 INFO:   warning: unresolved doc reference [stream]
2026-01-08 03:22:15.455275 INFO:     from stream_mtl_checker.StreamMtlChecker.new: (file:///tmp/pana_QGWUYO/lib/src/stream_mtl_checker.dart:31:3)
2026-01-08 03:22:15.455275 INFO: Found 2 warnings and 0 errors.
2026-01-08 03:22:15.520849 INFO: Writing summary.json
2026-01-08 03:22:15.524237 INFO: Running dartdoc post-processing
2026-01-08 03:22:15.528771 INFO: Creating .tar.gz archive
2026-01-08 03:22:16.379440 INFO: Finished .tar.gz archive
2026-01-08 03:22:17.877402 INFO: Finished post-processing
### Execution of pana exited 0
STOPPED: 2026-01-08T03:22:18.049192Z