Dec 07 11:56:55.865 INFO testing graphene-0.1.5 against master#906deae0790bd18681b937fe9a141a3c26cf1855 for pr-56514 Dec 07 11:56:55.865 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-0/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +906deae0790bd18681b937fe9a141a3c26cf1855-alt build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Dec 07 11:56:56.191 INFO [stdout] 7103a1e6fdfc95b28e856c77f1075c1a9ad0290b76b3de884c8a5b5aa258e72a Dec 07 11:56:56.193 INFO running `"docker" "start" "-a" "7103a1e6fdfc95b28e856c77f1075c1a9ad0290b76b3de884c8a5b5aa258e72a"` Dec 07 11:56:56.777 INFO [stderr] usermod: no changes Dec 07 11:56:56.838 INFO [stderr] Compiling graphene v0.1.5 (/source) Dec 07 11:56:58.041 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.24s Dec 07 11:56:58.046 INFO [stderr] su: No module specific data is present Dec 07 11:56:58.751 INFO running `"docker" "inspect" "7103a1e6fdfc95b28e856c77f1075c1a9ad0290b76b3de884c8a5b5aa258e72a"` Dec 07 11:56:58.890 INFO running `"docker" "rm" "-f" "7103a1e6fdfc95b28e856c77f1075c1a9ad0290b76b3de884c8a5b5aa258e72a"` Dec 07 11:56:58.998 INFO [stdout] 7103a1e6fdfc95b28e856c77f1075c1a9ad0290b76b3de884c8a5b5aa258e72a Dec 07 11:56:59.006 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-0/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +906deae0790bd18681b937fe9a141a3c26cf1855-alt test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Dec 07 11:56:59.207 INFO [stdout] e9037dbbb776e5172907eb5440329846f9d62820d8b52b6c03ec7275d4f86911 Dec 07 11:56:59.209 INFO running `"docker" "start" "-a" "e9037dbbb776e5172907eb5440329846f9d62820d8b52b6c03ec7275d4f86911"` Dec 07 11:56:59.713 INFO [stderr] usermod: no changes Dec 07 11:56:59.835 INFO [stderr] Compiling graphene v0.1.5 (/source) Dec 07 11:57:12.836 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 13.09s Dec 07 11:57:12.838 INFO [stderr] su: No module specific data is present Dec 07 11:57:13.166 INFO running `"docker" "inspect" "e9037dbbb776e5172907eb5440329846f9d62820d8b52b6c03ec7275d4f86911"` Dec 07 11:57:13.249 INFO running `"docker" "rm" "-f" "e9037dbbb776e5172907eb5440329846f9d62820d8b52b6c03ec7275d4f86911"` Dec 07 11:57:13.329 INFO [stdout] e9037dbbb776e5172907eb5440329846f9d62820d8b52b6c03ec7275d4f86911 Dec 07 11:57:13.331 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-0/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +906deae0790bd18681b937fe9a141a3c26cf1855-alt test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Dec 07 11:57:13.497 INFO [stdout] f0d535f3ba6552fc3c68590aa80c9c1da20cb5b8cc21246669919616c5ff9ae0 Dec 07 11:57:13.502 INFO running `"docker" "start" "-a" "f0d535f3ba6552fc3c68590aa80c9c1da20cb5b8cc21246669919616c5ff9ae0"` Dec 07 11:57:14.325 INFO [stderr] usermod: no changes Dec 07 11:57:14.390 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.04s Dec 07 11:57:14.402 INFO [stderr] Running /target/debug/deps/graphene-60bca18a41b7920f Dec 07 11:57:14.404 INFO [stdout] Dec 07 11:57:14.404 INFO [stdout] running 2 tests Dec 07 11:57:14.404 INFO [stdout] test common::adjacency_list::impl_base_graph::empty_has_no_vertices ... ok Dec 07 11:57:14.404 INFO [stdout] test common::adjacency_list::impl_base_graph::empty_has_no_edges ... ok Dec 07 11:57:14.404 INFO [stdout] Dec 07 11:57:14.404 INFO [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 07 11:57:14.404 INFO [stdout] Dec 07 11:57:14.405 INFO [stderr] Running /target/debug/deps/all_tests-73257ee83a969393 Dec 07 11:57:14.407 INFO [stdout] Dec 07 11:57:14.407 INFO [stdout] running 61 tests Dec 07 11:57:14.413 INFO [stdout] test common::adjacency_list::_impl::new::PROP_expected_edges_subsetof_graph ... ok Dec 07 11:57:14.417 INFO [stdout] test common::adjacency_list::_impl::new::PROP_correct_vertex_count ... ok Dec 07 11:57:14.422 INFO [stdout] test common::adjacency_list::_impl::new::PROP_expected_vertices_subsetof_graph ... ok Dec 07 11:57:14.423 INFO [stdout] test common::adjacency_list::_impl::new::PROP_graph_edges_subsetof_expected ... ok Dec 07 11:57:14.427 INFO [stdout] test common::adjacency_list::_impl::new::PROP_correct_edge_count ... ok Dec 07 11:57:14.432 INFO [stdout] test common::adjacency_list::_impl::new::PROP_graph_vertices_subsetof_expected ... ok Dec 07 11:57:14.436 INFO [stdout] test common::adjacency_list::_impl::new::PROP_rejects_duplicates ... ok Dec 07 11:57:14.439 INFO [stdout] test common::adjacency_list::impl_base_graph::add_edge::PROP_graph_subsetof_original_edges_and_added_edge ... ok Dec 07 11:57:14.444 INFO [stdout] test common::adjacency_list::impl_base_graph::add_edge::PROP_increases_edge_count ... ok Dec 07 11:57:14.448 INFO [stdout] test common::adjacency_list::impl_base_graph::add_vertex::PROP_contains_added_value ... ok Dec 07 11:57:14.448 INFO [stdout] test common::adjacency_list::impl_base_graph::add_vertex::PROP_increases_vertex_count ... ok Dec 07 11:57:14.449 INFO [stdout] test common::adjacency_list::impl_base_graph::add_edge::PROP_reject_invalid_source ... ok Dec 07 11:57:14.457 INFO [stdout] test common::adjacency_list::impl_base_graph::add_edge::PROP_maintain_original_edges ... ok Dec 07 11:57:14.457 INFO [stdout] test common::adjacency_list::impl_base_graph::add_edge::PROP_maintains_vertices ... ok Dec 07 11:57:14.468 INFO [stdout] test common::adjacency_list::impl_base_graph::add_edge::PROP_reject_invalid_sink ... ok Dec 07 11:57:14.469 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_edge::PROP_decreases_edge_count ... ok Dec 07 11:57:14.469 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_edge::PROP_after_graph_is_equals_to_desc_minus_edge ... ok Dec 07 11:57:14.476 INFO [stdout] test common::adjacency_list::impl_base_graph::add_vertex::PROP_maintains_edge_count ... ok Dec 07 11:57:14.476 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_edge::PROP_maintains_vertices ... ok Dec 07 11:57:14.477 INFO [stdout] test common::adjacency_list::impl_base_graph::add_vertex::PROP_maintains_original_edges ... ok Dec 07 11:57:14.478 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_edge::PROP_rejects_non_edge ... ok Dec 07 11:57:14.479 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_edge::PROP_rejects_invalid_source ... ok Dec 07 11:57:14.482 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_edge::PROP_rejects_invalid_sink ... ok Dec 07 11:57:14.485 INFO [stdout] test common::adjacency_list::impl_base_graph::add_vertex::PROP_rejects_existing_value ... ok Dec 07 11:57:14.485 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_vertex::PROP_after_independent_edges_subsetof_graph ... ok Dec 07 11:57:14.485 INFO [stdout] test common::adjacency_list::impl_base_graph::add_vertex::PROP_maintains_original_vertices ... ok Dec 07 11:57:14.487 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_vertex::PROP_decreases_vertex_count ... ok Dec 07 11:57:14.490 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_vertex::PROP_rejects_absent_vertex ... ok Dec 07 11:57:14.493 INFO [stdout] test core::base_graph::edge_count::PROP_equals_to_nr_of_edges ... ok Dec 07 11:57:14.494 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_vertex::PROP_removes_vertex_from_graph ... ok Dec 07 11:57:14.494 INFO [stdout] test core::base_graph::edges_between::PROP_all_incident_edges_in_desc_found_in_graph ... ok Dec 07 11:57:14.495 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_vertex::PROP_maintains_unremoved_vertices ... ok Dec 07 11:57:14.496 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_vertex::PROP_after_graph_subsetof_independent_edges ... ok Dec 07 11:57:14.496 INFO [stdout] test core::constraints::custom_graph::g10_test ... ok Dec 07 11:57:14.496 INFO [stdout] test core::constraints::custom_graph::g11_test ... ok Dec 07 11:57:14.496 INFO [stdout] test core::constraints::custom_graph::g12_test ... ok Dec 07 11:57:14.496 INFO [stdout] test core::constraints::custom_graph::g14_test ... ok Dec 07 11:57:14.502 INFO [stdout] test core::base_graph::edges_sourced_or_sinked_in::PROP_all_edges_sinked_in_the_vertice ... ok Dec 07 11:57:14.502 INFO [stdout] test core::constraints::custom_graph::g15_test ... ok Dec 07 11:57:14.502 INFO [stdout] test core::constraints::custom_graph::g16_test ... ok Dec 07 11:57:14.504 INFO [stdout] test core::constraints::custom_graph::g18_test ... ok Dec 07 11:57:14.504 INFO [stdout] test core::constraints::custom_graph::g13_test ... ok Dec 07 11:57:14.504 INFO [stdout] test core::constraints::custom_graph::g17_test ... ok Dec 07 11:57:14.504 INFO [stdout] test core::constraints::custom_graph::g1_test ... ok Dec 07 11:57:14.508 INFO [stdout] test core::constraints::custom_graph::g19_test ... ok Dec 07 11:57:14.508 INFO [stdout] test core::base_graph::vertex_count::PROP_equals_to_nr_of_vertices ... ok Dec 07 11:57:14.508 INFO [stdout] test core::constraints::custom_graph::g21_test ... ok Dec 07 11:57:14.509 INFO [stdout] test core::base_graph::edges_between::PROP_all_edges_incident_on_the_vertices ... ok Dec 07 11:57:14.512 INFO [stdout] test core::constraints::custom_graph::g20_test ... ok Dec 07 11:57:14.512 INFO [stdout] test core::constraints::custom_graph::g3_test ... ok Dec 07 11:57:14.514 INFO [stdout] test core::constraints::custom_graph::g5_test ... ok Dec 07 11:57:14.514 INFO [stdout] test core::constraints::custom_graph::g2_test ... ok Dec 07 11:57:14.514 INFO [stdout] test core::constraints::custom_graph::g22_test ... ok Dec 07 11:57:14.514 INFO [stdout] test core::constraints::custom_graph::g4_test ... ok Dec 07 11:57:14.514 INFO [stdout] test core::base_graph::edges_sourced_or_sinked_in::PROP_all_edges_sourced_in_the_vertice ... ok Dec 07 11:57:14.514 INFO [stdout] test core::constraints::custom_graph::g6_test ... ok Dec 07 11:57:14.514 INFO [stdout] test core::constraints::custom_graph::g7_test ... ok Dec 07 11:57:14.514 INFO [stdout] test core::constraints::custom_graph::g9_test ... ok Dec 07 11:57:14.516 INFO [stdout] test core::constraints::custom_graph::g8_test ... ok Dec 07 11:57:14.519 INFO [stdout] test core::base_graph::graph::PROP_edges_equal_to_description ... ok Dec 07 11:57:14.520 INFO [stdout] test core::base_graph::graph::PROP_vertices_equal_to_description ... ok Dec 07 11:57:14.520 INFO [stdout] Dec 07 11:57:14.520 INFO [stdout] test result: ok. 61 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 07 11:57:14.520 INFO [stdout] Dec 07 11:57:14.520 INFO [stderr] Doc-tests graphene Dec 07 11:57:15.058 INFO [stdout] Dec 07 11:57:15.058 INFO [stdout] running 4 tests Dec 07 11:57:16.762 INFO [stdout] test src/core/constraint/custom_graph.rs - custom_graph (line 5) ... ok Dec 07 11:57:17.256 INFO [stdout] test src/lib.rs - (line 11) ... ok Dec 07 11:57:17.484 INFO [stdout] test src/core/constrained_graph.rs - core::constrained_graph::ConstrainedGraph (line 195) ... ok Dec 07 11:57:17.635 INFO [stdout] test src/lib.rs - (line 29) ... ok Dec 07 11:57:17.635 INFO [stdout] Dec 07 11:57:17.635 INFO [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 07 11:57:17.635 INFO [stdout] Dec 07 11:57:17.657 INFO [stderr] su: No module specific data is present Dec 07 11:57:18.435 INFO running `"docker" "inspect" "f0d535f3ba6552fc3c68590aa80c9c1da20cb5b8cc21246669919616c5ff9ae0"` Dec 07 11:57:18.532 INFO running `"docker" "rm" "-f" "f0d535f3ba6552fc3c68590aa80c9c1da20cb5b8cc21246669919616c5ff9ae0"` Dec 07 11:57:18.656 INFO [stdout] f0d535f3ba6552fc3c68590aa80c9c1da20cb5b8cc21246669919616c5ff9ae0