[INFO] fetching crate biodivine-lib-param-bn 0.5.14... [INFO] testing biodivine-lib-param-bn-0.5.14 against master#cdb45c87e2cd43495379f7e867e3cc15dcee9f93 for pr-145838-1 [INFO] extracting crate biodivine-lib-param-bn 0.5.14 into /workspace/builds/worker-2-tc1/source [INFO] started tweaking crates.io crate biodivine-lib-param-bn 0.5.14 [INFO] finished tweaking crates.io crate biodivine-lib-param-bn 0.5.14 [INFO] tweaked toml for crates.io crate biodivine-lib-param-bn 0.5.14 written to /workspace/builds/worker-2-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate biodivine-lib-param-bn 0.5.14 on toolchain cdb45c87e2cd43495379f7e867e3cc15dcee9f93 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate biodivine-lib-param-bn 0.5.14 already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded bitvector v0.1.5 [INFO] [stderr] Downloaded biodivine-lib-bdd v0.5.13 [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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] d434d982ff6ccd1de3e3787db0b37a593c2048c9c8d987d90e8b6929a424ec03 [INFO] running `Command { std: "docker" "start" "-a" "d434d982ff6ccd1de3e3787db0b37a593c2048c9c8d987d90e8b6929a424ec03", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "d434d982ff6ccd1de3e3787db0b37a593c2048c9c8d987d90e8b6929a424ec03", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d434d982ff6ccd1de3e3787db0b37a593c2048c9c8d987d90e8b6929a424ec03", kill_on_drop: false }` [INFO] [stdout] d434d982ff6ccd1de3e3787db0b37a593c2048c9c8d987d90e8b6929a424ec03 [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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] bdba39ae26f0a5a64a942882cbe63fafba1cf3c18f1038bccb6d77fdfbeb6db7 [INFO] running `Command { std: "docker" "start" "-a" "bdba39ae26f0a5a64a942882cbe63fafba1cf3c18f1038bccb6d77fdfbeb6db7", kill_on_drop: false }` [INFO] [stderr] Compiling autocfg v1.2.0 [INFO] [stderr] Compiling libc v0.2.153 [INFO] [stderr] Compiling memchr v2.7.2 [INFO] [stderr] Compiling regex-syntax v0.8.3 [INFO] [stderr] Compiling roxmltree v0.19.0 [INFO] [stderr] Compiling bitvector v0.1.5 [INFO] [stderr] Compiling num-traits v0.2.18 [INFO] [stderr] Compiling num-bigint v0.4.4 [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Compiling getrandom v0.2.14 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling regex-automata v0.4.6 [INFO] [stderr] Compiling biodivine-lib-bdd v0.5.13 [INFO] [stderr] Compiling regex v1.10.4 [INFO] [stderr] Compiling biodivine-lib-param-bn v0.5.14 (/opt/rustwide/workdir) [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/symbolic_async_graph/_impl_function_table.rs:49:23 [INFO] [stdout] | [INFO] [stdout] 49 | pub fn new(table: &FunctionTable) -> FunctionTableIterator { [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 49 | pub fn new(table: &FunctionTable) -> FunctionTableIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/symbolic_async_graph/projected_iteration.rs:98:17 [INFO] [stdout] | [INFO] [stdout] 98 | pub fn iter(&self) -> RawSymbolicIterator { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 98 | pub fn iter(&self) -> RawSymbolicIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/symbolic_async_graph/projected_iteration.rs:183:17 [INFO] [stdout] | [INFO] [stdout] 183 | pub fn iter(&self) -> StateProjectionIterator { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 183 | pub fn iter(&self) -> StateProjectionIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/_impl_regulatory_graph/_impl_misc.rs:247:24 [INFO] [stdout] | [INFO] [stdout] 247 | pub fn regulations(&self) -> RegulationIterator { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 247 | pub fn regulations(&self) -> RegulationIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 18.04s [INFO] running `Command { std: "docker" "inspect" "bdba39ae26f0a5a64a942882cbe63fafba1cf3c18f1038bccb6d77fdfbeb6db7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "bdba39ae26f0a5a64a942882cbe63fafba1cf3c18f1038bccb6d77fdfbeb6db7", kill_on_drop: false }` [INFO] [stdout] bdba39ae26f0a5a64a942882cbe63fafba1cf3c18f1038bccb6d77fdfbeb6db7 [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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] b073761055e34f5065bd0e209e3344a0d1f53272d159092576b3650e51fb1a5e [INFO] running `Command { std: "docker" "start" "-a" "b073761055e34f5065bd0e209e3344a0d1f53272d159092576b3650e51fb1a5e", kill_on_drop: false }` [INFO] [stderr] Compiling yansi v0.5.1 [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/symbolic_async_graph/_impl_function_table.rs:49:23 [INFO] [stdout] | [INFO] [stdout] 49 | pub fn new(table: &FunctionTable) -> FunctionTableIterator { [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 49 | pub fn new(table: &FunctionTable) -> FunctionTableIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/symbolic_async_graph/projected_iteration.rs:98:17 [INFO] [stdout] | [INFO] [stdout] 98 | pub fn iter(&self) -> RawSymbolicIterator { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 98 | pub fn iter(&self) -> RawSymbolicIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/symbolic_async_graph/projected_iteration.rs:183:17 [INFO] [stdout] | [INFO] [stdout] 183 | pub fn iter(&self) -> StateProjectionIterator { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 183 | pub fn iter(&self) -> StateProjectionIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/_impl_regulatory_graph/_impl_misc.rs:247:24 [INFO] [stdout] | [INFO] [stdout] 247 | pub fn regulations(&self) -> RegulationIterator { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 247 | pub fn regulations(&self) -> RegulationIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling pretty_assertions v1.4.0 [INFO] [stderr] Compiling biodivine-lib-param-bn v0.5.14 (/opt/rustwide/workdir) [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/symbolic_async_graph/_impl_function_table.rs:49:23 [INFO] [stdout] | [INFO] [stdout] 49 | pub fn new(table: &FunctionTable) -> FunctionTableIterator { [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 49 | pub fn new(table: &FunctionTable) -> FunctionTableIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/symbolic_async_graph/projected_iteration.rs:98:17 [INFO] [stdout] | [INFO] [stdout] 98 | pub fn iter(&self) -> RawSymbolicIterator { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 98 | pub fn iter(&self) -> RawSymbolicIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/symbolic_async_graph/projected_iteration.rs:183:17 [INFO] [stdout] | [INFO] [stdout] 183 | pub fn iter(&self) -> StateProjectionIterator { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 183 | pub fn iter(&self) -> StateProjectionIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/_impl_regulatory_graph/_impl_misc.rs:247:24 [INFO] [stdout] | [INFO] [stdout] 247 | pub fn regulations(&self) -> RegulationIterator { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 247 | pub fn regulations(&self) -> RegulationIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 6.28s [INFO] running `Command { std: "docker" "inspect" "b073761055e34f5065bd0e209e3344a0d1f53272d159092576b3650e51fb1a5e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b073761055e34f5065bd0e209e3344a0d1f53272d159092576b3650e51fb1a5e", kill_on_drop: false }` [INFO] [stdout] b073761055e34f5065bd0e209e3344a0d1f53272d159092576b3650e51fb1a5e [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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 344590541a2761e57ffd57ff4d88ee0802836999b4a08a481e01744c6d3f47e5 [INFO] running `Command { std: "docker" "start" "-a" "344590541a2761e57ffd57ff4d88ee0802836999b4a08a481e01744c6d3f47e5", kill_on_drop: false }` [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> src/symbolic_async_graph/_impl_function_table.rs:49:23 [INFO] [stderr] | [INFO] [stderr] 49 | pub fn new(table: &FunctionTable) -> FunctionTableIterator { [INFO] [stderr] | ^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stderr] | | [INFO] [stderr] | the lifetime is elided here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 49 | pub fn new(table: &FunctionTable) -> FunctionTableIterator<'_> { [INFO] [stderr] | ++++ [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> src/symbolic_async_graph/projected_iteration.rs:98:17 [INFO] [stderr] | [INFO] [stderr] 98 | pub fn iter(&self) -> RawSymbolicIterator { [INFO] [stderr] | ^^^^^ ^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stderr] | | [INFO] [stderr] | the lifetime is elided here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 98 | pub fn iter(&self) -> RawSymbolicIterator<'_> { [INFO] [stderr] | ++++ [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> src/symbolic_async_graph/projected_iteration.rs:183:17 [INFO] [stderr] | [INFO] [stderr] 183 | pub fn iter(&self) -> StateProjectionIterator { [INFO] [stderr] | ^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stderr] | | [INFO] [stderr] | the lifetime is elided here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 183 | pub fn iter(&self) -> StateProjectionIterator<'_> { [INFO] [stderr] | ++++ [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> src/_impl_regulatory_graph/_impl_misc.rs:247:24 [INFO] [stderr] | [INFO] [stderr] 247 | pub fn regulations(&self) -> RegulationIterator { [INFO] [stderr] | ^^^^^ ^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stderr] | | [INFO] [stderr] | the lifetime is elided here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 247 | pub fn regulations(&self) -> RegulationIterator<'_> { [INFO] [stderr] | ++++ [INFO] [stderr] [INFO] [stderr] warning: `biodivine-lib-param-bn` (lib) generated 4 warnings (run `cargo fix --lib -p biodivine-lib-param-bn` to apply 4 suggestions) [INFO] [stderr] warning: `biodivine-lib-param-bn` (lib test) generated 4 warnings (4 duplicates) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.09s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/biodivine_lib_param_bn-ac256a2045afa48b) [INFO] [stdout] [INFO] [stdout] running 121 tests [INFO] [stdout] test _aeon_parser::_from_string_for_fn_update_temp::tests::test_invalid_tokens ... ok [INFO] [stdout] test _aeon_parser::_from_string_for_fn_update_temp::tests::test_invalid_parentheses ... ok [INFO] [stdout] test _aeon_parser::_from_string_for_fn_update_temp::tests::parse_update_function_basic ... ok [INFO] [stdout] test _aeon_parser::_from_string_for_fn_update_temp::tests::operator_priority_test ... ok [INFO] [stdout] test _aeon_parser::_from_string_for_fn_update_temp::tests::update_function_constants ... ok [INFO] [stdout] test _aeon_parser::_impl_fn_update_temp::tests::test_dump_parameters ... ok [INFO] [stdout] test _aeon_parser::_impl_fn_update_temp::tests::test_unknown_variables_to_parameters ... ok [INFO] [stdout] test _aeon_parser::_from_string_for_fn_update_temp::tests::test_missing_formula ... ok [INFO] [stdout] test _aeon_parser::_from_string_for_fn_update_temp::tests::test_malformed_args ... ok [INFO] [stdout] test _aeon_parser::_impl_boolean_network::tests::test_invalid_update_function ... ok [INFO] [stdout] test _aeon_parser::_impl_regulatory_graph::tests::test_regulatory_graph_from_string_with_comments ... ok [INFO] [stdout] test _aeon_parser::_impl_regulatory_graph::tests::test_regulatory_graph_invalid_regulations ... ok [INFO] [stdout] test _aeon_parser::_from_string_for_regulation_temp::tests::parse_regulation_valid ... ok [INFO] [stdout] test _aeon_parser::_impl_regulatory_graph::tests::test_regulatory_graph_from_individual_regulations ... ok [INFO] [stdout] test _impl_annotations::_impl_annotation::tests::simple_annotation_test ... ok [INFO] [stdout] test _aeon_parser::_impl_regulatory_graph::tests::test_regulatory_graph_from_regulation_list ... ok [INFO] [stdout] test _aeon_parser::_from_string_for_regulation_temp::tests::parse_regulation_invalid ... ok [INFO] [stdout] test _aeon_parser::_from_string_for_boolean_network::tests::test_bn_from_and_to_string ... ok [INFO] [stdout] test _impl_boolean_network::test::test_rg_inference ... ok [INFO] [stdout] test _impl_boolean_network::test::test_assign_parameter_name ... ok [INFO] [stdout] test _impl_boolean_network::test::test_rg_inference_with_parameters ... ok [INFO] [stdout] test _impl_annotations::_impl_writer::tests::annotation_read_write_test ... ok [INFO] [stdout] test _aeon_parser::_impl_fn_update_temp::tests::translation_with_zero_arity ... ok [INFO] [stdout] test _impl_annotations::_impl_reader::tests::annotations_parser_test ... ok [INFO] [stdout] test _aeon_parser::_from_string_for_boolean_network::tests::test_boolean_network_parser ... ok [INFO] [stdout] test _impl_boolean_network::test::test_input_inlining ... ok [INFO] [stdout] test _impl_boolean_network::test::test_try_from_file ... ok [INFO] [stdout] test _impl_boolean_network::test::test_constraint_remove ... ok [INFO] [stdout] test _impl_parameter::tests::basic_parameter_struct_test ... ok [INFO] [stdout] test _impl_boolean_network::test::test_constant_inlining ... ok [INFO] [stdout] test _impl_fn_update::tests::test_variable_substitution ... ok [INFO] [stdout] test _impl_fn_update::tests::test_constant_simplification ... ok [INFO] [stdout] test _impl_boolean_network_from_bnet::tests::read_bnet ... ok [INFO] [stdout] test _impl_boolean_network_to_bnet::tests::test_network_to_bnet ... ok [INFO] [stdout] test _impl_fn_update::tests::test_symbolic_instantiation ... ok [INFO] [stdout] test _impl_fn_update::tests::fn_update_eval_test ... ok [INFO] [stdout] test _impl_fn_update::tests::test_operator_coalescing ... ok [INFO] [stdout] test _impl_boolean_network_to_bnet::tests::test_network_to_bnet_invalid ... ok [INFO] [stdout] test _impl_fn_update::tests::basic_fn_update_test ... ok [INFO] [stdout] test _impl_regulatory_graph::signed_directed_graph::_cycle_detection::tests::test_cycle_detection ... ok [INFO] [stdout] test _impl_regulatory_graph::_impl_display::tests::test_regulatory_graph_to_string ... ok [INFO] [stdout] test _impl_regulatory_graph::_impl_dot_export::tests::test_regulatory_graph_to_dot ... ok [INFO] [stdout] test _impl_regulatory_graph::signed_directed_graph::_cycle_detection::tests::test_parity_cycle_detection ... ok [INFO] [stdout] test _impl_parameter_id::tests::parameter_id_conversion ... ok [INFO] [stdout] test _impl_regulatory_graph::_impl_equality::tests::test_regulation_order_equivalence ... ok [INFO] [stdout] test _impl_fn_update::tests::test_nary_operators ... ok [INFO] [stdout] test _impl_regulatory_graph::_impl_misc::tests::test_regulatory_graph ... ok [INFO] [stdout] test _impl_regulation::tests::regulation_conversion ... ok [INFO] [stdout] test _impl_regulatory_graph::_impl_misc::tests::test_rename ... ok [INFO] [stdout] test _impl_regulatory_graph::signed_directed_graph::_cycle_detection::tests::test_simple_parity_cycles ... ok [INFO] [stdout] test _impl_regulatory_graph::signed_directed_graph::_feedback_vertex_set::tests::test_feedback_vertex_set ... ok [INFO] [stdout] test _impl_regulatory_graph::signed_directed_graph::_impl_sd_graph::tests::basic_sd_graph_test ... ok [INFO] [stdout] test _impl_regulatory_graph::signed_directed_graph::_reachability::tests::basic_reachability_test ... ok [INFO] [stdout] test _impl_regulatory_graph::signed_directed_graph::_feedback_vertex_set::tests::test_feedback_vertex_set_2 ... ok [INFO] [stdout] test _impl_regulatory_graph::signed_directed_graph::_independent_cycles::tests::test_independent_cycles ... ok [INFO] [stdout] test _impl_regulatory_graph::signed_directed_graph::_strongly_connected_components::tests::test_scc_decomposition ... ok [INFO] [stdout] test _impl_regulatory_graph::signed_directed_graph::_weakly_connected_components::tests::test_weakly_connected ... ok [INFO] [stdout] test _impl_variable_id::tests::variable_id_conversion ... ok [INFO] [stdout] test _impl_variable::tests::basic_variable_test ... ok [INFO] [stdout] test biodivine_std::bitvector::_impl_array_bit_vector::tests::test_array_bit_vector ... ok [INFO] [stdout] test biodivine_std::bitvector::_impl_bit_vector_58::tests::test_bit_vector_58 ... ok [INFO] [stdout] test biodivine_std::structs::tests::test_state_range_iterator ... ok [INFO] [stdout] test biodivine_std::structs::tests::id_state_test ... ok [INFO] [stdout] test _impl_boolean_network::test::test_variable_inlining ... ok [INFO] [stdout] test _impl_regulatory_graph::signed_directed_graph::_feedback_vertex_set::tests::test_feedback_vertex_set_3 ... ok [INFO] [stdout] test sbml::export::tests::test_sbml_export ... ok [INFO] [stdout] test fixed_points::tests::simple_projected_fixed_point_test ... ok [INFO] [stdout] test _impl_annotations::_impl_annotation::tests::add_invalid_annotation_child - should panic ... ok [INFO] [stdout] test symbolic_async_graph::_impl_function_table::tests::test_function_table ... ok [INFO] [stdout] test _impl_annotations::_impl_annotation::tests::print_invalid_annotation - should panic ... ok [INFO] [stdout] test sbml::import::tests::test_name_resolution ... ok [INFO] [stdout] test biodivine_std::bitvector::_impl_array_bit_vector::tests::test_array_bit_vector_invalid_access - should panic ... ok [INFO] [stdout] test sbml::tests::test_sbml_extended_support ... ok [INFO] [stdout] test biodivine_std::bitvector::_impl_bit_vector_58::tests::test_bit_vector_58_invalid_access - should panic ... ok [INFO] [stdout] test biodivine_std::bitvector::_impl_bit_vector_58::tests::test_bit_vector_58_too_big - should panic ... ok [INFO] [stdout] test symbolic_async_graph::_impl_regulation_constraint::tests::input_parameter_constraints ... ok [INFO] [stdout] test symbolic_async_graph::_impl_symbolic_async_graph::tests::test_invalid_function ... ok [INFO] [stdout] test symbolic_async_graph::_impl_symbolic_async_graph::tests::basic_test ... ok [INFO] [stdout] test symbolic_async_graph::_impl_symbolic_async_graph::tests::basic_test_with_custom_context ... ok [INFO] [stdout] test sbml::import::tests::test ... ok [INFO] [stdout] test symbolic_async_graph::_impl_symbolic_async_graph::tests::test_monotonicity_2 ... ok [INFO] [stdout] test symbolic_async_graph::_impl_symbolic_async_graph::tests::test_constraints_2 ... ok [INFO] [stdout] test symbolic_async_graph::_impl_symbolic_async_graph::tests::test_constraints_1 ... ok [INFO] [stdout] test fixed_points::tests::simple_fixed_point_test ... ok [INFO] [stdout] test symbolic_async_graph::_impl_symbolic_async_graph::tests::test_monotonicity_3 ... ok [INFO] [stdout] test symbolic_async_graph::_impl_symbolic_async_graph::tests::test_restriction ... ok [INFO] [stdout] test symbolic_async_graph::_impl_symbolic_async_graph::tests::test_reconstruct ... ok [INFO] [stdout] test symbolic_async_graph::_impl_symbolic_async_graph::tests::test_symbolic_set_transfer ... ok [INFO] [stdout] test symbolic_async_graph::_impl_symbolic_async_graph::tests::test_subspace_creation ... ok [INFO] [stdout] test symbolic_async_graph::_impl_symbolic_async_graph_algorithm::tests::basic_percolation_test ... ok [INFO] [stdout] test symbolic_async_graph::_impl_symbolic_async_graph::tests::test_monotonicity_4 ... ok [INFO] [stdout] test symbolic_async_graph::_impl_graph_colored_vertices::tests::basic_colored_spaces_set_test ... ok [INFO] [stdout] test symbolic_async_graph::_impl_symbolic_async_graph::tests::test_unique_color_pruner_connected ... ok [INFO] [stdout] test symbolic_async_graph::_impl_symbolic_async_graph::tests::test_unique_color_pruner_simple ... ok [INFO] [stdout] test symbolic_async_graph::_impl_symbolic_async_graph_operators::tests::basic_graph_test ... ok [INFO] [stdout] test sbml::import::tests::test_cell_collective ... ok [INFO] [stdout] test symbolic_async_graph::_impl_symbolic_context::tests::dual_encoding ... ok [INFO] [stdout] test symbolic_async_graph::_impl_symbolic_context::tests::test_extra_variables ... ok [INFO] [stdout] test symbolic_async_graph::projected_iteration::tests::test_fn_update_projection ... ok [INFO] [stdout] test symbolic_async_graph::_impl_symbolic_context::tests::test_canonical_context ... ok [INFO] [stdout] test symbolic_async_graph::projected_iteration::tests::test_state_projection ... ok [INFO] [stdout] test sbml::import::tests::test_hmox_pathway ... ok [INFO] [stdout] test sbml::import::tests::test_apoptosis_stable ... ok [INFO] [stdout] test symbolic_async_graph::projected_iteration::tests::test_mixed_projection ... ok [INFO] [stdout] test sbml::import::tests::test_apoptosis_network ... ok [INFO] [stdout] test symbolic_async_graph::_impl_symbolic_async_graph_algorithm::tests::basic_algorithms_test ... ok [INFO] [stdout] test trap_spaces::_impl_symbolic_space_context::tests::test_basic_getter_functionality ... ok [INFO] [stdout] test trap_spaces::_impl_symbolic_space_context::tests::elimination ... ok [INFO] [stdout] test trap_spaces::_impl_symbolic_space_context::tests::test_can_go_to_true ... ok [INFO] [stdout] test symbolic_async_graph::tests::components ... ok [INFO] [stdout] test trap_spaces::_impl_symbolic_space_context::tests::conversions ... ok [INFO] [stdout] test symbolic_async_graph::_impl_symbolic_async_graph::tests::test_subnetworks ... ok [INFO] [stdout] test trap_spaces::_impl_network_spaces::tests::basic_spaces_set_test ... ok [INFO] [stdout] test symbolic_async_graph::_impl_symbolic_context::tests::hmox_pathway ... ok [INFO] [stdout] test trap_spaces::_impl_network_colored_spaces::tests::basic_colored_spaces_set_test ... ok [INFO] [stdout] test trap_spaces::_impl_symbolic_space_context::tests::test_super_and_sub_spaces ... ok [INFO] [stdout] test symbolic_async_graph::_impl_symbolic_async_graph::tests::test_symbolic_inlining ... ok [INFO] [stdout] test _impl_boolean_network::test::test_constant_inlining_real_world_1 ... ok [INFO] [stdout] test trap_spaces::_impl_trap_spaces::tests::test_trap_spaces ... ok [INFO] [stdout] test sbml::import::tests::diff_test ... ok [INFO] [stdout] test fixed_points::symbolic_iterator::tests::test_symbolic_iterator ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 121 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 9.67s [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Running unittests src/bin/bench_fixed_points_naive.rs (/opt/rustwide/target/debug/deps/bench_fixed_points_naive-26db09a25c11fc97) [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/bin/bench_fixed_points_symbolic.rs (/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic-190ea40b6141ec3b) [INFO] [stdout] [INFO] [stderr] Running unittests src/bin/bench_fixed_points_symbolic_colors.rs (/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_colors-e6d6bb1f075d1468) [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/bin/bench_fixed_points_symbolic_iterator.rs (/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_iterator-5a4ee9efad8a81e2) [INFO] [stdout] [INFO] [stderr] Running unittests src/bin/bench_fixed_points_symbolic_vertices.rs (/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_vertices-2b994b6fb92eb081) [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] [stdout] [INFO] [stderr] Running unittests src/bin/bench_reach.rs (/opt/rustwide/target/debug/deps/bench_reach-c6b2c0ef98475c52) [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/bin/bench_reach_symbolic.rs (/opt/rustwide/target/debug/deps/bench_reach_symbolic-6c45ec2a48d346d4) [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/bin/bench_reach_symbolic_basic.rs (/opt/rustwide/target/debug/deps/bench_reach_symbolic_basic-4eeb01e75573f771) [INFO] [stderr] Running unittests src/bin/bench_trap_spaces_minimal.rs (/opt/rustwide/target/debug/deps/bench_trap_spaces_minimal-98302d0517c30b93) [INFO] [stdout] [INFO] [stderr] Running unittests src/bin/bnet_parametrizer.rs (/opt/rustwide/target/debug/deps/bnet_parametrizer-fdfab1a7913b84c0) [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] [stdout] [INFO] [stderr] Running unittests src/bin/check_fixed_points.rs (/opt/rustwide/target/debug/deps/check_fixed_points-5b52823b214619de) [INFO] [stdout] running 0 tests [INFO] [stderr] Running unittests src/bin/check_fvs.rs (/opt/rustwide/target/debug/deps/check_fvs-18293783c57631d2) [INFO] [stdout] [INFO] [stderr] Running unittests src/bin/check_ic.rs (/opt/rustwide/target/debug/deps/check_ic-b240e6fe6ebd62f3) [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stderr] Running unittests src/bin/check_nfvs.rs (/opt/rustwide/target/debug/deps/check_nfvs-25807e502466e54b) [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] [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] [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/bin/check_nic.rs (/opt/rustwide/target/debug/deps/check_nic-38ff65554d666d40) [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/bin/dump_graph.rs (/opt/rustwide/target/debug/deps/dump_graph-4c5e753cda16ced5) [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/bin/gen_diff_tests.rs (/opt/rustwide/target/debug/deps/gen_diff_tests-aff20e0c2567e917) [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 biodivine_lib_param_bn [INFO] [stdout] [INFO] [stdout] running 16 tests [INFO] [stdout] test src/tutorial/p04_graph_algorithm_sample.rs - tutorial::p04_graph_algorithm_sample (line 8) ... ok [INFO] [stdout] test src/tutorial/p01_regulatory_graph.rs - tutorial::p01_regulatory_graph (line 73) ... ok [INFO] [stdout] test src/biodivine_std/bitvector/mod.rs - biodivine_std::bitvector (line 30) ... ok [INFO] [stdout] test src/tutorial/p05_model_annotations.rs - tutorial::p05_model_annotations (line 109) ... ok [INFO] [stdout] test src/tutorial/p05_model_annotations.rs - tutorial::p05_model_annotations (line 71) ... ok [INFO] [stdout] test src/tutorial/p01_regulatory_graph.rs - tutorial::p01_regulatory_graph (line 155) ... ok [INFO] [stdout] test src/tutorial/p02_boolean_network.rs - tutorial::p02_boolean_network (line 40) ... ok [INFO] [stdout] test src/tutorial/p02_boolean_network.rs - tutorial::p02_boolean_network (line 173) ... ok [INFO] [stdout] test src/tutorial/p01_regulatory_graph.rs - tutorial::p01_regulatory_graph (line 26) ... ok [INFO] [stdout] test src/tutorial/p03_symbolic_async_graph.rs - tutorial::p03_symbolic_async_graph (line 25) ... ok [INFO] [stdout] test src/tutorial/p05_model_annotations.rs - tutorial::p05_model_annotations (line 10) ... ok [INFO] [stdout] test src/tutorial/p02_boolean_network.rs - tutorial::p02_boolean_network (line 132) ... ok [INFO] [stdout] test src/tutorial/p01_regulatory_graph.rs - tutorial::p01_regulatory_graph (line 110) ... ok [INFO] [stdout] test src/biodivine_std/bitvector/mod.rs - biodivine_std::bitvector (line 11) ... ok [INFO] [stdout] test src/tutorial/p04_graph_algorithm_sample.rs - tutorial::p04_graph_algorithm_sample (line 45) ... ok [INFO] [stdout] test src/tutorial/p03_symbolic_async_graph.rs - tutorial::p03_symbolic_async_graph (line 120) ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.58s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "344590541a2761e57ffd57ff4d88ee0802836999b4a08a481e01744c6d3f47e5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "344590541a2761e57ffd57ff4d88ee0802836999b4a08a481e01744c6d3f47e5", kill_on_drop: false }` [INFO] [stdout] 344590541a2761e57ffd57ff4d88ee0802836999b4a08a481e01744c6d3f47e5