Nov 18 10:18:48.697 INFO testing graphene-0.1.5 against master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c for pr-55982 Nov 18 10:18:48.697 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-5/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/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 +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-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"` Nov 18 10:18:49.104 INFO [stdout] b3a8cb3762015d41b80c40a647426bed6a442ad49be71ac833abd1b594f178c4 Nov 18 10:18:49.106 INFO running `"docker" "start" "-a" "b3a8cb3762015d41b80c40a647426bed6a442ad49be71ac833abd1b594f178c4"` Nov 18 10:18:50.618 INFO [stderr] usermod: no changes Nov 18 10:18:50.719 INFO [stderr] Compiling graphene v0.1.5 (/source) Nov 18 10:18:51.976 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.33s Nov 18 10:18:51.987 INFO [stderr] su: No module specific data is present Nov 18 10:18:52.873 INFO running `"docker" "inspect" "b3a8cb3762015d41b80c40a647426bed6a442ad49be71ac833abd1b594f178c4"` Nov 18 10:18:53.031 INFO running `"docker" "rm" "-f" "b3a8cb3762015d41b80c40a647426bed6a442ad49be71ac833abd1b594f178c4"` Nov 18 10:18:53.182 INFO [stdout] b3a8cb3762015d41b80c40a647426bed6a442ad49be71ac833abd1b594f178c4 Nov 18 10:18:53.188 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-5/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/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 +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-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"` Nov 18 10:18:53.556 INFO [stdout] fd40869d28f8c2a90cc75d38612d2bbf3d0647eb7eed4ce5ca0b74aa060c03e5 Nov 18 10:18:53.558 INFO running `"docker" "start" "-a" "fd40869d28f8c2a90cc75d38612d2bbf3d0647eb7eed4ce5ca0b74aa060c03e5"` Nov 18 10:18:54.893 INFO [stderr] usermod: no changes Nov 18 10:18:55.020 INFO [stderr] Compiling graphene v0.1.5 (/source) Nov 18 10:19:02.091 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 7.17s Nov 18 10:19:02.093 INFO [stderr] su: No module specific data is present Nov 18 10:19:02.512 INFO running `"docker" "inspect" "fd40869d28f8c2a90cc75d38612d2bbf3d0647eb7eed4ce5ca0b74aa060c03e5"` Nov 18 10:19:02.630 INFO running `"docker" "rm" "-f" "fd40869d28f8c2a90cc75d38612d2bbf3d0647eb7eed4ce5ca0b74aa060c03e5"` Nov 18 10:19:02.720 INFO [stdout] fd40869d28f8c2a90cc75d38612d2bbf3d0647eb7eed4ce5ca0b74aa060c03e5 Nov 18 10:19:02.722 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-5/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/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 +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-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"` Nov 18 10:19:02.904 INFO [stdout] ec58927155f2f65225c99497ecb11ff154e71de75a1ca37df7feee2d607f41b2 Nov 18 10:19:02.906 INFO running `"docker" "start" "-a" "ec58927155f2f65225c99497ecb11ff154e71de75a1ca37df7feee2d607f41b2"` Nov 18 10:19:03.876 INFO [stderr] usermod: no changes Nov 18 10:19:03.938 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.04s Nov 18 10:19:03.951 INFO [stderr] Running /target/debug/deps/graphene-9cca52e5db504be0 Nov 18 10:19:03.956 INFO [stdout] Nov 18 10:19:03.956 INFO [stdout] running 2 tests Nov 18 10:19:03.967 INFO [stdout] test common::adjacency_list::impl_base_graph::empty_has_no_edges ... ok Nov 18 10:19:03.967 INFO [stdout] test common::adjacency_list::impl_base_graph::empty_has_no_vertices ... ok Nov 18 10:19:03.967 INFO [stdout] Nov 18 10:19:03.967 INFO [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Nov 18 10:19:03.967 INFO [stdout] Nov 18 10:19:03.967 INFO [stderr] Running /target/debug/deps/all_tests-e8c35c87347d4e68 Nov 18 10:19:03.971 INFO [stdout] Nov 18 10:19:03.971 INFO [stdout] running 61 tests Nov 18 10:19:03.995 INFO [stdout] test common::adjacency_list::_impl::new::PROP_correct_edge_count ... ok Nov 18 10:19:03.995 INFO [stdout] test common::adjacency_list::_impl::new::PROP_correct_vertex_count ... ok Nov 18 10:19:04.004 INFO [stdout] test common::adjacency_list::_impl::new::PROP_expected_edges_subsetof_graph ... ok Nov 18 10:19:04.004 INFO [stdout] test common::adjacency_list::_impl::new::PROP_rejects_duplicates ... ok Nov 18 10:19:04.023 INFO [stdout] test common::adjacency_list::impl_base_graph::add_edge::PROP_increases_edge_count ... ok Nov 18 10:19:04.023 INFO [stdout] test common::adjacency_list::_impl::new::PROP_graph_edges_subsetof_expected ... ok Nov 18 10:19:04.024 INFO [stdout] test common::adjacency_list::_impl::new::PROP_expected_vertices_subsetof_graph ... ok Nov 18 10:19:04.024 INFO [stdout] test common::adjacency_list::impl_base_graph::add_edge::PROP_maintain_original_edges ... ok Nov 18 10:19:04.024 INFO [stdout] test common::adjacency_list::impl_base_graph::add_edge::PROP_maintains_vertices ... ok Nov 18 10:19:04.035 INFO [stdout] test common::adjacency_list::_impl::new::PROP_graph_vertices_subsetof_expected ... ok Nov 18 10:19:04.035 INFO [stdout] test common::adjacency_list::impl_base_graph::add_edge::PROP_reject_invalid_sink ... ok Nov 18 10:19:04.035 INFO [stdout] test common::adjacency_list::impl_base_graph::add_edge::PROP_graph_subsetof_original_edges_and_added_edge ... ok Nov 18 10:19:04.035 INFO [stdout] test common::adjacency_list::impl_base_graph::add_vertex::PROP_contains_added_value ... ok Nov 18 10:19:04.035 INFO [stdout] test common::adjacency_list::impl_base_graph::add_vertex::PROP_maintains_edge_count ... ok Nov 18 10:19:04.036 INFO [stdout] test common::adjacency_list::impl_base_graph::add_edge::PROP_reject_invalid_source ... ok Nov 18 10:19:04.058 INFO [stdout] test common::adjacency_list::impl_base_graph::add_vertex::PROP_increases_vertex_count ... ok Nov 18 10:19:04.059 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_edge::PROP_after_graph_is_equals_to_desc_minus_edge ... ok Nov 18 10:19:04.063 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_edge::PROP_rejects_non_edge ... ok Nov 18 10:19:04.063 INFO [stdout] test common::adjacency_list::impl_base_graph::add_vertex::PROP_maintains_original_edges ... ok Nov 18 10:19:04.068 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_edge::PROP_rejects_invalid_sink ... ok Nov 18 10:19:04.069 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_edge::PROP_rejects_invalid_source ... ok Nov 18 10:19:04.069 INFO [stdout] test common::adjacency_list::impl_base_graph::add_vertex::PROP_maintains_original_vertices ... ok Nov 18 10:19:04.069 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_edge::PROP_decreases_edge_count ... ok Nov 18 10:19:04.070 INFO [stdout] test common::adjacency_list::impl_base_graph::add_vertex::PROP_rejects_existing_value ... ok Nov 18 10:19:04.070 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_edge::PROP_maintains_vertices ... ok Nov 18 10:19:04.072 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_vertex::PROP_after_independent_edges_subsetof_graph ... ok Nov 18 10:19:04.072 INFO [stdout] test core::base_graph::edge_count::PROP_equals_to_nr_of_edges ... ok Nov 18 10:19:04.074 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_vertex::PROP_after_graph_subsetof_independent_edges ... ok Nov 18 10:19:04.079 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_vertex::PROP_removes_vertex_from_graph ... ok Nov 18 10:19:04.098 INFO [stdout] test core::base_graph::edges_between::PROP_all_incident_edges_in_desc_found_in_graph ... ok Nov 18 10:19:04.098 INFO [stdout] test core::base_graph::edges_sourced_or_sinked_in::PROP_all_edges_sinked_in_the_vertice ... ok Nov 18 10:19:04.104 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_vertex::PROP_maintains_unremoved_vertices ... ok Nov 18 10:19:04.115 INFO [stdout] test core::base_graph::edges_between::PROP_all_edges_incident_on_the_vertices ... ok Nov 18 10:19:04.115 INFO [stdout] test core::base_graph::edges_sourced_or_sinked_in::PROP_all_edges_sourced_in_the_vertice ... ok Nov 18 10:19:04.115 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_vertex::PROP_rejects_absent_vertex ... ok Nov 18 10:19:04.115 INFO [stdout] test core::constraints::custom_graph::g11_test ... ok Nov 18 10:19:04.115 INFO [stdout] test core::constraints::custom_graph::g12_test ... ok Nov 18 10:19:04.115 INFO [stdout] test core::constraints::custom_graph::g10_test ... ok Nov 18 10:19:04.115 INFO [stdout] test core::constraints::custom_graph::g13_test ... ok Nov 18 10:19:04.115 INFO [stdout] test core::constraints::custom_graph::g16_test ... ok Nov 18 10:19:04.115 INFO [stdout] test core::constraints::custom_graph::g15_test ... ok Nov 18 10:19:04.116 INFO [stdout] test core::constraints::custom_graph::g17_test ... ok Nov 18 10:19:04.116 INFO [stdout] test core::constraints::custom_graph::g19_test ... ok Nov 18 10:19:04.116 INFO [stdout] test core::constraints::custom_graph::g1_test ... ok Nov 18 10:19:04.116 INFO [stdout] test core::constraints::custom_graph::g20_test ... ok Nov 18 10:19:04.116 INFO [stdout] test core::constraints::custom_graph::g21_test ... ok Nov 18 10:19:04.116 INFO [stdout] test core::constraints::custom_graph::g22_test ... ok Nov 18 10:19:04.116 INFO [stdout] test core::constraints::custom_graph::g2_test ... ok Nov 18 10:19:04.116 INFO [stdout] test core::constraints::custom_graph::g3_test ... ok Nov 18 10:19:04.116 INFO [stdout] test core::constraints::custom_graph::g4_test ... ok Nov 18 10:19:04.116 INFO [stdout] test core::constraints::custom_graph::g5_test ... ok Nov 18 10:19:04.116 INFO [stdout] test core::constraints::custom_graph::g6_test ... ok Nov 18 10:19:04.116 INFO [stdout] test core::constraints::custom_graph::g7_test ... ok Nov 18 10:19:04.116 INFO [stdout] test core::constraints::custom_graph::g8_test ... ok Nov 18 10:19:04.116 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_vertex::PROP_decreases_vertex_count ... ok Nov 18 10:19:04.116 INFO [stdout] test core::base_graph::graph::PROP_vertices_equal_to_description ... ok Nov 18 10:19:04.119 INFO [stdout] test core::constraints::custom_graph::g14_test ... ok Nov 18 10:19:04.119 INFO [stdout] test core::constraints::custom_graph::g9_test ... ok Nov 18 10:19:04.119 INFO [stdout] test core::constraints::custom_graph::g18_test ... ok Nov 18 10:19:04.119 INFO [stdout] test core::base_graph::graph::PROP_edges_equal_to_description ... ok Nov 18 10:19:04.128 INFO [stdout] test core::base_graph::vertex_count::PROP_equals_to_nr_of_vertices ... ok Nov 18 10:19:04.128 INFO [stderr] Doc-tests graphene Nov 18 10:19:04.129 INFO [stdout] Nov 18 10:19:04.129 INFO [stdout] test result: ok. 61 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Nov 18 10:19:04.129 INFO [stdout] Nov 18 10:19:04.911 INFO [stdout] Nov 18 10:19:04.912 INFO [stdout] running 4 tests Nov 18 10:19:06.255 INFO [stdout] test src/core/constraint/custom_graph.rs - custom_graph (line 5) ... ok Nov 18 10:19:06.331 INFO [stdout] test src/lib.rs - (line 11) ... ok Nov 18 10:19:06.699 INFO [stdout] test src/core/constrained_graph.rs - core::constrained_graph::ConstrainedGraph (line 195) ... ok Nov 18 10:19:06.728 INFO [stdout] test src/lib.rs - (line 29) ... ok Nov 18 10:19:06.728 INFO [stdout] Nov 18 10:19:06.728 INFO [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Nov 18 10:19:06.728 INFO [stdout] Nov 18 10:19:06.743 INFO [stderr] su: No module specific data is present Nov 18 10:19:07.056 INFO running `"docker" "inspect" "ec58927155f2f65225c99497ecb11ff154e71de75a1ca37df7feee2d607f41b2"` Nov 18 10:19:07.135 INFO running `"docker" "rm" "-f" "ec58927155f2f65225c99497ecb11ff154e71de75a1ca37df7feee2d607f41b2"` Nov 18 10:19:07.257 INFO [stdout] ec58927155f2f65225c99497ecb11ff154e71de75a1ca37df7feee2d607f41b2