[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.90.0 for beta-1.91-3
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fleonbohn%2Fautomata" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-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-2-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/leonbohn/automata on toolchain 1.90.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.90.0" "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.90.0" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 202 packages to latest Rust 1.90.0 compatible versions
[INFO] [stderr]       Adding biodivine-lib-bdd v0.5.27 (available: v0.6.2)
[INFO] [stderr]       Adding bit-set v0.6.0 (available: v0.8.0)
[INFO] [stderr]       Adding chumsky v0.9.3 (available: v0.11.1)
[INFO] [stderr]       Adding itertools v0.13.0 (available: v0.14.0)
[INFO] [stderr]       Adding petgraph v0.7.1 (available: v0.8.3)
[INFO] [stderr]       Adding rand v0.8.5 (available: v0.9.2)
[INFO] [stderr]       Adding rand_distr v0.4.3 (available: v0.5.1)
[INFO] [stderr]       Adding resvg v0.44.0 (available: v0.45.1)
[INFO] [stderr]       Adding tabled v0.16.0 (available: v0.20.0)
[INFO] [stderr]       Adding unicode-width v0.1.11 (available: v0.1.14)
[INFO] [stderr]       Adding usvg v0.44.0 (available: v0.45.1)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.90.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded windows-targets v0.53.4
[INFO] [stderr]   Downloaded matchers v0.2.0
[INFO] [stderr]   Downloaded test-log v0.2.18
[INFO] [stderr]   Downloaded test-log-macros v0.2.18
[INFO] [stderr]   Downloaded anstyle v1.0.13
[INFO] [stderr]   Downloaded thiserror-impl v2.0.17
[INFO] [stderr]   Downloaded thiserror v2.0.17
[INFO] [stderr]   Downloaded core_maths v0.1.1
[INFO] [stderr]   Downloaded pathdiff v0.2.3
[INFO] [stderr]   Downloaded image-webp v0.1.3
[INFO] [stderr]   Downloaded alea v0.2.2
[INFO] [stderr]   Downloaded layout-rs v0.1.3
[INFO] [stderr]   Downloaded clap v4.5.48
[INFO] [stderr]   Downloaded tempfile v3.23.0
[INFO] [stderr]   Downloaded chumsky v0.9.3
[INFO] [stderr]   Downloaded biodivine-lib-bdd v0.5.27
[INFO] [stderr]   Downloaded zune-jpeg v0.4.21
[INFO] [stderr]   Downloaded kurbo v0.11.3
[INFO] [stderr]   Downloaded hashbrown v0.16.0
[INFO] [stderr]   Downloaded clap_builder v4.5.48
[INFO] [stderr]   Downloaded ttf-parser v0.24.1
[INFO] [stderr]   Downloaded usvg v0.44.0
[INFO] [stderr]   Downloaded indexmap v2.11.4
[INFO] [stderr]   Downloaded resvg v0.44.0
[INFO] [stderr]   Downloaded fontdb v0.22.0
[INFO] [stderr]   Downloaded rustybuzz v0.18.0
[INFO] [stderr]   Downloaded tabled v0.16.0
[INFO] [stderr]   Downloaded owo-colors v4.2.3
[INFO] [stderr]   Downloaded papergrid v0.12.0
[INFO] [stderr]   Downloaded open v5.3.2
[INFO] [stderr]   Downloaded gif v0.13.3
[INFO] [stderr]   Downloaded fontconfig-parser v0.5.8
[INFO] [stderr]   Downloaded memmap2 v0.9.8
[INFO] [stderr]   Downloaded tinyvec v1.10.0
[INFO] [stderr]   Downloaded imagesize v0.13.0
[INFO] [stderr]   Downloaded roxmltree v0.20.0
[INFO] [stderr]   Downloaded svgtypes v0.15.3
[INFO] [stderr]   Downloaded bit-vec v0.7.0
[INFO] [stderr]   Downloaded bit-set v0.6.0
[INFO] [stderr]   Downloaded ariadne v0.5.1
[INFO] [stderr]   Downloaded rgb v0.8.52
[INFO] [stderr]   Downloaded data-url v0.3.2
[INFO] [stderr]   Downloaded unicode-ccc v0.3.0
[INFO] [stderr]   Downloaded simplecss v0.2.2
[INFO] [stderr]   Downloaded xmlwriter v0.1.0
[INFO] [stderr]   Downloaded ansi-str v0.8.0
[INFO] [stderr]   Downloaded bytecount v0.6.9
[INFO] [stderr]   Downloaded tabled_derive v0.8.0
[INFO] [stderr]   Downloaded tracing-subscriber v0.3.20
[INFO] [stderr]   Downloaded unicode-bidi-mirroring v0.3.0
[INFO] [stderr]   Downloaded unicode-vo v0.1.0
[INFO] [stderr]   Downloaded nu-ansi-term v0.50.1
[INFO] [stderr]   Downloaded windows-sys v0.61.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+1.90.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] badc6d88e8daf9d33bb547bc9132b2ef9777e3c0f484febf5c0e7283c3ad61cd
[INFO] running `Command { std: "docker" "start" "-a" "badc6d88e8daf9d33bb547bc9132b2ef9777e3c0f484febf5c0e7283c3ad61cd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "badc6d88e8daf9d33bb547bc9132b2ef9777e3c0f484febf5c0e7283c3ad61cd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "badc6d88e8daf9d33bb547bc9132b2ef9777e3c0f484febf5c0e7283c3ad61cd", kill_on_drop: false }`
[INFO] [stdout] badc6d88e8daf9d33bb547bc9132b2ef9777e3c0f484febf5c0e7283c3ad61cd
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-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" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+1.90.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] fb40c39bc27ad8da00b84b49b48696bdd0cda60e245242e509bc7b3560868e32
[INFO] running `Command { std: "docker" "start" "-a" "fb40c39bc27ad8da00b84b49b48696bdd0cda60e245242e509bc7b3560868e32", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.101
[INFO] [stderr]    Compiling cfg-if v1.0.3
[INFO] [stderr]    Compiling unicode-ident v1.0.19
[INFO] [stderr]    Compiling quote v1.0.41
[INFO] [stderr]    Compiling libc v0.2.176
[INFO] [stderr]    Compiling libm v0.2.15
[INFO] [stderr]    Compiling log v0.4.28
[INFO] [stderr]    Compiling zerocopy v0.8.27
[INFO] [stderr]    Compiling autocfg v1.5.0
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling memchr v2.7.6
[INFO] [stderr]    Compiling crc32fast v1.5.0
[INFO] [stderr]    Compiling tracing-core v0.1.34
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling bytemuck v1.23.2
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling regex-syntax v0.8.6
[INFO] [stderr]    Compiling adler2 v2.0.1
[INFO] [stderr]    Compiling miniz_oxide v0.8.9
[INFO] [stderr]    Compiling anstyle-parse v0.2.7
[INFO] [stderr]    Compiling slotmap v1.0.7
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling bitflags v2.9.4
[INFO] [stderr]    Compiling float-cmp v0.9.0
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling anstyle v1.0.13
[INFO] [stderr]    Compiling colorchoice v1.0.4
[INFO] [stderr]    Compiling unicode-width v0.1.11
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling anstyle-query v1.1.4
[INFO] [stderr]    Compiling anstream v0.6.20
[INFO] [stderr]    Compiling sharded-slab v0.1.7
[INFO] [stderr]    Compiling strict-num v0.1.1
[INFO] [stderr]    Compiling thread_local v1.1.9
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling nu-ansi-term v0.50.1
[INFO] [stderr]    Compiling crossbeam-utils v0.8.21
[INFO] [stderr]    Compiling byteorder v1.5.0
[INFO] [stderr]    Compiling roxmltree v0.20.0
[INFO] [stderr]    Compiling tinyvec v1.10.0
[INFO] [stderr]    Compiling flate2 v1.1.2
[INFO] [stderr]    Compiling tracing-log v0.2.0
[INFO] [stderr]    Compiling tiny-skia-path v0.11.4
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling fxhash v0.2.1
[INFO] [stderr]    Compiling fontconfig-parser v0.5.8
[INFO] [stderr]    Compiling kurbo v0.11.3
[INFO] [stderr]    Compiling bytecount v0.6.9
[INFO] [stderr]    Compiling allocator-api2 v0.2.21
[INFO] [stderr]    Compiling siphasher v1.0.1
[INFO] [stderr]    Compiling unicode-ccc v0.3.0
[INFO] [stderr]    Compiling unicode-properties v0.1.3
[INFO] [stderr]    Compiling unicode-script v0.5.7
[INFO] [stderr]    Compiling getrandom v0.2.16
[INFO] [stderr]    Compiling memmap2 v0.9.8
[INFO] [stderr]    Compiling unicode-bidi-mirroring v0.3.0
[INFO] [stderr]    Compiling thiserror v2.0.17
[INFO] [stderr]    Compiling syn v2.0.106
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling vte_generate_state_changes v0.1.2
[INFO] [stderr]    Compiling regex-automata v0.4.11
[INFO] [stderr]    Compiling rustix v1.1.2
[INFO] [stderr]    Compiling png v0.17.16
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling vte v0.10.1
[INFO] [stderr]    Compiling simplecss v0.2.2
[INFO] [stderr]    Compiling core_maths v0.1.1
[INFO] [stderr]    Compiling ttf-parser v0.24.1
[INFO] [stderr]    Compiling svgtypes v0.15.3
[INFO] [stderr]    Compiling env_filter v0.1.3
[INFO] [stderr]    Compiling is-docker v0.2.0
[INFO] [stderr]    Compiling hashbrown v0.16.0
[INFO] [stderr]    Compiling unicode-vo v0.1.0
[INFO] [stderr]    Compiling ansitok v0.2.0
[INFO] [stderr]    Compiling linux-raw-sys v0.11.0
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling quick-error v2.0.1
[INFO] [stderr]    Compiling xmlwriter v0.1.0
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling weezl v0.1.10
[INFO] [stderr]    Compiling yansi v1.0.1
[INFO] [stderr]    Compiling pico-args v0.5.0
[INFO] [stderr]    Compiling equivalent v1.0.2
[INFO] [stderr]    Compiling imagesize v0.13.0
[INFO] [stderr]    Compiling ansi-str v0.8.0
[INFO] [stderr]    Compiling zune-core v0.4.12
[INFO] [stderr]    Compiling unicode-bidi v0.3.18
[INFO] [stderr]    Compiling data-url v0.3.2
[INFO] [stderr]    Compiling base64 v0.22.1
[INFO] [stderr]    Compiling papergrid v0.12.0
[INFO] [stderr]    Compiling owo-colors v4.2.3
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling gif v0.13.3
[INFO] [stderr]    Compiling chumsky v0.9.3
[INFO] [stderr]    Compiling indexmap v2.11.4
[INFO] [stderr]    Compiling zune-jpeg v0.4.21
[INFO] [stderr]    Compiling ariadne v0.5.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling matchers v0.2.0
[INFO] [stderr]    Compiling image-webp v0.1.3
[INFO] [stderr]    Compiling tiny-skia v0.11.4
[INFO] [stderr]    Compiling env_logger v0.11.8
[INFO] [stderr]    Compiling is-wsl v0.4.0
[INFO] [stderr]    Compiling getrandom v0.3.3
[INFO] [stderr]    Compiling rustybuzz v0.18.0
[INFO] [stderr]    Compiling fontdb v0.22.0
[INFO] [stderr]    Compiling rgb v0.8.52
[INFO] [stderr]    Compiling bit-vec v0.7.0
[INFO] [stderr]    Compiling biodivine-lib-bdd v0.5.27
[INFO] [stderr]    Compiling bimap v0.6.3
[INFO] [stderr]    Compiling pathdiff v0.2.3
[INFO] [stderr]    Compiling bit-set v0.6.0
[INFO] [stderr]    Compiling open v5.3.2
[INFO] [stderr]    Compiling rand_distr v0.4.3
[INFO] [stderr]    Compiling layout-rs v0.1.3
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling tempfile v3.23.0
[INFO] [stderr]    Compiling rayon-core v1.13.0
[INFO] [stderr]    Compiling crossbeam-deque v0.8.6
[INFO] [stderr]    Compiling clap_lex v0.7.5
[INFO] [stderr]    Compiling strsim v0.11.1
[INFO] [stderr]    Compiling crossbeam-channel v0.5.15
[INFO] [stderr]    Compiling csv-core v0.1.12
[INFO] [stderr]    Compiling itoa v1.0.15
[INFO] [stderr]    Compiling clap_builder v4.5.48
[INFO] [stderr]    Compiling alea v0.2.2
[INFO] [stderr]    Compiling fixedbitset v0.5.7
[INFO] [stderr]    Compiling ryu v1.0.20
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling tabled_derive v0.8.0
[INFO] [stderr]    Compiling tracing-attributes v0.1.30
[INFO] [stderr]    Compiling thiserror-impl v2.0.17
[INFO] [stderr]    Compiling test-log-macros v0.2.18
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling tabled v0.16.0
[INFO] [stderr]    Compiling tracing v0.1.41
[INFO] [stderr]    Compiling tracing-subscriber v0.3.20
[INFO] [stderr]    Compiling usvg v0.44.0
[INFO] [stderr]    Compiling clap v4.5.48
[INFO] [stderr]    Compiling csv v1.3.1
[INFO] [stderr]    Compiling hoars v0.2.1 (/opt/rustwide/workdir/crates/hoars)
[INFO] [stderr]    Compiling test-log v0.2.18
[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)]` 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] [stderr]    Compiling resvg v0.44.0
[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)]` 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 45s
[INFO] running `Command { std: "docker" "inspect" "fb40c39bc27ad8da00b84b49b48696bdd0cda60e245242e509bc7b3560868e32", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fb40c39bc27ad8da00b84b49b48696bdd0cda60e245242e509bc7b3560868e32", kill_on_drop: false }`
[INFO] [stdout] fb40c39bc27ad8da00b84b49b48696bdd0cda60e245242e509bc7b3560868e32
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-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" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+1.90.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e55f402fb02737b22d7b439e49a25aeceb09b213d8154bf427ef8469d2b5bb91
[INFO] running `Command { std: "docker" "start" "-a" "e55f402fb02737b22d7b439e49a25aeceb09b213d8154bf427ef8469d2b5bb91", 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)]` 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)]` 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 hoars v0.2.1 (/opt/rustwide/workdir/crates/hoars)
[INFO] [stderr]    Compiling incong v0.1.0 (/opt/rustwide/workdir/bin/incong)
[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)]` 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)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 28.89s
[INFO] running `Command { std: "docker" "inspect" "e55f402fb02737b22d7b439e49a25aeceb09b213d8154bf427ef8469d2b5bb91", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e55f402fb02737b22d7b439e49a25aeceb09b213d8154bf427ef8469d2b5bb91", kill_on_drop: false }`
[INFO] [stdout] e55f402fb02737b22d7b439e49a25aeceb09b213d8154bf427ef8469d2b5bb91
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-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" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+1.90.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 76dbab1656dd2b668f2ebc5ce71f869010a4a6b245147824745a82a3c0e9b1b5
[INFO] running `Command { std: "docker" "start" "-a" "76dbab1656dd2b668f2ebc5ce71f869010a4a6b245147824745a82a3c0e9b1b5", 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)]` 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: `automata-core` (lib) generated 4 warnings
[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)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `hoars` (lib) generated 1 warning
[INFO] [stderr] warning: `automata-core` (lib test) generated 4 warnings (4 duplicates)
[INFO] [stderr] warning: `hoars` (lib test) generated 1 warning (1 duplicate)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.22s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/automata-6a36c0b026927dd6)
[INFO] [stdout] 
[INFO] [stdout] running 56 tests
[INFO] [stdout] test automaton::omega::muller::tests::muller_automaton ... ok
[INFO] [stdout] test automaton::omega::parity::tests::dpa_equivalences ... ok
[INFO] [stdout] test automaton::omega::parity::tests::bug_normalized ... ok
[INFO] [stdout] test automaton::omega::parity::tests::dpa_equivalence_clases ... ok
[INFO] [stdout] test automaton::reachability::tests::dfa_from_ts ... ok
[INFO] [stdout] test automaton::tests::dbas ... ok
[INFO] [stdout] test automaton::tests::dfas_and_boolean_operations ... ok
[INFO] [stdout] test automaton::omega::rabin::tests::rabin_pairs ... ok
[INFO] [stdout] test automaton::tests::mealy_color_or_below ... ok
[INFO] [stdout] test automaton::omega::parity::tests::dpa_inclusion ... ok
[INFO] [stdout] test dot::tests::display_forc ... ignored
[INFO] [stdout] test automaton::omega::parity::tests::dpa_priority_restriction ... ok
[INFO] [stdout] test automaton::mealy::tests::mealy_equivalence ... ok
[INFO] [stdout] test automaton::omega::parity::tests::normalize_dpa ... ok
[INFO] [stdout] test automaton::omega::parity::tests::dpa_run ... ok
[INFO] [stdout] test congruence::transitionprofile::tests::tp_from_ts_time ... ok
[INFO] [stdout] test dot::tests::render_dfa ... ignored
[INFO] [stdout] test dot::tests::svg_open_dpa ... ignored
[INFO] [stdout] test automaton::omega::rabin::tests::rabin_automaton ... ok
[INFO] [stdout] test hoa::output::tests::build_parity_hoa_string ... ok
[INFO] [stdout] test random::tests::bench_random_ts ... ignored
[INFO] [stdout] test minimization::partition_refinement::tests::partition_refinement_mealy ... ok
[INFO] [stdout] test families::convert::tests::fwpm_to_fdfa ... ok
[INFO] [stdout] test families::tests::family_interaction ... ok
[INFO] [stdout] test minimization::partition_refinement::tests::partition_refinement_moore ... ok
[INFO] [stdout] test ts::deterministic::tests::escape_prefixes ... ok
[INFO] [stdout] test ts::impls::linked::tests::dts_equality ... ok
[INFO] [stdout] test hoa::output::tests::write_hoa_dpa ... ok
[INFO] [stdout] test hoa::output::tests::write_hoa_dba ... ok
[INFO] [stdout] test representation::tests::representation ... ok
[INFO] [stdout] test ts::connected_components::scc::tests::interior_transitions ... ok
[INFO] [stdout] test families::convert::tests::fdfa_to_fwpm ... 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 random::tests::random_dpa_sized ... ok
[INFO] [stdout] test ts::impls::linked::tests::remove_edge ... ok
[INFO] [stdout] test random::tests::random_ts_sized ... ok
[INFO] [stdout] test ts::operations::product::tests::product_subalphabet ... ok
[INFO] [stdout] test random::tests::random_words ... ok
[INFO] [stdout] test random::tests::random_dba_sized ... ok
[INFO] [stdout] test ts::operations::quotient::tests::quotient_test ... ok
[INFO] [stdout] test ts::operations::restricted::tests::restrict_ts_by_state_index ... ok
[INFO] [stdout] test ts::operations::tests::product ... ok
[INFO] [stdout] test ts::shrinkable::tests::shrink_to_reachable ... 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::complete_ts ... ok
[INFO] [stdout] test ts::operations::subset::tests::subset_construction ... ok
[INFO] [stdout] test ts::path::tests::path_transitions ... ok
[INFO] [stdout] test ts::run::tests::run_escaping ... ok
[INFO] [stdout] test ts::reachable::tests::reachable_states ... ok
[INFO] [stdout] test hoa::input::tests::hoa_tdba_with_abort_and_nondeterministic ... ok
[INFO] [stdout] test ts::sproutable::tests::sprout_after_creating ... ok
[INFO] [stdout] test ts::predecessors::tests::predecessor_iterable ... ok
[INFO] [stdout] test ts::path::tests::debug_display_path ... ok
[INFO] [stdout] test hoa::tests::parse_generated_hoa ... ok
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/automata_core-8c3b3177d176150c)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 52 passed; 0 failed; 4 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[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 word::normalized::tests::debug_normalized ... ok
[INFO] [stdout] test word::concat::tests::concatenations ... ok
[INFO] [stdout] test alphabet::propositional::tests::prop_expression ... ok
[INFO] [stdout] test word::omega::tests::normalizing_upws ... ok
[INFO] [stdout] test word::omega::tests::parse_reduced ... ok
[INFO] [stdout] test word::omega::tests::word_equality ... ok
[INFO] [stdout] test word::omega::tests::deduplication ... ok
[INFO] [stdout] test word::skip::tests::finite_word_infix ... ok
[INFO] [stdout] test word::tests::bug_upw ... ok
[INFO] [stdout] test word::skip::tests::subwords ... ok
[INFO] [stdout] test word::skip::tests::skip_to_reduced_omega_word ... ok
[INFO] [stdout] test word::tests::macro_upw ... 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.79s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/automata_learning-ce2cd0a29d040a0a)
[INFO] [stdout] 
[INFO] [stdout] running 25 tests
[INFO] [stdout] test active::oracle::tests::mealy_al ... ok
[INFO] [stdout] test active::tests::lstar_mealy ... ok
[INFO] [stdout] test passive::sample::tests::omega_prefix_tree ... ignored
[INFO] [stdout] test passive::sample::tests::split_up_sample ... ignored
[INFO] [stdout] test passive::precise::tests::precise_dpa ... ok
[INFO] [stdout] test passive::sprout::consistency::tests::parity_consistency ... ok
[INFO] [stdout] test passive::sample::tests::to_periodic_sample ... ok
[INFO] [stdout] test passive::sprout::consistency::tests::parity_default_automaton ... ok
[INFO] [stdout] test passive::sprout::tests::sprout_buchi_successful ... ok
[INFO] [stdout] test passive::sprout::consistency::tests::both_escaping ... ok
[INFO] [stdout] test prefixtree::tests::build_prefix_tree ... ignored
[INFO] [stdout] test passive::sample::tests::parse_sample ... ok
[INFO] [stdout] test passive::sprout::consistency::tests::buchi_consistency ... ok
[INFO] [stdout] test passive::sprout::consistency::tests::buchi_consistent_automaton ... ok
[INFO] [stdout] test passive::sprout::consistency::tests::one_escaping ... ok
[INFO] [stdout] test passive::sprout::tests::sprout_parity ... ok
[INFO] [stdout] test passive::sprout::consistency::tests::parity_consistent_automaton ... ok
[INFO] [stdout] test passive::sprout::tests::sprout_parity_thresh ... ok
[INFO] [stdout] test passive::dpainf::tests::learn_small_forc ... ok
[INFO] [stdout] test passive::sprout::tests::sprout_buchi_thresh ... 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 6.08s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/hoars-b5ed9927003316c9)
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test body::tests::one_transition_label_true ... ok
[INFO] [stdout] test format::tests::parity_acceptance_creator ... ok
[INFO] [stdout] test body::tests::no_transition_state ... 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 body::tests::two_explicit_transitions_with_comment ... ok
[INFO] [stdout] test header::tests::aps ... ok
[INFO] [stdout] test header::tests::tool_and_name ... ok
[INFO] [stdout] test tests::real_test_1 ... 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-6e81bdcc4b46d5f9)
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/oai-01ed95eb509c4686)
[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] [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-11d8de15d422f1e5)
[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/automaton.rs - automaton::Automaton<A,Z,Q,C,D,OMEGA,DET>::new_with_initial_color (line 103) ... ok
[INFO] [stdout] test crates/automata/src/../README.md - (line 10) ... 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/../README.md - (line 50) ... ok
[INFO] [stdout] test crates/automata/src/congruence.rs - congruence::Congruence::normalize_upw (line 38) ... 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/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/congruence.rs - congruence::RightCongruence<A,Q,C,D>::looping_words (line 103) ... 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/../README.md - (line 131) ... 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/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_edges (line 221) ... ok
[INFO] [stdout] test crates/automata/src/congruence/transitionprofile.rs - congruence::transitionprofile::TransitionMonoid (line 12) ... 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/impls/linked.rs - ts::impls::linked::LinkedListTransitionSystem<CharAlphabet,Q,C,DET>::builder (line 650) ... 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/sproutable.rs - ts::sproutable::Sproutable::add_edge (line 103) ... ok
[INFO] [stdout] test crates/automata/src/ts/deterministic.rs - ts::deterministic::Deterministic::successor_index (line 119) ... 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/shrinkable.rs - ts::shrinkable::Shrinkable::remove_edges_between (line 95) ... 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/ts/deterministic.rs - ts::deterministic::Deterministic::edge (line 38) ... 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::remove_edges_to (line 152) ... 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/shrinkable.rs - ts::shrinkable::Shrinkable::remove_edges_from_matching (line 33) ... 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/sproutable.rs - ts::sproutable::Sproutable::complete_with_colors (line 232) ... 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/sproutable.rs - ts::sproutable::Sproutable::sprout_from_ts (line 195) ... 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::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] 
[INFO] [stdout] test result: ok. 35 passed; 0 failed; 6 ignored; 0 measured; 0 filtered out; finished in 0.08s
[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 5.37s; merged doctests compilation took 5.23s
[INFO] [stderr]    Doc-tests automata_core
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test crates/automata-core/src/word.rs - word::upw (line 145) ... 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::omega_word_equals (line 70) ... ok
[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::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::Word::infix (line 51) ... 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/normalized.rs - word::normalized::NormalizedOmegaWord<S>::new (line 41) ... ok
[INFO] [stdout] test crates/automata-core/src/word/omega.rs - word::omega::ReducedOmegaWord<S>::is_reduced (line 354) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[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" "76dbab1656dd2b668f2ebc5ce71f869010a4a6b245147824745a82a3c0e9b1b5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "76dbab1656dd2b668f2ebc5ce71f869010a4a6b245147824745a82a3c0e9b1b5", kill_on_drop: false }`
[INFO] [stdout] 76dbab1656dd2b668f2ebc5ce71f869010a4a6b245147824745a82a3c0e9b1b5
