[INFO] cloning repository https://github.com/k-kinzal/spec-oracle [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/k-kinzal/spec-oracle" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fk-kinzal%2Fspec-oracle", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fk-kinzal%2Fspec-oracle'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 3ccb49bb68c9b17c935082157f3673b6a8eadac1 [INFO] testing k-kinzal/spec-oracle against master#562dee4820c458d823175268e41601d4c060588a for pr-154210-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fk-kinzal%2Fspec-oracle" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/k-kinzal/spec-oracle [INFO] finished tweaking git repo https://github.com/k-kinzal/spec-oracle [INFO] tweaked toml for git repo https://github.com/k-kinzal/spec-oracle written to /workspace/builds/worker-4-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/k-kinzal/spec-oracle on toolchain 562dee4820c458d823175268e41601d4c060588a [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/k-kinzal/spec-oracle 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" "+562dee4820c458d823175268e41601d4c060588a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded tonic-build v0.12.3 [INFO] [stderr] Downloaded prost-build v0.13.5 [INFO] [stderr] Downloaded prost-types v0.13.5 [INFO] [stderr] Downloaded prost-derive v0.13.5 [INFO] [stderr] Downloaded prost v0.13.5 [INFO] [stderr] Downloaded z3 v0.12.1 [INFO] [stderr] Downloaded bindgen v0.66.1 [INFO] [stderr] Downloaded tonic v0.12.3 [INFO] [stderr] Downloaded z3-sys v0.8.1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] d4a8f2986789d095511034383ca1fa096f69f349fc4fc5b47d96a96b671e0e17 [INFO] running `Command { std: "docker" "start" "-a" "d4a8f2986789d095511034383ca1fa096f69f349fc4fc5b47d96a96b671e0e17", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "d4a8f2986789d095511034383ca1fa096f69f349fc4fc5b47d96a96b671e0e17", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d4a8f2986789d095511034383ca1fa096f69f349fc4fc5b47d96a96b671e0e17", kill_on_drop: false }` [INFO] [stdout] d4a8f2986789d095511034383ca1fa096f69f349fc4fc5b47d96a96b671e0e17 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 3e82691465da1e6fcfb1671ad78dae6356faa2193238483c490fa92d41f3ce13 [INFO] running `Command { std: "docker" "start" "-a" "3e82691465da1e6fcfb1671ad78dae6356faa2193238483c490fa92d41f3ce13", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.106 [INFO] [stderr] Compiling unicode-ident v1.0.23 [INFO] [stderr] Compiling quote v1.0.44 [INFO] [stderr] Compiling cfg-if v1.0.4 [INFO] [stderr] Compiling libc v0.2.182 [INFO] [stderr] Compiling hashbrown v0.16.1 [INFO] [stderr] Compiling bytes v1.11.1 [INFO] [stderr] Compiling regex-syntax v0.8.9 [INFO] [stderr] Compiling bitflags v2.11.0 [INFO] [stderr] Compiling itoa v1.0.17 [INFO] [stderr] Compiling anyhow v1.0.101 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Compiling getrandom v0.4.1 [INFO] [stderr] Compiling parking_lot_core v0.9.12 [INFO] [stderr] Compiling lock_api v0.4.14 [INFO] [stderr] Compiling glob v0.3.3 [INFO] [stderr] Compiling serde_core v1.0.228 [INFO] [stderr] Compiling tracing-core v0.1.36 [INFO] [stderr] Compiling rustix v1.1.3 [INFO] [stderr] Compiling fixedbitset v0.5.7 [INFO] [stderr] Compiling memchr v2.8.0 [INFO] [stderr] Compiling itertools v0.14.0 [INFO] [stderr] Compiling futures-task v0.3.31 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Compiling http v1.4.0 [INFO] [stderr] Compiling clang-sys v1.8.1 [INFO] [stderr] Compiling minimal-lexical v0.2.1 [INFO] [stderr] Compiling linux-raw-sys v0.11.0 [INFO] [stderr] Compiling prettyplease v0.2.37 [INFO] [stderr] Compiling indexmap v2.13.0 [INFO] [stderr] Compiling syn v2.0.115 [INFO] [stderr] Compiling http-body v1.0.1 [INFO] [stderr] Compiling futures-util v0.3.31 [INFO] [stderr] Compiling libloading v0.8.9 [INFO] [stderr] Compiling fastrand v2.3.0 [INFO] [stderr] Compiling zerocopy v0.8.39 [INFO] [stderr] Compiling bindgen v0.66.1 [INFO] [stderr] Compiling errno v0.3.14 [INFO] [stderr] Compiling mio v1.1.1 [INFO] [stderr] Compiling signal-hook-registry v1.4.8 [INFO] [stderr] Compiling socket2 v0.6.2 [INFO] [stderr] Compiling nom v7.1.3 [INFO] [stderr] Compiling log v0.4.29 [INFO] [stderr] Compiling parking_lot v0.12.5 [INFO] [stderr] Compiling slab v0.4.12 [INFO] [stderr] Compiling multimap v0.10.1 [INFO] [stderr] Compiling rustc-hash v1.1.0 [INFO] [stderr] Compiling lazycell v1.3.0 [INFO] [stderr] Compiling petgraph v0.7.1 [INFO] [stderr] Compiling peeking_take_while v0.1.2 [INFO] [stderr] Compiling getrandom v0.2.17 [INFO] [stderr] Compiling aho-corasick v1.1.4 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling futures-channel v0.3.31 [INFO] [stderr] Compiling zmij v1.0.21 [INFO] [stderr] Compiling http-body-util v0.1.3 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Compiling thiserror v2.0.18 [INFO] [stderr] Compiling serde_json v1.0.149 [INFO] [stderr] Compiling hashbrown v0.12.3 [INFO] [stderr] Compiling anstyle-query v1.1.5 [INFO] [stderr] Compiling regex-automata v0.4.14 [INFO] [stderr] Compiling ryu v1.0.23 [INFO] [stderr] Compiling iana-time-zone v0.1.65 [INFO] [stderr] Compiling is_terminal_polyfill v1.70.2 [INFO] [stderr] Compiling anstyle v1.0.13 [INFO] [stderr] Compiling uuid v1.21.0 [INFO] [stderr] Compiling tower v0.5.3 [INFO] [stderr] Compiling tempfile v3.25.0 [INFO] [stderr] Compiling anstream v0.6.21 [INFO] [stderr] Compiling cexpr v0.6.0 [INFO] [stderr] Compiling tracing-log v0.2.0 [INFO] [stderr] Compiling socket2 v0.5.10 [INFO] [stderr] Compiling inotify-sys v0.1.5 [INFO] [stderr] Compiling thread_local v1.1.9 [INFO] [stderr] Compiling clap_lex v1.0.0 [INFO] [stderr] Compiling nu-ansi-term v0.50.3 [INFO] [stderr] Compiling same-file v1.0.6 [INFO] [stderr] Compiling inotify v0.9.6 [INFO] [stderr] Compiling mio v0.8.11 [INFO] [stderr] Compiling walkdir v2.5.0 [INFO] [stderr] Compiling filetime v0.2.27 [INFO] [stderr] Compiling crossbeam-channel v0.5.15 [INFO] [stderr] Compiling clap_builder v4.5.58 [INFO] [stderr] Compiling notify v6.1.1 [INFO] [stderr] Compiling regex v1.12.3 [INFO] [stderr] Compiling prost-derive v0.13.5 [INFO] [stderr] Compiling tokio-macros v2.6.0 [INFO] [stderr] Compiling tracing-attributes v0.1.31 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling pin-project-internal v1.1.10 [INFO] [stderr] Compiling async-trait v0.1.89 [INFO] [stderr] Compiling async-stream-impl v0.3.6 [INFO] [stderr] Compiling thiserror-impl v2.0.18 [INFO] [stderr] Compiling clap_derive v4.5.55 [INFO] [stderr] Compiling async-stream v0.3.6 [INFO] [stderr] Compiling tokio v1.49.0 [INFO] [stderr] Compiling ppv-lite86 v0.2.21 [INFO] [stderr] Compiling axum-core v0.4.5 [INFO] [stderr] Compiling pin-project v1.1.10 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling tracing v0.1.44 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling prost v0.13.5 [INFO] [stderr] Compiling clap v4.5.58 [INFO] [stderr] Compiling prost-types v0.13.5 [INFO] [stderr] Compiling matchers v0.2.0 [INFO] [stderr] Compiling tracing-subscriber v0.3.22 [INFO] [stderr] Compiling prost-build v0.13.5 [INFO] [stderr] Compiling tonic-build v0.12.3 [INFO] [stderr] Compiling serde_yaml v0.9.34+deprecated [INFO] [stderr] Compiling chrono v0.4.43 [INFO] [stderr] Compiling axum v0.7.9 [INFO] [stderr] Compiling z3-sys v0.8.1 [INFO] [stderr] Compiling specd v0.1.0 (/opt/rustwide/workdir/specd) [INFO] [stderr] Compiling spec-cli v0.1.0 (/opt/rustwide/workdir/spec-cli) [INFO] [stderr] Compiling tokio-util v0.7.18 [INFO] [stderr] Compiling tokio-stream v0.1.18 [INFO] [stderr] Compiling h2 v0.4.13 [INFO] [stderr] Compiling tower v0.4.13 [INFO] [stderr] Compiling hyper v1.8.1 [INFO] [stderr] Compiling z3 v0.12.1 [INFO] [stderr] Compiling spec-core v0.1.0 (/opt/rustwide/workdir/spec-core) [INFO] [stdout] warning: unused import: `ConstraintKind` [INFO] [stdout] --> spec-core/src/prover/z3_backend.rs:12:31 [INFO] [stdout] | [INFO] [stdout] 12 | use crate::udaf::{Constraint, ConstraintKind}; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling hyper-util v0.1.20 [INFO] [stdout] warning: method `metadata_file` is never used [INFO] [stdout] --> spec-core/src/store.rs:132:8 [INFO] [stdout] | [INFO] [stdout] 117 | impl DirectoryStore { [INFO] [stdout] | ------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 132 | fn metadata_file(&self) -> PathBuf { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple methods are never used [INFO] [stdout] --> spec-core/src/prover/mod.rs:245:8 [INFO] [stdout] | [INFO] [stdout] 136 | impl Prover { [INFO] [stdout] | ----------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 245 | fn check_consistency_via_constraints( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 294 | fn check_satisfiability_via_constraints( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 336 | fn detect_obvious_contradiction( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 356 | fn detect_obvious_unsatisfiability( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 375 | fn constraints_conflict(&self, desc_a: &str, desc_b: &str) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 418 | fn extract_minimum(&self, desc: &str) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 433 | fn extract_maximum(&self, desc: &str) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 448 | fn extract_number(&self, s: &str) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling hyper-timeout v0.5.2 [INFO] [stderr] Compiling tonic v0.12.3 [INFO] [stdout] warning: unused import: `formatter::*` [INFO] [stdout] --> spec-cli/src/presentation/mod.rs:3:9 [INFO] [stdout] | [INFO] [stdout] 3 | pub use formatter::*; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `NodeKind as CoreNodeKind` [INFO] [stdout] --> spec-cli/src/commands/add.rs:8:24 [INFO] [stdout] | [INFO] [stdout] 8 | use spec_core::{Store, NodeKind as CoreNodeKind}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::proto` [INFO] [stdout] --> spec-cli/src/commands/api.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::proto; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `SpecEdgeKind`, `SpecNodeKind`, and `self` [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:8:20 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::proto::{self, SpecEdgeKind, SpecNodeKind}; [INFO] [stdout] | ^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::collections::HashMap` [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | use std::collections::HashMap; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::path::PathBuf` [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | use std::path::PathBuf; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `tonic::Request` [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | use tonic::Request; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `spec_core::SpecGraph` [INFO] [stdout] --> spec-cli/src/commands/find.rs:14:9 [INFO] [stdout] | [INFO] [stdout] 14 | use spec_core::SpecGraph; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Store` [INFO] [stdout] --> spec-cli/src/commands/init.rs:9:17 [INFO] [stdout] | [INFO] [stdout] 9 | use spec_core::{Store, FileStore, SpecGraph}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Store` [INFO] [stdout] --> spec-cli/src/commands/migrate.rs:12:44 [INFO] [stdout] | [INFO] [stdout] 12 | use spec_core::{DirectoryStore, FileStore, Store}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `spec_core::SpecGraph` [INFO] [stdout] --> spec-cli/src/commands/query.rs:12:9 [INFO] [stdout] | [INFO] [stdout] 12 | use spec_core::SpecGraph; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `spec_core::SpecGraph` [INFO] [stdout] --> spec-cli/src/commands/trace.rs:13:9 [INFO] [stdout] | [INFO] [stdout] 13 | use spec_core::SpecGraph; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `execute_add` [INFO] [stdout] --> spec-cli/src/commands/mod.rs:27:15 [INFO] [stdout] | [INFO] [stdout] 27 | pub use add::{execute_add, execute_add_standalone, execute_add_server}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `execute_check` [INFO] [stdout] --> spec-cli/src/commands/mod.rs:28:17 [INFO] [stdout] | [INFO] [stdout] 28 | pub use check::{execute_check, execute_check_standalone, execute_check_server}; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `dispatch_server` [INFO] [stdout] --> spec-cli/src/commands/mod.rs:30:43 [INFO] [stdout] | [INFO] [stdout] 30 | pub use dispatcher::{dispatch_standalone, dispatch_server}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `execute_detect_layer_inconsistencies_server` [INFO] [stdout] --> spec-cli/src/commands/mod.rs:35:51 [INFO] [stdout] | [INFO] [stdout] 35 | pub use layer::{execute_verify_layers_standalone, execute_detect_layer_inconsistencies_server}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `execute_query_standalone` [INFO] [stdout] --> spec-cli/src/commands/mod.rs:40:17 [INFO] [stdout] | [INFO] [stdout] 40 | pub use query::{execute_query_standalone, execute_query_server}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `proto::spec_oracle_client::SpecOracleClient` [INFO] [stdout] --> spec-cli/src/main.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | use proto::spec_oracle_client::SpecOracleClient; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `SpecEdgeKind` and `SpecNodeKind` [INFO] [stdout] --> spec-cli/src/main.rs:12:13 [INFO] [stdout] | [INFO] [stdout] 12 | use proto::{SpecNodeKind, SpecEdgeKind}; [INFO] [stdout] | ^^^^^^^^^^^^ ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::collections::HashMap` [INFO] [stdout] --> spec-cli/src/main.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | use std::collections::HashMap; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::path::PathBuf` [INFO] [stdout] --> spec-cli/src/main.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | use std::path::PathBuf; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `tonic::Request` [INFO] [stdout] --> spec-cli/src/main.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | use tonic::Request; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `FileStore` and `NodeKind as CoreNodeKind` [INFO] [stdout] --> spec-cli/src/main.rs:17:17 [INFO] [stdout] | [INFO] [stdout] 17 | use spec_core::{FileStore, NodeKind as CoreNodeKind}; [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `persistence::store_router::*` [INFO] [stdout] --> spec-cli/src/main.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | use persistence::store_router::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `client` [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:370:5 [INFO] [stdout] | [INFO] [stdout] 370 | client: &mut SpecOracleClient, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_client` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `is_semantically_related` is never used [INFO] [stdout] --> spec-cli/src/main.rs:503:4 [INFO] [stdout] | [INFO] [stdout] 503 | fn is_semantically_related(content_a: &str, content_b: &str) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `format_node_summary` is never used [INFO] [stdout] --> spec-cli/src/presentation/formatter.rs:40:8 [INFO] [stdout] | [INFO] [stdout] 40 | pub fn format_node_summary( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `format_contradiction` is never used [INFO] [stdout] --> spec-cli/src/presentation/formatter.rs:63:8 [INFO] [stdout] | [INFO] [stdout] 63 | pub fn format_contradiction( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `format_omission` is never used [INFO] [stdout] --> spec-cli/src/presentation/formatter.rs:78:8 [INFO] [stdout] | [INFO] [stdout] 78 | pub fn format_omission(index: usize, description: &str) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `format_summary_line` is never used [INFO] [stdout] --> spec-cli/src/presentation/formatter.rs:83:8 [INFO] [stdout] | [INFO] [stdout] 83 | pub fn format_summary_line(label: &str, value: impl std::fmt::Display) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `format_percentage` is never used [INFO] [stdout] --> spec-cli/src/presentation/formatter.rs:88:8 [INFO] [stdout] | [INFO] [stdout] 88 | pub fn format_percentage(numerator: usize, denominator: usize) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `find_spec_file` is never used [INFO] [stdout] --> spec-cli/src/persistence/store_router.rs:62:8 [INFO] [stdout] | [INFO] [stdout] 62 | pub fn find_spec_file() -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `should_use_standalone_mode` is never used [INFO] [stdout] --> spec-cli/src/persistence/store_router.rs:75:8 [INFO] [stdout] | [INFO] [stdout] 75 | pub fn should_use_standalone_mode() -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_spec_file_path` is never used [INFO] [stdout] --> spec-cli/src/persistence/store_router.rs:80:8 [INFO] [stdout] | [INFO] [stdout] 80 | pub fn get_spec_file_path() -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_edge_kind` is never used [INFO] [stdout] --> spec-cli/src/utils.rs:17:8 [INFO] [stdout] | [INFO] [stdout] 17 | pub fn parse_edge_kind(s: &str) -> SpecEdgeKind { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `node_kind_name` is never used [INFO] [stdout] --> spec-cli/src/utils.rs:49:8 [INFO] [stdout] | [INFO] [stdout] 49 | pub fn node_kind_name(k: i32) -> &'static str { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `edge_kind_name` is never used [INFO] [stdout] --> spec-cli/src/utils.rs:61:8 [INFO] [stdout] | [INFO] [stdout] 61 | pub fn edge_kind_name(k: i32) -> &'static str { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_add_server` is never used [INFO] [stdout] --> spec-cli/src/commands/add.rs:66:14 [INFO] [stdout] | [INFO] [stdout] 66 | pub async fn execute_add_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_add` is never used [INFO] [stdout] --> spec-cli/src/commands/add.rs:137:8 [INFO] [stdout] | [INFO] [stdout] 137 | pub fn execute_add( [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_check_server` is never used [INFO] [stdout] --> spec-cli/src/commands/check.rs:143:14 [INFO] [stdout] | [INFO] [stdout] 143 | pub async fn execute_check_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_check` is never used [INFO] [stdout] --> spec-cli/src/commands/check.rs:220:8 [INFO] [stdout] | [INFO] [stdout] 220 | pub fn execute_check( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_contradictions_server` is never used [INFO] [stdout] --> spec-cli/src/commands/contradictions.rs:105:14 [INFO] [stdout] | [INFO] [stdout] 105 | pub async fn execute_contradictions_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `dispatch_server` is never used [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:304:14 [INFO] [stdout] | [INFO] [stdout] 304 | pub async fn dispatch_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `dispatch_api_server` is never used [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:369:10 [INFO] [stdout] | [INFO] [stdout] 369 | async fn dispatch_api_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_find_server` is never used [INFO] [stdout] --> spec-cli/src/commands/find.rs:97:14 [INFO] [stdout] | [INFO] [stdout] 97 | pub async fn execute_find_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_init` is never used [INFO] [stdout] --> spec-cli/src/commands/init.rs:13:8 [INFO] [stdout] | [INFO] [stdout] 13 | pub fn execute_init(path: String) -> Result<(), Box> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `create_readme` is never used [INFO] [stdout] --> spec-cli/src/commands/init.rs:66:4 [INFO] [stdout] | [INFO] [stdout] 66 | fn create_readme(spec_dir: &Path) -> Result<(), Box> { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `create_start_script` is never used [INFO] [stdout] --> spec-cli/src/commands/init.rs:128:4 [INFO] [stdout] | [INFO] [stdout] 128 | fn create_start_script(spec_dir: &Path) -> Result<(), Box> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `create_stop_script` is never used [INFO] [stdout] --> spec-cli/src/commands/init.rs:179:4 [INFO] [stdout] | [INFO] [stdout] 179 | fn create_stop_script(spec_dir: &Path) -> Result<(), Box> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_detect_layer_inconsistencies_server` is never used [INFO] [stdout] --> spec-cli/src/commands/layer.rs:155:14 [INFO] [stdout] | [INFO] [stdout] 155 | pub async fn execute_detect_layer_inconsistencies_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_omissions_server` is never used [INFO] [stdout] --> spec-cli/src/commands/omissions.rs:32:14 [INFO] [stdout] | [INFO] [stdout] 32 | pub async fn execute_omissions_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_query_standalone` is never used [INFO] [stdout] --> spec-cli/src/commands/query.rs:7:14 [INFO] [stdout] | [INFO] [stdout] 7 | pub async fn execute_query_standalone( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_query_server` is never used [INFO] [stdout] --> spec-cli/src/commands/query.rs:59:14 [INFO] [stdout] | [INFO] [stdout] 59 | pub async fn execute_query_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_trace_server` is never used [INFO] [stdout] --> spec-cli/src/commands/trace.rs:121:14 [INFO] [stdout] | [INFO] [stdout] 121 | pub async fn execute_trace_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_watch_server` is never used [INFO] [stdout] --> spec-cli/src/commands/watch.rs:13:14 [INFO] [stdout] | [INFO] [stdout] 13 | pub async fn execute_watch_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `extract_and_sync` is never used [INFO] [stdout] --> spec-cli/src/commands/watch.rs:83:10 [INFO] [stdout] | [INFO] [stdout] 83 | async fn extract_and_sync( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `verify_specifications` is never used [INFO] [stdout] --> spec-cli/src/commands/watch.rs:149:10 [INFO] [stdout] | [INFO] [stdout] 149 | async fn verify_specifications( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `should_process_event` is never used [INFO] [stdout] --> spec-cli/src/commands/watch.rs:192:4 [INFO] [stdout] | [INFO] [stdout] 192 | fn should_process_event(event: &Event) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 54s [INFO] running `Command { std: "docker" "inspect" "3e82691465da1e6fcfb1671ad78dae6356faa2193238483c490fa92d41f3ce13", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3e82691465da1e6fcfb1671ad78dae6356faa2193238483c490fa92d41f3ce13", kill_on_drop: false }` [INFO] [stdout] 3e82691465da1e6fcfb1671ad78dae6356faa2193238483c490fa92d41f3ce13 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 70001da088727c3dd93391ff6eae7423463cd6a19fc6f04e1df8f188d3c763e1 [INFO] running `Command { std: "docker" "start" "-a" "70001da088727c3dd93391ff6eae7423463cd6a19fc6f04e1df8f188d3c763e1", kill_on_drop: false }` [INFO] [stderr] Compiling bitflags v2.11.0 [INFO] [stderr] Compiling rustix v1.1.3 [INFO] [stderr] Compiling linux-raw-sys v0.11.0 [INFO] [stderr] Compiling fastrand v2.3.0 [INFO] [stderr] Compiling bindgen v0.66.1 [INFO] [stderr] Compiling tempfile v3.25.0 [INFO] [stderr] Compiling prost-build v0.13.5 [INFO] [stderr] Compiling tonic-build v0.12.3 [INFO] [stderr] Compiling spec-cli v0.1.0 (/opt/rustwide/workdir/spec-cli) [INFO] [stderr] Compiling specd v0.1.0 (/opt/rustwide/workdir/specd) [INFO] [stderr] Compiling z3-sys v0.8.1 [INFO] [stderr] Compiling z3 v0.12.1 [INFO] [stderr] Compiling spec-core v0.1.0 (/opt/rustwide/workdir/spec-core) [INFO] [stdout] warning: unused import: `ConstraintKind` [INFO] [stdout] --> spec-core/src/prover/z3_backend.rs:12:31 [INFO] [stdout] | [INFO] [stdout] 12 | use crate::udaf::{Constraint, ConstraintKind}; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `metadata_file` is never used [INFO] [stdout] --> spec-core/src/store.rs:132:8 [INFO] [stdout] | [INFO] [stdout] 117 | impl DirectoryStore { [INFO] [stdout] | ------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 132 | fn metadata_file(&self) -> PathBuf { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple methods are never used [INFO] [stdout] --> spec-core/src/prover/mod.rs:245:8 [INFO] [stdout] | [INFO] [stdout] 136 | impl Prover { [INFO] [stdout] | ----------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 245 | fn check_consistency_via_constraints( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 294 | fn check_satisfiability_via_constraints( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 336 | fn detect_obvious_contradiction( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 356 | fn detect_obvious_unsatisfiability( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 375 | fn constraints_conflict(&self, desc_a: &str, desc_b: &str) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 418 | fn extract_minimum(&self, desc: &str) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 433 | fn extract_maximum(&self, desc: &str) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 448 | fn extract_number(&self, s: &str) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `metadata_file` is never used [INFO] [stdout] --> spec-core/src/store.rs:132:8 [INFO] [stdout] | [INFO] [stdout] 117 | impl DirectoryStore { [INFO] [stdout] | ------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 132 | fn metadata_file(&self) -> PathBuf { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple methods are never used [INFO] [stdout] --> spec-core/src/prover/mod.rs:245:8 [INFO] [stdout] | [INFO] [stdout] 136 | impl Prover { [INFO] [stdout] | ----------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 245 | fn check_consistency_via_constraints( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 294 | fn check_satisfiability_via_constraints( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 336 | fn detect_obvious_contradiction( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 356 | fn detect_obvious_unsatisfiability( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 375 | fn constraints_conflict(&self, desc_a: &str, desc_b: &str) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 418 | fn extract_minimum(&self, desc: &str) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 433 | fn extract_maximum(&self, desc: &str) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 448 | fn extract_number(&self, s: &str) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `formatter::*` [INFO] [stdout] --> spec-cli/src/presentation/mod.rs:3:9 [INFO] [stdout] | [INFO] [stdout] 3 | pub use formatter::*; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `NodeKind as CoreNodeKind` [INFO] [stdout] --> spec-cli/src/commands/add.rs:8:24 [INFO] [stdout] | [INFO] [stdout] 8 | use spec_core::{Store, NodeKind as CoreNodeKind}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::proto` [INFO] [stdout] --> spec-cli/src/commands/api.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::proto; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `SpecEdgeKind`, `SpecNodeKind`, and `self` [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:8:20 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::proto::{self, SpecEdgeKind, SpecNodeKind}; [INFO] [stdout] | ^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::collections::HashMap` [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | use std::collections::HashMap; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::path::PathBuf` [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | use std::path::PathBuf; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `tonic::Request` [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | use tonic::Request; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `spec_core::SpecGraph` [INFO] [stdout] --> spec-cli/src/commands/find.rs:14:9 [INFO] [stdout] | [INFO] [stdout] 14 | use spec_core::SpecGraph; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Store` [INFO] [stdout] --> spec-cli/src/commands/init.rs:9:17 [INFO] [stdout] | [INFO] [stdout] 9 | use spec_core::{Store, FileStore, SpecGraph}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Store` [INFO] [stdout] --> spec-cli/src/commands/migrate.rs:12:44 [INFO] [stdout] | [INFO] [stdout] 12 | use spec_core::{DirectoryStore, FileStore, Store}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `spec_core::SpecGraph` [INFO] [stdout] --> spec-cli/src/commands/query.rs:12:9 [INFO] [stdout] | [INFO] [stdout] 12 | use spec_core::SpecGraph; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `spec_core::SpecGraph` [INFO] [stdout] --> spec-cli/src/commands/trace.rs:13:9 [INFO] [stdout] | [INFO] [stdout] 13 | use spec_core::SpecGraph; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `execute_add` [INFO] [stdout] --> spec-cli/src/commands/mod.rs:27:15 [INFO] [stdout] | [INFO] [stdout] 27 | pub use add::{execute_add, execute_add_standalone, execute_add_server}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `execute_check` [INFO] [stdout] --> spec-cli/src/commands/mod.rs:28:17 [INFO] [stdout] | [INFO] [stdout] 28 | pub use check::{execute_check, execute_check_standalone, execute_check_server}; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `dispatch_server` [INFO] [stdout] --> spec-cli/src/commands/mod.rs:30:43 [INFO] [stdout] | [INFO] [stdout] 30 | pub use dispatcher::{dispatch_standalone, dispatch_server}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `execute_detect_layer_inconsistencies_server` [INFO] [stdout] --> spec-cli/src/commands/mod.rs:35:51 [INFO] [stdout] | [INFO] [stdout] 35 | pub use layer::{execute_verify_layers_standalone, execute_detect_layer_inconsistencies_server}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `execute_query_standalone` [INFO] [stdout] --> spec-cli/src/commands/mod.rs:40:17 [INFO] [stdout] | [INFO] [stdout] 40 | pub use query::{execute_query_standalone, execute_query_server}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `proto::spec_oracle_client::SpecOracleClient` [INFO] [stdout] --> spec-cli/src/main.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | use proto::spec_oracle_client::SpecOracleClient; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `SpecEdgeKind` and `SpecNodeKind` [INFO] [stdout] --> spec-cli/src/main.rs:12:13 [INFO] [stdout] | [INFO] [stdout] 12 | use proto::{SpecNodeKind, SpecEdgeKind}; [INFO] [stdout] | ^^^^^^^^^^^^ ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::collections::HashMap` [INFO] [stdout] --> spec-cli/src/main.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | use std::collections::HashMap; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::path::PathBuf` [INFO] [stdout] --> spec-cli/src/main.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | use std::path::PathBuf; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `tonic::Request` [INFO] [stdout] --> spec-cli/src/main.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | use tonic::Request; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `FileStore` and `NodeKind as CoreNodeKind` [INFO] [stdout] --> spec-cli/src/main.rs:17:17 [INFO] [stdout] | [INFO] [stdout] 17 | use spec_core::{FileStore, NodeKind as CoreNodeKind}; [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `persistence::store_router::*` [INFO] [stdout] --> spec-cli/src/main.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | use persistence::store_router::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `client` [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:370:5 [INFO] [stdout] | [INFO] [stdout] 370 | client: &mut SpecOracleClient, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_client` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `is_semantically_related` is never used [INFO] [stdout] --> spec-cli/src/main.rs:503:4 [INFO] [stdout] | [INFO] [stdout] 503 | fn is_semantically_related(content_a: &str, content_b: &str) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `format_node_summary` is never used [INFO] [stdout] --> spec-cli/src/presentation/formatter.rs:40:8 [INFO] [stdout] | [INFO] [stdout] 40 | pub fn format_node_summary( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `format_contradiction` is never used [INFO] [stdout] --> spec-cli/src/presentation/formatter.rs:63:8 [INFO] [stdout] | [INFO] [stdout] 63 | pub fn format_contradiction( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `format_omission` is never used [INFO] [stdout] --> spec-cli/src/presentation/formatter.rs:78:8 [INFO] [stdout] | [INFO] [stdout] 78 | pub fn format_omission(index: usize, description: &str) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `format_summary_line` is never used [INFO] [stdout] --> spec-cli/src/presentation/formatter.rs:83:8 [INFO] [stdout] | [INFO] [stdout] 83 | pub fn format_summary_line(label: &str, value: impl std::fmt::Display) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `format_percentage` is never used [INFO] [stdout] --> spec-cli/src/presentation/formatter.rs:88:8 [INFO] [stdout] | [INFO] [stdout] 88 | pub fn format_percentage(numerator: usize, denominator: usize) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `find_spec_file` is never used [INFO] [stdout] --> spec-cli/src/persistence/store_router.rs:62:8 [INFO] [stdout] | [INFO] [stdout] 62 | pub fn find_spec_file() -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_spec_file_path` is never used [INFO] [stdout] --> spec-cli/src/persistence/store_router.rs:80:8 [INFO] [stdout] | [INFO] [stdout] 80 | pub fn get_spec_file_path() -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_edge_kind` is never used [INFO] [stdout] --> spec-cli/src/utils.rs:17:8 [INFO] [stdout] | [INFO] [stdout] 17 | pub fn parse_edge_kind(s: &str) -> SpecEdgeKind { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `node_kind_name` is never used [INFO] [stdout] --> spec-cli/src/utils.rs:49:8 [INFO] [stdout] | [INFO] [stdout] 49 | pub fn node_kind_name(k: i32) -> &'static str { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `edge_kind_name` is never used [INFO] [stdout] --> spec-cli/src/utils.rs:61:8 [INFO] [stdout] | [INFO] [stdout] 61 | pub fn edge_kind_name(k: i32) -> &'static str { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_add_server` is never used [INFO] [stdout] --> spec-cli/src/commands/add.rs:66:14 [INFO] [stdout] | [INFO] [stdout] 66 | pub async fn execute_add_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_add` is never used [INFO] [stdout] --> spec-cli/src/commands/add.rs:137:8 [INFO] [stdout] | [INFO] [stdout] 137 | pub fn execute_add( [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_check_server` is never used [INFO] [stdout] --> spec-cli/src/commands/check.rs:143:14 [INFO] [stdout] | [INFO] [stdout] 143 | pub async fn execute_check_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_check` is never used [INFO] [stdout] --> spec-cli/src/commands/check.rs:220:8 [INFO] [stdout] | [INFO] [stdout] 220 | pub fn execute_check( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_contradictions_server` is never used [INFO] [stdout] --> spec-cli/src/commands/contradictions.rs:105:14 [INFO] [stdout] | [INFO] [stdout] 105 | pub async fn execute_contradictions_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `dispatch_server` is never used [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:304:14 [INFO] [stdout] | [INFO] [stdout] 304 | pub async fn dispatch_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `dispatch_api_server` is never used [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:369:10 [INFO] [stdout] | [INFO] [stdout] 369 | async fn dispatch_api_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_find_server` is never used [INFO] [stdout] --> spec-cli/src/commands/find.rs:97:14 [INFO] [stdout] | [INFO] [stdout] 97 | pub async fn execute_find_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_init` is never used [INFO] [stdout] --> spec-cli/src/commands/init.rs:13:8 [INFO] [stdout] | [INFO] [stdout] 13 | pub fn execute_init(path: String) -> Result<(), Box> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `create_readme` is never used [INFO] [stdout] --> spec-cli/src/commands/init.rs:66:4 [INFO] [stdout] | [INFO] [stdout] 66 | fn create_readme(spec_dir: &Path) -> Result<(), Box> { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `create_start_script` is never used [INFO] [stdout] --> spec-cli/src/commands/init.rs:128:4 [INFO] [stdout] | [INFO] [stdout] 128 | fn create_start_script(spec_dir: &Path) -> Result<(), Box> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `create_stop_script` is never used [INFO] [stdout] --> spec-cli/src/commands/init.rs:179:4 [INFO] [stdout] | [INFO] [stdout] 179 | fn create_stop_script(spec_dir: &Path) -> Result<(), Box> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_detect_layer_inconsistencies_server` is never used [INFO] [stdout] --> spec-cli/src/commands/layer.rs:155:14 [INFO] [stdout] | [INFO] [stdout] 155 | pub async fn execute_detect_layer_inconsistencies_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_omissions_server` is never used [INFO] [stdout] --> spec-cli/src/commands/omissions.rs:32:14 [INFO] [stdout] | [INFO] [stdout] 32 | pub async fn execute_omissions_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_query_standalone` is never used [INFO] [stdout] --> spec-cli/src/commands/query.rs:7:14 [INFO] [stdout] | [INFO] [stdout] 7 | pub async fn execute_query_standalone( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_query_server` is never used [INFO] [stdout] --> spec-cli/src/commands/query.rs:59:14 [INFO] [stdout] | [INFO] [stdout] 59 | pub async fn execute_query_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_trace_server` is never used [INFO] [stdout] --> spec-cli/src/commands/trace.rs:121:14 [INFO] [stdout] | [INFO] [stdout] 121 | pub async fn execute_trace_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_watch_server` is never used [INFO] [stdout] --> spec-cli/src/commands/watch.rs:13:14 [INFO] [stdout] | [INFO] [stdout] 13 | pub async fn execute_watch_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `extract_and_sync` is never used [INFO] [stdout] --> spec-cli/src/commands/watch.rs:83:10 [INFO] [stdout] | [INFO] [stdout] 83 | async fn extract_and_sync( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `verify_specifications` is never used [INFO] [stdout] --> spec-cli/src/commands/watch.rs:149:10 [INFO] [stdout] | [INFO] [stdout] 149 | async fn verify_specifications( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `should_process_event` is never used [INFO] [stdout] --> spec-cli/src/commands/watch.rs:192:4 [INFO] [stdout] | [INFO] [stdout] 192 | fn should_process_event(event: &Event) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 34.19s [INFO] running `Command { std: "docker" "inspect" "70001da088727c3dd93391ff6eae7423463cd6a19fc6f04e1df8f188d3c763e1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "70001da088727c3dd93391ff6eae7423463cd6a19fc6f04e1df8f188d3c763e1", kill_on_drop: false }` [INFO] [stdout] 70001da088727c3dd93391ff6eae7423463cd6a19fc6f04e1df8f188d3c763e1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] e508c2da45fb244c982cd5e7f3ef6e0a888cbfbb5cd676fb711b453a60778e3b [INFO] running `Command { std: "docker" "start" "-a" "e508c2da45fb244c982cd5e7f3ef6e0a888cbfbb5cd676fb711b453a60778e3b", kill_on_drop: false }` [INFO] [stderr] warning: unused import: `ConstraintKind` [INFO] [stderr] --> spec-core/src/prover/z3_backend.rs:12:31 [INFO] [stderr] | [INFO] [stderr] 12 | use crate::udaf::{Constraint, ConstraintKind}; [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: method `metadata_file` is never used [INFO] [stderr] --> spec-core/src/store.rs:132:8 [INFO] [stderr] | [INFO] [stderr] 117 | impl DirectoryStore { [INFO] [stderr] | ------------------- method in this implementation [INFO] [stderr] ... [INFO] [stderr] 132 | fn metadata_file(&self) -> PathBuf { [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: multiple methods are never used [INFO] [stderr] --> spec-core/src/prover/mod.rs:245:8 [INFO] [stderr] | [INFO] [stderr] 136 | impl Prover { [INFO] [stderr] | ----------- methods in this implementation [INFO] [stderr] ... [INFO] [stderr] 245 | fn check_consistency_via_constraints( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 294 | fn check_satisfiability_via_constraints( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 336 | fn detect_obvious_contradiction( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 356 | fn detect_obvious_unsatisfiability( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 375 | fn constraints_conflict(&self, desc_a: &str, desc_b: &str) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 418 | fn extract_minimum(&self, desc: &str) -> Option { [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 433 | fn extract_maximum(&self, desc: &str) -> Option { [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 448 | fn extract_number(&self, s: &str) -> Option { [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: `spec-core` (lib) generated 3 warnings (run `cargo fix --lib -p spec-core` to apply 1 suggestion) [INFO] [stderr] warning: `spec-core` (lib test) generated 2 warnings (2 duplicates) [INFO] [stderr] warning: unused import: `formatter::*` [INFO] [stderr] --> spec-cli/src/presentation/mod.rs:3:9 [INFO] [stderr] | [INFO] [stderr] 3 | pub use formatter::*; [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `NodeKind as CoreNodeKind` [INFO] [stderr] --> spec-cli/src/commands/add.rs:8:24 [INFO] [stderr] | [INFO] [stderr] 8 | use spec_core::{Store, NodeKind as CoreNodeKind}; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::proto` [INFO] [stderr] --> spec-cli/src/commands/api.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use crate::proto; [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `SpecEdgeKind`, `SpecNodeKind`, and `self` [INFO] [stderr] --> spec-cli/src/commands/dispatcher.rs:8:20 [INFO] [stderr] | [INFO] [stderr] 8 | use crate::proto::{self, SpecEdgeKind, SpecNodeKind}; [INFO] [stderr] | ^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::collections::HashMap` [INFO] [stderr] --> spec-cli/src/commands/dispatcher.rs:13:5 [INFO] [stderr] | [INFO] [stderr] 13 | use std::collections::HashMap; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::path::PathBuf` [INFO] [stderr] --> spec-cli/src/commands/dispatcher.rs:14:5 [INFO] [stderr] | [INFO] [stderr] 14 | use std::path::PathBuf; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `tonic::Request` [INFO] [stderr] --> spec-cli/src/commands/dispatcher.rs:15:5 [INFO] [stderr] | [INFO] [stderr] 15 | use tonic::Request; [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `spec_core::SpecGraph` [INFO] [stderr] --> spec-cli/src/commands/find.rs:14:9 [INFO] [stderr] | [INFO] [stderr] 14 | use spec_core::SpecGraph; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `Store` [INFO] [stderr] --> spec-cli/src/commands/init.rs:9:17 [INFO] [stderr] | [INFO] [stderr] 9 | use spec_core::{Store, FileStore, SpecGraph}; [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `Store` [INFO] [stderr] --> spec-cli/src/commands/migrate.rs:12:44 [INFO] [stderr] | [INFO] [stderr] 12 | use spec_core::{DirectoryStore, FileStore, Store}; [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `spec_core::SpecGraph` [INFO] [stderr] --> spec-cli/src/commands/query.rs:12:9 [INFO] [stderr] | [INFO] [stderr] 12 | use spec_core::SpecGraph; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `spec_core::SpecGraph` [INFO] [stderr] --> spec-cli/src/commands/trace.rs:13:9 [INFO] [stderr] | [INFO] [stderr] 13 | use spec_core::SpecGraph; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `execute_add` [INFO] [stderr] --> spec-cli/src/commands/mod.rs:27:15 [INFO] [stderr] | [INFO] [stderr] 27 | pub use add::{execute_add, execute_add_standalone, execute_add_server}; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `execute_check` [INFO] [stderr] --> spec-cli/src/commands/mod.rs:28:17 [INFO] [stderr] | [INFO] [stderr] 28 | pub use check::{execute_check, execute_check_standalone, execute_check_server}; [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `dispatch_server` [INFO] [stderr] --> spec-cli/src/commands/mod.rs:30:43 [INFO] [stderr] | [INFO] [stderr] 30 | pub use dispatcher::{dispatch_standalone, dispatch_server}; [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `execute_detect_layer_inconsistencies_server` [INFO] [stderr] --> spec-cli/src/commands/mod.rs:35:51 [INFO] [stderr] | [INFO] [stderr] 35 | pub use layer::{execute_verify_layers_standalone, execute_detect_layer_inconsistencies_server}; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `execute_query_standalone` [INFO] [stderr] --> spec-cli/src/commands/mod.rs:40:17 [INFO] [stderr] | [INFO] [stderr] 40 | pub use query::{execute_query_standalone, execute_query_server}; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `proto::spec_oracle_client::SpecOracleClient` [INFO] [stderr] --> spec-cli/src/main.rs:11:5 [INFO] [stderr] | [INFO] [stderr] 11 | use proto::spec_oracle_client::SpecOracleClient; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `SpecEdgeKind` and `SpecNodeKind` [INFO] [stderr] --> spec-cli/src/main.rs:12:13 [INFO] [stderr] | [INFO] [stderr] 12 | use proto::{SpecNodeKind, SpecEdgeKind}; [INFO] [stderr] | ^^^^^^^^^^^^ ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::collections::HashMap` [INFO] [stderr] --> spec-cli/src/main.rs:13:5 [INFO] [stderr] | [INFO] [stderr] 13 | use std::collections::HashMap; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::path::PathBuf` [INFO] [stderr] --> spec-cli/src/main.rs:14:5 [INFO] [stderr] | [INFO] [stderr] 14 | use std::path::PathBuf; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `tonic::Request` [INFO] [stderr] --> spec-cli/src/main.rs:15:5 [INFO] [stderr] | [INFO] [stderr] 15 | use tonic::Request; [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `FileStore` and `NodeKind as CoreNodeKind` [INFO] [stderr] --> spec-cli/src/main.rs:17:17 [INFO] [stderr] | [INFO] [stderr] 17 | use spec_core::{FileStore, NodeKind as CoreNodeKind}; [INFO] [stderr] | ^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `persistence::store_router::*` [INFO] [stderr] --> spec-cli/src/main.rs:19:5 [INFO] [stderr] | [INFO] [stderr] 19 | use persistence::store_router::*; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `client` [INFO] [stderr] --> spec-cli/src/commands/dispatcher.rs:370:5 [INFO] [stderr] | [INFO] [stderr] 370 | client: &mut SpecOracleClient, [INFO] [stderr] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_client` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: function `is_semantically_related` is never used [INFO] [stderr] --> spec-cli/src/main.rs:503:4 [INFO] [stderr] | [INFO] [stderr] 503 | fn is_semantically_related(content_a: &str, content_b: &str) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: function `format_node_summary` is never used [INFO] [stderr] --> spec-cli/src/presentation/formatter.rs:40:8 [INFO] [stderr] | [INFO] [stderr] 40 | pub fn format_node_summary( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `format_contradiction` is never used [INFO] [stderr] --> spec-cli/src/presentation/formatter.rs:63:8 [INFO] [stderr] | [INFO] [stderr] 63 | pub fn format_contradiction( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `format_omission` is never used [INFO] [stderr] --> spec-cli/src/presentation/formatter.rs:78:8 [INFO] [stderr] | [INFO] [stderr] 78 | pub fn format_omission(index: usize, description: &str) -> String { [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `format_summary_line` is never used [INFO] [stderr] --> spec-cli/src/presentation/formatter.rs:83:8 [INFO] [stderr] | [INFO] [stderr] 83 | pub fn format_summary_line(label: &str, value: impl std::fmt::Display) -> String { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `format_percentage` is never used [INFO] [stderr] --> spec-cli/src/presentation/formatter.rs:88:8 [INFO] [stderr] | [INFO] [stderr] 88 | pub fn format_percentage(numerator: usize, denominator: usize) -> String { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `find_spec_file` is never used [INFO] [stderr] --> spec-cli/src/persistence/store_router.rs:62:8 [INFO] [stderr] | [INFO] [stderr] 62 | pub fn find_spec_file() -> Option { [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `get_spec_file_path` is never used [INFO] [stderr] --> spec-cli/src/persistence/store_router.rs:80:8 [INFO] [stderr] | [INFO] [stderr] 80 | pub fn get_spec_file_path() -> Option { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `parse_edge_kind` is never used [INFO] [stderr] --> spec-cli/src/utils.rs:17:8 [INFO] [stderr] | [INFO] [stderr] 17 | pub fn parse_edge_kind(s: &str) -> SpecEdgeKind { [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `node_kind_name` is never used [INFO] [stderr] --> spec-cli/src/utils.rs:49:8 [INFO] [stderr] | [INFO] [stderr] 49 | pub fn node_kind_name(k: i32) -> &'static str { [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `edge_kind_name` is never used [INFO] [stderr] --> spec-cli/src/utils.rs:61:8 [INFO] [stderr] | [INFO] [stderr] 61 | pub fn edge_kind_name(k: i32) -> &'static str { [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `execute_add_server` is never used [INFO] [stderr] --> spec-cli/src/commands/add.rs:66:14 [INFO] [stderr] | [INFO] [stderr] 66 | pub async fn execute_add_server( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `execute_add` is never used [INFO] [stderr] --> spec-cli/src/commands/add.rs:137:8 [INFO] [stderr] | [INFO] [stderr] 137 | pub fn execute_add( [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `execute_check_server` is never used [INFO] [stderr] --> spec-cli/src/commands/check.rs:143:14 [INFO] [stderr] | [INFO] [stderr] 143 | pub async fn execute_check_server( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `execute_check` is never used [INFO] [stderr] --> spec-cli/src/commands/check.rs:220:8 [INFO] [stderr] | [INFO] [stderr] 220 | pub fn execute_check( [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `execute_contradictions_server` is never used [INFO] [stderr] --> spec-cli/src/commands/contradictions.rs:105:14 [INFO] [stderr] | [INFO] [stderr] 105 | pub async fn execute_contradictions_server( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `dispatch_server` is never used [INFO] [stderr] --> spec-cli/src/commands/dispatcher.rs:304:14 [INFO] [stderr] | [INFO] [stderr] 304 | pub async fn dispatch_server( [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `dispatch_api_server` is never used [INFO] [stderr] --> spec-cli/src/commands/dispatcher.rs:369:10 [INFO] [stderr] | [INFO] [stderr] 369 | async fn dispatch_api_server( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `execute_find_server` is never used [INFO] [stderr] --> spec-cli/src/commands/find.rs:97:14 [INFO] [stderr] | [INFO] [stderr] 97 | pub async fn execute_find_server( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `execute_init` is never used [INFO] [stderr] --> spec-cli/src/commands/init.rs:13:8 [INFO] [stderr] | [INFO] [stderr] 13 | pub fn execute_init(path: String) -> Result<(), Box> { [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `create_readme` is never used [INFO] [stderr] --> spec-cli/src/commands/init.rs:66:4 [INFO] [stderr] | [INFO] [stderr] 66 | fn create_readme(spec_dir: &Path) -> Result<(), Box> { [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `create_start_script` is never used [INFO] [stderr] --> spec-cli/src/commands/init.rs:128:4 [INFO] [stderr] | [INFO] [stderr] 128 | fn create_start_script(spec_dir: &Path) -> Result<(), Box> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `create_stop_script` is never used [INFO] [stderr] --> spec-cli/src/commands/init.rs:179:4 [INFO] [stderr] | [INFO] [stderr] 179 | fn create_stop_script(spec_dir: &Path) -> Result<(), Box> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `execute_detect_layer_inconsistencies_server` is never used [INFO] [stderr] --> spec-cli/src/commands/layer.rs:155:14 [INFO] [stderr] | [INFO] [stderr] 155 | pub async fn execute_detect_layer_inconsistencies_server( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `execute_omissions_server` is never used [INFO] [stderr] --> spec-cli/src/commands/omissions.rs:32:14 [INFO] [stderr] | [INFO] [stderr] 32 | pub async fn execute_omissions_server( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `execute_query_standalone` is never used [INFO] [stderr] --> spec-cli/src/commands/query.rs:7:14 [INFO] [stderr] | [INFO] [stderr] 7 | pub async fn execute_query_standalone( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `execute_query_server` is never used [INFO] [stderr] --> spec-cli/src/commands/query.rs:59:14 [INFO] [stderr] | [INFO] [stderr] 59 | pub async fn execute_query_server( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `execute_trace_server` is never used [INFO] [stderr] --> spec-cli/src/commands/trace.rs:121:14 [INFO] [stderr] | [INFO] [stderr] 121 | pub async fn execute_trace_server( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `execute_watch_server` is never used [INFO] [stderr] --> spec-cli/src/commands/watch.rs:13:14 [INFO] [stderr] | [INFO] [stderr] 13 | pub async fn execute_watch_server( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `extract_and_sync` is never used [INFO] [stderr] --> spec-cli/src/commands/watch.rs:83:10 [INFO] [stderr] | [INFO] [stderr] 83 | async fn extract_and_sync( [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `verify_specifications` is never used [INFO] [stderr] --> spec-cli/src/commands/watch.rs:149:10 [INFO] [stderr] | [INFO] [stderr] 149 | async fn verify_specifications( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `should_process_event` is never used [INFO] [stderr] --> spec-cli/src/commands/watch.rs:192:4 [INFO] [stderr] | [INFO] [stderr] 192 | fn should_process_event(event: &Event) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: `spec-cli` (bin "spec" test) generated 57 warnings (run `cargo fix --bin "spec" -p spec-cli --tests` to apply 25 suggestions) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.38s [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/spec-718a2011960d821d) [INFO] [stdout] [INFO] [stdout] running 7 tests [INFO] [stdout] test persistence::store_router::tests::test_find_spec_dir ... ok [INFO] [stdout] test persistence::store_router::tests::test_should_use_standalone_mode ... ok [INFO] [stdout] test persistence::store_router::tests::test_detect_storage_type ... ok [INFO] [stdout] test utils::tests::test_infer_spec_kind_assertion ... ok [INFO] [stdout] test utils::tests::test_infer_spec_kind_definition ... ok [INFO] [stdout] test utils::tests::test_infer_spec_kind_constraint ... ok [INFO] [stdout] test utils::tests::test_infer_spec_kind_scenario ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/spec_core-a222993241858591) [INFO] [stdout] [INFO] [stdout] running 73 tests [INFO] [stdout] test ai_semantic::tests::test_cache_key_is_order_independent ... ok [INFO] [stdout] test ai_semantic::tests::test_normalization ... ok [INFO] [stdout] test extract::tests::ingest_inferred_specs ... ok [INFO] [stdout] test extract::proto_extractor_tests::test_extract_rpc_definitions ... ok [INFO] [stdout] test graph::tests::add_and_list_edges ... ok [INFO] [stdout] test graph::tests::add_edge_node_not_found ... ok [INFO] [stdout] test graph::tests::calculate_compliance_low_match ... ok [INFO] [stdout] test graph::tests::calculate_compliance_constraint_high_match ... ok [INFO] [stdout] test graph::tests::add_and_get_node ... ok [INFO] [stdout] test graph::tests::calculate_compliance_scenario_matching ... ok [INFO] [stdout] test graph::tests::compliance_report_empty ... ok [INFO] [stdout] test graph::tests::compliance_report_with_linked_code ... ok [INFO] [stdout] test graph::tests::detect_duplicate_specifications ... ok [INFO] [stdout] test graph::tests::calculate_compliance_nonexistent_node ... ok [INFO] [stdout] test graph::tests::detect_inter_universe_inconsistencies_empty ... ok [INFO] [stdout] test graph::tests::detect_layer_inconsistency_wrong_direction ... ok [INFO] [stdout] test graph::tests::detect_inter_universe_inconsistencies_missing_transform ... ok [INFO] [stdout] test graph::tests::detect_omission_isolated_node ... ok [INFO] [stdout] test graph::tests::detect_omission_scenario_without_assertions ... ok [INFO] [stdout] test graph::tests::filter_by_formality_layer ... ok [INFO] [stdout] test graph::tests::find_related_terms_by_context ... ok [INFO] [stdout] test graph::tests::generate_contract_template_python ... ok [INFO] [stdout] test graph::tests::generate_contract_template_returns_none_for_non_testable ... ok [INFO] [stdout] test graph::tests::generate_contract_template_for_scenario ... ok [INFO] [stdout] test graph::tests::get_compliance_trend_no_data ... ok [INFO] [stdout] test graph::tests::diff_timestamps_shows_no_changes_for_stable_graph ... ok [INFO] [stdout] test graph::tests::extract_keywords_filters_stopwords ... ok [INFO] [stdout] test graph::tests::generate_contract_template_for_constraint ... ok [INFO] [stdout] test graph::tests::diff_timestamps_detects_added_nodes ... ok [INFO] [stdout] test graph::tests::get_compliance_trend_with_data ... ok [INFO] [stdout] test graph::tests::get_node_history_nonexistent_returns_none ... ok [INFO] [stdout] test graph::tests::get_node_history_shows_creation ... ok [INFO] [stdout] test graph::tests::get_compliance_trend_stable ... ok [INFO] [stdout] test graph::tests::list_nodes_with_filter ... ok [INFO] [stdout] test graph::tests::get_node_history_shows_edge_additions ... ok [INFO] [stdout] test graph::tests::detect_omission_domain_without_refinements ... ok [INFO] [stdout] test graph::tests::get_compliance_trend_degrading ... ok [INFO] [stdout] test graph::tests::detect_no_layer_inconsistency_correct_direction ... ok [INFO] [stdout] test graph::tests::detect_potential_synonyms_by_structure ... ok [INFO] [stdout] test extract::tests::extract_from_rust_file ... ok [INFO] [stdout] test graph::tests::query_at_timestamp_empty_graph ... ok [INFO] [stdout] test graph::tests::detect_inter_universe_inconsistencies_with_transform ... ok [INFO] [stdout] test graph::tests::remove_node ... ok [INFO] [stdout] test graph::tests::resolve_terminology ... ok [INFO] [stdout] test graph::tests::no_duplicate_detection_for_synonym_edges ... ok [INFO] [stdout] test ai_semantic::tests::test_same_layer_comparison_no_longer_rejected ... ok [INFO] [stdout] test graph::tests::no_synonyms_when_already_marked ... ok [INFO] [stdout] test graph::tests::test_coverage_with_tests ... ok [INFO] [stdout] test graph::tests::update_node_metadata_works ... ok [INFO] [stdout] test graph::tests::find_formalizations_of_node ... ok [INFO] [stdout] test graph::tests::query_at_timestamp_filters_by_time ... ok [INFO] [stdout] test graph::tests::search_nodes ... ok [INFO] [stdout] test graph::tests::serialize_deserialize_roundtrip ... ok [INFO] [stdout] test graph::tests::test_coverage_empty_graph ... ok [INFO] [stdout] test graph::tests::test_coverage_ignores_non_testable_nodes ... ok [INFO] [stdout] test graph::tests::test_coverage_no_tests ... ok [INFO] [stdout] test store::directory_store_tests::directory_store_load_nonexistent ... ok [INFO] [stdout] test store::tests::load_nonexistent_returns_empty ... ok [INFO] [stdout] test store::tests::save_and_load_roundtrip ... ok [INFO] [stdout] test store::directory_store_tests::directory_store_roundtrip ... ok [INFO] [stdout] test graph::tests::detect_explicit_contradiction ... ok [INFO] [stdout] test prover::z3_backend::tests::z3_satisfiability_empty ... ok [INFO] [stdout] test prover::tests::prove_satisfiability_empty_constraints ... ok [INFO] [stdout] test prover::tests::prove_satisfiability_conflicting_constraints ... ok [INFO] [stdout] test prover::tests::list_proofs_for_spec ... ok [INFO] [stdout] test prover::z3_backend::tests::z3_satisfiability_contradictory ... ok [INFO] [stdout] test prover::tests::prove_consistency_conflicting_specs ... ok [INFO] [stdout] test prover::z3_backend::tests::z3_consistency_contradictory ... ok [INFO] [stdout] test prover::tests::prove_consistency_compatible_specs ... ok [INFO] [stdout] test graph::tests::detect_semantic_contradiction_password_length ... ok [INFO] [stdout] test prover::tests::prove_satisfiability_consistent_constraints ... ok [INFO] [stdout] test prover::z3_backend::tests::z3_consistency_compatible ... ok [INFO] [stdout] test prover::z3_backend::tests::z3_satisfiability_consistent ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 73 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.32s [INFO] [stdout] [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/specd-41b2fd0a5cc92bfe) [INFO] [stdout] [INFO] [stderr] Doc-tests spec_core [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "e508c2da45fb244c982cd5e7f3ef6e0a888cbfbb5cd676fb711b453a60778e3b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e508c2da45fb244c982cd5e7f3ef6e0a888cbfbb5cd676fb711b453a60778e3b", kill_on_drop: false }` [INFO] [stdout] e508c2da45fb244c982cd5e7f3ef6e0a888cbfbb5cd676fb711b453a60778e3b