[INFO] fetching crate snark-tool 0.4.0...
[INFO] testing snark-tool-0.4.0 against beta-2025-10-28 for beta-1.92-2
[INFO] extracting crate snark-tool 0.4.0 into /workspace/builds/worker-0-tc2/source
[INFO] started tweaking crates.io crate snark-tool 0.4.0
[INFO] finished tweaking crates.io crate snark-tool 0.4.0
[INFO] tweaked toml for crates.io crate snark-tool 0.4.0 written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate snark-tool 0.4.0 on toolchain beta-2025-10-28
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-10-28" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate snark-tool 0.4.0 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" "+beta-2025-10-28" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/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" "+beta-2025-10-28" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] d542de6725e63fdc33035eb9ce7acf8af705dd29608f7c590cc16df37e9f9048
[INFO] running `Command { std: "docker" "start" "-a" "d542de6725e63fdc33035eb9ce7acf8af705dd29608f7c590cc16df37e9f9048", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d542de6725e63fdc33035eb9ce7acf8af705dd29608f7c590cc16df37e9f9048", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d542de6725e63fdc33035eb9ce7acf8af705dd29608f7c590cc16df37e9f9048", kill_on_drop: false }`
[INFO] [stdout] d542de6725e63fdc33035eb9ce7acf8af705dd29608f7c590cc16df37e9f9048
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+beta-2025-10-28" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 3114bf768236f94a6b32202eb11be9fda9b3d651abcb071fe6fb000843f0acbb
[INFO] running `Command { std: "docker" "start" "-a" "3114bf768236f94a6b32202eb11be9fda9b3d651abcb071fe6fb000843f0acbb", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.81
[INFO] [stderr]    Compiling proc-macro2 v1.0.24
[INFO] [stderr]    Compiling unicode-xid v0.2.1
[INFO] [stderr]    Compiling syn v1.0.56
[INFO] [stderr]    Compiling anyhow v1.0.37
[INFO] [stderr]    Compiling serde_derive v1.0.118
[INFO] [stderr]    Compiling memchr v2.3.4
[INFO] [stderr]    Compiling serde v1.0.118
[INFO] [stderr]    Compiling getrandom v0.1.16
[INFO] [stderr]    Compiling num-traits v0.2.14
[INFO] [stderr]    Compiling log v0.4.11
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling varisat-formula v0.2.2
[INFO] [stderr]    Compiling itoa v0.4.7
[INFO] [stderr]    Compiling bitflags v1.2.1
[INFO] [stderr]    Compiling thread_local v1.0.1
[INFO] [stderr]    Compiling aho-corasick v0.7.15
[INFO] [stderr]    Compiling indexmap v1.7.0
[INFO] [stderr]    Compiling regex-syntax v0.6.21
[INFO] [stderr]    Compiling unicode-segmentation v1.7.1
[INFO] [stderr]    Compiling unicode-width v0.1.8
[INFO] [stderr]    Compiling ryu v1.0.5
[INFO] [stderr]    Compiling quote v1.0.8
[INFO] [stderr]    Compiling cfg-if v0.1.10
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling heck v0.3.2
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling jobserver v0.1.22
[INFO] [stderr]    Compiling rand_core v0.5.1
[INFO] [stderr]    Compiling varisat-internal-proof v0.2.2
[INFO] [stderr]    Compiling cc v1.0.69
[INFO] [stderr]    Compiling varisat v0.2.2
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling smallvec v1.5.1
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling ansi_term v0.11.0
[INFO] [stderr]    Compiling vec_map v0.8.2
[INFO] [stderr]    Compiling serde_json v1.0.61
[INFO] [stderr]    Compiling hashbrown v0.11.2
[INFO] [stderr]    Compiling ppv-lite86 v0.2.10
[INFO] [stderr]    Compiling linked-hash-map v0.5.3
[INFO] [stderr]    Compiling yaml-rust v0.4.4
[INFO] [stderr]    Compiling rand_chacha v0.2.2
[INFO] [stderr]    Compiling regex v1.4.2
[INFO] [stderr]    Compiling cadical v0.1.13
[INFO] [stderr]    Compiling ordered-float v2.0.1
[INFO] [stderr]    Compiling clap v2.33.3
[INFO] [stderr]    Compiling structopt-derive v0.2.18
[INFO] [stderr]    Compiling fixedbitset v0.2.0
[INFO] [stderr]    Compiling synstructure v0.12.4
[INFO] [stderr]    Compiling leb128 v0.2.4
[INFO] [stderr]    Compiling vec_mut_scan v0.3.0
[INFO] [stderr]    Compiling dtoa v0.4.7
[INFO] [stderr]    Compiling petgraph v0.5.1
[INFO] [stderr]    Compiling rand v0.7.3
[INFO] [stderr]    Compiling num_cpus v1.13.0
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling thiserror-impl v1.0.23
[INFO] [stderr]    Compiling partial_ref_derive v0.3.2
[INFO] [stderr]    Compiling varisat-internal-macros v0.2.2
[INFO] [stderr]    Compiling partial_ref v0.3.2
[INFO] [stderr]    Compiling thiserror v1.0.23
[INFO] [stderr]    Compiling varisat-dimacs v0.2.2
[INFO] [stderr]    Compiling varisat-checker v0.2.2
[INFO] [stderr]    Compiling structopt v0.2.18
[INFO] [stderr]    Compiling serde_yaml v0.8.14
[INFO] [stderr]    Compiling snark-tool v0.4.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/service/colour/cvd/cvd.rs:64:31
[INFO] [stdout]    |
[INFO] [stdout] 64 | fn create_cvd_graph<G>(graph: &G) -> CVDGraph<G>
[INFO] [stdout]    |                               ^^     ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                               |
[INFO] [stdout]    |                               the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 64 | fn create_cvd_graph<G>(graph: &G) -> CVDGraph<'_, G>
[INFO] [stdout]    |                                               +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: implicit autoref creates a reference to the dereference of a raw pointer
[INFO] [stdout]    --> src/service/colour/cvd/cvd.rs:174:29
[INFO] [stdout]     |
[INFO] [stdout] 174 |             for neighbor in (*self_ref).vertices[vertex.index()].iter() {
[INFO] [stdout]     |                             ^^--------^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |                               |
[INFO] [stdout]     |                               this raw pointer has type `*const CVDGraph<'_, G>`
[INFO] [stdout]     |
[INFO] [stdout]     = note: creating a reference requires the pointer target to be valid and imposes aliasing requirements
[INFO] [stdout] note: autoref is being applied to this expression, resulting in: `&Vec<Vec<(usize, u8)>>`
[INFO] [stdout]    --> src/service/colour/cvd/cvd.rs:174:29
[INFO] [stdout]     |
[INFO] [stdout] 174 |             for neighbor in (*self_ref).vertices[vertex.index()].iter() {
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     = note: `#[warn(dangerous_implicit_autorefs)]` on by default
[INFO] [stdout] help: try using a raw pointer method instead; or if this reference is intentional, make it explicit
[INFO] [stdout]     |
[INFO] [stdout] 174 |             for neighbor in (&(*self_ref).vertices)[vertex.index()].iter() {
[INFO] [stdout]     |                             ++                    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/service/colour/sat/sat.rs:28:42
[INFO] [stdout]    |
[INFO] [stdout] 28 |     fn graph_to_cnf_sat<G: Graph>(graph: &G) -> Solver {
[INFO] [stdout]    |                                          ^^     ^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                                          |
[INFO] [stdout]    |                                          the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 28 |     fn graph_to_cnf_sat<G: Graph>(graph: &G) -> Solver<'_> {
[INFO] [stdout]    |                                                       ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/service/matching/perfect_matchings.rs:178:21
[INFO] [stdout]     |
[INFO] [stdout] 178 |     pub fn vertices(&self) -> MatchingGraphVerticesIter {
[INFO] [stdout]     |                     ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 178 |     pub fn vertices(&self) -> MatchingGraphVerticesIter<'_> {
[INFO] [stdout]     |                                                        ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `color` is never used
[INFO] [stdout]  --> src/graph/edge.rs:4:8
[INFO] [stdout]   |
[INFO] [stdout] 1 | pub trait Edge: Eq {
[INFO] [stdout]   |           ---- method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 4 |     fn color(&self) -> u8;
[INFO] [stdout]   |        ^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `remove_vertex` is never used
[INFO] [stdout]   --> src/graph/graph.rs:16:8
[INFO] [stdout]    |
[INFO] [stdout]  4 | pub trait Graph {
[INFO] [stdout]    |           ----- method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 16 |     fn remove_vertex(&mut self, vertex_index: usize);
[INFO] [stdout]    |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `build` is never used
[INFO] [stdout]    --> src/procedure/basic_procedures/chrom_props/chromatic_properties.rs:646:12
[INFO] [stdout]     |
[INFO] [stdout] 645 | impl ChromaticPropsProcedureBuilder {
[INFO] [stdout]     | ----------------------------------- associated function in this implementation
[INFO] [stdout] 646 |     pub fn build<G: UndirectedGraph + Clone + 'static>(
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `SAT_COLOURISER` is never used
[INFO] [stdout]  --> src/procedure/basic_procedures/chrom_props/config.rs:9:11
[INFO] [stdout]   |
[INFO] [stdout] 9 | pub const SAT_COLOURISER: &str = "sat";
[INFO] [stdout]   |           ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> src/procedure/basic_procedures/chrom_props/config.rs:48:12
[INFO] [stdout]    |
[INFO] [stdout] 45 | impl ChromaticPropsProcedureConfig {
[INFO] [stdout]    | ---------------------------------- associated function in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 48 |     pub fn new(
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `new` and `default` are never used
[INFO] [stdout]    --> src/procedure/basic_procedures/colour.rs:141:12
[INFO] [stdout]     |
[INFO] [stdout] 138 | impl ColourProcedureConfig {
[INFO] [stdout]     | -------------------------- associated functions in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 141 |     pub fn new(colouriser_type: ColouriserType) -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 145 |     pub fn default() -> Self {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `build` is never used
[INFO] [stdout]    --> src/procedure/basic_procedures/colour.rs:181:12
[INFO] [stdout]     |
[INFO] [stdout] 180 | impl ColourProcedureBuilder {
[INFO] [stdout]     | --------------------------- associated function in this implementation
[INFO] [stdout] 181 |     pub fn build<G: UndirectedGraph + 'static>(
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new` and `construction_type` are never used
[INFO] [stdout]    --> src/procedure/basic_procedures/constructions.rs:101:12
[INFO] [stdout]     |
[INFO] [stdout]  98 | impl ConstructionProcedureConfig {
[INFO] [stdout]     | -------------------------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 101 |     pub fn new(construction_type: ConstructionType) -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 113 |     pub fn construction_type(&self) -> &ConstructionType {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `build` is never used
[INFO] [stdout]    --> src/procedure/basic_procedures/constructions.rs:131:12
[INFO] [stdout]     |
[INFO] [stdout] 130 | impl ConstructionProcedureBuilder {
[INFO] [stdout]     | --------------------------------- associated function in this implementation
[INFO] [stdout] 131 |     pub fn build<G: UndirectedGraph + GraphConstructor + Clone + 'static>(
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]    --> src/procedure/basic_procedures/filter.rs:165:12
[INFO] [stdout]     |
[INFO] [stdout] 162 | impl FilterProcedureConfig {
[INFO] [stdout]     | -------------------------- associated function in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 165 |     pub fn new(filter_by: GraphProperties) -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `build` is never used
[INFO] [stdout]    --> src/procedure/basic_procedures/filter.rs:192:12
[INFO] [stdout]     |
[INFO] [stdout] 191 | impl FilterProcedureBuilder {
[INFO] [stdout]     | --------------------------- associated function in this implementation
[INFO] [stdout] 192 |     pub fn build<G: UndirectedGraph + 'static>(
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `new` and `default` are never used
[INFO] [stdout]    --> src/procedure/basic_procedures/read.rs:156:12
[INFO] [stdout]     |
[INFO] [stdout] 153 | impl ReadProcedureConfig {
[INFO] [stdout]     | ------------------------ associated functions in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 156 |     pub fn new(file_path: String, graph_format: String, number_of_graphs: Option<usize>) -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 164 |     pub fn default() -> Self {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `build` is never used
[INFO] [stdout]    --> src/procedure/basic_procedures/read.rs:225:12
[INFO] [stdout]     |
[INFO] [stdout] 224 | impl ReadProcedureBuilder {
[INFO] [stdout]     | ------------------------- associated function in this implementation
[INFO] [stdout] 225 |     pub fn build<G: UndirectedGraph + GraphConstructor + 'static>(
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `new` and `default` are never used
[INFO] [stdout]    --> src/procedure/basic_procedures/write.rs:148:12
[INFO] [stdout]     |
[INFO] [stdout] 145 | impl WriteProcedureConfig {
[INFO] [stdout]     | ------------------------- associated functions in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 148 |     pub fn new(file_path: String, graph_format: String, with_properties: bool) -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 156 |     pub fn default() -> Self {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `build` is never used
[INFO] [stdout]    --> src/procedure/basic_procedures/write.rs:213:12
[INFO] [stdout]     |
[INFO] [stdout] 212 | impl WriteProcedureBuilder {
[INFO] [stdout]     | -------------------------- associated function in this implementation
[INFO] [stdout] 213 |     pub fn build<G: UndirectedGraph + 'static>(
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `new` and `default` are never used
[INFO] [stdout]   --> src/procedure/basic_procedures/counter.rs:59:12
[INFO] [stdout]    |
[INFO] [stdout] 56 | impl CounterProcedureConfig {
[INFO] [stdout]    | --------------------------- associated functions in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 59 |     pub fn new(print: bool) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 63 |     pub fn default() -> Self {
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `build` is never used
[INFO] [stdout]   --> src/procedure/basic_procedures/counter.rs:91:12
[INFO] [stdout]    |
[INFO] [stdout] 90 | impl CounterProcedureBuilder {
[INFO] [stdout]    | ---------------------------- associated function in this implementation
[INFO] [stdout] 91 |     pub fn build<G: UndirectedGraph + 'static>(
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `from_procedures_and_registry` and `from_procedures` are never used
[INFO] [stdout]   --> src/procedure/procedure_chain.rs:29:12
[INFO] [stdout]    |
[INFO] [stdout] 12 | impl<G: UndirectedGraph + GraphConstructor + Clone + 'static> ProcedureChain<G> {
[INFO] [stdout]    | ------------------------------------------------------------------------------- associated functions in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 29 |     pub fn from_procedures_and_registry(
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 39 |     pub fn from_procedures(procedures: Vec<Box<dyn Procedure<G>>>) -> Result<Self> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `CvdSatCadicalColourizer` is never constructed
[INFO] [stdout]  --> src/service/colour/cvd/cvd_sat_cadical.rs:8:12
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub struct CvdSatCadicalColourizer {}
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `MatchingColouriser2` is never constructed
[INFO] [stdout]   --> src/service/colour/matchings/matching_col_2.rs:13:12
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub struct MatchingColouriser2 {}
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `is_col`, `are_disjoint`, and `has_edge` are never used
[INFO] [stdout]   --> src/service/colour/matchings/matching_col_2.rs:33:8
[INFO] [stdout]    |
[INFO] [stdout] 28 | impl MatchingColouriser2 {
[INFO] [stdout]    | ------------------------ associated functions in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 33 |     fn is_col(matchings: &Vec<Matching>) -> bool {
[INFO] [stdout]    |        ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 47 |     fn are_disjoint(first: &Matching, second: &Matching) -> bool {
[INFO] [stdout]    |        ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 56 |     fn has_edge(matching: &Matching, edge: &UndirectedEdge) -> bool {
[INFO] [stdout]    |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `BFSColouriserBasic` is never constructed
[INFO] [stdout]   --> src/service/colour/recursive/bfs_basic.rs:11:12
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub struct BFSColouriserBasic {}
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `BFSColouriserGraph` is never constructed
[INFO] [stdout]   --> src/service/colour/recursive/bfs_basic.rs:13:8
[INFO] [stdout]    |
[INFO] [stdout] 13 | struct BFSColouriserGraph<'a, G: Graph> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `color`, `set_edge_color`, `is_vertex_without_conflict`, and `are_vertices_without_conflict` are never used
[INFO] [stdout]    --> src/service/colour/recursive/bfs_basic.rs:30:12
[INFO] [stdout]     |
[INFO] [stdout]  29 | impl<'a, G: Graph> BFSColouriserGraph<'a, G> {
[INFO] [stdout]     | -------------------------------------------- associated items in this implementation
[INFO] [stdout]  30 |     pub fn new(graph: &'a G) -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout]  76 |     fn color(&mut self) -> bool {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 192 |     fn set_edge_color(&mut self, from: usize, to: usize, color: usize) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 207 |     fn is_vertex_without_conflict(&self, neighbors: &[(usize, usize); 3]) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 211 |     fn are_vertices_without_conflict(&self, first: usize, second: usize) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_without_conflict` is never used
[INFO] [stdout]    --> src/service/colour/recursive/bfs_basic.rs:217:4
[INFO] [stdout]     |
[INFO] [stdout] 217 | fn is_without_conflict(color1: usize, color2: usize, color3: usize) -> bool {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `BFSColourizerImproved` is never constructed
[INFO] [stdout]   --> src/service/colour/recursive/bfs_improved.rs:13:12
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub struct BFSColourizerImproved {}
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `BFSColourizerImprovedGraph` is never constructed
[INFO] [stdout]   --> src/service/colour/recursive/bfs_improved.rs:15:8
[INFO] [stdout]    |
[INFO] [stdout] 15 | struct BFSColourizerImprovedGraph {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `color`, `set_edge_color`, `is_vertex_without_conflict`, `set_color_and_check_validity`, `are_vertices_without_conflict`, and `set_edge_check_and_color_rest` are never used
[INFO] [stdout]    --> src/service/colour/recursive/bfs_improved.rs:108:8
[INFO] [stdout]     |
[INFO] [stdout] 107 | impl BFSColourizerImprovedGraph {
[INFO] [stdout]     | ------------------------------- methods in this implementation
[INFO] [stdout] 108 |     fn color(&mut self, vertex: usize) -> bool {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 363 |     fn set_edge_color(&mut self, from: usize, to: usize, color: usize) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 379 |     fn is_vertex_without_conflict(&self, neighbors: &[(usize, usize); 3]) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 384 |     fn set_color_and_check_validity(&mut self, from: usize, to: usize, color: usize) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 390 |     fn are_vertices_without_conflict(&self, first: usize, second: usize) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 395 |     fn set_edge_check_and_color_rest(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_without_conflict` is never used
[INFO] [stdout]    --> src/service/colour/recursive/bfs_improved.rs:406:4
[INFO] [stdout]     |
[INFO] [stdout] 406 | fn is_without_conflict(color1: usize, color2: usize, color3: usize) -> bool {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `DFSColourizerOriginal` is never constructed
[INFO] [stdout]  --> src/service/colour/recursive/dfs_orig.rs:9:12
[INFO] [stdout]   |
[INFO] [stdout] 9 | pub struct DFSColourizerOriginal {}
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `DFSColourizerOriginalGraph` is never constructed
[INFO] [stdout]   --> src/service/colour/recursive/dfs_orig.rs:11:8
[INFO] [stdout]    |
[INFO] [stdout] 11 | struct DFSColourizerOriginalGraph {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple methods are never used
[INFO] [stdout]    --> src/service/colour/recursive/dfs_orig.rs:97:8
[INFO] [stdout]     |
[INFO] [stdout]  96 | impl DFSColourizerOriginalGraph {
[INFO] [stdout]     | ------------------------------- methods in this implementation
[INFO] [stdout]  97 |     fn color(&mut self, vertex: usize) -> bool {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 285 |     fn set_edge_color(&mut self, from: usize, to: usize, color: usize) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 291 |     fn get_edge_color(&self, from: usize, to: usize) -> usize {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 |     fn is_vertex_without_conflict(&self, vertex: usize, neighbors: &[usize; 3]) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 307 |     fn set_color_and_check_validity(&mut self, from: usize, to: usize, color: usize) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 313 |     fn are_vertices_without_conflict(&self, first: usize, second: usize) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 318 |     fn set_edge_check_and_color_rest(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_without_conflict` is never used
[INFO] [stdout]    --> src/service/colour/recursive/dfs_orig.rs:329:4
[INFO] [stdout]     |
[INFO] [stdout] 329 | fn is_without_conflict(color1: usize, color2: usize, color3: usize) -> bool {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `SATColourizerCadical` is never constructed
[INFO] [stdout]  --> src/service/colour/sat/sat_cadical.rs:9:12
[INFO] [stdout]   |
[INFO] [stdout] 9 | pub struct SATColourizerCadical {}
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `graph_to_cnf_sat` is never used
[INFO] [stdout]   --> src/service/colour/sat/sat_cadical.rs:26:8
[INFO] [stdout]    |
[INFO] [stdout] 25 | impl SATColourizerCadical {
[INFO] [stdout]    | ------------------------- associated function in this implementation
[INFO] [stdout] 26 |     fn graph_to_cnf_sat<G: Graph>(graph: &G) -> cadical::Solver {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `EdgeLits` is never constructed
[INFO] [stdout]   --> src/service/colour/sat/sat_cadical.rs:83:8
[INFO] [stdout]    |
[INFO] [stdout] 83 | struct EdgeLits {
[INFO] [stdout]    |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `next_lits`, and `lits_of_edge` are never used
[INFO] [stdout]    --> src/service/colour/sat/sat_cadical.rs:90:12
[INFO] [stdout]     |
[INFO] [stdout]  89 | impl EdgeLits {
[INFO] [stdout]     | ------------- associated items in this implementation
[INFO] [stdout]  90 |     pub fn new() -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout]  99 |     pub fn next_lits(&mut self, from: usize, to: usize) -> (i32, i32, i32) {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 113 |     pub fn lits_of_edge(&self, from: usize, to: usize) -> Option<&(i32, i32, i32)> {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_isomorphic` is never used
[INFO] [stdout]  --> src/service/constructions/isomorphism.rs:5:8
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub fn is_isomorphic<G: Graph>(first: &G, second: &G) -> bool {
[INFO] [stdout]   |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `to_petgraph` is never used
[INFO] [stdout]   --> src/service/constructions/isomorphism.rs:11:4
[INFO] [stdout]    |
[INFO] [stdout] 11 | fn to_petgraph<G: Graph>(graph: &G) -> UnGraph<usize, usize> {
[INFO] [stdout]    |    ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `default`, `set_index`, `set_visited`, and `set_discovered_from` are never used
[INFO] [stdout]   --> src/service/graph_traversal/bfs.rs:29:12
[INFO] [stdout]    |
[INFO] [stdout] 14 | impl BfsVertex {
[INFO] [stdout]    | -------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 29 |     pub fn default() -> Self {
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 53 |     pub fn set_index(&mut self, index: usize) {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 56 |     pub fn set_visited(&mut self, visited: bool) {
[INFO] [stdout]    |            ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 59 |     pub fn set_discovered_from(&mut self, discovered_from: usize) {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `back` and `discovery_order` are never used
[INFO] [stdout]    --> src/service/graph_traversal/bfs.rs:132:12
[INFO] [stdout]     |
[INFO] [stdout]  71 | impl<'a, G: Graph> BfsOfGraph<'a, G> {
[INFO] [stdout]     | ------------------------------------ methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 132 |     pub fn back(&mut self) {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 149 |     pub fn discovery_order(&self) -> &Vec<usize> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `DfsVertex` is never constructed
[INFO] [stdout]  --> src/service/graph_traversal/dfs.rs:5:12
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub struct DfsVertex {
[INFO] [stdout]   |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `index`, `visited`, `discovered_from`, and `distance_from_root` are never used
[INFO] [stdout]   --> src/service/graph_traversal/dfs.rs:13:12
[INFO] [stdout]    |
[INFO] [stdout] 12 | impl DfsVertex {
[INFO] [stdout]    | -------------- associated items in this implementation
[INFO] [stdout] 13 |     pub fn new(
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 28 |     pub fn index(&self) -> usize {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 31 |     pub fn visited(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 34 |     pub fn discovered_from(&self) -> usize {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 37 |     pub fn distance_from_root(&self) -> usize {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `DfsOfGraph` is never constructed
[INFO] [stdout]   --> src/service/graph_traversal/dfs.rs:43:12
[INFO] [stdout]    |
[INFO] [stdout] 43 | pub struct DfsOfGraph<'a, G: Graph + Clone> {
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `new_from_raw_ptr`, `visit_from`, `next`, and `visited_vertex` are never used
[INFO] [stdout]    --> src/service/graph_traversal/dfs.rs:50:12
[INFO] [stdout]     |
[INFO] [stdout]  49 | impl<'a, G: Graph + Clone> DfsOfGraph<'a, G> {
[INFO] [stdout]     | -------------------------------------------- associated items in this implementation
[INFO] [stdout]  50 |     pub fn new(graph: &'a G, start: usize) -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout]  65 |     pub unsafe fn new_from_raw_ptr(graph: *const G, start: usize) -> Self {
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  73 |     fn visit_from(&mut self, vertex: usize, visited_from: usize) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  82 |     pub fn next(&mut self) -> Option<DfsVertex> {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 106 |     pub fn visited_vertex(&self, index: usize) -> Option<&DfsVertex> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `message` is never read
[INFO] [stdout]   --> src/service/io/error.rs:34:9
[INFO] [stdout]    |
[INFO] [stdout] 33 | pub struct WriteError {
[INFO] [stdout]    |            ---------- field in this struct
[INFO] [stdout] 34 |     pub message: String,
[INFO] [stdout]    |         ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `WriteError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `GraphWriter` is never used
[INFO] [stdout]  --> src/service/io/writer.rs:5:11
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub trait GraphWriter<G>
[INFO] [stdout]   |           ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/service/colour/cvd/cvd.rs:64:31
[INFO] [stdout]    |
[INFO] [stdout] 64 | fn create_cvd_graph<G>(graph: &G) -> CVDGraph<G>
[INFO] [stdout]    |                               ^^     ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                               |
[INFO] [stdout]    |                               the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 64 | fn create_cvd_graph<G>(graph: &G) -> CVDGraph<'_, G>
[INFO] [stdout]    |                                               +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: implicit autoref creates a reference to the dereference of a raw pointer
[INFO] [stdout]    --> src/service/colour/cvd/cvd.rs:174:29
[INFO] [stdout]     |
[INFO] [stdout] 174 |             for neighbor in (*self_ref).vertices[vertex.index()].iter() {
[INFO] [stdout]     |                             ^^--------^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |                               |
[INFO] [stdout]     |                               this raw pointer has type `*const CVDGraph<'_, G>`
[INFO] [stdout]     |
[INFO] [stdout]     = note: creating a reference requires the pointer target to be valid and imposes aliasing requirements
[INFO] [stdout] note: autoref is being applied to this expression, resulting in: `&Vec<Vec<(usize, u8)>>`
[INFO] [stdout]    --> src/service/colour/cvd/cvd.rs:174:29
[INFO] [stdout]     |
[INFO] [stdout] 174 |             for neighbor in (*self_ref).vertices[vertex.index()].iter() {
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     = note: `#[warn(dangerous_implicit_autorefs)]` on by default
[INFO] [stdout] help: try using a raw pointer method instead; or if this reference is intentional, make it explicit
[INFO] [stdout]     |
[INFO] [stdout] 174 |             for neighbor in (&(*self_ref).vertices)[vertex.index()].iter() {
[INFO] [stdout]     |                             ++                    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/service/colour/sat/sat.rs:28:42
[INFO] [stdout]    |
[INFO] [stdout] 28 |     fn graph_to_cnf_sat<G: Graph>(graph: &G) -> Solver {
[INFO] [stdout]    |                                          ^^     ^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                                          |
[INFO] [stdout]    |                                          the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 28 |     fn graph_to_cnf_sat<G: Graph>(graph: &G) -> Solver<'_> {
[INFO] [stdout]    |                                                       ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/service/matching/perfect_matchings.rs:178:21
[INFO] [stdout]     |
[INFO] [stdout] 178 |     pub fn vertices(&self) -> MatchingGraphVerticesIter {
[INFO] [stdout]     |                     ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 178 |     pub fn vertices(&self) -> MatchingGraphVerticesIter<'_> {
[INFO] [stdout]     |                                                        ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [optimized + debuginfo] target(s) in 3m 26s
[INFO] running `Command { std: "docker" "inspect" "3114bf768236f94a6b32202eb11be9fda9b3d651abcb071fe6fb000843f0acbb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3114bf768236f94a6b32202eb11be9fda9b3d651abcb071fe6fb000843f0acbb", kill_on_drop: false }`
[INFO] [stdout] 3114bf768236f94a6b32202eb11be9fda9b3d651abcb071fe6fb000843f0acbb
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+beta-2025-10-28" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a21c84c6c58bfccebcde8a15b6ca84e3ac1e3ddd0422531331fcf393afcf7560
[INFO] running `Command { std: "docker" "start" "-a" "a21c84c6c58bfccebcde8a15b6ca84e3ac1e3ddd0422531331fcf393afcf7560", kill_on_drop: false }`
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/service/colour/cvd/cvd.rs:64:31
[INFO] [stdout]    |
[INFO] [stdout] 64 | fn create_cvd_graph<G>(graph: &G) -> CVDGraph<G>
[INFO] [stdout]    |                               ^^     ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                               |
[INFO] [stdout]    |                               the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 64 | fn create_cvd_graph<G>(graph: &G) -> CVDGraph<'_, G>
[INFO] [stdout]    |                                               +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: implicit autoref creates a reference to the dereference of a raw pointer
[INFO] [stdout]    --> src/service/colour/cvd/cvd.rs:174:29
[INFO] [stdout]     |
[INFO] [stdout] 174 |             for neighbor in (*self_ref).vertices[vertex.index()].iter() {
[INFO] [stdout]     |                             ^^--------^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |                               |
[INFO] [stdout]     |                               this raw pointer has type `*const CVDGraph<'_, G>`
[INFO] [stdout]     |
[INFO] [stdout]     = note: creating a reference requires the pointer target to be valid and imposes aliasing requirements
[INFO] [stdout] note: autoref is being applied to this expression, resulting in: `&Vec<Vec<(usize, u8)>>`
[INFO] [stdout]    --> src/service/colour/cvd/cvd.rs:174:29
[INFO] [stdout]     |
[INFO] [stdout] 174 |             for neighbor in (*self_ref).vertices[vertex.index()].iter() {
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     = note: `#[warn(dangerous_implicit_autorefs)]` on by default
[INFO] [stdout] help: try using a raw pointer method instead; or if this reference is intentional, make it explicit
[INFO] [stdout]     |
[INFO] [stdout] 174 |             for neighbor in (&(*self_ref).vertices)[vertex.index()].iter() {
[INFO] [stdout]     |                             ++                    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/service/colour/sat/sat.rs:28:42
[INFO] [stdout]    |
[INFO] [stdout] 28 |     fn graph_to_cnf_sat<G: Graph>(graph: &G) -> Solver {
[INFO] [stdout]    |                                          ^^     ^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                                          |
[INFO] [stdout]    |                                          the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 28 |     fn graph_to_cnf_sat<G: Graph>(graph: &G) -> Solver<'_> {
[INFO] [stdout]    |                                                       ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/service/matching/perfect_matchings.rs:178:21
[INFO] [stdout]     |
[INFO] [stdout] 178 |     pub fn vertices(&self) -> MatchingGraphVerticesIter {
[INFO] [stdout]     |                     ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 178 |     pub fn vertices(&self) -> MatchingGraphVerticesIter<'_> {
[INFO] [stdout]     |                                                        ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling snark-tool v0.4.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/service/colour/cvd/cvd.rs:64:31
[INFO] [stdout]    |
[INFO] [stdout] 64 | fn create_cvd_graph<G>(graph: &G) -> CVDGraph<G>
[INFO] [stdout]    |                               ^^     ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                               |
[INFO] [stdout]    |                               the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 64 | fn create_cvd_graph<G>(graph: &G) -> CVDGraph<'_, G>
[INFO] [stdout]    |                                               +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: implicit autoref creates a reference to the dereference of a raw pointer
[INFO] [stdout]    --> src/service/colour/cvd/cvd.rs:174:29
[INFO] [stdout]     |
[INFO] [stdout] 174 |             for neighbor in (*self_ref).vertices[vertex.index()].iter() {
[INFO] [stdout]     |                             ^^--------^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |                               |
[INFO] [stdout]     |                               this raw pointer has type `*const CVDGraph<'_, G>`
[INFO] [stdout]     |
[INFO] [stdout]     = note: creating a reference requires the pointer target to be valid and imposes aliasing requirements
[INFO] [stdout] note: autoref is being applied to this expression, resulting in: `&Vec<Vec<(usize, u8)>>`
[INFO] [stdout]    --> src/service/colour/cvd/cvd.rs:174:29
[INFO] [stdout]     |
[INFO] [stdout] 174 |             for neighbor in (*self_ref).vertices[vertex.index()].iter() {
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     = note: `#[warn(dangerous_implicit_autorefs)]` on by default
[INFO] [stdout] help: try using a raw pointer method instead; or if this reference is intentional, make it explicit
[INFO] [stdout]     |
[INFO] [stdout] 174 |             for neighbor in (&(*self_ref).vertices)[vertex.index()].iter() {
[INFO] [stdout]     |                             ++                    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/service/colour/sat/sat.rs:28:42
[INFO] [stdout]    |
[INFO] [stdout] 28 |     fn graph_to_cnf_sat<G: Graph>(graph: &G) -> Solver {
[INFO] [stdout]    |                                          ^^     ^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                                          |
[INFO] [stdout]    |                                          the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 28 |     fn graph_to_cnf_sat<G: Graph>(graph: &G) -> Solver<'_> {
[INFO] [stdout]    |                                                       ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/service/matching/perfect_matchings.rs:178:21
[INFO] [stdout]     |
[INFO] [stdout] 178 |     pub fn vertices(&self) -> MatchingGraphVerticesIter {
[INFO] [stdout]     |                     ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 178 |     pub fn vertices(&self) -> MatchingGraphVerticesIter<'_> {
[INFO] [stdout]     |                                                        ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `color` is never used
[INFO] [stdout]  --> src/graph/edge.rs:4:8
[INFO] [stdout]   |
[INFO] [stdout] 1 | pub trait Edge: Eq {
[INFO] [stdout]   |           ---- method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 4 |     fn color(&self) -> u8;
[INFO] [stdout]   |        ^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `remove_vertex` is never used
[INFO] [stdout]   --> src/graph/graph.rs:16:8
[INFO] [stdout]    |
[INFO] [stdout]  4 | pub trait Graph {
[INFO] [stdout]    |           ----- method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 16 |     fn remove_vertex(&mut self, vertex_index: usize);
[INFO] [stdout]    |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `SAT_COLOURISER` is never used
[INFO] [stdout]  --> src/procedure/basic_procedures/chrom_props/config.rs:9:11
[INFO] [stdout]   |
[INFO] [stdout] 9 | pub const SAT_COLOURISER: &str = "sat";
[INFO] [stdout]   |           ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]    --> src/procedure/basic_procedures/colour.rs:141:12
[INFO] [stdout]     |
[INFO] [stdout] 138 | impl ColourProcedureConfig {
[INFO] [stdout]     | -------------------------- associated function in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 141 |     pub fn new(colouriser_type: ColouriserType) -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `construction_type` is never used
[INFO] [stdout]    --> src/procedure/basic_procedures/constructions.rs:113:12
[INFO] [stdout]     |
[INFO] [stdout]  98 | impl ConstructionProcedureConfig {
[INFO] [stdout]     | -------------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 113 |     pub fn construction_type(&self) -> &ConstructionType {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `default` is never used
[INFO] [stdout]    --> src/procedure/basic_procedures/read.rs:164:12
[INFO] [stdout]     |
[INFO] [stdout] 153 | impl ReadProcedureConfig {
[INFO] [stdout]     | ------------------------ associated function in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 164 |     pub fn default() -> Self {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]    --> src/procedure/basic_procedures/write.rs:148:12
[INFO] [stdout]     |
[INFO] [stdout] 145 | impl WriteProcedureConfig {
[INFO] [stdout]     | ------------------------- associated function in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 148 |     pub fn new(file_path: String, graph_format: String, with_properties: bool) -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `default` is never used
[INFO] [stdout]   --> src/procedure/basic_procedures/counter.rs:63:12
[INFO] [stdout]    |
[INFO] [stdout] 56 | impl CounterProcedureConfig {
[INFO] [stdout]    | --------------------------- associated function in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 63 |     pub fn default() -> Self {
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `CvdSatCadicalColourizer` is never constructed
[INFO] [stdout]  --> src/service/colour/cvd/cvd_sat_cadical.rs:8:12
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub struct CvdSatCadicalColourizer {}
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `DFSColourizerOriginal` is never constructed
[INFO] [stdout]  --> src/service/colour/recursive/dfs_orig.rs:9:12
[INFO] [stdout]   |
[INFO] [stdout] 9 | pub struct DFSColourizerOriginal {}
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `DFSColourizerOriginalGraph` is never constructed
[INFO] [stdout]   --> src/service/colour/recursive/dfs_orig.rs:11:8
[INFO] [stdout]    |
[INFO] [stdout] 11 | struct DFSColourizerOriginalGraph {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple methods are never used
[INFO] [stdout]    --> src/service/colour/recursive/dfs_orig.rs:97:8
[INFO] [stdout]     |
[INFO] [stdout]  96 | impl DFSColourizerOriginalGraph {
[INFO] [stdout]     | ------------------------------- methods in this implementation
[INFO] [stdout]  97 |     fn color(&mut self, vertex: usize) -> bool {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 285 |     fn set_edge_color(&mut self, from: usize, to: usize, color: usize) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 291 |     fn get_edge_color(&self, from: usize, to: usize) -> usize {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 |     fn is_vertex_without_conflict(&self, vertex: usize, neighbors: &[usize; 3]) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 307 |     fn set_color_and_check_validity(&mut self, from: usize, to: usize, color: usize) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 313 |     fn are_vertices_without_conflict(&self, first: usize, second: usize) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 318 |     fn set_edge_check_and_color_rest(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_without_conflict` is never used
[INFO] [stdout]    --> src/service/colour/recursive/dfs_orig.rs:329:4
[INFO] [stdout]     |
[INFO] [stdout] 329 | fn is_without_conflict(color1: usize, color2: usize, color3: usize) -> bool {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `default`, `set_index`, `set_visited`, and `set_discovered_from` are never used
[INFO] [stdout]   --> src/service/graph_traversal/bfs.rs:29:12
[INFO] [stdout]    |
[INFO] [stdout] 14 | impl BfsVertex {
[INFO] [stdout]    | -------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 29 |     pub fn default() -> Self {
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 53 |     pub fn set_index(&mut self, index: usize) {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 56 |     pub fn set_visited(&mut self, visited: bool) {
[INFO] [stdout]    |            ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 59 |     pub fn set_discovered_from(&mut self, discovered_from: usize) {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `visited`, `discovered_from`, and `distance_from_root` are never used
[INFO] [stdout]   --> src/service/graph_traversal/dfs.rs:31:12
[INFO] [stdout]    |
[INFO] [stdout] 12 | impl DfsVertex {
[INFO] [stdout]    | -------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 31 |     pub fn visited(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 34 |     pub fn discovered_from(&self) -> usize {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 37 |     pub fn distance_from_root(&self) -> usize {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new_from_raw_ptr` and `visited_vertex` are never used
[INFO] [stdout]    --> src/service/graph_traversal/dfs.rs:65:19
[INFO] [stdout]     |
[INFO] [stdout]  49 | impl<'a, G: Graph + Clone> DfsOfGraph<'a, G> {
[INFO] [stdout]     | -------------------------------------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout]  65 |     pub unsafe fn new_from_raw_ptr(graph: *const G, start: usize) -> Self {
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 106 |     pub fn visited_vertex(&self, index: usize) -> Option<&DfsVertex> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `message` is never read
[INFO] [stdout]   --> src/service/io/error.rs:34:9
[INFO] [stdout]    |
[INFO] [stdout] 33 | pub struct WriteError {
[INFO] [stdout]    |            ---------- field in this struct
[INFO] [stdout] 34 |     pub message: String,
[INFO] [stdout]    |         ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `WriteError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `GraphWriter` is never used
[INFO] [stdout]  --> src/service/io/writer.rs:5:11
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub trait GraphWriter<G>
[INFO] [stdout]   |           ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/service/colour/cvd/cvd.rs:64:31
[INFO] [stdout]    |
[INFO] [stdout] 64 | fn create_cvd_graph<G>(graph: &G) -> CVDGraph<G>
[INFO] [stdout]    |                               ^^     ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                               |
[INFO] [stdout]    |                               the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 64 | fn create_cvd_graph<G>(graph: &G) -> CVDGraph<'_, G>
[INFO] [stdout]    |                                               +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: implicit autoref creates a reference to the dereference of a raw pointer
[INFO] [stdout]    --> src/service/colour/cvd/cvd.rs:174:29
[INFO] [stdout]     |
[INFO] [stdout] 174 |             for neighbor in (*self_ref).vertices[vertex.index()].iter() {
[INFO] [stdout]     |                             ^^--------^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |                               |
[INFO] [stdout]     |                               this raw pointer has type `*const CVDGraph<'_, G>`
[INFO] [stdout]     |
[INFO] [stdout]     = note: creating a reference requires the pointer target to be valid and imposes aliasing requirements
[INFO] [stdout] note: autoref is being applied to this expression, resulting in: `&Vec<Vec<(usize, u8)>>`
[INFO] [stdout]    --> src/service/colour/cvd/cvd.rs:174:29
[INFO] [stdout]     |
[INFO] [stdout] 174 |             for neighbor in (*self_ref).vertices[vertex.index()].iter() {
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     = note: `#[warn(dangerous_implicit_autorefs)]` on by default
[INFO] [stdout] help: try using a raw pointer method instead; or if this reference is intentional, make it explicit
[INFO] [stdout]     |
[INFO] [stdout] 174 |             for neighbor in (&(*self_ref).vertices)[vertex.index()].iter() {
[INFO] [stdout]     |                             ++                    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/service/colour/sat/sat.rs:28:42
[INFO] [stdout]    |
[INFO] [stdout] 28 |     fn graph_to_cnf_sat<G: Graph>(graph: &G) -> Solver {
[INFO] [stdout]    |                                          ^^     ^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                                          |
[INFO] [stdout]    |                                          the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 28 |     fn graph_to_cnf_sat<G: Graph>(graph: &G) -> Solver<'_> {
[INFO] [stdout]    |                                                       ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/service/matching/perfect_matchings.rs:178:21
[INFO] [stdout]     |
[INFO] [stdout] 178 |     pub fn vertices(&self) -> MatchingGraphVerticesIter {
[INFO] [stdout]     |                     ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 178 |     pub fn vertices(&self) -> MatchingGraphVerticesIter<'_> {
[INFO] [stdout]     |                                                        ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [optimized + debuginfo] target(s) in 1m 10s
[INFO] running `Command { std: "docker" "inspect" "a21c84c6c58bfccebcde8a15b6ca84e3ac1e3ddd0422531331fcf393afcf7560", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a21c84c6c58bfccebcde8a15b6ca84e3ac1e3ddd0422531331fcf393afcf7560", kill_on_drop: false }`
[INFO] [stdout] a21c84c6c58bfccebcde8a15b6ca84e3ac1e3ddd0422531331fcf393afcf7560
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+beta-2025-10-28" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 8d41650e52f7ec086c399480e62241f5e38cc222ec1b98d714c6f355d633ffab
[INFO] running `Command { std: "docker" "start" "-a" "8d41650e52f7ec086c399480e62241f5e38cc222ec1b98d714c6f355d633ffab", kill_on_drop: false }`
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]   --> src/service/colour/cvd/cvd.rs:64:31
[INFO] [stderr]    |
[INFO] [stderr] 64 | fn create_cvd_graph<G>(graph: &G) -> CVDGraph<G>
[INFO] [stderr]    |                               ^^     ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]    |                               |
[INFO] [stderr]    |                               the lifetime is elided here
[INFO] [stderr]    |
[INFO] [stderr]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]    |
[INFO] [stderr] 64 | fn create_cvd_graph<G>(graph: &G) -> CVDGraph<'_, G>
[INFO] [stderr]    |                                               +++
[INFO] [stderr] 
[INFO] [stderr] warning: implicit autoref creates a reference to the dereference of a raw pointer
[INFO] [stderr]    --> src/service/colour/cvd/cvd.rs:174:29
[INFO] [stderr]     |
[INFO] [stderr] 174 |             for neighbor in (*self_ref).vertices[vertex.index()].iter() {
[INFO] [stderr]     |                             ^^--------^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |                               |
[INFO] [stderr]     |                               this raw pointer has type `*const CVDGraph<'_, G>`
[INFO] [stderr]     |
[INFO] [stderr]     = note: creating a reference requires the pointer target to be valid and imposes aliasing requirements
[INFO] [stderr] note: autoref is being applied to this expression, resulting in: `&Vec<Vec<(usize, u8)>>`
[INFO] [stderr]    --> src/service/colour/cvd/cvd.rs:174:29
[INFO] [stderr]     |
[INFO] [stderr] 174 |             for neighbor in (*self_ref).vertices[vertex.index()].iter() {
[INFO] [stderr]     |                             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     = note: `#[warn(dangerous_implicit_autorefs)]` on by default
[INFO] [stderr] help: try using a raw pointer method instead; or if this reference is intentional, make it explicit
[INFO] [stderr]     |
[INFO] [stderr] 174 |             for neighbor in (&(*self_ref).vertices)[vertex.index()].iter() {
[INFO] [stderr]     |                             ++                    +
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]   --> src/service/colour/sat/sat.rs:28:42
[INFO] [stderr]    |
[INFO] [stderr] 28 |     fn graph_to_cnf_sat<G: Graph>(graph: &G) -> Solver {
[INFO] [stderr]    |                                          ^^     ^^^^^^ the same lifetime is hidden here
[INFO] [stderr]    |                                          |
[INFO] [stderr]    |                                          the lifetime is elided here
[INFO] [stderr]    |
[INFO] [stderr]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]    |
[INFO] [stderr] 28 |     fn graph_to_cnf_sat<G: Graph>(graph: &G) -> Solver<'_> {
[INFO] [stderr]    |                                                       ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/service/matching/perfect_matchings.rs:178:21
[INFO] [stderr]     |
[INFO] [stderr] 178 |     pub fn vertices(&self) -> MatchingGraphVerticesIter {
[INFO] [stderr]     |                     ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                     |
[INFO] [stderr]     |                     the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 178 |     pub fn vertices(&self) -> MatchingGraphVerticesIter<'_> {
[INFO] [stderr]     |                                                        ++++
[INFO] [stderr] 
[INFO] [stderr] warning: `snark-tool` (lib) generated 4 warnings (run `cargo fix --lib -p snark-tool` to apply 3 suggestions)
[INFO] [stderr] warning: `snark-tool` (lib test) generated 4 warnings (4 duplicates)
[INFO] [stderr] warning: method `color` is never used
[INFO] [stderr]  --> src/graph/edge.rs:4:8
[INFO] [stderr]   |
[INFO] [stderr] 1 | pub trait Edge: Eq {
[INFO] [stderr]   |           ---- method in this trait
[INFO] [stderr] ...
[INFO] [stderr] 4 |     fn color(&self) -> u8;
[INFO] [stderr]   |        ^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: method `remove_vertex` is never used
[INFO] [stderr]   --> src/graph/graph.rs:16:8
[INFO] [stderr]    |
[INFO] [stderr]  4 | pub trait Graph {
[INFO] [stderr]    |           ----- method in this trait
[INFO] [stderr] ...
[INFO] [stderr] 16 |     fn remove_vertex(&mut self, vertex_index: usize);
[INFO] [stderr]    |        ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: constant `SAT_COLOURISER` is never used
[INFO] [stderr]  --> src/procedure/basic_procedures/chrom_props/config.rs:9:11
[INFO] [stderr]   |
[INFO] [stderr] 9 | pub const SAT_COLOURISER: &str = "sat";
[INFO] [stderr]   |           ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function `new` is never used
[INFO] [stderr]    --> src/procedure/basic_procedures/colour.rs:141:12
[INFO] [stderr]     |
[INFO] [stderr] 138 | impl ColourProcedureConfig {
[INFO] [stderr]     | -------------------------- associated function in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 141 |     pub fn new(colouriser_type: ColouriserType) -> Self {
[INFO] [stderr]     |            ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method `construction_type` is never used
[INFO] [stderr]    --> src/procedure/basic_procedures/constructions.rs:113:12
[INFO] [stderr]     |
[INFO] [stderr]  98 | impl ConstructionProcedureConfig {
[INFO] [stderr]     | -------------------------------- method in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 113 |     pub fn construction_type(&self) -> &ConstructionType {
[INFO] [stderr]     |            ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function `default` is never used
[INFO] [stderr]    --> src/procedure/basic_procedures/read.rs:164:12
[INFO] [stderr]     |
[INFO] [stderr] 153 | impl ReadProcedureConfig {
[INFO] [stderr]     | ------------------------ associated function in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 164 |     pub fn default() -> Self {
[INFO] [stderr]     |            ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function `new` is never used
[INFO] [stderr]    --> src/procedure/basic_procedures/write.rs:148:12
[INFO] [stderr]     |
[INFO] [stderr] 145 | impl WriteProcedureConfig {
[INFO] [stderr]     | ------------------------- associated function in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 148 |     pub fn new(file_path: String, graph_format: String, with_properties: bool) -> Self {
[INFO] [stderr]     |            ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function `default` is never used
[INFO] [stderr]   --> src/procedure/basic_procedures/counter.rs:63:12
[INFO] [stderr]    |
[INFO] [stderr] 56 | impl CounterProcedureConfig {
[INFO] [stderr]    | --------------------------- associated function in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 63 |     pub fn default() -> Self {
[INFO] [stderr]    |            ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `CvdSatCadicalColourizer` is never constructed
[INFO] [stderr]  --> src/service/colour/cvd/cvd_sat_cadical.rs:8:12
[INFO] [stderr]   |
[INFO] [stderr] 8 | pub struct CvdSatCadicalColourizer {}
[INFO] [stderr]   |            ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `DFSColourizerOriginal` is never constructed
[INFO] [stderr]  --> src/service/colour/recursive/dfs_orig.rs:9:12
[INFO] [stderr]   |
[INFO] [stderr] 9 | pub struct DFSColourizerOriginal {}
[INFO] [stderr]   |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `DFSColourizerOriginalGraph` is never constructed
[INFO] [stderr]   --> src/service/colour/recursive/dfs_orig.rs:11:8
[INFO] [stderr]    |
[INFO] [stderr] 11 | struct DFSColourizerOriginalGraph {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: multiple methods are never used
[INFO] [stderr]    --> src/service/colour/recursive/dfs_orig.rs:97:8
[INFO] [stderr]     |
[INFO] [stderr]  96 | impl DFSColourizerOriginalGraph {
[INFO] [stderr]     | ------------------------------- methods in this implementation
[INFO] [stderr]  97 |     fn color(&mut self, vertex: usize) -> bool {
[INFO] [stderr]     |        ^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 285 |     fn set_edge_color(&mut self, from: usize, to: usize, color: usize) {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 291 |     fn get_edge_color(&self, from: usize, to: usize) -> usize {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 297 |     fn is_vertex_without_conflict(&self, vertex: usize, neighbors: &[usize; 3]) -> bool {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 307 |     fn set_color_and_check_validity(&mut self, from: usize, to: usize, color: usize) -> bool {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 313 |     fn are_vertices_without_conflict(&self, first: usize, second: usize) -> bool {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 318 |     fn set_edge_check_and_color_rest(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `is_without_conflict` is never used
[INFO] [stderr]    --> src/service/colour/recursive/dfs_orig.rs:329:4
[INFO] [stderr]     |
[INFO] [stderr] 329 | fn is_without_conflict(color1: usize, color2: usize, color3: usize) -> bool {
[INFO] [stderr]     |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated items `default`, `set_index`, `set_visited`, and `set_discovered_from` are never used
[INFO] [stderr]   --> src/service/graph_traversal/bfs.rs:29:12
[INFO] [stderr]    |
[INFO] [stderr] 14 | impl BfsVertex {
[INFO] [stderr]    | -------------- associated items in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 29 |     pub fn default() -> Self {
[INFO] [stderr]    |            ^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 53 |     pub fn set_index(&mut self, index: usize) {
[INFO] [stderr]    |            ^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 56 |     pub fn set_visited(&mut self, visited: bool) {
[INFO] [stderr]    |            ^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 59 |     pub fn set_discovered_from(&mut self, discovered_from: usize) {
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: methods `visited`, `discovered_from`, and `distance_from_root` are never used
[INFO] [stderr]   --> src/service/graph_traversal/dfs.rs:31:12
[INFO] [stderr]    |
[INFO] [stderr] 12 | impl DfsVertex {
[INFO] [stderr]    | -------------- methods in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 31 |     pub fn visited(&self) -> bool {
[INFO] [stderr]    |            ^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 34 |     pub fn discovered_from(&self) -> usize {
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 37 |     pub fn distance_from_root(&self) -> usize {
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated items `new_from_raw_ptr` and `visited_vertex` are never used
[INFO] [stderr]    --> src/service/graph_traversal/dfs.rs:65:19
[INFO] [stderr]     |
[INFO] [stderr]  49 | impl<'a, G: Graph + Clone> DfsOfGraph<'a, G> {
[INFO] [stderr]     | -------------------------------------------- associated items in this implementation
[INFO] [stderr] ...
[INFO] [stderr]  65 |     pub unsafe fn new_from_raw_ptr(graph: *const G, start: usize) -> Self {
[INFO] [stderr]     |                   ^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 106 |     pub fn visited_vertex(&self, index: usize) -> Option<&DfsVertex> {
[INFO] [stderr]     |            ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field `message` is never read
[INFO] [stderr]   --> src/service/io/error.rs:34:9
[INFO] [stderr]    |
[INFO] [stderr] 33 | pub struct WriteError {
[INFO] [stderr]    |            ---------- field in this struct
[INFO] [stderr] 34 |     pub message: String,
[INFO] [stderr]    |         ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `WriteError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: trait `GraphWriter` is never used
[INFO] [stderr]  --> src/service/io/writer.rs:5:11
[INFO] [stderr]   |
[INFO] [stderr] 5 | pub trait GraphWriter<G>
[INFO] [stderr]   |           ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `snark-tool` (bin "snark-tool" test) generated 22 warnings (4 duplicates)
[INFO] [stderr]     Finished `test` profile [optimized + debuginfo] target(s) in 0.20s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/snark_tool-9809581e2112df5e)
[INFO] [stdout] 
[INFO] [stdout] running 103 tests
[INFO] [stdout] test graph::undirected::multi_graph::tests::multi_graph ... ok
[INFO] [stdout] test graph::undirected::multi_graph::tests::should_have_first_vertex ... ok
[INFO] [stdout] test graph::undirected::multi_graph::tests::should_iter_edges_of_vertex ... ok
[INFO] [stdout] test graph::undirected::multi_graph::tests::should_remove_edges_of_vertex ... ok
[INFO] [stdout] test graph::undirected::simple_edge_graph::tests::should_be_equal ... ok
[INFO] [stdout] test graph::undirected::multi_graph::tests::should_have_multiple_same_edges ... ok
[INFO] [stdout] test graph::undirected::simple_edge_graph::tests::should_create_graph ... ok
[INFO] [stdout] test graph::undirected::multi_graph::tests::should_iter_edges ... ok
[INFO] [stdout] test graph::undirected::simple_edge_graph::tests::should_not_be_equal ... ok
[INFO] [stdout] test graph::undirected::simple_edge_graph::tests::should_format_graph ... ok
[INFO] [stdout] test graph::undirected::simple_edge_graph::tests::should_iter_edges_of_vertex ... ok
[INFO] [stdout] test graph::undirected::simple_graph::tests::should_add_vertex_with_index ... ok
[INFO] [stdout] test graph::undirected::simple_graph::tests::should_have_first_vertex ... ok
[INFO] [stdout] test graph::undirected::simple_graph::tests::should_iter_edges ... ok
[INFO] [stdout] test graph::undirected::simple_edge_graph::tests::should_remove_edges_of_vertex ... ok
[INFO] [stdout] test graph::undirected::simple_edge_graph::tests::should_iter_edges ... ok
[INFO] [stdout] test graph::undirected::simple_graph::tests::should_iter_edges_of_vertex ... ok
[INFO] [stdout] test graph::undirected::simple_graph::tests::simple_graph ... ok
[INFO] [stdout] test graph::undirected::simple_graph::tests::should_remove_edges_of_vertex ... ok
[INFO] [stdout] test procedure::tests::should_create_procedures ... ok
[INFO] [stdout] test service::chromatic_properties::resistibility::tests::should_test_resistibility_indices_petersen ... ok
[INFO] [stdout] test service::chromatic_properties::resistance::tests::should_have_resistance_zero ... ok
[INFO] [stdout] test service::chromatic_properties::resistance::tests::should_have_resistance_two ... ok
[INFO] [stdout] test service::chromatic_properties::tests::should_be_critical ... ok
[INFO] [stdout] test procedure::tests::should_create_procedure_chain ... ok
[INFO] [stdout] test service::chromatic_properties::tests::should_be_strictly_cocritical ... ok
[INFO] [stdout] test service::colour::tests::should_be_colourable_bfs_basic ... ok
[INFO] [stdout] test service::colour::tests::should_be_colourable_bfs ... ok
[INFO] [stdout] test service::colour::tests::should_be_colourable_cvd ... ok
[INFO] [stdout] test service::colour::tests::should_be_colourable_cvd_dfs ... ok
[INFO] [stdout] test service::chromatic_properties::tests::should_be_acritical ... ok
[INFO] [stdout] test service::chromatic_properties::tests::should_be_critical_matchings ... ok
[INFO] [stdout] test service::colour::tests::should_be_colourable_sat ... ok
[INFO] [stdout] test service::colour::tests::should_be_colourable_sat_cadical ... ok
[INFO] [stdout] test service::colour::tests::should_be_snark_bfs_basic ... ok
[INFO] [stdout] test service::colour::tests::should_be_snark_bfs_improved ... ok
[INFO] [stdout] test service::colour::tests::should_be_snark_cvd_dfs ... ok
[INFO] [stdout] test service::colour::tests::should_be_snark_dfs ... ok
[INFO] [stdout] test service::colour::tests::should_be_snark_matching ... ok
[INFO] [stdout] test service::colour::tests::should_be_colourable_matching ... ok
[INFO] [stdout] test service::colour::tests::should_be_snark_sat ... ok
[INFO] [stdout] test service::colour::tests::should_be_colourable_matching_2 ... ok
[INFO] [stdout] test service::colour::tests::should_be_unknown_cvd ... ok
[INFO] [stdout] test service::component_analysis::tests::should_produce_pairs_of_adjacent_vertices ... ok
[INFO] [stdout] test service::component_analysis::tests::should_produce_pairs_of_non_adjacent_edges ... ok
[INFO] [stdout] test service::component_analysis::tests::should_produce_pairs_of_removable_edges ... ok
[INFO] [stdout] test service::component_analysis::tests::should_produce_triplets_of_removable_edges ... ok
[INFO] [stdout] test service::colour::tests::should_be_snark_sat_cadical ... ok
[INFO] [stdout] test service::colour::tests::should_be_snark_matching_2 ... ok
[INFO] [stdout] test service::constructions::tests::i_extension_test ... ok
[INFO] [stdout] test service::constructions::tests::isomorphism_test ... ok
[INFO] [stdout] test service::constructions::tests::two_i_extension_test ... ok
[INFO] [stdout] test service::constructions::tests::y_extension_iterator_test ... ok
[INFO] [stdout] test service::constructions::tests::y_extension_test ... ok
[INFO] [stdout] test service::graph_traversal::tests::should_reconstruct_path_using_bfs ... ok
[INFO] [stdout] test service::graph_traversal::tests::should_traverse_using_bfs ... ok
[INFO] [stdout] test service::graph_traversal::tests::should_traverse_using_bfs_discovery_order ... ok
[INFO] [stdout] test service::graph_traversal::tests::should_traverse_using_dfs ... ok
[INFO] [stdout] test service::constructions::tests::dot_product_test ... ok
[INFO] [stdout] test service::chromatic_properties::tests::should_be_acritical_cvd_dfs ... ok
[INFO] [stdout] test service::io::tests::should_read_g6 ... ok
[INFO] [stdout] test service::io::tests::should_read_g6_s6_same_graph ... ok
[INFO] [stdout] test service::io::tests::should_read_g6_write_s6 ... ok
[INFO] [stdout] test service::io::tests::should_read_s6 ... ok
[INFO] [stdout] test service::io::tests::should_write_ba ... ok
[INFO] [stdout] test service::io::tests::should_write_g6 ... ok
[INFO] [stdout] test service::io::tests::should_write_s6 ... ok
[INFO] [stdout] test service::matching::tests::should_add_and_remove_edges_mg ... ok
[INFO] [stdout] test service::matching::tests::should_create_and_modify_graph_mg ... ok
[INFO] [stdout] test service::matching::tests::should_create_from_graph_mg ... ok
[INFO] [stdout] test service::matching::tests::should_find_all_perfect_matchings ... ok
[INFO] [stdout] test service::matching::tests::should_have_odd_size_component ... ok
[INFO] [stdout] test service::matching::tests::should_not_have_odd_size_component ... ok
[INFO] [stdout] test service::matching::tests::should_traverse_using_bfs ... ok
[INFO] [stdout] test service::property::cyclic_connectivity::tests::should_be_vertex_disjoint_graphs ... ok
[INFO] [stdout] test service::property::cyclic_connectivity::tests::should_contract_subgraph ... ok
[INFO] [stdout] test service::property::cyclic_connectivity::tests::should_create_full_tree ... ok
[INFO] [stdout] test service::io::tests::should_compare_readers ... FAILED
[INFO] [stdout] test service::io::tests::should_read_ba ... FAILED
[INFO] [stdout] test service::property::cyclic_connectivity::tests::should_have_cec_five ... ok
[INFO] [stdout] test service::property::cyclic_connectivity::tests::should_have_cec_three ... ok
[INFO] [stdout] test service::property::girth::tests::should_have_girth_five ... ok
[INFO] [stdout] test service::chromatic_properties::resistance::tests::should_have_resistance_three ... ok
[INFO] [stdout] test service::property::girth::tests::should_have_girth_six ... ok
[INFO] [stdout] test service::property::max_flow::residual_graph::residual_graph_test::residual_graph_tests::residual_graph ... ok
[INFO] [stdout] test service::property::max_flow::residual_graph::residual_graph_test::residual_graph_tests::should_add_vertex_with_index ... ok
[INFO] [stdout] test service::property::max_flow::residual_graph::residual_graph_test::residual_graph_tests::should_have_first_vertex ... ok
[INFO] [stdout] test service::property::max_flow::residual_graph::residual_graph_test::residual_graph_tests::should_increase_decrease_capacity ... ok
[INFO] [stdout] test service::property::max_flow::residual_graph::residual_graph_test::residual_graph_tests::should_iter_edges ... ok
[INFO] [stdout] test service::property::max_flow::residual_graph::residual_graph_test::residual_graph_tests::should_iter_edges_of_vertex ... ok
[INFO] [stdout] test service::property::max_flow::residual_graph::residual_graph_test::residual_graph_tests::should_remove_edges_of_vertex ... ok
[INFO] [stdout] test service::property::max_flow::tests::should_have_max_flow_two ... ok
[INFO] [stdout] test service::property::oddness::tests::should_have_oddness_four ... ok
[INFO] [stdout] test service::property::oddness::tests::should_have_oddness_two ... ok
[INFO] [stdout] test service::property::oddness::tests::should_have_oddness_zero ... ok
[INFO] [stdout] test service::property::order::tests::should_be_cubic ... ok
[INFO] [stdout] test service::chromatic_properties::tests::should_be_acritical_matching ... ok
[INFO] [stdout] test service::constructions::tests::i_extension_iterator_test ... ok
[INFO] [stdout] test service::chromatic_properties::resistibility::tests::should_test_resistibility_indices ... ok
[INFO] [stdout] test service::property::girth::tests::should_have_girth_five_from_file ... ok
[INFO] [stdout] test service::colour::tests::should_be_colourable_bfs_improved ... ok
[INFO] [stdout] test service::property::cyclic_connectivity::tests::should_have_cec_four_file ... ok
[INFO] [stdout] test service::property::cyclic_connectivity::tests::should_have_cec_five_file ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- service::io::tests::should_compare_readers stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'service::io::tests::should_compare_readers' (82) panicked at src/service/io/tests.rs:45:10:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x64b52fc56882 - std::backtrace_rs::backtrace::libunwind::trace::h16acf28769fcd909
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x64b52fc56882 - std::backtrace_rs::backtrace::trace_unsynchronized::hb5541aa5d4f92513
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x64b52fc56882 - std::sys::backtrace::_print_fmt::h8ac8268cb667a306
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x64b52fc56882 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h47627beda0767f4c
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x64b52fc6728f - core::fmt::rt::Argument::fmt::h686a01ad57c1c92a
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x64b52fc6728f - core::fmt::write::h8a63064c67176fd8
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/fmt/mod.rs:1469:25
[INFO] [stdout]    6:     0x64b52fc23f03 - std::io::default_write_fmt::hd4797e693c0ec256
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x64b52fc23f03 - std::io::Write::write_fmt::h791e240ad2720c99
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x64b52fc2ff42 - std::sys::backtrace::BacktraceLock::print::h4634d27c0afbaebb
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x64b52fc34bbf - std::panicking::default_hook::{{closure}}::h23e0299d4738b766
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:301:27
[INFO] [stdout]   10:     0x64b52fc34a51 - std::panicking::default_hook::hfeec6294e8751b62
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:325:9
[INFO] [stdout]   11:     0x64b52fbbcebe - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h3f5a16438cee2b4e
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/alloc/src/boxed.rs:2019:9
[INFO] [stdout]   12:     0x64b52fbbcebe - test::test_main_with_exit_callback::{{closure}}::h9214498cef9aafc5
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x64b52fc351cf - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hdb18da3e68df7464
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/alloc/src/boxed.rs:2019:9
[INFO] [stdout]   14:     0x64b52fc351cf - std::panicking::panic_with_hook::hd57cd463d793ed79
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:842:13
[INFO] [stdout]   15:     0x64b52fc3502a - std::panicking::panic_handler::{{closure}}::hddd6216c3fddee3b
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:707:13
[INFO] [stdout]   16:     0x64b52fc30079 - std::sys::backtrace::__rust_end_short_backtrace::h5e7a56f283378525
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/sys/backtrace.rs:174:18
[INFO] [stdout]   17:     0x64b52fc1864d - __rustc[256c90bb7e548b45]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:698:5
[INFO] [stdout]   18:     0x64b52fc6ed70 - core::panicking::panic_fmt::hf19c198748ef6a95
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x64b52fc6e326 - core::result::unwrap_failed::he81173b5792ad6b0
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/result.rs:1862:5
[INFO] [stdout]   20:     0x64b52faf6678 - core::result::Result<T,E>::unwrap::hcbbe179982ddc059
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/result.rs:1233:23
[INFO] [stdout]   21:     0x64b52faf6678 - snark_tool::service::io::tests::should_compare_readers::hac46938e6c9ee1ce
[INFO] [stdout]                                at /opt/rustwide/workdir/src/service/io/tests.rs:45:10
[INFO] [stdout]   22:     0x64b52fac3c69 - snark_tool::service::io::tests::should_compare_readers::{{closure}}::hde284c21a1859f94
[INFO] [stdout]                                at /opt/rustwide/workdir/src/service/io/tests.rs:39:28
[INFO] [stdout]   23:     0x64b52fac3c69 - core::ops::function::FnOnce::call_once::hc55438860d28dac5
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x64b52fbbcd0b - core::ops::function::FnOnce::call_once::h43f43c5185cf39c2
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x64b52fbbcd0b - test::__rust_begin_short_backtrace::hc4fa634eb2764bdc
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/test/src/lib.rs:663:18
[INFO] [stdout]   26:     0x64b52fbd1328 - test::run_test_in_process::{{closure}}::h9f4b799a5211b72a
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/test/src/lib.rs:686:74
[INFO] [stdout]   27:     0x64b52fbd1328 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::ha572bf7dc5230a8f
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   28:     0x64b52fbd1328 - std::panicking::catch_unwind::do_call::hfd6ff51f25dd177b
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:590:40
[INFO] [stdout]   29:     0x64b52fbd1328 - std::panicking::catch_unwind::h8609b446221def5f
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:553:19
[INFO] [stdout]   30:     0x64b52fbd1328 - std::panic::catch_unwind::h362f73cc48531e26
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x64b52fbd1328 - test::run_test_in_process::hf52fd21d696aae67
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/test/src/lib.rs:686:27
[INFO] [stdout]   32:     0x64b52fbd1328 - test::run_test::{{closure}}::h7e780b8354e6d007
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/test/src/lib.rs:607:43
[INFO] [stdout]   33:     0x64b52fbaa0f4 - test::run_test::{{closure}}::hdc2695f2276aad3e
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/test/src/lib.rs:637:41
[INFO] [stdout]   34:     0x64b52fbaa0f4 - std::sys::backtrace::__rust_begin_short_backtrace::h2555b2113ed90fc9
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/sys/backtrace.rs:158:18
[INFO] [stdout]   35:     0x64b52fbada2a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h99800d480987dfb6
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/thread/mod.rs:562:17
[INFO] [stdout]   36:     0x64b52fbada2a - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hbbb69b5294b2221b
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   37:     0x64b52fbada2a - std::panicking::catch_unwind::do_call::h495689350c27df20
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:590:40
[INFO] [stdout]   38:     0x64b52fbada2a - std::panicking::catch_unwind::hf22437c51d1b3740
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:553:19
[INFO] [stdout]   39:     0x64b52fbada2a - std::panic::catch_unwind::habda1a57de8231f8
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x64b52fbada2a - std::thread::Builder::spawn_unchecked_::{{closure}}::h5833d8dda8c7e80b
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/thread/mod.rs:560:30
[INFO] [stdout]   41:     0x64b52fbada2a - core::ops::function::FnOnce::call_once{{vtable.shim}}::ha2910283a5058402
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x64b52fc2b36f - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::he4d85cb537521972
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/alloc/src/boxed.rs:2005:9
[INFO] [stdout]   43:     0x64b52fc2b36f - std::sys::thread::unix::Thread::new::thread_start::hbaf586a9e50a98cd
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/sys/thread/unix.rs:126:17
[INFO] [stdout]   44:     0x7c3e90c8baa4 - <unknown>
[INFO] [stdout]   45:     0x7c3e90d18a64 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- service::io::tests::should_read_ba stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'service::io::tests::should_read_ba' (83) panicked at src/service/io/tests.rs:32:10:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x64b52fc56882 - std::backtrace_rs::backtrace::libunwind::trace::h16acf28769fcd909
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x64b52fc56882 - std::backtrace_rs::backtrace::trace_unsynchronized::hb5541aa5d4f92513
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x64b52fc56882 - std::sys::backtrace::_print_fmt::h8ac8268cb667a306
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x64b52fc56882 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h47627beda0767f4c
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x64b52fc6728f - core::fmt::rt::Argument::fmt::h686a01ad57c1c92a
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x64b52fc6728f - core::fmt::write::h8a63064c67176fd8
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/fmt/mod.rs:1469:25
[INFO] [stdout]    6:     0x64b52fc23f03 - std::io::default_write_fmt::hd4797e693c0ec256
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x64b52fc23f03 - std::io::Write::write_fmt::h791e240ad2720c99
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x64b52fc2ff42 - std::sys::backtrace::BacktraceLock::print::h4634d27c0afbaebb
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x64b52fc34bbf - std::panicking::default_hook::{{closure}}::h23e0299d4738b766
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:301:27
[INFO] [stdout]   10:     0x64b52fc34a51 - std::panicking::default_hook::hfeec6294e8751b62
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:325:9
[INFO] [stdout]   11:     0x64b52fbbcebe - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h3f5a16438cee2b4e
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/alloc/src/boxed.rs:2019:9
[INFO] [stdout]   12:     0x64b52fbbcebe - test::test_main_with_exit_callback::{{closure}}::h9214498cef9aafc5
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x64b52fc351cf - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hdb18da3e68df7464
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/alloc/src/boxed.rs:2019:9
[INFO] [stdout]   14:     0x64b52fc351cf - std::panicking::panic_with_hook::hd57cd463d793ed79
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:842:13
[INFO] [stdout]   15:     0x64b52fc3502a - std::panicking::panic_handler::{{closure}}::hddd6216c3fddee3b
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:707:13
[INFO] [stdout]   16:     0x64b52fc30079 - std::sys::backtrace::__rust_end_short_backtrace::h5e7a56f283378525
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/sys/backtrace.rs:174:18
[INFO] [stdout]   17:     0x64b52fc1864d - __rustc[256c90bb7e548b45]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:698:5
[INFO] [stdout]   18:     0x64b52fc6ed70 - core::panicking::panic_fmt::hf19c198748ef6a95
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x64b52fc6e326 - core::result::unwrap_failed::he81173b5792ad6b0
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/result.rs:1862:5
[INFO] [stdout]   20:     0x64b52faf4ff4 - core::result::Result<T,E>::unwrap::hcbbe179982ddc059
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/result.rs:1233:23
[INFO] [stdout]   21:     0x64b52faf4ff4 - snark_tool::service::io::tests::should_read_ba::hf7cfa8ed1d8e89c7
[INFO] [stdout]                                at /opt/rustwide/workdir/src/service/io/tests.rs:32:10
[INFO] [stdout]   22:     0x64b52fac33e9 - snark_tool::service::io::tests::should_read_ba::{{closure}}::hd50b3dc17fb3ad14
[INFO] [stdout]                                at /opt/rustwide/workdir/src/service/io/tests.rs:28:20
[INFO] [stdout]   23:     0x64b52fac33e9 - core::ops::function::FnOnce::call_once::h531cfc82acdb9c71
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x64b52fbbcd0b - core::ops::function::FnOnce::call_once::h43f43c5185cf39c2
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x64b52fbbcd0b - test::__rust_begin_short_backtrace::hc4fa634eb2764bdc
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/test/src/lib.rs:663:18
[INFO] [stdout]   26:     0x64b52fbd1328 - test::run_test_in_process::{{closure}}::h9f4b799a5211b72a
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/test/src/lib.rs:686:74
[INFO] [stdout]   27:     0x64b52fbd1328 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::ha572bf7dc5230a8f
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   28:     0x64b52fbd1328 - std::panicking::catch_unwind::do_call::hfd6ff51f25dd177b
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:590:40
[INFO] [stdout]   29:     0x64b52fbd1328 - std::panicking::catch_unwind::h8609b446221def5f
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:553:19
[INFO] [stdout]   30:     0x64b52fbd1328 - std::panic::catch_unwind::h362f73cc48531e26
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x64b52fbd1328 - test::run_test_in_process::hf52fd21d696aae67
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/test/src/lib.rs:686:27
[INFO] [stdout]   32:     0x64b52fbd1328 - test::run_test::{{closure}}::h7e780b8354e6d007
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/test/src/lib.rs:607:43
[INFO] [stdout]   33:     0x64b52fbaa0f4 - test::run_test::{{closure}}::hdc2695f2276aad3e
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/test/src/lib.rs:637:41
[INFO] [stdout]   34:     0x64b52fbaa0f4 - std::sys::backtrace::__rust_begin_short_backtrace::h2555b2113ed90fc9
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/sys/backtrace.rs:158:18
[INFO] [stdout]   35:     0x64b52fbada2a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h99800d480987dfb6
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/thread/mod.rs:562:17
[INFO] [stdout]   36:     0x64b52fbada2a - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hbbb69b5294b2221b
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   37:     0x64b52fbada2a - std::panicking::catch_unwind::do_call::h495689350c27df20
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:590:40
[INFO] [stdout]   38:     0x64b52fbada2a - std::panicking::catch_unwind::hf22437c51d1b3740
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:553:19
[INFO] [stdout]   39:     0x64b52fbada2a - std::panic::catch_unwind::habda1a57de8231f8
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x64b52fbada2a - std::thread::Builder::spawn_unchecked_::{{closure}}::h5833d8dda8c7e80b
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/thread/mod.rs:560:30
[INFO] [stdout]   41:     0x64b52fbada2a - core::ops::function::FnOnce::call_once{{vtable.shim}}::ha2910283a5058402
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x64b52fc2b36f - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::he4d85cb537521972
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/alloc/src/boxed.rs:2005:9
[INFO] [stdout]   43:     0x64b52fc2b36f - std::sys::thread::unix::Thread::new::thread_start::hbaf586a9e50a98cd
[INFO] [stdout]                                at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/sys/thread/unix.rs:126:17
[INFO] [stdout]   44:     0x7c3e90c8baa4 - <unknown>
[INFO] [stdout]   45:     0x7c3e90d18a64 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     service::io::tests::should_compare_readers
[INFO] [stdout]     service::io::tests::should_read_ba
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 101 passed; 2 failed; 0 ignored; 0 measured; 0 filtered out; finished in 16.58s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] running `Command { std: "docker" "inspect" "8d41650e52f7ec086c399480e62241f5e38cc222ec1b98d714c6f355d633ffab", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8d41650e52f7ec086c399480e62241f5e38cc222ec1b98d714c6f355d633ffab", kill_on_drop: false }`
[INFO] [stdout] 8d41650e52f7ec086c399480e62241f5e38cc222ec1b98d714c6f355d633ffab
