[INFO] cloning repository https://github.com/rolag/ruSAT [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/rolag/ruSAT" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Frolag%2FruSAT", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Frolag%2FruSAT'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 5f450c9d7bffd15ead893c0688591dd24f41fb97 [INFO] testing rolag/ruSAT against beta-2022-02-22 for beta-1.60-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Frolag%2FruSAT" "/workspace/builds/worker-13/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-13/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/rolag/ruSAT on toolchain beta-2022-02-22 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-02-22" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/rolag/ruSAT [INFO] finished tweaking git repo https://github.com/rolag/ruSAT [INFO] tweaked toml for git repo https://github.com/rolag/ruSAT written to /workspace/builds/worker-13/source/Cargo.toml [INFO] crate git repo https://github.com/rolag/ruSAT already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-02-22" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/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:0cd99ca24d8e8c98e67c542213511d985b8778b5bdcbb160e038429496686047" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-02-22" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 416cd4d748cb41707e8fa9b69b25b773ea8e544709067c55b12138f1ca4c85d2 [INFO] running `Command { std: "docker" "start" "-a" "416cd4d748cb41707e8fa9b69b25b773ea8e544709067c55b12138f1ca4c85d2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "416cd4d748cb41707e8fa9b69b25b773ea8e544709067c55b12138f1ca4c85d2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "416cd4d748cb41707e8fa9b69b25b773ea8e544709067c55b12138f1ca4c85d2", kill_on_drop: false }` [INFO] [stdout] 416cd4d748cb41707e8fa9b69b25b773ea8e544709067c55b12138f1ca4c85d2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "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:0cd99ca24d8e8c98e67c542213511d985b8778b5bdcbb160e038429496686047" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-02-22" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] d38d2297ba3d10ed419c0b9cf37e810ca55df659af0c8121c140219e4d469767 [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" "d38d2297ba3d10ed419c0b9cf37e810ca55df659af0c8121c140219e4d469767", kill_on_drop: false }` [INFO] [stderr] Compiling rusat v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 2.95s [INFO] running `Command { std: "docker" "inspect" "d38d2297ba3d10ed419c0b9cf37e810ca55df659af0c8121c140219e4d469767", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d38d2297ba3d10ed419c0b9cf37e810ca55df659af0c8121c140219e4d469767", kill_on_drop: false }` [INFO] [stdout] d38d2297ba3d10ed419c0b9cf37e810ca55df659af0c8121c140219e4d469767 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "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:0cd99ca24d8e8c98e67c542213511d985b8778b5bdcbb160e038429496686047" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-02-22" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 7c1f78cc6aa41d62528963e357813e38d37cc5a4085787489f99072f980bf780 [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" "7c1f78cc6aa41d62528963e357813e38d37cc5a4085787489f99072f980bf780", kill_on_drop: false }` [INFO] [stderr] Compiling rusat v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0599]: no method named `is_tautology` found for struct `CNFClause` in the current scope [INFO] [stdout] --> src/cnf_system.rs:66:20 [INFO] [stdout] | [INFO] [stdout] 14 | pub struct CNFClause { [INFO] [stdout] | -------------------- method `is_tautology` not found for this [INFO] [stdout] ... [INFO] [stdout] 66 | assert!(clause.is_tautology()); [INFO] [stdout] | ^^^^^^^^^^^^ method not found in `CNFClause` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `is_tautology` found for struct `CNFClause` in the current scope [INFO] [stdout] --> src/cnf_system.rs:102:21 [INFO] [stdout] | [INFO] [stdout] 14 | pub struct CNFClause { [INFO] [stdout] | -------------------- method `is_tautology` not found for this [INFO] [stdout] ... [INFO] [stdout] 102 | assert!(!clause.is_tautology()); [INFO] [stdout] | ^^^^^^^^^^^^ method not found in `CNFClause` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `is_tautology` found for struct `CNFClause` in the current scope [INFO] [stdout] --> src/cnf_system.rs:103:22 [INFO] [stdout] | [INFO] [stdout] 14 | pub struct CNFClause { [INFO] [stdout] | -------------------- method `is_tautology` not found for this [INFO] [stdout] ... [INFO] [stdout] 103 | assert!(!clause2.is_tautology()); [INFO] [stdout] | ^^^^^^^^^^^^ method not found in `CNFClause` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `is_tautology` found for struct `CNFClause` in the current scope [INFO] [stdout] --> src/cnf_system.rs:110:20 [INFO] [stdout] | [INFO] [stdout] 14 | pub struct CNFClause { [INFO] [stdout] | -------------------- method `is_tautology` not found for this [INFO] [stdout] ... [INFO] [stdout] 110 | assert!(clause.is_tautology()); [INFO] [stdout] | ^^^^^^^^^^^^ method not found in `CNFClause` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 4 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0599`. [INFO] [stdout] [INFO] [stderr] error: could not compile `rusat` due to 5 previous errors [INFO] running `Command { std: "docker" "inspect" "7c1f78cc6aa41d62528963e357813e38d37cc5a4085787489f99072f980bf780", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7c1f78cc6aa41d62528963e357813e38d37cc5a4085787489f99072f980bf780", kill_on_drop: false }` [INFO] [stdout] 7c1f78cc6aa41d62528963e357813e38d37cc5a4085787489f99072f980bf780