## Running analysis for "temporal_logic_flutter" version "0.1.1"
STARTED: 2026-01-08T03:16:10.380428Z

### Starting pana
2026-01-08 03:16:27.052360 INFO: Running `dart pub unpack temporal_logic_flutter:0.1.1 --output /tmp/pana-temporal_logic_flutterMTGJMF/temporal_logic_flutter --no-resolve`...
2026-01-08 03:16:27.422200 INFO: Running `/home/worker/dart/stable/bin/dart --version`...
2026-01-08 03:16:27.460297 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check --version --machine`...
2026-01-08 03:16:27.649744 INFO: Running `git rev-parse --show-toplevel`...
2026-01-08 03:16:27.741346 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check pub pub get --no-example`...
2026-01-08 03:16:29.148670 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check pub pub get --no-example`...
2026-01-08 03:16:29.494242 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:30.030535 INFO: Analyzing package...
2026-01-08 03:16:30.073489 INFO: Running `/home/worker/flutter/stable/bin/cache/dart-sdk/bin/dart analyze --format machine .`...
2026-01-08 03:16:53.802865 INFO: Running `git init`...
2026-01-08 03:16:53.838445 INFO: Running `git remote add origin https://github.com/CAPHTECH/temporal_logic`...
2026-01-08 03:16:53.867469 INFO: Running `git remote show origin`...
2026-01-08 03:16:54.106541 INFO: Running `git fetch --depth 1 --no-recurse-submodules origin main`...
2026-01-08 03:16:54.478708 INFO: Running `git ls-tree -r --name-only --full-tree origin/main`...
2026-01-08 03:16:54.508693 INFO: Running `git show origin/main:examples/counter_ltl/pubspec.yaml`...
2026-01-08 03:16:54.543008 INFO: Running `git show origin/main:examples/login_flow_ltl/pubspec.yaml`...
2026-01-08 03:16:54.578638 INFO: Running `git show origin/main:examples/snackbar_mtl/pubspec.yaml`...
2026-01-08 03:16:54.613351 INFO: Running `git show origin/main:packages/temporal_logic_core/pubspec.yaml`...
2026-01-08 03:16:54.642553 INFO: Running `git show origin/main:packages/temporal_logic_flutter/pubspec.yaml`...
2026-01-08 03:16:54.675392 INFO: Running `git show origin/main:packages/temporal_logic_mtl/pubspec.yaml`...
2026-01-08 03:16:54.707670 INFO: Running `git show origin/main:pubspec.yaml`...
2026-01-08 03:16:59.222829 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check packages pub get --no-example`...
2026-01-08 03:16:59.567771 INFO: Running `/home/worker/dart/stable/bin/dart format --output=none --set-exit-if-changed /tmp/pana_TXQLES/.`...
2026-01-08 03:16:59.679033 INFO: Analyzing pub downgrade...
2026-01-08 03:16:59.683231 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check packages pub downgrade --no-example`...
2026-01-08 03:17:00.568451 INFO: Running `/home/worker/flutter/stable/bin/cache/dart-sdk/bin/dart analyze --format machine .`...
2026-01-08 03:17:10.293175 INFO: [pub-downgrade-success]
2026-01-08 03:17:10.297329 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check packages pub upgrade --no-example`...
2026-01-08 03:17:10.788243 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check pub global activate dartdoc 9.0.0`...
2026-01-08 03:17:20.880173 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check pub global run dartdoc --output /tmp/pana-temporal_logic_flutterMTGJMF/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:41.757809 INFO: `dartdoc` completed:
2026-01-08 03:18:41.757809 INFO: Documenting temporal_logic_flutter...
2026-01-08 03:18:41.757809 INFO: Discovering libraries...
2026-01-08 03:18:41.757809 INFO: Linking elements...
2026-01-08 03:18:41.757809 INFO: Precaching local docs for 680462 elements...
2026-01-08 03:18:41.757809 INFO: Initialized dartdoc with 1078 libraries
2026-01-08 03:18:41.757809 INFO: Generating docs for library temporal_logic_flutter.dart from package:temporal_logic_flutter/temporal_logic_flutter.dart...
2026-01-08 03:18:41.757809 INFO: Documented 1 public library in 79.7 seconds
2026-01-08 03:18:41.757809 INFO: Success! Docs generated into /tmp/pana-temporal_logic_flutterMTGJMF/raw-dartdoc
2026-01-08 03:18:41.757809 INFO: warning: unresolved doc reference [result]
2026-01-08 03:18:41.757809 INFO:     from ltl_checker_widget.LtlCheckerWidget.builder: (file:///tmp/pana_TXQLES/lib/src/ltl_checker_widget.dart:53:61)
2026-01-08 03:18:41.757809 INFO:     in documentation inherited from ltl_checker_widget.LtlCheckerWidget.builder: (file:///tmp/pana_TXQLES/lib/src/ltl_checker_widget.dart:53:61)
2026-01-08 03:18:41.757809 INFO:   warning: unresolved doc reference [stream]
2026-01-08 03:18:41.757809 INFO:     from stream_mtl_checker.StreamMtlChecker.new: (file:///tmp/pana_TXQLES/lib/src/stream_mtl_checker.dart:31:3)
2026-01-08 03:18:41.757809 INFO: Found 2 warnings and 0 errors.
2026-01-08 03:18:41.825942 INFO: Writing summary.json
2026-01-08 03:18:41.829374 INFO: Running dartdoc post-processing
2026-01-08 03:18:41.832646 INFO: Creating .tar.gz archive
2026-01-08 03:18:42.531290 INFO: Finished .tar.gz archive
2026-01-08 03:18:43.668027 INFO: Finished post-processing
### Execution of pana exited 0
STOPPED: 2026-01-08T03:18:43.809077Z