[INFO] cloning repository https://github.com/leonbohn/automata
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/leonbohn/automata" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fleonbohn%2Fautomata", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fleonbohn%2Fautomata'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 3141319ee0ee45781026d066f8c6e1a01e378560
[INFO] testing leonbohn/automata against 1.97.0-beta.6 for beta-1.98-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fleonbohn%2Fautomata" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/leonbohn/automata
[INFO] finished tweaking git repo https://github.com/leonbohn/automata
[INFO] tweaked toml for git repo https://github.com/leonbohn/automata written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/leonbohn/automata on toolchain 1.97.0-beta.6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.97.0-beta.6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.97.0-beta.6" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]      Locking 179 packages to latest Rust 1.97.0-beta.6 compatible versions
[INFO] [stderr]       Adding ariadne v0.5.1 (available: v0.6.0)
[INFO] [stderr]       Adding biodivine-lib-bdd v0.5.27 (available: v0.6.3)
[INFO] [stderr]       Adding bit-set v0.6.0 (available: v0.11.0)
[INFO] [stderr]       Adding chumsky v0.9.3 (available: v0.13.0)
[INFO] [stderr]       Adding itertools v0.13.0 (available: v0.15.0)
[INFO] [stderr]       Adding itertools v0.14.0 (available: v0.15.0)
[INFO] [stderr]       Adding petgraph v0.7.1 (available: v0.8.3)
[INFO] [stderr]       Adding rand v0.8.6 (available: v0.10.2)
[INFO] [stderr]       Adding rand_distr v0.4.3 (available: v0.6.0)
[INFO] [stderr]       Adding resvg v0.44.0 (available: v0.47.0)
[INFO] [stderr]       Adding tabled v0.16.0 (available: v0.21.0)
[INFO] [stderr]       Adding unicode-width v0.1.11 (available: v0.1.14)
[INFO] [stderr]       Adding usvg v0.44.0 (available: v0.47.0)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.97.0-beta.6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded test-log v0.2.21
[INFO] [stderr]   Downloaded env_logger v0.11.11
[INFO] [stderr]   Downloaded env_filter v2.0.0
[INFO] [stderr]   Downloaded test-log-core v0.2.21
[INFO] [stderr]   Downloaded test-log-macros v0.2.21
[INFO] [stderr]   Downloaded simplecss v0.2.2
[INFO] [stderr]   Downloaded unicode-bidi-mirroring v0.3.0
[INFO] [stderr]   Downloaded unicode-ccc v0.3.0
[INFO] [stderr]   Downloaded tabled_derive v0.8.0
[INFO] [stderr]   Downloaded bit-set v0.6.0
[INFO] [stderr]   Downloaded imagesize v0.13.0
[INFO] [stderr]   Downloaded alea v0.2.2
[INFO] [stderr]   Downloaded ansi-str v0.8.0
[INFO] [stderr]   Downloaded open v5.3.6
[INFO] [stderr]   Downloaded svgtypes v0.15.3
[INFO] [stderr]   Downloaded gif v0.13.3
[INFO] [stderr]   Downloaded layout-rs v0.1.3
[INFO] [stderr]   Downloaded ariadne v0.5.1
[INFO] [stderr]   Downloaded papergrid v0.12.0
[INFO] [stderr]   Downloaded image-webp v0.1.3
[INFO] [stderr]   Downloaded resvg v0.44.0
[INFO] [stderr]   Downloaded zune-jpeg v0.4.21
[INFO] [stderr]   Downloaded fontdb v0.22.0
[INFO] [stderr]   Downloaded biodivine-lib-bdd v0.5.27
[INFO] [stderr]   Downloaded crossbeam-channel v0.5.16
[INFO] [stderr]   Downloaded ttf-parser v0.24.1
[INFO] [stderr]   Downloaded chumsky v0.9.3
[INFO] [stderr]   Downloaded num-bigint v0.4.8
[INFO] [stderr]   Downloaded usvg v0.44.0
[INFO] [stderr]   Downloaded kurbo v0.11.3
[INFO] [stderr]   Downloaded tabled v0.16.0
[INFO] [stderr]   Downloaded rustybuzz v0.18.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3d5ced03c013a94a2f102a4510f48a6e9184255caf5fd8244f58017bde7f5210" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] eaf363a1b19ce1e6bafc5959a432e3c86129136a45ed063730dcbd7c10903810
[INFO] running `Command { std: "docker" "start" "eaf363a1b19ce1e6bafc5959a432e3c86129136a45ed063730dcbd7c10903810", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "eaf363a1b19ce1e6bafc5959a432e3c86129136a45ed063730dcbd7c10903810", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "eaf363a1b19ce1e6bafc5959a432e3c86129136a45ed063730dcbd7c10903810" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "eaf363a1b19ce1e6bafc5959a432e3c86129136a45ed063730dcbd7c10903810", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "eaf363a1b19ce1e6bafc5959a432e3c86129136a45ed063730dcbd7c10903810" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling libm v0.2.16
[INFO] [stderr]    Compiling log v0.4.33
[INFO] [stderr]    Compiling zerocopy v0.8.54
[INFO] [stderr]    Compiling smallvec v1.15.2
[INFO] [stderr]    Compiling autocfg v1.5.1
[INFO] [stderr]    Compiling memchr v2.8.3
[INFO] [stderr]    Compiling simd-adler32 v0.3.9
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling tracing-core v0.1.36
[INFO] [stderr]    Compiling regex-syntax v0.8.11
[INFO] [stderr]    Compiling bytemuck v1.25.0
[INFO] [stderr]    Compiling arrayvec v0.5.2
[INFO] [stderr]    Compiling syn v2.0.118
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling vte_generate_state_changes v0.1.2
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling slotmap v1.1.1
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling miniz_oxide v0.8.9
[INFO] [stderr]    Compiling float-cmp v0.9.0
[INFO] [stderr]    Compiling either v1.16.0
[INFO] [stderr]    Compiling arrayvec v0.7.8
[INFO] [stderr]    Compiling bitflags v2.13.0
[INFO] [stderr]    Compiling unicode-width v0.1.11
[INFO] [stderr]    Compiling vte v0.10.1
[INFO] [stderr]    Compiling sharded-slab v0.1.7
[INFO] [stderr]    Compiling strict-num v0.1.1
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling thread_local v1.1.9
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling tracing-log v0.2.0
[INFO] [stderr]    Compiling nu-ansi-term v0.50.3
[INFO] [stderr]    Compiling crossbeam-utils v0.8.22
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling roxmltree v0.20.0
[INFO] [stderr]    Compiling arrayref v0.3.9
[INFO] [stderr]    Compiling flate2 v1.1.9
[INFO] [stderr]    Compiling tinyvec v1.11.0
[INFO] [stderr]    Compiling tiny-skia-path v0.11.4
[INFO] [stderr]    Compiling kurbo v0.11.3
[INFO] [stderr]    Compiling fdeflate v0.3.7
[INFO] [stderr]    Compiling memmap2 v0.9.11
[INFO] [stderr]    Compiling core_maths v0.1.1
[INFO] [stderr]    Compiling ttf-parser v0.24.1
[INFO] [stderr]    Compiling getrandom v0.4.3
[INFO] [stderr]    Compiling fontconfig-parser v0.5.8
[INFO] [stderr]    Compiling regex-automata v0.4.15
[INFO] [stderr]    Compiling unicode-bidi-mirroring v0.3.0
[INFO] [stderr]    Compiling unicode-ccc v0.3.0
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling siphasher v1.0.3
[INFO] [stderr]    Compiling unicode-script v0.5.8
[INFO] [stderr]    Compiling allocator-api2 v0.2.21
[INFO] [stderr]    Compiling unicode-properties v0.1.4
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling bytecount v0.6.9
[INFO] [stderr]    Compiling png v0.17.16
[INFO] [stderr]    Compiling svgtypes v0.15.3
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling simplecss v0.2.2
[INFO] [stderr]    Compiling env_filter v2.0.0
[INFO] [stderr]    Compiling num-bigint v0.4.8
[INFO] [stderr]    Compiling ansitok v0.2.0
[INFO] [stderr]    Compiling is-docker v0.2.0
[INFO] [stderr]    Compiling hashbrown v0.17.1
[INFO] [stderr]    Compiling yansi v1.0.1
[INFO] [stderr]    Compiling data-url v0.3.2
[INFO] [stderr]    Compiling quick-error v2.0.1
[INFO] [stderr]    Compiling zune-core v0.4.12
[INFO] [stderr]    Compiling unicode-vo v0.1.0
[INFO] [stderr]    Compiling ansi-str v0.8.0
[INFO] [stderr]    Compiling imagesize v0.13.0
[INFO] [stderr]    Compiling byteorder-lite v0.1.0
[INFO] [stderr]    Compiling weezl v0.1.12
[INFO] [stderr]    Compiling xmlwriter v0.1.0
[INFO] [stderr]    Compiling owo-colors v4.3.0
[INFO] [stderr]    Compiling pico-args v0.5.0
[INFO] [stderr]    Compiling papergrid v0.12.0
[INFO] [stderr]    Compiling unicode-bidi v0.3.18
[INFO] [stderr]    Compiling linux-raw-sys v0.12.1
[INFO] [stderr]    Compiling ariadne v0.5.1
[INFO] [stderr]    Compiling image-webp v0.1.3
[INFO] [stderr]    Compiling gif v0.13.3
[INFO] [stderr]    Compiling zune-jpeg v0.4.21
[INFO] [stderr]    Compiling indexmap v2.14.0
[INFO] [stderr]    Compiling tiny-skia v0.11.4
[INFO] [stderr]    Compiling rustybuzz v0.18.0
[INFO] [stderr]    Compiling fontdb v0.22.0
[INFO] [stderr]    Compiling is-wsl v0.4.0
[INFO] [stderr]    Compiling env_logger v0.11.11
[INFO] [stderr]    Compiling rgb v0.8.53
[INFO] [stderr]    Compiling fastrand v2.4.1
[INFO] [stderr]    Compiling bimap v0.6.3
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.20
[INFO] [stderr]    Compiling bit-vec v0.7.0
[INFO] [stderr]    Compiling open v5.3.6
[INFO] [stderr]    Compiling bit-set v0.6.0
[INFO] [stderr]    Compiling layout-rs v0.1.3
[INFO] [stderr]    Compiling crossbeam-deque v0.8.7
[INFO] [stderr]    Compiling rayon-core v1.13.0
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling crossbeam-channel v0.5.16
[INFO] [stderr]    Compiling csv-core v0.1.13
[INFO] [stderr]    Compiling matchers v0.2.0
[INFO] [stderr]    Compiling alea v0.2.2
[INFO] [stderr]    Compiling fixedbitset v0.5.7
[INFO] [stderr]    Compiling ryu v1.0.23
[INFO] [stderr]    Compiling test-log-core v0.2.21
[INFO] [stderr]    Compiling clap v4.6.1
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling tabled_derive v0.8.0
[INFO] [stderr]    Compiling rand v0.8.6
[INFO] [stderr]    Compiling rayon v1.12.0
[INFO] [stderr]    Compiling usvg v0.44.0
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling test-log-macros v0.2.21
[INFO] [stderr]    Compiling chumsky v0.9.3
[INFO] [stderr]    Compiling tabled v0.16.0
[INFO] [stderr]    Compiling biodivine-lib-bdd v0.5.27
[INFO] [stderr]    Compiling rand_distr v0.4.3
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling tracing-subscriber v0.3.23
[INFO] [stderr]    Compiling resvg v0.44.0
[INFO] [stderr]    Compiling csv v1.4.0
[INFO] [stderr]    Compiling hoars v0.2.1 (/opt/rustwide/workdir/crates/hoars)
[INFO] [stderr]    Compiling test-log v0.2.21
[INFO] [stderr]    Compiling automata-core v0.1.0 (/opt/rustwide/workdir/crates/automata-core)
[INFO] [stdout] warning: use of deprecated method `biodivine_lib_bdd::_impl_bdd_valuation::<impl biodivine_lib_bdd::BddValuation>::vector`: use `as_vector` or `into_vector` instead
[INFO] [stdout]    --> crates/automata-core/src/alphabet/propositional.rs:114:30
[INFO] [stdout]     |
[INFO] [stdout] 114 |         Self::from_bools(val.vector())
[INFO] [stdout]     |                              ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Rotated` is never constructed
[INFO] [stdout]   --> crates/automata-core/src/word/skip.rs:49:12
[INFO] [stdout]    |
[INFO] [stdout] 49 | pub struct Rotated<W>(pub W, pub usize);
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RotatedIter` is never constructed
[INFO] [stdout]   --> crates/automata-core/src/word/skip.rs:59:12
[INFO] [stdout]    |
[INFO] [stdout] 59 | pub struct RotatedIter<'a, W> {
[INFO] [stdout]    |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> crates/automata-core/src/word/skip.rs:66:12
[INFO] [stdout]    |
[INFO] [stdout] 65 | impl<'a, W> RotatedIter<'a, W> {
[INFO] [stdout]    | ------------------------------ associated function in this implementation
[INFO] [stdout] 66 |     pub fn new(rotated: &'a Rotated<W>, start: usize) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Alphabet` is never constructed
[INFO] [stdout]   --> crates/hoars/src/body.rs:11:12
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub struct Alphabet(pub Vec<AtomicProposition>);
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling automata v0.0.4 (/opt/rustwide/workdir/crates/automata)
[INFO] [stderr]    Compiling automata-learning v0.1.0 (/opt/rustwide/workdir/crates/automata-learning)
[INFO] [stderr]    Compiling oai v0.1.0 (/opt/rustwide/workdir/bin/oai)
[INFO] [stderr]    Compiling incong v0.1.0 (/opt/rustwide/workdir/bin/incong)
[INFO] [stderr]    Compiling omega-learning-tasks v0.1.0 (/opt/rustwide/workdir/bin/omega-learning-tasks)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 14s
[INFO] running `Command { std: "docker" "inspect" "eaf363a1b19ce1e6bafc5959a432e3c86129136a45ed063730dcbd7c10903810", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "eaf363a1b19ce1e6bafc5959a432e3c86129136a45ed063730dcbd7c10903810" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] warning: use of deprecated method `biodivine_lib_bdd::_impl_bdd_valuation::<impl biodivine_lib_bdd::BddValuation>::vector`: use `as_vector` or `into_vector` instead
[INFO] [stdout]    --> crates/automata-core/src/alphabet/propositional.rs:114:30
[INFO] [stdout]     |
[INFO] [stdout] 114 |         Self::from_bools(val.vector())
[INFO] [stdout]     |                              ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Rotated` is never constructed
[INFO] [stdout]   --> crates/automata-core/src/word/skip.rs:49:12
[INFO] [stdout]    |
[INFO] [stdout] 49 | pub struct Rotated<W>(pub W, pub usize);
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RotatedIter` is never constructed
[INFO] [stdout]   --> crates/automata-core/src/word/skip.rs:59:12
[INFO] [stdout]    |
[INFO] [stdout] 59 | pub struct RotatedIter<'a, W> {
[INFO] [stdout]    |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> crates/automata-core/src/word/skip.rs:66:12
[INFO] [stdout]    |
[INFO] [stdout] 65 | impl<'a, W> RotatedIter<'a, W> {
[INFO] [stdout]    | ------------------------------ associated function in this implementation
[INFO] [stdout] 66 |     pub fn new(rotated: &'a Rotated<W>, start: usize) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Alphabet` is never constructed
[INFO] [stdout]   --> crates/hoars/src/body.rs:11:12
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub struct Alphabet(pub Vec<AtomicProposition>);
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling automata v0.0.4 (/opt/rustwide/workdir/crates/automata)
[INFO] [stderr]    Compiling automata-core v0.1.0 (/opt/rustwide/workdir/crates/automata-core)
[INFO] [stderr]    Compiling incong v0.1.0 (/opt/rustwide/workdir/bin/incong)
[INFO] [stderr]    Compiling hoars v0.2.1 (/opt/rustwide/workdir/crates/hoars)
[INFO] [stderr]    Compiling automata-learning v0.1.0 (/opt/rustwide/workdir/crates/automata-learning)
[INFO] [stderr]    Compiling oai v0.1.0 (/opt/rustwide/workdir/bin/oai)
[INFO] [stderr]    Compiling omega-learning-tasks v0.1.0 (/opt/rustwide/workdir/bin/omega-learning-tasks)
[INFO] [stdout] warning: use of deprecated method `biodivine_lib_bdd::_impl_bdd_valuation::<impl biodivine_lib_bdd::BddValuation>::vector`: use `as_vector` or `into_vector` instead
[INFO] [stdout]    --> crates/automata-core/src/alphabet/propositional.rs:114:30
[INFO] [stdout]     |
[INFO] [stdout] 114 |         Self::from_bools(val.vector())
[INFO] [stdout]     |                              ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Rotated` is never constructed
[INFO] [stdout]   --> crates/automata-core/src/word/skip.rs:49:12
[INFO] [stdout]    |
[INFO] [stdout] 49 | pub struct Rotated<W>(pub W, pub usize);
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RotatedIter` is never constructed
[INFO] [stdout]   --> crates/automata-core/src/word/skip.rs:59:12
[INFO] [stdout]    |
[INFO] [stdout] 59 | pub struct RotatedIter<'a, W> {
[INFO] [stdout]    |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> crates/automata-core/src/word/skip.rs:66:12
[INFO] [stdout]    |
[INFO] [stdout] 65 | impl<'a, W> RotatedIter<'a, W> {
[INFO] [stdout]    | ------------------------------ associated function in this implementation
[INFO] [stdout] 66 |     pub fn new(rotated: &'a Rotated<W>, start: usize) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Alphabet` is never constructed
[INFO] [stdout]   --> crates/hoars/src/body.rs:11:12
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub struct Alphabet(pub Vec<AtomicProposition>);
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 23.74s
[INFO] running `Command { std: "docker" "inspect" "eaf363a1b19ce1e6bafc5959a432e3c86129136a45ed063730dcbd7c10903810", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "eaf363a1b19ce1e6bafc5959a432e3c86129136a45ed063730dcbd7c10903810" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr] warning: use of deprecated method `biodivine_lib_bdd::_impl_bdd_valuation::<impl biodivine_lib_bdd::BddValuation>::vector`: use `as_vector` or `into_vector` instead
[INFO] [stderr]    --> crates/automata-core/src/alphabet/propositional.rs:114:30
[INFO] [stderr]     |
[INFO] [stderr] 114 |         Self::from_bools(val.vector())
[INFO] [stderr]     |                              ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(deprecated)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: struct `Rotated` is never constructed
[INFO] [stderr]   --> crates/automata-core/src/word/skip.rs:49:12
[INFO] [stderr]    |
[INFO] [stderr] 49 | pub struct Rotated<W>(pub W, pub usize);
[INFO] [stderr]    |            ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: struct `RotatedIter` is never constructed
[INFO] [stderr]   --> crates/automata-core/src/word/skip.rs:59:12
[INFO] [stderr]    |
[INFO] [stderr] 59 | pub struct RotatedIter<'a, W> {
[INFO] [stderr]    |            ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function `new` is never used
[INFO] [stderr]   --> crates/automata-core/src/word/skip.rs:66:12
[INFO] [stderr]    |
[INFO] [stderr] 65 | impl<'a, W> RotatedIter<'a, W> {
[INFO] [stderr]    | ------------------------------ associated function in this implementation
[INFO] [stderr] 66 |     pub fn new(rotated: &'a Rotated<W>, start: usize) -> Self {
[INFO] [stderr]    |            ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `Alphabet` is never constructed
[INFO] [stderr]   --> crates/hoars/src/body.rs:11:12
[INFO] [stderr]    |
[INFO] [stderr] 11 | pub struct Alphabet(pub Vec<AtomicProposition>);
[INFO] [stderr]    |            ^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `automata-core` (lib) generated 4 warnings
[INFO] [stderr] warning: `hoars` (lib) generated 1 warning
[INFO] [stderr] warning: `hoars` (lib test) generated 1 warning (1 duplicate)
[INFO] [stderr] warning: `automata-core` (lib test) generated 4 warnings (4 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.34s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/automata-615ffa94dadfde3d)
[INFO] [stdout] 
[INFO] [stdout] running 56 tests
[INFO] [stdout] test automaton::mealy::tests::mealy_equivalence ... ok
[INFO] [stdout] test automaton::omega::parity::tests::dpa_equivalence_clases ... ok
[INFO] [stdout] test automaton::omega::parity::tests::bug_normalized ... ok
[INFO] [stdout] test automaton::omega::muller::tests::muller_automaton ... ok
[INFO] [stdout] test automaton::omega::parity::tests::dpa_priority_restriction ... ok
[INFO] [stdout] test automaton::omega::rabin::tests::rabin_pairs ... ok
[INFO] [stdout] test automaton::omega::parity::tests::dpa_inclusion ... ok
[INFO] [stdout] test automaton::reachability::tests::dfa_from_ts ... ok
[INFO] [stdout] test automaton::tests::dbas ... ok
[INFO] [stdout] test automaton::omega::parity::tests::dpa_run ... ok
[INFO] [stdout] test automaton::omega::parity::tests::normalize_dpa ... ok
[INFO] [stdout] test automaton::omega::rabin::tests::rabin_automaton ... ok
[INFO] [stdout] test automaton::tests::dfas_and_boolean_operations ... ok
[INFO] [stdout] test congruence::transitionprofile::tests::tp_from_ts_time ... ok
[INFO] [stdout] test dot::tests::display_forc ... ignored
[INFO] [stdout] test dot::tests::render_dfa ... ignored
[INFO] [stdout] test dot::tests::svg_open_dpa ... ignored
[INFO] [stdout] test families::tests::family_interaction ... ok
[INFO] [stdout] test random::tests::bench_random_ts ... ignored
[INFO] [stdout] test hoa::output::tests::write_hoa_dpa ... ok
[INFO] [stdout] test hoa::output::tests::build_parity_hoa_string ... ok
[INFO] [stdout] test representation::tests::representation ... ok
[INFO] [stdout] test minimization::partition_refinement::tests::partition_refinement_mealy ... ok
[INFO] [stdout] test ts::connected_components::scc::tests::interior_transitions ... ok
[INFO] [stdout] test minimization::partition_refinement::tests::partition_refinement_moore ... ok
[INFO] [stdout] test automaton::tests::mealy_color_or_below ... ok
[INFO] [stdout] test hoa::output::tests::write_hoa_dba ... ok
[INFO] [stdout] test ts::connected_components::tarjan::tests::tarjan_iterative ... ok
[INFO] [stdout] test ts::connected_components::tests::tarjan_scc_decomposition ... ok
[INFO] [stdout] test automaton::omega::parity::tests::dpa_equivalences ... ok
[INFO] [stdout] test ts::deterministic::tests::escape_prefixes ... ok
[INFO] [stdout] test ts::impls::linked::tests::dts_equality ... ok
[INFO] [stdout] test ts::operations::product::tests::product_subalphabet ... ok
[INFO] [stdout] test ts::operations::restricted::tests::restrict_ts_by_state_index ... ok
[INFO] [stdout] test random::tests::random_dba_sized ... ok
[INFO] [stdout] test ts::impls::linked::tests::remove_edge ... ok
[INFO] [stdout] test ts::path::tests::debug_display_path ... ok
[INFO] [stdout] test ts::path::tests::path_transitions ... ok
[INFO] [stdout] test ts::shrinkable::tests::shrink_to_reachable ... ok
[INFO] [stdout] test ts::sproutable::tests::complete_ts ... ok
[INFO] [stdout] test ts::operations::subset::tests::subset_construction ... ok
[INFO] [stdout] test random::tests::random_words ... ok
[INFO] [stdout] test ts::sproutable::tests::for_alphabet_inference ... ok
[INFO] [stdout] test ts::word_as_ts::tests::word_as_ts ... ok
[INFO] [stdout] test ts::sproutable::tests::sprout_after_creating ... ok
[INFO] [stdout] test ts::predecessors::tests::predecessor_iterable ... ok
[INFO] [stdout] test ts::operations::tests::product ... ok
[INFO] [stdout] test ts::reachable::tests::reachable_states ... ok
[INFO] [stdout] test ts::run::tests::run_escaping ... ok
[INFO] [stdout] test ts::operations::quotient::tests::quotient_test ... ok
[INFO] [stdout] test hoa::tests::parse_generated_hoa ... ok
[INFO] [stdout] test hoa::input::tests::hoa_tdba_with_abort_and_nondeterministic ... ok
[INFO] [stdout] test families::convert::tests::fdfa_to_fwpm ... ok
[INFO] [stdout] test families::convert::tests::fwpm_to_fdfa ... ok
[INFO] [stdout] test random::tests::random_dpa_sized ... ok
[INFO] [stdout] test random::tests::random_ts_sized ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 52 passed; 0 failed; 4 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/automata_core-48e0ef700d11c290)
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test alphabet::simple::tests::bialphabet ... ok
[INFO] [stdout] test alphabet::tests::kleene_star ... ok
[INFO] [stdout] test alphabet::propositional::tests::prop_symbol ... ok
[INFO] [stdout] test alphabet::propositional::tests::prop_expression ... ok
[INFO] [stdout] test word::omega::tests::deduplication ... ok
[INFO] [stdout] test word::normalized::tests::debug_normalized ... ok
[INFO] [stdout] test word::concat::tests::concatenations ... ok
[INFO] [stdout] test word::omega::tests::normalizing_upws ... ok
[INFO] [stdout] test word::skip::tests::skip_to_reduced_omega_word ... ok
[INFO] [stdout] test word::skip::tests::subwords ... ok
[INFO] [stdout] test word::omega::tests::parse_reduced ... ok
[INFO] [stdout] test word::tests::bug_upw ... ok
[INFO] [stdout] test word::tests::macro_upw ... ok
[INFO] [stdout] test word::omega::tests::word_equality ... ok
[INFO] [stdout] test word::skip::tests::finite_word_infix ... ok
[INFO] [stdout] test math::probability::tests::cb_test ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.74s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/automata_learning-d23d81f044b94180)
[INFO] [stdout] 
[INFO] [stdout] running 25 tests
[INFO] [stdout] test passive::sample::tests::omega_prefix_tree ... ignored
[INFO] [stdout] test passive::sample::tests::split_up_sample ... ignored
[INFO] [stdout] test passive::sample::tests::to_periodic_sample ... ok
[INFO] [stdout] test active::oracle::tests::mealy_al ... ok
[INFO] [stdout] test passive::sprout::consistency::tests::parity_default_automaton ... ok
[INFO] [stdout] test passive::sprout::consistency::tests::buchi_consistent_automaton ... ok
[INFO] [stdout] test passive::sprout::consistency::tests::parity_consistent_automaton ... ok
[INFO] [stdout] test passive::sprout::tests::sprout_buchi_successful ... ok
[INFO] [stdout] test passive::sprout::consistency::tests::one_escaping ... ok
[INFO] [stdout] test passive::sample::tests::parse_sample ... ok
[INFO] [stdout] test active::tests::lstar_mealy ... ok
[INFO] [stdout] test passive::sprout::consistency::tests::parity_consistency ... ok
[INFO] [stdout] test passive::sprout::tests::sprout_parity ... ok
[INFO] [stdout] test prefixtree::tests::build_prefix_tree ... ignored
[INFO] [stdout] test passive::sprout::tests::sprout_parity_thresh ... ok
[INFO] [stdout] test passive::precise::tests::precise_dpa ... ok
[INFO] [stdout] test passive::sprout::consistency::tests::buchi_consistency ... ok
[INFO] [stdout] test passive::sprout::consistency::tests::both_escaping ... ok
[INFO] [stdout] test passive::sprout::tests::sprout_buchi_thresh ... ok
[INFO] [stdout] test passive::dpainf::tests::learn_small_forc ... ok
[INFO] [stdout] test passive::tests::infer_precise_dpa_with_al_inf_aa ... ok
[INFO] [stdout] test active::lstar::tests::lstar_random_mealy ... ok
[INFO] [stdout] test active::lstar::tests::lstar_random_moore ... ok
[INFO] [stdout] test passive::sample::canonic_coloring::tests::classification ... ok
[INFO] [stdout] test passive::dpainf::tests::learn_larger_forc ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 22 passed; 0 failed; 3 ignored; 0 measured; 0 filtered out; finished in 4.89s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/hoars-de8e1c2336b2d914)
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test body::tests::no_transition_state ... ok
[INFO] [stdout] test format::tests::parity_acceptance_creator ... ok
[INFO] [stdout] test body::tests::one_transition_label_true ... ok
[INFO] [stdout] test body::tests::two_explicit_transitions_with_comment ... ok
[INFO] [stdout] test header::tests::ariadne ... ok
[INFO] [stdout] test header::tests::property ... ok
[INFO] [stdout] test tests::first_automaton_split_and_abort ... ok
[INFO] [stdout] test header::tests::aps ... ok
[INFO] [stdout] test tests::real_test_1 ... ok
[INFO] [stdout] test header::tests::tool_and_name ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/incong-f3e4f26f491dfa75)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/oai-ce9306829168c712)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/omega_learning_tasks-aea3ad16d09c0378)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests automata
[INFO] [stdout] 
[INFO] [stdout] running 41 tests
[INFO] [stdout] test crates/automata/src/../README.md - (line 113) ... ignored
[INFO] [stdout] test crates/automata/src/../README.md - (line 31) ... ignored
[INFO] [stdout] test crates/automata/src/../README.md - (line 35) ... ignored
[INFO] [stdout] test crates/automata/src/../README.md - (line 70) ... ignored
[INFO] [stdout] test crates/automata/src/../README.md - (line 84) ... ignored
[INFO] [stdout] test crates/automata/src/../README.md - (line 98) ... ignored
[INFO] [stdout] test crates/automata/src/../README.md - (line 10) ... ok
[INFO] [stdout] test crates/automata/src/../README.md - (line 131) ... ok
[INFO] [stdout] test crates/automata/src/automaton.rs - automaton::Automaton<A,Z,Q,C,D,OMEGA,DET>::new_with_initial_color (line 103) ... ok
[INFO] [stdout] test crates/automata/src/ts.rs - ts::TransitionSystem::with_state_color (line 475) ... ok
[INFO] [stdout] test crates/automata/src/ts/builder.rs - ts::builder::TSBuilder (line 22) ... ok
[INFO] [stdout] test crates/automata/src/ts/builder.rs - ts::builder::TSBuilder<Q,C,DET>::with_transitions (line 183) ... ok
[INFO] [stdout] test crates/automata/src/ts/deterministic.rs - ts::deterministic::Deterministic::edge (line 38) ... ok
[INFO] [stdout] test crates/automata/src/automaton/reachability.rs - automaton::reachability::IntoDFA<operations::WithStateColor<D,
[INFO] [stdout] operations::DefaultIfMissing<D::StateIndex,bool>>>::from_ts (line 48) ... ok
[INFO] [stdout] test crates/automata/src/../README.md - (line 50) ... ok
[INFO] [stdout] test crates/automata/src/automaton/omega/parity.rs - automaton::omega::parity::IntoDPA<D>::give_accepted_word (line 152) ... ok
[INFO] [stdout] test crates/automata/src/congruence/transitionprofile.rs - congruence::transitionprofile::TransitionMonoid (line 12) ... ok
[INFO] [stdout] test crates/automata/src/ts/deterministic.rs - ts::deterministic::Deterministic::successor_index (line 119) ... ok
[INFO] [stdout] test crates/automata/src/automaton/omega/parity.rs - automaton::omega::parity::IntoDPA<D>::is_informative_right_congruent (line 82) ... ok
[INFO] [stdout] test crates/automata/src/automaton/omega/muller.rs - automaton::omega::muller::MullerCondition<C>::from_iter_iter (line 31) ... ok
[INFO] [stdout] test crates/automata/src/automaton/omega/parity.rs - automaton::omega::parity::IntoDPA<D>::streamlined (line 110) ... ok
[INFO] [stdout] test crates/automata/src/congruence.rs - congruence::Congruence::normalize_upw (line 38) ... ok
[INFO] [stdout] test crates/automata/src/ts/builder.rs - ts::builder::TSBuilder<Q,C,DET>::with_edges (line 221) ... ok
[INFO] [stdout] test crates/automata/src/ts/shrinkable.rs - ts::shrinkable::Shrinkable::remove_edges_between_matching (line 59) ... ok
[INFO] [stdout] test crates/automata/src/automaton/omega/parity.rs - automaton::omega::parity::IntoDPA<D>::give_rejected_word (line 172) ... ok
[INFO] [stdout] test crates/automata/src/ts/shrinkable.rs - ts::shrinkable::Shrinkable::remove_edges_between (line 95) ... ok
[INFO] [stdout] test crates/automata/src/ts/sproutable.rs - ts::sproutable::Sproutable::add_state (line 75) ... ok
[INFO] [stdout] test crates/automata/src/ts/shrinkable.rs - ts::shrinkable::Shrinkable::remove_edges_to (line 152) ... ok
[INFO] [stdout] test crates/automata/src/ts/shrinkable.rs - ts::shrinkable::Shrinkable::remove_edges_from_matching (line 33) ... ok
[INFO] [stdout] test crates/automata/src/ts/shrinkable.rs - ts::shrinkable::Shrinkable::remove_edges_from (line 125) ... ok
[INFO] [stdout] test crates/automata/src/ts/sproutable.rs - ts::sproutable::Sproutable::add_edge (line 103) ... ok
[INFO] [stdout] test crates/automata/src/ts/sproutable.rs - ts::sproutable::Sproutable::sprout_from_ts_with_bijection (line 134) ... ok
[INFO] [stdout] test crates/automata/src/ts/sproutable.rs - ts::sproutable::Sproutable::extend_states (line 306) ... ok
[INFO] [stdout] test crates/automata/src/ts/impls/linked.rs - ts::impls::linked::LinkedListTransitionSystem<CharAlphabet,Q,C,DET>::builder (line 650) ... ok
[INFO] [stdout] test crates/automata/src/congruence.rs - congruence::RightCongruence<A,Q,C,D>::looping_words (line 103) ... ok
[INFO] [stdout] test crates/automata/src/ts/predecessors.rs - ts::predecessors::PredecessorIterable::predecessors (line 21) ... ok
[INFO] [stdout] test crates/automata/src/ts/shrinkable.rs - ts::shrinkable::Shrinkable::trim_from (line 177) ... ok
[INFO] [stdout] test crates/automata/src/ts/shrinkable.rs - ts::shrinkable::Shrinkable::remove_state (line 12) ... ok
[INFO] [stdout] test crates/automata/src/ts/sproutable.rs - ts::sproutable::Sproutable::complete_with_colors (line 252) ... ok
[INFO] [stdout] test crates/automata/src/ts/sproutable.rs - ts::sproutable::Sproutable::complete_with_colors (line 232) ... ok
[INFO] [stdout] test crates/automata/src/ts/sproutable.rs - ts::sproutable::Sproutable::sprout_from_ts (line 195) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 35 passed; 0 failed; 6 ignored; 0 measured; 0 filtered out; finished in 0.31s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test crates/automata/src/../README.md - (line 169) ... ignored
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] all doctests ran in 4.34s; merged doctests compilation took 3.98s
[INFO] [stderr]    Doc-tests automata_core
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test crates/automata-core/src/word/finite.rs - word::finite::FiniteWord::nth_back (line 113) ... ok
[INFO] [stdout] test crates/automata-core/src/word/omega.rs - word::omega::OmegaWord (line 30) ... ok
[INFO] [stdout] test crates/automata-core/src/word/omega.rs - word::omega::OmegaWord::reduced (line 57) ... ok
[INFO] [stdout] test crates/automata-core/src/math.rs - math::probability::almost_equal (line 113) ... ok
[INFO] [stdout] test crates/automata-core/src/word.rs - word::upw (line 145) ... ok
[INFO] [stdout] test crates/automata-core/src/word/normalized.rs - word::normalized::NormalizedOmegaWord<S>::new (line 41) ... ok
[INFO] [stdout] test crates/automata-core/src/word/omega.rs - word::omega::OmegaWord::omega_word_equals (line 70) ... ok
[INFO] [stdout] test crates/automata-core/src/word/omega.rs - word::omega::ReducedOmegaWord<S>::is_reduced (line 354) ... ok
[INFO] [stdout] test crates/automata-core/src/word/omega.rs - word::omega::PeriodicOmegaWord<S>::new (line 220) ... ok
[INFO] [stdout] test crates/automata-core/src/word.rs - word::Word::infix (line 51) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] all doctests ran in 0.60s; merged doctests compilation took 0.59s
[INFO] [stderr]    Doc-tests automata_learning
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests hoars
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "eaf363a1b19ce1e6bafc5959a432e3c86129136a45ed063730dcbd7c10903810", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "eaf363a1b19ce1e6bafc5959a432e3c86129136a45ed063730dcbd7c10903810", kill_on_drop: false }`
[INFO] [stdout] eaf363a1b19ce1e6bafc5959a432e3c86129136a45ed063730dcbd7c10903810
