Dec 03 06:41:48.081 INFO testing graphene-0.1.5 against 1.30.1 for beta-1.31-5
Dec 03 06:41:48.081 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-6/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/beta-1.31-5/1.30.1:/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 +1.30.1 build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 03 06:41:48.668 INFO [stdout] 8ffc6d59534334f6e43356562b2f88a0777e6a2c35b753ba78cf84c76e7d4d08
Dec 03 06:41:48.670 INFO running `"docker" "start" "-a" "8ffc6d59534334f6e43356562b2f88a0777e6a2c35b753ba78cf84c76e7d4d08"`
Dec 03 06:41:51.062 INFO [stderr] usermod: no changes
Dec 03 06:41:51.147 INFO [stderr]    Compiling graphene v0.1.5 (/source)
Dec 03 06:41:52.823 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.73s
Dec 03 06:41:52.835 INFO [stderr] su: No module specific data is present
Dec 03 06:41:53.724 INFO running `"docker" "inspect" "8ffc6d59534334f6e43356562b2f88a0777e6a2c35b753ba78cf84c76e7d4d08"`
Dec 03 06:41:54.037 INFO running `"docker" "rm" "-f" "8ffc6d59534334f6e43356562b2f88a0777e6a2c35b753ba78cf84c76e7d4d08"`
Dec 03 06:41:54.289 INFO [stdout] 8ffc6d59534334f6e43356562b2f88a0777e6a2c35b753ba78cf84c76e7d4d08
Dec 03 06:41:54.297 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-6/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/beta-1.31-5/1.30.1:/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 +1.30.1 test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 03 06:41:54.644 INFO [stdout] e7295c97891b0df1dfcfc8eed3d5e9a86391af08999276108fbd26bcafd7719e
Dec 03 06:41:54.651 INFO running `"docker" "start" "-a" "e7295c97891b0df1dfcfc8eed3d5e9a86391af08999276108fbd26bcafd7719e"`
Dec 03 06:41:55.770 INFO [stderr] usermod: no changes
Dec 03 06:41:55.842 INFO [stderr]    Compiling graphene v0.1.5 (/source)
Dec 03 06:42:04.026 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 8.23s
Dec 03 06:42:04.031 INFO [stderr] su: No module specific data is present
Dec 03 06:42:04.583 INFO running `"docker" "inspect" "e7295c97891b0df1dfcfc8eed3d5e9a86391af08999276108fbd26bcafd7719e"`
Dec 03 06:42:04.781 INFO running `"docker" "rm" "-f" "e7295c97891b0df1dfcfc8eed3d5e9a86391af08999276108fbd26bcafd7719e"`
Dec 03 06:42:04.976 INFO [stdout] e7295c97891b0df1dfcfc8eed3d5e9a86391af08999276108fbd26bcafd7719e
Dec 03 06:42:04.985 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-6/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/beta-1.31-5/1.30.1:/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 +1.30.1 test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 03 06:42:05.340 INFO [stdout] ddc5f1a55ebbceacd7039b81f224c0b68fdda86395bb52424c6aaf12ee23f325
Dec 03 06:42:05.342 INFO running `"docker" "start" "-a" "ddc5f1a55ebbceacd7039b81f224c0b68fdda86395bb52424c6aaf12ee23f325"`
Dec 03 06:42:06.091 INFO [stderr] usermod: no changes
Dec 03 06:42:06.177 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.06s
Dec 03 06:42:06.191 INFO [stderr]      Running /target/debug/deps/graphene-9af2581d499ef61f
Dec 03 06:42:06.197 INFO [stdout] 
Dec 03 06:42:06.197 INFO [stdout] running 2 tests
Dec 03 06:42:06.197 INFO [stdout] test common::adjacency_list::impl_base_graph::empty_has_no_vertices ... ok
Dec 03 06:42:06.203 INFO [stdout] test common::adjacency_list::impl_base_graph::empty_has_no_edges ... ok
Dec 03 06:42:06.204 INFO [stderr]      Running /target/debug/deps/all_tests-ac466d97039db2e7
Dec 03 06:42:06.204 INFO [stdout] 
Dec 03 06:42:06.204 INFO [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 06:42:06.204 INFO [stdout] 
Dec 03 06:42:06.213 INFO [stdout] 
Dec 03 06:42:06.213 INFO [stdout] running 61 tests
Dec 03 06:42:06.250 INFO [stdout] test common::adjacency_list::_impl::new::PROP_graph_vertices_subsetof_expected ... ok
Dec 03 06:42:06.279 INFO [stdout] test common::adjacency_list::_impl::new::PROP_expected_vertices_subsetof_graph ... ok
Dec 03 06:42:06.279 INFO [stdout] test common::adjacency_list::_impl::new::PROP_correct_vertex_count ... ok
Dec 03 06:42:06.279 INFO [stdout] test common::adjacency_list::_impl::new::PROP_correct_edge_count ... ok
Dec 03 06:42:06.287 INFO [stdout] test common::adjacency_list::_impl::new::PROP_expected_edges_subsetof_graph ... ok
Dec 03 06:42:06.287 INFO [stdout] test common::adjacency_list::_impl::new::PROP_rejects_duplicates ... ok
Dec 03 06:42:06.291 INFO [stdout] test common::adjacency_list::impl_base_graph::add_edge::PROP_graph_subsetof_original_edges_and_added_edge ... ok
Dec 03 06:42:06.298 INFO [stdout] test common::adjacency_list::impl_base_graph::add_edge::PROP_increases_edge_count ... ok
Dec 03 06:42:06.299 INFO [stdout] test common::adjacency_list::_impl::new::PROP_graph_edges_subsetof_expected ... ok
Dec 03 06:42:06.300 INFO [stdout] test common::adjacency_list::impl_base_graph::add_edge::PROP_maintain_original_edges ... ok
Dec 03 06:42:06.303 INFO [stdout] test common::adjacency_list::impl_base_graph::add_vertex::PROP_increases_vertex_count ... ok
Dec 03 06:42:06.311 INFO [stdout] test common::adjacency_list::impl_base_graph::add_edge::PROP_reject_invalid_source ... ok
Dec 03 06:42:06.319 INFO [stdout] test common::adjacency_list::impl_base_graph::add_edge::PROP_maintains_vertices ... ok
Dec 03 06:42:06.324 INFO [stdout] test common::adjacency_list::impl_base_graph::add_vertex::PROP_maintains_edge_count ... ok
Dec 03 06:42:06.359 INFO [stdout] test common::adjacency_list::impl_base_graph::add_vertex::PROP_maintains_original_edges ... ok
Dec 03 06:42:06.359 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_edge::PROP_rejects_invalid_sink ... ok
Dec 03 06:42:06.359 INFO [stdout] test common::adjacency_list::impl_base_graph::add_vertex::PROP_contains_added_value ... ok
Dec 03 06:42:06.360 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_edge::PROP_after_graph_is_equals_to_desc_minus_edge ... ok
Dec 03 06:42:06.363 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_edge::PROP_maintains_vertices ... ok
Dec 03 06:42:06.367 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_edge::PROP_rejects_invalid_source ... ok
Dec 03 06:42:06.375 INFO [stdout] test common::adjacency_list::impl_base_graph::add_edge::PROP_reject_invalid_sink ... ok
Dec 03 06:42:06.376 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_edge::PROP_decreases_edge_count ... ok
Dec 03 06:42:06.399 INFO [stdout] test common::adjacency_list::impl_base_graph::add_vertex::PROP_rejects_existing_value ... ok
Dec 03 06:42:06.399 INFO [stdout] test common::adjacency_list::impl_base_graph::add_vertex::PROP_maintains_original_vertices ... ok
Dec 03 06:42:06.399 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_vertex::PROP_decreases_vertex_count ... ok
Dec 03 06:42:06.420 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_edge::PROP_rejects_non_edge ... ok
Dec 03 06:42:06.420 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_vertex::PROP_maintains_unremoved_vertices ... ok
Dec 03 06:42:06.420 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_vertex::PROP_removes_vertex_from_graph ... ok
Dec 03 06:42:06.420 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_vertex::PROP_after_graph_subsetof_independent_edges ... ok
Dec 03 06:42:06.430 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_vertex::PROP_rejects_absent_vertex ... ok
Dec 03 06:42:06.443 INFO [stdout] test core::base_graph::edge_count::PROP_equals_to_nr_of_edges ... ok
Dec 03 06:42:06.443 INFO [stdout] test core::base_graph::edges_sourced_or_sinked_in::PROP_all_edges_sinked_in_the_vertice ... ok
Dec 03 06:42:06.443 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_vertex::PROP_after_independent_edges_subsetof_graph ... ok
Dec 03 06:42:06.443 INFO [stdout] test core::base_graph::edges_sourced_or_sinked_in::PROP_all_edges_sourced_in_the_vertice ... ok
Dec 03 06:42:06.443 INFO [stdout] test core::base_graph::edges_between::PROP_all_edges_incident_on_the_vertices ... ok
Dec 03 06:42:06.443 INFO [stdout] test core::constraints::custom_graph::g11_test ... ok
Dec 03 06:42:06.449 INFO [stdout] test core::constraints::custom_graph::g12_test ... ok
Dec 03 06:42:06.449 INFO [stdout] test core::constraints::custom_graph::g13_test ... ok
Dec 03 06:42:06.449 INFO [stdout] test core::constraints::custom_graph::g14_test ... ok
Dec 03 06:42:06.459 INFO [stdout] test core::constraints::custom_graph::g10_test ... ok
Dec 03 06:42:06.459 INFO [stdout] test core::constraints::custom_graph::g15_test ... ok
Dec 03 06:42:06.459 INFO [stdout] test core::constraints::custom_graph::g17_test ... ok
Dec 03 06:42:06.459 INFO [stdout] test core::constraints::custom_graph::g16_test ... ok
Dec 03 06:42:06.459 INFO [stdout] test core::constraints::custom_graph::g19_test ... ok
Dec 03 06:42:06.459 INFO [stdout] test core::base_graph::edges_between::PROP_all_incident_edges_in_desc_found_in_graph ... ok
Dec 03 06:42:06.466 INFO [stdout] test core::base_graph::graph::PROP_edges_equal_to_description ... ok
Dec 03 06:42:06.466 INFO [stdout] test core::constraints::custom_graph::g18_test ... ok
Dec 03 06:42:06.466 INFO [stdout] test core::constraints::custom_graph::g1_test ... ok
Dec 03 06:42:06.466 INFO [stdout] test core::constraints::custom_graph::g20_test ... ok
Dec 03 06:42:06.466 INFO [stdout] test core::constraints::custom_graph::g21_test ... ok
Dec 03 06:42:06.466 INFO [stdout] test core::base_graph::vertex_count::PROP_equals_to_nr_of_vertices ... ok
Dec 03 06:42:06.466 INFO [stdout] test core::base_graph::graph::PROP_vertices_equal_to_description ... ok
Dec 03 06:42:06.466 INFO [stdout] test core::constraints::custom_graph::g8_test ... ok
Dec 03 06:42:06.466 INFO [stdout] test core::constraints::custom_graph::g5_test ... ok
Dec 03 06:42:06.466 INFO [stdout] test core::constraints::custom_graph::g22_test ... ok
Dec 03 06:42:06.473 INFO [stdout] test core::constraints::custom_graph::g6_test ... ok
Dec 03 06:42:06.473 INFO [stdout] test core::constraints::custom_graph::g7_test ... ok
Dec 03 06:42:06.473 INFO [stdout] test core::constraints::custom_graph::g2_test ... ok
Dec 03 06:42:06.473 INFO [stdout] test core::constraints::custom_graph::g3_test ... ok
Dec 03 06:42:06.473 INFO [stdout] test core::constraints::custom_graph::g4_test ... ok
Dec 03 06:42:06.479 INFO [stdout] test core::constraints::custom_graph::g9_test ... ok
Dec 03 06:42:06.479 INFO [stderr]    Doc-tests graphene
Dec 03 06:42:06.479 INFO [stdout] 
Dec 03 06:42:06.479 INFO [stdout] test result: ok. 61 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 06:42:06.479 INFO [stdout] 
Dec 03 06:42:07.641 INFO [stdout] 
Dec 03 06:42:07.641 INFO [stdout] running 4 tests
Dec 03 06:42:09.607 INFO [stdout] test src/core/constrained_graph.rs - core::constrained_graph::ConstrainedGraph (line 195) ... ok
Dec 03 06:42:09.755 INFO [stdout] test src/core/constraint/custom_graph.rs - custom_graph (line 5) ... ok
Dec 03 06:42:09.791 INFO [stdout] test src/lib.rs -  (line 11) ... ok
Dec 03 06:42:09.883 INFO [stdout] test src/lib.rs -  (line 29) ... ok
Dec 03 06:42:09.883 INFO [stdout] 
Dec 03 06:42:09.883 INFO [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 06:42:09.883 INFO [stdout] 
Dec 03 06:42:09.894 INFO [stderr] su: No module specific data is present
Dec 03 06:42:10.267 INFO running `"docker" "inspect" "ddc5f1a55ebbceacd7039b81f224c0b68fdda86395bb52424c6aaf12ee23f325"`
Dec 03 06:42:10.355 INFO running `"docker" "rm" "-f" "ddc5f1a55ebbceacd7039b81f224c0b68fdda86395bb52424c6aaf12ee23f325"`
Dec 03 06:42:10.416 INFO [stdout] ddc5f1a55ebbceacd7039b81f224c0b68fdda86395bb52424c6aaf12ee23f325
