[INFO] fetching crate biodivine-lib-param-bn 0.6.2...
[INFO] testing biodivine-lib-param-bn-0.6.2 against master#c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38 for pr-146098-7
[INFO] extracting crate biodivine-lib-param-bn 0.6.2 into /workspace/builds/worker-1-tc1/source
[INFO] started tweaking crates.io crate biodivine-lib-param-bn 0.6.2
[INFO] finished tweaking crates.io crate biodivine-lib-param-bn 0.6.2
[INFO] tweaked toml for crates.io crate biodivine-lib-param-bn 0.6.2 written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate biodivine-lib-param-bn 0.6.2 on toolchain c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate biodivine-lib-param-bn 0.6.2 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" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "fetch" "--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]  Downloading crates ...
[INFO] [stderr]   Downloaded z3 v0.18.2
[INFO] [stderr]   Downloaded z3-sys v0.9.10
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 9f23a884eb321fdca9a7b64da4a41c8a14e93ce6c9e596faaf55e18d654e25cc
[INFO] running `Command { std: "docker" "start" "-a" "9f23a884eb321fdca9a7b64da4a41c8a14e93ce6c9e596faaf55e18d654e25cc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9f23a884eb321fdca9a7b64da4a41c8a14e93ce6c9e596faaf55e18d654e25cc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9f23a884eb321fdca9a7b64da4a41c8a14e93ce6c9e596faaf55e18d654e25cc", kill_on_drop: false }`
[INFO] [stdout] 9f23a884eb321fdca9a7b64da4a41c8a14e93ce6c9e596faaf55e18d654e25cc
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c8235871c81e270f29f36c53fa052ede6bc24e61cb0541406121aed41ce78234
[INFO] running `Command { std: "docker" "start" "-a" "c8235871c81e270f29f36c53fa052ede6bc24e61cb0541406121aed41ce78234", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.176
[INFO] [stderr]    Compiling regex-syntax v0.8.6
[INFO] [stderr]    Compiling roxmltree v0.20.0
[INFO] [stderr]    Compiling bitvector v0.1.5
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling fxhash v0.2.1
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling getrandom v0.2.16
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling regex-automata v0.4.11
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling biodivine-lib-bdd v0.6.1
[INFO] [stderr]    Compiling regex v1.11.3
[INFO] [stderr]    Compiling biodivine-lib-param-bn v0.6.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 23.81s
[INFO] running `Command { std: "docker" "inspect" "c8235871c81e270f29f36c53fa052ede6bc24e61cb0541406121aed41ce78234", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c8235871c81e270f29f36c53fa052ede6bc24e61cb0541406121aed41ce78234", kill_on_drop: false }`
[INFO] [stdout] c8235871c81e270f29f36c53fa052ede6bc24e61cb0541406121aed41ce78234
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c75a5fd86f6c94cbcb894714e182b2957d6ac8bf2b481c8cc817d1421abf1064
[INFO] running `Command { std: "docker" "start" "-a" "c75a5fd86f6c94cbcb894714e182b2957d6ac8bf2b481c8cc817d1421abf1064", kill_on_drop: false }`
[INFO] [stderr]    Compiling diff v0.1.13
[INFO] [stderr]    Compiling yansi v1.0.1
[INFO] [stderr]    Compiling pretty_assertions v1.4.1
[INFO] [stderr]    Compiling biodivine-lib-param-bn v0.6.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 9.01s
[INFO] running `Command { std: "docker" "inspect" "c75a5fd86f6c94cbcb894714e182b2957d6ac8bf2b481c8cc817d1421abf1064", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c75a5fd86f6c94cbcb894714e182b2957d6ac8bf2b481c8cc817d1421abf1064", kill_on_drop: false }`
[INFO] [stdout] c75a5fd86f6c94cbcb894714e182b2957d6ac8bf2b481c8cc817d1421abf1064
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 11153f06c0d6e4b7b4ec60d9e2b3a9852a5f8ec44dbfcd6ec7f40a62d8055e05
[INFO] running `Command { std: "docker" "start" "-a" "11153f06c0d6e4b7b4ec60d9e2b3a9852a5f8ec44dbfcd6ec7f40a62d8055e05", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.06s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/biodivine_lib_param_bn-a7a4d4f0e0093166)
[INFO] [stdout] 
[INFO] [stdout] running 125 tests
[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::test_invalid_tokens ... ok
[INFO] [stdout] test _aeon_parser::_from_string_for_fn_update_temp::tests::test_malformed_args ... 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::test_missing_formula ... ok
[INFO] [stdout] test _aeon_parser::_from_string_for_boolean_network::tests::test_bn_from_and_to_string ... ok
[INFO] [stdout] test _aeon_parser::_from_string_for_boolean_network::tests::test_boolean_network_parser ... ok
[INFO] [stdout] test _aeon_parser::_from_string_for_regulation_temp::tests::parse_regulation_invalid ... 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::_impl_fn_update_temp::tests::translation_with_zero_arity ... ok
[INFO] [stdout] test _aeon_parser::_impl_boolean_network::tests::test_invalid_update_function ... ok
[INFO] [stdout] test _aeon_parser::_from_string_for_fn_update_temp::tests::update_function_constants ... ok
[INFO] [stdout] test _aeon_parser::_impl_regulatory_graph::tests::test_regulatory_graph_from_regulation_list ... ok
[INFO] [stdout] test _aeon_parser::_impl_regulatory_graph::tests::test_regulatory_graph_invalid_regulations ... 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_string_with_comments ... ok
[INFO] [stdout] test _aeon_parser::_from_string_for_regulation_temp::tests::parse_regulation_valid ... ok
[INFO] [stdout] test _impl_annotations::_impl_writer::tests::annotation_read_write_test ... ok
[INFO] [stdout] test _impl_boolean_network::test::test_rg_inference ... ok
[INFO] [stdout] test _impl_boolean_network::test::test_constraint_remove ... ok
[INFO] [stdout] test _impl_fn_update::tests::fn_update_eval_test ... ok
[INFO] [stdout] test _impl_boolean_network::test::test_assign_parameter_name ... ok
[INFO] [stdout] test _impl_boolean_network_to_bnet::tests::test_network_to_bnet ... ok
[INFO] [stdout] test _impl_fn_update::tests::test_nary_operators ... ok
[INFO] [stdout] test _impl_boolean_network_to_bnet::tests::test_network_to_bnet_invalid ... ok
[INFO] [stdout] test _impl_fn_update::tests::test_variable_substitution ... ok
[INFO] [stdout] test _impl_fn_update::tests::test_operator_coalescing ... ok
[INFO] [stdout] test _impl_parameter::tests::basic_parameter_struct_test ... 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_regulation::tests::regulation_conversion ... ok
[INFO] [stdout] test _impl_parameter_id::tests::parameter_id_conversion ... ok
[INFO] [stdout] test _impl_boolean_network::test::test_input_inlining ... ok
[INFO] [stdout] test _impl_boolean_network::test::test_constant_inlining ... ok
[INFO] [stdout] test _impl_annotations::_impl_reader::tests::annotations_parser_test ... ok
[INFO] [stdout] test _impl_regulatory_graph::_impl_misc::tests::test_regulatory_graph ... ok
[INFO] [stdout] test _impl_boolean_network_from_bnet::tests::read_bnet ... ok
[INFO] [stdout] test _impl_fn_update::tests::basic_fn_update_test ... 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_cycle_detection ... ok
[INFO] [stdout] test _impl_fn_update::tests::test_constant_simplification ... 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::_impl_equality::tests::test_regulation_order_equivalence ... ok
[INFO] [stdout] test _impl_regulatory_graph::signed_directed_graph::_feedback_vertex_set::tests::test_feedback_vertex_set_2 ... ok
[INFO] [stdout] test _impl_fn_update::tests::test_symbolic_instantiation ... 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::_strongly_connected_components::tests::test_scc_decomposition ... ok
[INFO] [stdout] test _impl_regulatory_graph::signed_directed_graph::_feedback_vertex_set::tests::test_feedback_vertex_set_3 ... 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::_weakly_connected_components::tests::test_weakly_connected ... ok
[INFO] [stdout] test _impl_regulatory_graph::signed_directed_graph::_cycle_detection::tests::test_simple_parity_cycles ... 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::structs::tests::id_state_test ... ok
[INFO] [stdout] test _impl_boolean_network::test::test_try_from_file ... ok
[INFO] [stdout] test _impl_regulatory_graph::signed_directed_graph::_cycle_detection::tests::test_parity_cycle_detection ... ok
[INFO] [stdout] test _impl_boolean_network::test::test_rg_inference_with_parameters ... ok
[INFO] [stdout] test _impl_boolean_network::test::test_variable_inlining ... ok
[INFO] [stdout] test _impl_annotations::_impl_annotation::tests::add_invalid_annotation_child - should panic ... ok
[INFO] [stdout] test _impl_annotations::_impl_annotation::tests::print_invalid_annotation - should panic ... ok
[INFO] [stdout] test biodivine_std::structs::tests::test_state_range_iterator ... 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 _impl_variable_id::tests::variable_id_conversion ... ok
[INFO] [stdout] test biodivine_std::bitvector::_impl_bit_vector_58::tests::test_bit_vector_58 ... ok
[INFO] [stdout] test symbolic_async_graph::_impl_function_table::tests::test_function_table ... ok
[INFO] [stdout] test biodivine_std::bitvector::_impl_array_bit_vector::tests::test_array_bit_vector_invalid_access - should panic ... ok
[INFO] [stdout] test fixed_points::tests::simple_projected_fixed_point_test ... ok
[INFO] [stdout] test sbml::export::tests::test_sbml_export ... ok
[INFO] [stdout] test sbml::import::tests::test_name_resolution ... ok
[INFO] [stdout] test sbml::tests::test_sbml_extended_support ... ok
[INFO] [stdout] test symbolic_async_graph::_impl_symbolic_async_graph::tests::basic_test ... ok
[INFO] [stdout] test sbml::import::tests::test ... ok
[INFO] [stdout] test symbolic_async_graph::_impl_symbolic_async_graph::tests::basic_test_with_custom_context ... 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_monotonicity_3 ... 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_subspace_creation ... ok
[INFO] [stdout] test symbolic_async_graph::_impl_symbolic_async_graph::tests::test_restriction ... ok
[INFO] [stdout] test sbml::import::tests::test_apoptosis_stable ... ok
[INFO] [stdout] test symbolic_async_graph::_impl_symbolic_async_graph::tests::test_constraints_1 ... 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_algorithm::tests::basic_percolation_test ... 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::tests::test_unique_color_pruner_connected ... ok
[INFO] [stdout] test symbolic_async_graph::_impl_symbolic_async_graph::tests::test_monotonicity_4 ... ok
[INFO] [stdout] test symbolic_async_graph::_impl_symbolic_async_graph_operators::tests::basic_graph_test ... ok
[INFO] [stdout] test symbolic_async_graph::_impl_symbolic_context::tests::test_extra_state_variables ... 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::_impl_graph_colored_vertices::tests::basic_colored_spaces_set_test ... ok
[INFO] [stdout] test symbolic_async_graph::projected_iteration::tests::test_mixed_projection ... ok
[INFO] [stdout] test symbolic_async_graph::projected_iteration::tests::test_state_projection ... ok
[INFO] [stdout] test sbml::import::tests::test_cell_collective ... ok
[INFO] [stdout] test symbolic_async_graph::_impl_symbolic_async_graph::tests::test_invalid_function ... ok
[INFO] [stdout] test trap_spaces::_impl_symbolic_space_context::tests::exactly_k_free ... ok
[INFO] [stdout] test symbolic_async_graph::_impl_symbolic_async_graph::tests::test_subnetworks ... ok
[INFO] [stdout] test trap_spaces::_impl_symbolic_space_context::tests::has_up_down_transition ... 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 symbolic_async_graph::tests::components ... ok
[INFO] [stdout] test sbml::import::tests::test_hmox_pathway ... ok
[INFO] [stdout] test trap_spaces::_impl_symbolic_space_context::tests::test_can_go_to_false ... ok
[INFO] [stdout] test fixed_points::tests::simple_fixed_point_test ... ok
[INFO] [stdout] test trap_spaces::_impl_symbolic_space_context::tests::conversions ... 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::_impl_symbolic_context::tests::hmox_pathway ... ok
[INFO] [stdout] test trap_spaces::_impl_network_spaces::tests::basic_spaces_set_test ... 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] [stderr]      Running unittests src/bin/bench_fixed_points_naive.rs (/opt/rustwide/target/debug/deps/bench_fixed_points_naive-5dc86c6bece08678)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 125 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 11.98s
[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_fixed_points_symbolic.rs (/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic-542676fc087dbe7a)
[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_fixed_points_symbolic_colors.rs (/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_colors-1b27133383e63425)
[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_fixed_points_symbolic_iterator.rs (/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_iterator-08fdf49ee3e25f70)
[INFO] [stdout] running 0 tests
[INFO] [stderr]      Running unittests src/bin/bench_fixed_points_symbolic_vertices.rs (/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_vertices-ceb36adccc68e233)
[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.rs (/opt/rustwide/target/debug/deps/bench_reach-e0b05c89182e61cc)
[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-d1934682b62ff471)
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/bench_reach_symbolic_basic.rs (/opt/rustwide/target/debug/deps/bench_reach_symbolic_basic-ef61e9cd238964eb)
[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_trap_spaces_minimal.rs (/opt/rustwide/target/debug/deps/bench_trap_spaces_minimal-d402372d660bca73)
[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/bnet_parametrizer.rs (/opt/rustwide/target/debug/deps/bnet_parametrizer-4d41e612c7ff8fee)
[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_fixed_points.rs (/opt/rustwide/target/debug/deps/check_fixed_points-b6c12d0070506986)
[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] [stderr]      Running unittests src/bin/check_fvs.rs (/opt/rustwide/target/debug/deps/check_fvs-ee1591452920e9f4)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/check_ic.rs (/opt/rustwide/target/debug/deps/check_ic-62d4f7ada4775fab)
[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_nfvs.rs (/opt/rustwide/target/debug/deps/check_nfvs-0304996999760b66)
[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-0a2cec3f267c03b0)
[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-4fc7a375a853344c)
[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-f7b0afddbce8fa87)
[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/biodivine_std/bitvector/mod.rs - biodivine_std::bitvector (line 30) ... ok
[INFO] [stdout] test src/biodivine_std/bitvector/mod.rs - biodivine_std::bitvector (line 11) ... 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 120) ... ok
[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 155) ... ok
[INFO] [stdout] test src/tutorial/p05_model_annotations.rs - tutorial::p05_model_annotations (line 71) ... 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 109) ... ok
[INFO] [stdout] test src/tutorial/p05_model_annotations.rs - tutorial::p05_model_annotations (line 10) ... ok
[INFO] [stdout] test src/tutorial/p04_graph_algorithm_sample.rs - tutorial::p04_graph_algorithm_sample (line 45) ... 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/tutorial/p02_boolean_network.rs - tutorial::p02_boolean_network (line 40) ... ok
[INFO] [stdout] test src/tutorial/p01_regulatory_graph.rs - tutorial::p01_regulatory_graph (line 73) ... ok
[INFO] [stdout] test src/tutorial/p02_boolean_network.rs - tutorial::p02_boolean_network (line 173) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.20s
[INFO] [stdout] 
[INFO] [stdout] all doctests ran in 1.36s; merged doctests compilation took 1.14s
[INFO] running `Command { std: "docker" "inspect" "11153f06c0d6e4b7b4ec60d9e2b3a9852a5f8ec44dbfcd6ec7f40a62d8055e05", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "11153f06c0d6e4b7b4ec60d9e2b3a9852a5f8ec44dbfcd6ec7f40a62d8055e05", kill_on_drop: false }`
[INFO] [stdout] 11153f06c0d6e4b7b4ec60d9e2b3a9852a5f8ec44dbfcd6ec7f40a62d8055e05