[INFO] cloning repository https://github.com/Yashasvi-Sriram/legos [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Yashasvi-Sriram/legos" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FYashasvi-Sriram%2Flegos", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FYashasvi-Sriram%2Flegos'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] ed1829b6b8c74fb6b0216aa07855884a152ecdf1 [INFO] checking Yashasvi-Sriram/legos against master#dfd7b8d03fb93d0e03147d28b3be6d93260fa94d for pr-87050 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FYashasvi-Sriram%2Flegos" "/workspace/builds/worker-0/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/Yashasvi-Sriram/legos on toolchain dfd7b8d03fb93d0e03147d28b3be6d93260fa94d [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+dfd7b8d03fb93d0e03147d28b3be6d93260fa94d" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/Yashasvi-Sriram/legos [INFO] finished tweaking git repo https://github.com/Yashasvi-Sriram/legos [INFO] tweaked toml for git repo https://github.com/Yashasvi-Sriram/legos written to /workspace/builds/worker-0/source/Cargo.toml [INFO] crate git repo https://github.com/Yashasvi-Sriram/legos already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+dfd7b8d03fb93d0e03147d28b3be6d93260fa94d" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+dfd7b8d03fb93d0e03147d28b3be6d93260fa94d" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] a5cf34dd41f6d3a64b3621e5aed5213a6bc285cf11ca82421c70543ff36c0118 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "a5cf34dd41f6d3a64b3621e5aed5213a6bc285cf11ca82421c70543ff36c0118", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "a5cf34dd41f6d3a64b3621e5aed5213a6bc285cf11ca82421c70543ff36c0118", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a5cf34dd41f6d3a64b3621e5aed5213a6bc285cf11ca82421c70543ff36c0118", kill_on_drop: false }` [INFO] [stdout] a5cf34dd41f6d3a64b3621e5aed5213a6bc285cf11ca82421c70543ff36c0118 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/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" "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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+dfd7b8d03fb93d0e03147d28b3be6d93260fa94d" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] f42c2c1851dcee271deb35c4e95beddbace0a3ad010fe47149c393f29576d2de [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "f42c2c1851dcee271deb35c4e95beddbace0a3ad010fe47149c393f29576d2de", kill_on_drop: false }` [INFO] [stderr] Compiling autocfg v1.0.1 [INFO] [stderr] Compiling libm v0.2.1 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Compiling proc-macro-hack v0.5.19 [INFO] [stderr] Checking ppv-lite86 v0.2.10 [INFO] [stderr] Compiling typenum v1.13.0 [INFO] [stderr] Compiling serde v1.0.126 [INFO] [stderr] Compiling ryu v1.0.5 [INFO] [stderr] Compiling serde_json v1.0.64 [INFO] [stderr] Checking rawpointer v0.2.1 [INFO] [stderr] Checking itoa v0.4.7 [INFO] [stderr] Checking byteorder v1.4.3 [INFO] [stderr] Checking getrandom v0.1.16 [INFO] [stderr] Checking matrixmultiply v0.2.4 [INFO] [stderr] Checking rand_core v0.5.1 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling num-complex v0.2.4 [INFO] [stderr] Compiling num-integer v0.1.44 [INFO] [stderr] Compiling num-rational v0.2.4 [INFO] [stderr] Checking gnuplot v0.0.37 [INFO] [stderr] Checking rand_chacha v0.2.2 [INFO] [stderr] Checking rand v0.7.3 [INFO] [stderr] Compiling paste-impl v0.1.18 [INFO] [stderr] Checking generic-array v0.13.3 [INFO] [stderr] Checking rand_distr v0.2.2 [INFO] [stderr] Checking approx v0.3.2 [INFO] [stderr] Checking paste v0.1.18 [INFO] [stderr] Checking simba v0.1.5 [INFO] [stderr] Checking nalgebra v0.21.1 [INFO] [stderr] Checking stralg v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] --> src/bin/knapsack_01/main.rs:25:9 [INFO] [stdout] | [INFO] [stdout] 25 | use structures_and_algorithms::fitting::linear_regression; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] --> src/bin/power_set.rs:39:9 [INFO] [stdout] | [INFO] [stdout] 39 | use structures_and_algorithms::proof::{BigO, ComplexityProof, CorrectnessProof}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0601]: `main` function not found in crate `sort` [INFO] [stdout] --> src/bin/sort/main.rs:1:1 [INFO] [stdout] | [INFO] [stdout] 1 | / //! Given a list of integers, sort them in ascending order. [INFO] [stdout] 2 | | [INFO] [stdout] 3 | | mod merge_sort; [INFO] [stdout] | |_______________^ consider adding a `main` function to `src/bin/sort/main.rs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] --> src/bin/knapsack_01/main.rs:27:9 [INFO] [stdout] | [INFO] [stdout] 27 | use structures_and_algorithms::postprocessing::{max_abs_median_batched, sqrt_mean_squared}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] --> src/bin/knapsack_01/main.rs:28:9 [INFO] [stdout] | [INFO] [stdout] 28 | use structures_and_algorithms::preprocessing::pretty_scale; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] --> src/bin/knapsack_01/exponential.rs:82:9 [INFO] [stdout] | [INFO] [stdout] 82 | use structures_and_algorithms::proof::{BigO, ComplexityProof, CorrectnessProof}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `structures_and_algorithms` [INFO] [stdout] --> src/bin/knapsack_01/main.rs:26:9 [INFO] [stdout] | [INFO] [stdout] 26 | use structures_and_algorithms::function_path; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] --> src/bin/knapsack_01/exponential_with_pruning.rs:89:9 [INFO] [stdout] | [INFO] [stdout] 89 | use structures_and_algorithms::proof::{BigO, ComplexityProof, CorrectnessProof}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `structures_and_algorithms` [INFO] [stdout] --> src/bin/knapsack_01/exponential.rs:83:9 [INFO] [stdout] | [INFO] [stdout] 83 | use structures_and_algorithms::test_suite; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] --> src/bin/knapsack_01/exponential_with_pruning_and_implicit_comparision.rs:92:9 [INFO] [stdout] | [INFO] [stdout] 92 | use structures_and_algorithms::proof::{BigO, ComplexityProof, CorrectnessProof}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `structures_and_algorithms` [INFO] [stdout] --> src/bin/knapsack_01/exponential_with_pruning.rs:90:9 [INFO] [stdout] | [INFO] [stdout] 90 | use structures_and_algorithms::test_suite; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `structures_and_algorithms` [INFO] [stdout] --> src/bin/knapsack_01/exponential_with_pruning_and_implicit_comparision.rs:93:9 [INFO] [stdout] | [INFO] [stdout] 93 | use structures_and_algorithms::test_suite; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `test_suite` [INFO] [stdout] --> src/bin/knapsack_01/exponential.rs:85:5 [INFO] [stdout] | [INFO] [stdout] 85 | test_suite!(full_inventory,); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `test_suite` [INFO] [stdout] --> src/bin/knapsack_01/exponential_with_pruning.rs:92:5 [INFO] [stdout] | [INFO] [stdout] 92 | test_suite!(full_inventory,); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `test_suite` [INFO] [stdout] --> src/bin/knapsack_01/exponential_with_pruning_and_implicit_comparision.rs:95:5 [INFO] [stdout] | [INFO] [stdout] 95 | test_suite!(full_inventory,); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `function_path` [INFO] [stdout] --> src/bin/knapsack_01/main.rs:136:58 [INFO] [stdout] | [INFO] [stdout] 136 | fg.echo_to_file(&format!("test_logs/{}.gnuplot", function_path!())); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `CorrectnessProof` [INFO] [stdout] --> src/bin/knapsack_01/exponential.rs:88:9 [INFO] [stdout] | [INFO] [stdout] 88 | CorrectnessProof::Inferred [INFO] [stdout] | ^^^^^^^^^^^^^^^^ use of undeclared type `CorrectnessProof` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0601`. [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ComplexityProof` [INFO] [stdout] --> src/bin/knapsack_01/exponential.rs:92:9 [INFO] [stdout] | [INFO] [stdout] 92 | ComplexityProof::Inferred(BigO::TwoToN) [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared type `ComplexityProof` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BigO` [INFO] [stdout] --> src/bin/knapsack_01/exponential.rs:92:35 [INFO] [stdout] | [INFO] [stdout] 92 | ComplexityProof::Inferred(BigO::TwoToN) [INFO] [stdout] | ^^^^ use of undeclared type `BigO` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `stralg` [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ComplexityProof` [INFO] [stdout] --> src/bin/knapsack_01/exponential.rs:96:9 [INFO] [stdout] | [INFO] [stdout] 96 | ComplexityProof::Because( [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared type `ComplexityProof` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BigO` [INFO] [stdout] --> src/bin/knapsack_01/exponential.rs:98:13 [INFO] [stdout] | [INFO] [stdout] 98 | BigO::TwoToN, [INFO] [stdout] | ^^^^ use of undeclared type `BigO` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `CorrectnessProof` [INFO] [stdout] --> src/bin/knapsack_01/exponential_with_pruning.rs:95:9 [INFO] [stdout] | [INFO] [stdout] 95 | CorrectnessProof::Inferred [INFO] [stdout] | ^^^^^^^^^^^^^^^^ use of undeclared type `CorrectnessProof` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ComplexityProof` [INFO] [stdout] --> src/bin/knapsack_01/exponential_with_pruning.rs:99:9 [INFO] [stdout] | [INFO] [stdout] 99 | ComplexityProof::Inferred(BigO::TwoToN) [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared type `ComplexityProof` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BigO` [INFO] [stdout] --> src/bin/knapsack_01/exponential_with_pruning.rs:99:35 [INFO] [stdout] | [INFO] [stdout] 99 | ComplexityProof::Inferred(BigO::TwoToN) [INFO] [stdout] | ^^^^ use of undeclared type `BigO` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ComplexityProof` [INFO] [stdout] --> src/bin/knapsack_01/exponential_with_pruning.rs:103:9 [INFO] [stdout] | [INFO] [stdout] 103 | ComplexityProof::Because( [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared type `ComplexityProof` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BigO` [INFO] [stdout] --> src/bin/knapsack_01/exponential_with_pruning.rs:105:13 [INFO] [stdout] | [INFO] [stdout] 105 | BigO::TwoToN, [INFO] [stdout] | ^^^^ use of undeclared type `BigO` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `CorrectnessProof` [INFO] [stdout] --> src/bin/knapsack_01/exponential_with_pruning_and_implicit_comparision.rs:98:9 [INFO] [stdout] | [INFO] [stdout] 98 | CorrectnessProof::Inferred [INFO] [stdout] | ^^^^^^^^^^^^^^^^ use of undeclared type `CorrectnessProof` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ComplexityProof` [INFO] [stdout] --> src/bin/knapsack_01/exponential_with_pruning_and_implicit_comparision.rs:102:9 [INFO] [stdout] | [INFO] [stdout] 102 | ComplexityProof::Inferred(BigO::TwoToN) [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared type `ComplexityProof` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BigO` [INFO] [stdout] --> src/bin/knapsack_01/exponential_with_pruning_and_implicit_comparision.rs:102:35 [INFO] [stdout] | [INFO] [stdout] 102 | ComplexityProof::Inferred(BigO::TwoToN) [INFO] [stdout] | ^^^^ use of undeclared type `BigO` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ComplexityProof` [INFO] [stdout] --> src/bin/knapsack_01/exponential_with_pruning_and_implicit_comparision.rs:106:9 [INFO] [stdout] | [INFO] [stdout] 106 | ComplexityProof::Because( [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared type `ComplexityProof` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BigO` [INFO] [stdout] --> src/bin/knapsack_01/exponential_with_pruning_and_implicit_comparision.rs:108:13 [INFO] [stdout] | [INFO] [stdout] 108 | BigO::TwoToN, [INFO] [stdout] | ^^^^ use of undeclared type `BigO` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `CorrectnessProof` in this scope [INFO] [stdout] --> src/bin/knapsack_01/exponential.rs:87:16 [INFO] [stdout] | [INFO] [stdout] 87 | fn cp() -> CorrectnessProof { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ComplexityProof` in this scope [INFO] [stdout] --> src/bin/knapsack_01/exponential.rs:91:16 [INFO] [stdout] | [INFO] [stdout] 91 | fn tp() -> ComplexityProof { [INFO] [stdout] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ComplexityProof` in this scope [INFO] [stdout] --> src/bin/knapsack_01/exponential.rs:95:16 [INFO] [stdout] | [INFO] [stdout] 95 | fn sp() -> ComplexityProof { [INFO] [stdout] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `CorrectnessProof` in this scope [INFO] [stdout] --> src/bin/knapsack_01/exponential_with_pruning.rs:94:16 [INFO] [stdout] | [INFO] [stdout] 94 | fn cp() -> CorrectnessProof { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ComplexityProof` in this scope [INFO] [stdout] --> src/bin/knapsack_01/exponential_with_pruning.rs:98:16 [INFO] [stdout] | [INFO] [stdout] 98 | fn tp() -> ComplexityProof { [INFO] [stdout] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ComplexityProof` in this scope [INFO] [stdout] --> src/bin/knapsack_01/exponential_with_pruning.rs:102:16 [INFO] [stdout] | [INFO] [stdout] 102 | fn sp() -> ComplexityProof { [INFO] [stdout] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `CorrectnessProof` in this scope [INFO] [stdout] --> src/bin/knapsack_01/exponential_with_pruning_and_implicit_comparision.rs:97:16 [INFO] [stdout] | [INFO] [stdout] 97 | fn cp() -> CorrectnessProof { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ComplexityProof` in this scope [INFO] [stdout] --> src/bin/knapsack_01/exponential_with_pruning_and_implicit_comparision.rs:101:16 [INFO] [stdout] | [INFO] [stdout] 101 | fn tp() -> ComplexityProof { [INFO] [stdout] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ComplexityProof` in this scope [INFO] [stdout] --> src/bin/knapsack_01/exponential_with_pruning_and_implicit_comparision.rs:105:16 [INFO] [stdout] | [INFO] [stdout] 105 | fn sp() -> ComplexityProof { [INFO] [stdout] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `pretty_scale` in this scope [INFO] [stdout] --> src/bin/knapsack_01/main.rs:61:34 [INFO] [stdout] | [INFO] [stdout] 61 | let normalized_samples = pretty_scale(&samples, batch_size); [INFO] [stdout] | ^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 16 | use stralg::preprocessing::pretty_scale; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `linear_regression` in this scope [INFO] [stdout] --> src/bin/knapsack_01/main.rs:68:34 [INFO] [stdout] | [INFO] [stdout] 68 | let (intercept, slope) = linear_regression(&log_normalized_samples).unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 16 | use stralg::fitting::linear_regression; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `sqrt_mean_squared` in this scope [INFO] [stdout] --> src/bin/knapsack_01/main.rs:76:42 [INFO] [stdout] | [INFO] [stdout] 76 | let sqrt_mean_squared_residues = sqrt_mean_squared(&residues); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 16 | use stralg::postprocessing::sqrt_mean_squared; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `max_abs_median_batched` in this scope [INFO] [stdout] --> src/bin/knapsack_01/main.rs:77:40 [INFO] [stdout] | [INFO] [stdout] 77 | let max_abs_medians_residues = max_abs_median_batched(&residues, batch_size); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 16 | use stralg::postprocessing::max_abs_median_batched; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Input` [INFO] [stdout] --> src/bin/knapsack_01/main.rs:8:12 [INFO] [stdout] | [INFO] [stdout] 8 | use data::{Input, KnapsackItem}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0601]: `main` function not found in crate `knapsack_01` [INFO] [stdout] --> src/bin/knapsack_01/main.rs:1:1 [INFO] [stdout] | [INFO] [stdout] 1 | / //! [INFO] [stdout] 2 | | //! - Although this crate is for 0/1 knapsack problem, it can be used for a 0/n_i knapsack problem. [INFO] [stdout] 3 | | //! - Because 0/n_i knapsack problem can be converted to 0/1 knapsack problem by just flattening the inventory. [INFO] [stdout] 4 | | //! - Since we use a Vec (instead of a Set) to store the inventory, the same code works. [INFO] [stdout] ... | [INFO] [stdout] 147 | | } [INFO] [stdout] 148 | | } [INFO] [stdout] | |_^ consider adding a `main` function to `src/bin/knapsack_01/main.rs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] --> src/bin/sort/merge_sort.rs:42:13 [INFO] [stdout] | [INFO] [stdout] 42 | use structures_and_algorithms::proof::{ComplexityProof, CorrectnessProof}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0601]: `main` function not found in crate `global_opt` [INFO] [stdout] --> src/bin/global_opt.rs:1:1 [INFO] [stdout] | [INFO] [stdout] 1 | / use stralg::leetcode_problem; [INFO] [stdout] 2 | | [INFO] [stdout] 3 | | leetcode_problem! { name(max_sub_array) [INFO] [stdout] 4 | | url("https://leetcode.com/problems/maximum-subarray/") [INFO] [stdout] ... | [INFO] [stdout] 127 | | } [INFO] [stdout] 128 | | } [INFO] [stdout] | |_^ consider adding a `main` function to `src/bin/global_opt.rs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0601`. [INFO] [stdout] [INFO] [stdout] error: aborting due to 42 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0412, E0425, E0432, E0433. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0412`. [INFO] [stdout] [INFO] [stdout] error[E0601]: `main` function not found in crate `merge_intervals` [INFO] [stdout] --> src/bin/merge_intervals.rs:1:1 [INFO] [stdout] | [INFO] [stdout] 1 | / use stralg::leetcode_problem; [INFO] [stdout] 2 | | [INFO] [stdout] 3 | | leetcode_problem! { name(merge_intervals) [INFO] [stdout] 4 | | url("https://leetcode.com/problems/merge-intervals/") [INFO] [stdout] ... | [INFO] [stdout] 60 | | } [INFO] [stdout] 61 | | } [INFO] [stdout] | |_^ consider adding a `main` function to `src/bin/merge_intervals.rs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0601`. [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] --> src/bin/power_set.rs:62:13 [INFO] [stdout] | [INFO] [stdout] 62 | use structures_and_algorithms::fitting::linear_regression; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `structures_and_algorithms` [INFO] [stdout] --> src/bin/power_set.rs:40:9 [INFO] [stdout] | [INFO] [stdout] 40 | use structures_and_algorithms::test_suite; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] --> src/bin/power_set.rs:64:13 [INFO] [stdout] | [INFO] [stdout] 64 | use structures_and_algorithms::postprocessing::{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] --> src/bin/power_set.rs:67:13 [INFO] [stdout] | [INFO] [stdout] 67 | use structures_and_algorithms::preprocessing::pretty_scale; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `structures_and_algorithms` [INFO] [stdout] --> src/bin/power_set.rs:63:13 [INFO] [stdout] | [INFO] [stdout] 63 | use structures_and_algorithms::function_path; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `test_suite` [INFO] [stdout] --> src/bin/power_set.rs:42:5 [INFO] [stdout] | [INFO] [stdout] 42 | test_suite!(simple,); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `function_path` [INFO] [stdout] --> src/bin/power_set.rs:169:58 [INFO] [stdout] | [INFO] [stdout] 169 | fg.echo_to_file(&format!("test_logs/{}.gnuplot", function_path!())); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error; 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0601`. [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `CorrectnessProof` [INFO] [stdout] --> src/bin/power_set.rs:45:9 [INFO] [stdout] | [INFO] [stdout] 45 | CorrectnessProof::Inferred [INFO] [stdout] | ^^^^^^^^^^^^^^^^ use of undeclared type `CorrectnessProof` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ComplexityProof` [INFO] [stdout] --> src/bin/power_set.rs:49:9 [INFO] [stdout] | [INFO] [stdout] 49 | ComplexityProof::Inferred(BigO::TwoToN) [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared type `ComplexityProof` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BigO` [INFO] [stdout] --> src/bin/power_set.rs:49:35 [INFO] [stdout] | [INFO] [stdout] 49 | ComplexityProof::Inferred(BigO::TwoToN) [INFO] [stdout] | ^^^^ use of undeclared type `BigO` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ComplexityProof` [INFO] [stdout] --> src/bin/power_set.rs:53:9 [INFO] [stdout] | [INFO] [stdout] 53 | ComplexityProof::Because( [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared type `ComplexityProof` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BigO` [INFO] [stdout] --> src/bin/power_set.rs:55:13 [INFO] [stdout] | [INFO] [stdout] 55 | BigO::TwoToN, [INFO] [stdout] | ^^^^ use of undeclared type `BigO` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `CorrectnessProof` in this scope [INFO] [stdout] --> src/bin/power_set.rs:44:16 [INFO] [stdout] | [INFO] [stdout] 44 | fn cp() -> CorrectnessProof { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ComplexityProof` in this scope [INFO] [stdout] --> src/bin/power_set.rs:48:16 [INFO] [stdout] | [INFO] [stdout] 48 | fn tp() -> ComplexityProof { [INFO] [stdout] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ComplexityProof` in this scope [INFO] [stdout] --> src/bin/power_set.rs:52:16 [INFO] [stdout] | [INFO] [stdout] 52 | fn sp() -> ComplexityProof { [INFO] [stdout] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `pretty_scale` in this scope [INFO] [stdout] --> src/bin/power_set.rs:95:34 [INFO] [stdout] | [INFO] [stdout] 95 | let normalized_samples = pretty_scale(&samples, batch_size); [INFO] [stdout] | ^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 38 | use stralg::preprocessing::pretty_scale; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `linear_regression` in this scope [INFO] [stdout] --> src/bin/power_set.rs:102:34 [INFO] [stdout] | [INFO] [stdout] 102 | let (intercept, slope) = linear_regression(&log_normalized_samples).unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 38 | use stralg::fitting::linear_regression; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `sqrt_mean_squared` in this scope [INFO] [stdout] --> src/bin/power_set.rs:109:42 [INFO] [stdout] | [INFO] [stdout] 109 | let sqrt_mean_squared_residues = sqrt_mean_squared(&residues); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 38 | use stralg::postprocessing::sqrt_mean_squared; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `max_abs_median_batched` in this scope [INFO] [stdout] --> src/bin/power_set.rs:110:40 [INFO] [stdout] | [INFO] [stdout] 110 | let max_abs_medians_residues = max_abs_median_batched(&residues, batch_size); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 38 | use stralg::postprocessing::max_abs_median_batched; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0601]: `main` function not found in crate `codeforces` [INFO] [stdout] --> src/bin/codeforces.rs:1:1 [INFO] [stdout] | [INFO] [stdout] 1 | / use stralg::codeforces_problem; [INFO] [stdout] 2 | | [INFO] [stdout] 3 | | codeforces_problem! { name(round_number_decomp) [INFO] [stdout] 4 | | url("https://codeforces.com/problemset/problem/1352/A") [INFO] [stdout] ... | [INFO] [stdout] 385 | | } [INFO] [stdout] 386 | | } [INFO] [stdout] | |_^ consider adding a `main` function to `src/bin/codeforces.rs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0601`. [INFO] [stdout] [INFO] [stdout] error[E0282]: type annotations needed [INFO] [stdout] --> src/bin/power_set.rs:184:60 [INFO] [stdout] | [INFO] [stdout] 184 | assert_eq!(power_set_of(&vec![], 0, &vec![]), vec![vec![]]); [INFO] [stdout] | ^^^^^^ cannot infer type for type parameter `T` [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `vec` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 21 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0282, E0412, E0425, E0432, E0433. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0282`. [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] --> src/bin/sort/merge_sort.rs:168:13 [INFO] [stdout] | [INFO] [stdout] 168 | use structures_and_algorithms::proof::{ComplexityProof, CorrectnessProof}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `structures_and_algorithms` [INFO] [stdout] --> src/bin/sort/merge_sort.rs:43:13 [INFO] [stdout] | [INFO] [stdout] 43 | use structures_and_algorithms::test_suite; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `structures_and_algorithms` [INFO] [stdout] --> src/bin/sort/merge_sort.rs:169:13 [INFO] [stdout] | [INFO] [stdout] 169 | use structures_and_algorithms::test_suite; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `structures_and_algorithms` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `test_suite` [INFO] [stdout] --> src/bin/sort/merge_sort.rs:45:9 [INFO] [stdout] | [INFO] [stdout] 45 | test_suite!(simple,); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `test_suite` [INFO] [stdout] --> src/bin/sort/merge_sort.rs:171:9 [INFO] [stdout] | [INFO] [stdout] 171 | test_suite!(simple,); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `CorrectnessProof` [INFO] [stdout] --> src/bin/sort/merge_sort.rs:48:13 [INFO] [stdout] | [INFO] [stdout] 48 | CorrectnessProof::Inferred [INFO] [stdout] | ^^^^^^^^^^^^^^^^ use of undeclared type `CorrectnessProof` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ComplexityProof` [INFO] [stdout] --> src/bin/sort/merge_sort.rs:52:13 [INFO] [stdout] | [INFO] [stdout] 52 | ComplexityProof::TODO [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared type `ComplexityProof` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ComplexityProof` [INFO] [stdout] --> src/bin/sort/merge_sort.rs:56:13 [INFO] [stdout] | [INFO] [stdout] 56 | ComplexityProof::TODO [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared type `ComplexityProof` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `CorrectnessProof` [INFO] [stdout] --> src/bin/sort/merge_sort.rs:174:13 [INFO] [stdout] | [INFO] [stdout] 174 | CorrectnessProof::Inferred [INFO] [stdout] | ^^^^^^^^^^^^^^^^ use of undeclared type `CorrectnessProof` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ComplexityProof` [INFO] [stdout] --> src/bin/sort/merge_sort.rs:178:13 [INFO] [stdout] | [INFO] [stdout] 178 | ComplexityProof::TODO [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared type `ComplexityProof` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ComplexityProof` [INFO] [stdout] --> src/bin/sort/merge_sort.rs:182:13 [INFO] [stdout] | [INFO] [stdout] 182 | ComplexityProof::TODO [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared type `ComplexityProof` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `CorrectnessProof` in this scope [INFO] [stdout] --> src/bin/sort/merge_sort.rs:47:20 [INFO] [stdout] | [INFO] [stdout] 47 | fn cp() -> CorrectnessProof { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ComplexityProof` in this scope [INFO] [stdout] --> src/bin/sort/merge_sort.rs:51:20 [INFO] [stdout] | [INFO] [stdout] 51 | fn tp() -> ComplexityProof { [INFO] [stdout] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ComplexityProof` in this scope [INFO] [stdout] --> src/bin/sort/merge_sort.rs:55:20 [INFO] [stdout] | [INFO] [stdout] 55 | fn sp() -> ComplexityProof { [INFO] [stdout] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `CorrectnessProof` in this scope [INFO] [stdout] --> src/bin/sort/merge_sort.rs:173:20 [INFO] [stdout] | [INFO] [stdout] 173 | fn cp() -> CorrectnessProof { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ComplexityProof` in this scope [INFO] [stdout] --> src/bin/sort/merge_sort.rs:177:20 [INFO] [stdout] | [INFO] [stdout] 177 | fn tp() -> ComplexityProof { [INFO] [stdout] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ComplexityProof` in this scope [INFO] [stdout] --> src/bin/sort/merge_sort.rs:181:20 [INFO] [stdout] | [INFO] [stdout] 181 | fn sp() -> ComplexityProof { [INFO] [stdout] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 18 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0412, E0432, E0433. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0412`. [INFO] [stdout] [INFO] [stderr] error: build failed [INFO] running `Command { std: "docker" "inspect" "f42c2c1851dcee271deb35c4e95beddbace0a3ad010fe47149c393f29576d2de", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f42c2c1851dcee271deb35c4e95beddbace0a3ad010fe47149c393f29576d2de", kill_on_drop: false }` [INFO] [stdout] f42c2c1851dcee271deb35c4e95beddbace0a3ad010fe47149c393f29576d2de