[INFO] crate biodivine-lib-bdd 0.1.0 is already in cache [INFO] testing biodivine-lib-bdd-0.1.0 against beta-2020-06-03 for beta-1.45-1 [INFO] extracting crate biodivine-lib-bdd 0.1.0 into /workspace/builds/worker-4/source [INFO] validating manifest of crates.io crate biodivine-lib-bdd 0.1.0 on toolchain beta-2020-06-03 [INFO] running `"/workspace/cargo-home/bin/cargo" "+beta-2020-06-03" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started tweaking crates.io crate biodivine-lib-bdd 0.1.0 [INFO] finished tweaking crates.io crate biodivine-lib-bdd 0.1.0 [INFO] tweaked toml for crates.io crate biodivine-lib-bdd 0.1.0 written to /workspace/builds/worker-4/source/Cargo.toml [INFO] running `"/workspace/cargo-home/bin/cargo" "+beta-2020-06-03" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/workspace/cargo-home/bin/cargo" "+beta-2020-06-03" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-06-03" "build" "--frozen"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] a3451724dc21f4bf115a350cdfa51e24d5e864b56d916448c485948fffd0838f [INFO] running `"docker" "start" "-a" "a3451724dc21f4bf115a350cdfa51e24d5e864b56d916448c485948fffd0838f"` [INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted [INFO] [stderr] Compiling byteorder v1.3.4 [INFO] [stderr] Compiling fxhash v0.2.1 [INFO] [stderr] Compiling biodivine-lib-bdd v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 4.55s [INFO] running `"docker" "inspect" "a3451724dc21f4bf115a350cdfa51e24d5e864b56d916448c485948fffd0838f"` [INFO] running `"docker" "rm" "-f" "a3451724dc21f4bf115a350cdfa51e24d5e864b56d916448c485948fffd0838f"` [INFO] [stdout] a3451724dc21f4bf115a350cdfa51e24d5e864b56d916448c485948fffd0838f [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-06-03" "test" "--frozen" "--no-run"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] ad00a07a2822ea5c6250a46d49a21907ed003532e7619d837e2504333c7abe9b [INFO] running `"docker" "start" "-a" "ad00a07a2822ea5c6250a46d49a21907ed003532e7619d837e2504333c7abe9b"` [INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted [INFO] [stderr] Compiling libc v0.2.71 [INFO] [stderr] Compiling getrandom v0.1.14 [INFO] [stderr] Compiling ppv-lite86 v0.2.8 [INFO] [stderr] Compiling rand_core v0.5.1 [INFO] [stderr] Compiling rand_chacha v0.2.2 [INFO] [stderr] Compiling rand v0.7.3 [INFO] [stderr] Compiling biodivine-lib-bdd v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 10.61s [INFO] running `"docker" "inspect" "ad00a07a2822ea5c6250a46d49a21907ed003532e7619d837e2504333c7abe9b"` [INFO] running `"docker" "rm" "-f" "ad00a07a2822ea5c6250a46d49a21907ed003532e7619d837e2504333c7abe9b"` [INFO] [stdout] ad00a07a2822ea5c6250a46d49a21907ed003532e7619d837e2504333c7abe9b [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-06-03" "test" "--frozen"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 275f55da4cd866a3c9feb77e845c5ed11622cb6ba8f3f3561add2eccd756ffb8 [INFO] running `"docker" "start" "-a" "275f55da4cd866a3c9feb77e845c5ed11622cb6ba8f3f3561add2eccd756ffb8"` [INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.04s [INFO] [stderr] Running /opt/rustwide/target/debug/deps/biodivine_lib_bdd-96c70d691ae07c82 [INFO] [stdout] [INFO] [stdout] running 61 tests [INFO] [stdout] test _impl_bdd::_impl_serialisation::tests::bdd_to_string ... ok [INFO] [stdout] test _impl_bdd::_impl_util::tests::bdd_impl ... ok [INFO] [stdout] test _impl_bdd_node::tests::bdd_node_one ... ok [INFO] [stdout] test _impl_bdd_node::tests::bdd_node_zero ... ok [INFO] [stdout] test _impl_bdd::_impl_export_dot::tests::bdd_to_dot ... ok [INFO] [stdout] test _impl_bdd_node::tests::bdd_node_create ... ok [INFO] [stdout] test _impl_bdd::_impl_export_dot::tests::bdd_universe_bdd_to_dot_pruned ... ok [INFO] [stdout] test _impl_bdd::_impl_export_dot::tests::bdd_universe_bdd_to_dot ... ok [INFO] [stdout] test _impl_bdd::_impl_util::tests::bdd_to_formula ... ok [INFO] [stdout] test _impl_bdd_valuation::tests::bdd_universe_eval ... ok [INFO] [stdout] test _impl_bdd::_impl_serialisation::tests::bdd_from_string ... ok [INFO] [stdout] test _impl_bdd_valuation::tests::bdd_valuation_print ... ok [INFO] [stdout] test _impl_bdd_variable_set::tests::bdd_universe_anonymous ... ok [INFO] [stdout] test _impl_bdd::_impl_util::tests::bdd_cardinality ... ok [INFO] [stdout] test _impl_bdd::_impl_serialisation::tests::bdd_to_bytes ... ok [INFO] [stdout] test _impl_bdd_variable_set::tests::bdd_universe_mk_const ... ok [INFO] [stdout] test _impl_bdd::_impl_util::tests::bdd_sat_witness_advanced ... ok [INFO] [stdout] test _impl_bdd::_impl_export_dot::tests::bdd_to_dot_pruned ... ok [INFO] [stdout] test _impl_bdd::_impl_util::tests::bdd_sat_witness_basic ... ok [INFO] [stdout] test _impl_bdd_valuation::tests::bdd_valuation_iterator_empty ... ok [INFO] [stdout] test _macro_bdd::tests::bdd_macro_test ... ok [INFO] [stdout] test _test_bdd::_test_bdd_logic_basic::bdd_mk_and ... ok [INFO] [stdout] test _test_bdd::_test_bdd_logic_basic::bdd_constants ... ok [INFO] [stdout] test _impl_bdd_valuation::tests::bdd_universe_eval_invalid ... FAILED [INFO] [stdout] test _test_bdd::_test_bdd_logic_basic::bdd_mk_and_not ... ok [INFO] [stdout] test _test_bdd::_test_bdd_logic_basic::bdd_mk_imp ... ok [INFO] [stdout] test _test_bdd::_test_bdd_logic_basic::bdd_mk_not ... ok [INFO] [stdout] test _test_bdd::_test_bdd_logic_basic::bdd_mk_iff ... ok [INFO] [stdout] test _test_bdd::_test_bdd_logic_basic::bdd_mk_or ... ok [INFO] [stdout] test _impl_bdd_variable_set::tests::bdd_universe_mk_var_invalid_id ... FAILED [INFO] [stdout] test _test_bdd::_test_bdd_logic_basic::bdd_mk_xor ... ok [INFO] [stdout] test _impl_bdd_variable_set_builder::tests::bdd_variables_builder ... ok [INFO] [stdout] test _impl_bdd_variable_set_builder::tests::bdd_variables_builder_batch ... ok [INFO] [stdout] test _test_bdd::_test_bdd_logic_basic::bdd_de_morgan ... ok [INFO] [stdout] test _impl_bdd_variable_set::tests::bdd_universe_mk_not_var_invalid_id ... FAILED [INFO] [stdout] test boolean_expression::_impl_parser::tests::parse_boolean_formula_complex ... ok [INFO] [stdout] test boolean_expression::_impl_parser::tests::parse_boolean_formula_basic ... ok [INFO] [stdout] test _test_bdd::_test_bdd_logic_basic::nontrivial_identity_syntactic ... ok [INFO] [stdout] test _test_bdd::_test_bdd_logic_basic::simple_identities_syntactic ... ok [INFO] [stdout] test boolean_expression::_impl_boolean_expression::tests::bdd_universe_eval_boolean_formula ... ok [INFO] [stdout] test _impl_bdd_variable_set::tests::bdd_universe_mk_not_var_by_name_invalid_name ... ok [INFO] [stdout] test _impl_bdd_variable_set::tests::bdd_universe_mk_var_by_name_invalid_name ... ok [INFO] [stdout] test _impl_bdd_variable_set_builder::tests::bdd_variables_builder_invalid_name ... ok [INFO] [stdout] test _impl_bdd_variable_set_builder::tests::bdd_variables_builder_duplicate_variable ... ok [INFO] [stdout] test boolean_expression::_impl_parser::tests::parse_boolean_formula_invalid_formula_2 ... ok [INFO] [stdout] test boolean_expression::_impl_parser::tests::parse_boolean_formula_invalid_parentheses_1 ... ok [INFO] [stdout] test boolean_expression::_impl_parser::tests::parse_boolean_formula_invalid_parentheses_2 ... ok [INFO] [stdout] test boolean_expression::_impl_parser::tests::parse_boolean_formula_invalid_parentheses_3 ... ok [INFO] [stdout] test boolean_expression::_impl_parser::tests::parse_boolean_formula_invalid_formula_1 ... ok [INFO] [stdout] test boolean_expression::_impl_parser::tests::parse_boolean_formula_invalid_token_1 ... ok [INFO] [stdout] test boolean_expression::_impl_parser::tests::parse_boolean_formula_invalid_parentheses_4 ... ok [INFO] [stdout] test boolean_expression::_impl_parser::tests::parse_boolean_formula_operator_associativity ... ok [INFO] [stdout] test boolean_expression::_impl_parser::tests::parse_boolean_formula_invalid_token_2 ... ok [INFO] [stdout] test boolean_expression::_impl_parser::tests::parse_boolean_formula_operator_priority ... ok [INFO] [stdout] test boolean_expression::_impl_parser::tests::parse_boolean_formula_invalid_token_4 ... ok [INFO] [stdout] test boolean_expression::_impl_parser::tests::parse_boolean_formula_invalid_token_3 ... ok [INFO] [stdout] test _test_bdd::_test_bdd_logic_fuzzing::fuzz_var_2 ... ok [INFO] [stdout] test _test_bdd::_test_bdd_logic_fuzzing::fuzz_var_4 ... ok [INFO] [stdout] test _impl_bdd_variable_set_builder::tests::bdd_variables_builder_too_large ... ok [INFO] [stdout] test _test_bdd::_test_bdd_logic_fuzzing::fuzz_var_8 ... ok [INFO] [stdout] test _test_bdd::_test_bdd_logic_fuzzing::fuzz_var_12 ... ok [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- _impl_bdd_valuation::tests::bdd_universe_eval_invalid stdout ---- [INFO] [stdout] note: test did not panic as expected [INFO] [stdout] ---- _impl_bdd_variable_set::tests::bdd_universe_mk_var_invalid_id stdout ---- [INFO] [stdout] note: test did not panic as expected [INFO] [stdout] ---- _impl_bdd_variable_set::tests::bdd_universe_mk_not_var_invalid_id stdout ---- [INFO] [stdout] note: test did not panic as expected [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] _impl_bdd_valuation::tests::bdd_universe_eval_invalid [INFO] [stdout] _impl_bdd_variable_set::tests::bdd_universe_mk_not_var_invalid_id [INFO] [stdout] _impl_bdd_variable_set::tests::bdd_universe_mk_var_invalid_id [INFO] [stdout] [INFO] [stdout] test result: FAILED. 58 passed; 3 failed; 0 ignored; 0 measured; 0 filtered out [INFO] [stdout] [INFO] [stderr] error: test failed, to rerun pass '--lib' [INFO] running `"docker" "inspect" "275f55da4cd866a3c9feb77e845c5ed11622cb6ba8f3f3561add2eccd756ffb8"` [INFO] running `"docker" "rm" "-f" "275f55da4cd866a3c9feb77e845c5ed11622cb6ba8f3f3561add2eccd756ffb8"` [INFO] [stdout] 275f55da4cd866a3c9feb77e845c5ed11622cb6ba8f3f3561add2eccd756ffb8