## Running analysis for "temporal_logic_flutter" version "0.1.0"
STARTED: 2025-12-10T02:21:06.475587Z

### Starting pana
2025-12-10 02:21:23.667809 INFO: Running `dart pub unpack temporal_logic_flutter:0.1.0 --output /tmp/pana-temporal_logic_flutterQXFCYL/temporal_logic_flutter --no-resolve`...
2025-12-10 02:21:24.074445 INFO: Running `/home/worker/dart/stable/bin/dart --version`...
2025-12-10 02:21:24.116386 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check --version --machine`...
2025-12-10 02:21:24.307392 INFO: Running `git rev-parse --show-toplevel`...
2025-12-10 02:21:24.411595 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check pub pub get --no-example`...
2025-12-10 02:21:24.914093 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check pub pub get --no-example`...
2025-12-10 02:21:25.250338 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check pub pub outdated --json --up-to-date --no-dev-dependencies --no-dependency-overrides`...
2025-12-10 02:21:25.785232 INFO: Analyzing package...
2025-12-10 02:21:25.835451 INFO: Running `/home/worker/flutter/stable/bin/cache/dart-sdk/bin/dart analyze --format machine lib`...
2025-12-10 02:21:46.533689 INFO: Running `git init`...
2025-12-10 02:21:46.572868 INFO: Running `git remote add origin https://github.com/CAPHTECH/temporal_logic`...
2025-12-10 02:21:46.605671 INFO: Running `git remote show origin`...
2025-12-10 02:21:46.846424 INFO: Running `git fetch --depth 1 --no-recurse-submodules origin main`...
2025-12-10 02:21:47.229302 INFO: Running `git ls-tree -r --name-only --full-tree origin/main`...
2025-12-10 02:21:47.261134 INFO: Running `git show origin/main:examples/counter_ltl/pubspec.yaml`...
2025-12-10 02:21:47.297237 INFO: Running `git show origin/main:examples/login_flow_ltl/pubspec.yaml`...
2025-12-10 02:21:47.336325 INFO: Running `git show origin/main:examples/snackbar_mtl/pubspec.yaml`...
2025-12-10 02:21:47.375782 INFO: Running `git show origin/main:packages/temporal_logic_core/pubspec.yaml`...
2025-12-10 02:21:47.407032 INFO: Running `git show origin/main:packages/temporal_logic_flutter/pubspec.yaml`...
2025-12-10 02:21:47.441436 INFO: Running `git show origin/main:packages/temporal_logic_mtl/pubspec.yaml`...
2025-12-10 02:21:47.474915 INFO: Running `git show origin/main:pubspec.yaml`...
2025-12-10 02:21:52.489853 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check packages pub get --no-example`...
2025-12-10 02:21:52.844146 INFO: Running `/home/worker/dart/stable/bin/dart format --output=none --set-exit-if-changed /tmp/pana_FYSHNN/./lib`...
2025-12-10 02:21:52.976832 INFO: Analyzing pub downgrade...
2025-12-10 02:21:52.981393 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check packages pub downgrade --no-example`...
2025-12-10 02:21:53.497375 INFO: Running `/home/worker/flutter/stable/bin/cache/dart-sdk/bin/dart analyze --format machine lib`...
2025-12-10 02:21:57.267809 INFO: [pub-downgrade-success]
2025-12-10 02:21:57.273646 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check packages pub upgrade --no-example`...
2025-12-10 02:21:57.773247 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check pub global activate dartdoc 9.0.0`...
2025-12-10 02:21:58.321009 INFO: Running `/home/worker/flutter/stable/bin/flutter --no-version-check pub global run dartdoc --output /tmp/pana-temporal_logic_flutterQXFCYL/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`...
2025-12-10 02:23:16.124592 INFO: `dartdoc` completed:
2025-12-10 02:23:16.124592 INFO: Documenting temporal_logic_flutter...
2025-12-10 02:23:16.124592 INFO: Discovering libraries...
2025-12-10 02:23:16.124592 INFO: Linking elements...
2025-12-10 02:23:16.124592 INFO: Precaching local docs for 680358 elements...
2025-12-10 02:23:16.124592 INFO: Initialized dartdoc with 1078 libraries
2025-12-10 02:23:16.124592 INFO: Generating docs for library temporal_logic_flutter.dart from package:temporal_logic_flutter/temporal_logic_flutter.dart...
2025-12-10 02:23:16.124592 INFO: Documented 1 public library in 76.6 seconds
2025-12-10 02:23:16.124592 INFO: Success! Docs generated into /tmp/pana-temporal_logic_flutterQXFCYL/raw-dartdoc
2025-12-10 02:23:16.124592 INFO: warning: unresolved doc reference [result]
2025-12-10 02:23:16.124592 INFO:     from ltl_checker_widget.LtlCheckerWidget.builder: (file:///tmp/pana_FYSHNN/lib/src/ltl_checker_widget.dart:53:61)
2025-12-10 02:23:16.124592 INFO:     in documentation inherited from ltl_checker_widget.LtlCheckerWidget.builder: (file:///tmp/pana_FYSHNN/lib/src/ltl_checker_widget.dart:53:61)
2025-12-10 02:23:16.124592 INFO:   warning: unresolved doc reference [stream]
2025-12-10 02:23:16.124592 INFO:     from stream_mtl_checker.StreamMtlChecker.new: (file:///tmp/pana_FYSHNN/lib/src/stream_mtl_checker.dart:31:3)
2025-12-10 02:23:16.124592 INFO: Found 2 warnings and 0 errors.
2025-12-10 02:23:16.180935 INFO: Writing summary.json
2025-12-10 02:23:16.184049 INFO: Running dartdoc post-processing
2025-12-10 02:23:16.187015 INFO: Creating .tar.gz archive
2025-12-10 02:23:16.799569 INFO: Finished .tar.gz archive
2025-12-10 02:23:17.577422 INFO: Finished post-processing
### Execution of pana exited 0
STOPPED: 2025-12-10T02:23:17.703451Z