[INFO] updating cached repository https://github.com/Tomarchelone/PAC-FCA [INFO] running `"git" "-c" "credential.helper=" "-c" "credential.helper=/big/crater/work/cargo-home/bin/git-credential-null" "-c" "remote.origin.fetch=refs/heads/*:refs/heads/*" "fetch" "origin" "--force" "--prune"` [INFO] running `"git" "rev-parse" "HEAD"` [INFO] [stdout] be750a34a02896a01ad5ebc96652ae1802ca41f7 [INFO] testing Tomarchelone/PAC-FCA against 1.38.0 for beta-1.39-1 [INFO] running `"git" "clone" "work/cache/git-repos/https%3A%2F%2Fgithub.com%2FTomarchelone%2FPAC-FCA" "work/builds/worker-11/source"` [INFO] [stderr] Cloning into 'work/builds/worker-11/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/Tomarchelone/PAC-FCA on toolchain 1.38.0 [INFO] running `"/big/crater/work/cargo-home/bin/cargo" "+1.38.0" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started tweaking git repo https://github.com/Tomarchelone/PAC-FCA [INFO] finished tweaking git repo https://github.com/Tomarchelone/PAC-FCA [INFO] tweaked toml for git repo https://github.com/Tomarchelone/PAC-FCA written to work/builds/worker-11/source/Cargo.toml [INFO] crate git repo https://github.com/Tomarchelone/PAC-FCA already has a lockfile, it will not be regenerated [INFO] running `"/big/crater/work/cargo-home/bin/cargo" "+1.38.0" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"docker" "create" "-v" "/big/crater/work/builds/worker-11/target:/opt/rustwide/target:rw,Z" "-v" "/big/crater/work/builds/worker-11/source:/opt/rustwide/workdir:ro,Z" "-v" "/big/crater/work/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/big/crater/work/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=1000" "-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" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+1.38.0" "build" "--frozen"` [INFO] [stdout] 075b1c7a07b57b8e4a46c74b7e71b63f7f98a48477cad0b558f12b88c23a80aa [INFO] running `"docker" "start" "-a" "075b1c7a07b57b8e4a46c74b7e71b63f7f98a48477cad0b558f12b88c23a80aa"` [INFO] [stderr] Compiling num-bigint v0.2.2 [INFO] [stderr] Compiling rand v0.6.3 [INFO] [stderr] Compiling rand_os v0.1.0 [INFO] [stderr] Compiling rayon-core v1.4.1 [INFO] [stderr] Compiling rayon v1.0.3 [INFO] [stderr] Compiling pac_fca v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: unused import: `std::fs::File` [INFO] [stderr] --> src/main.rs:2:5 [INFO] [stderr] | [INFO] [stderr] 2 | use std::fs::File; [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `rand::random` [INFO] [stderr] --> src/pac_fca.rs:3:5 [INFO] [stderr] | [INFO] [stderr] 3 | use rand::random; [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::time::Instant` [INFO] [stderr] --> src/pac_fca.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | use std::time::Instant; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/pac_fca.rs:243:16 [INFO] [stderr] | [INFO] [stderr] 243 | , oracle: &Oracle [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Oracle` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::zoo_oracle::*` [INFO] [stderr] --> src/main.rs:11:5 [INFO] [stderr] | [INFO] [stderr] 11 | use crate::zoo_oracle::*; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `context` [INFO] [stderr] --> src/main.rs:24:19 [INFO] [stderr] | [INFO] [stderr] 24 | let (imp_set, context) = pac_attribute_exploration( [INFO] [stderr] | ^^^^^^^ help: consider prefixing with an underscore: `_context` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `elapsed` [INFO] [stderr] --> src/main.rs:31:9 [INFO] [stderr] | [INFO] [stderr] 31 | let elapsed = stamp.elapsed(); [INFO] [stderr] | ^^^^^^^ help: consider prefixing with an underscore: `_elapsed` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `example` [INFO] [stderr] --> src/div_oracle.rs:57:25 [INFO] [stderr] | [INFO] [stderr] 57 | fn is_member(&self, example: &Vec) -> bool { [INFO] [stderr] | ^^^^^^^ help: consider prefixing with an underscore: `_example` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/main.rs:23:9 [INFO] [stderr] | [INFO] [stderr] 23 | let mut stamp = Instant::now(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/zoo_oracle.rs:25:13 [INFO] [stderr] | [INFO] [stderr] 25 | let mut animals: Vec<_> = contents [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: struct is never constructed: `ZooOracle` [INFO] [stderr] --> src/zoo_oracle.rs:8:1 [INFO] [stderr] | [INFO] [stderr] 8 | pub struct ZooOracle { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: method is never used: `from_data` [INFO] [stderr] --> src/zoo_oracle.rs:14:5 [INFO] [stderr] | [INFO] [stderr] 14 | pub fn from_data(mut data: File) -> ZooOracle { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `from_bool` [INFO] [stderr] --> src/zoo_oracle.rs:73:1 [INFO] [stderr] | [INFO] [stderr] 73 | fn from_bool(v: Vec) -> Vec { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `zoo_imp` [INFO] [stderr] --> src/zoo_oracle.rs:99:1 [INFO] [stderr] | [INFO] [stderr] 99 | pub fn zoo_imp(impset: &ImplicationSet) -> String { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `M` should have a snake case name [INFO] [stderr] --> src/main.rs:16:9 [INFO] [stderr] | [INFO] [stderr] 16 | let M = 18; [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(non_snake_case)]` on by default [INFO] [stderr] [INFO] [stderr] warning: structure field `M` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:13:9 [INFO] [stderr] | [INFO] [stderr] 13 | pub M: usize, // size of attribute set [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: structure field `M` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:41:9 [INFO] [stderr] | [INFO] [stderr] 41 | pub M: usize, [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: variable `M` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:75:13 [INFO] [stderr] | [INFO] [stderr] 75 | let M = self.M; [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: variable `M` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:113:17 [INFO] [stderr] | [INFO] [stderr] 113 | pub fn full_set(M: usize) -> Vec { [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: variable `M` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:124:18 [INFO] [stderr] | [INFO] [stderr] 124 | pub fn empty_set(M: usize) -> Vec { [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: variable `M` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:135:29 [INFO] [stderr] | [INFO] [stderr] 135 | pub fn not(set: &Vec, M: usize) -> Vec { [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: variable `M` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:187:18 [INFO] [stderr] | [INFO] [stderr] 187 | fn random_subset(M: usize) -> Vec { [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: variable `M` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:206:5 [INFO] [stderr] | [INFO] [stderr] 206 | M: usize // Attribute set 0..M [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: variable `K` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:207:7 [INFO] [stderr] | [INFO] [stderr] 207 | , K: &Context // Context [INFO] [stderr] | ^ help: convert the identifier to snake case: `k` [INFO] [stderr] [INFO] [stderr] warning: variable `L` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:208:7 [INFO] [stderr] | [INFO] [stderr] 208 | , L: &ImplicationSet // Implication set [INFO] [stderr] | ^ help: convert the identifier to snake case: `l` [INFO] [stderr] [INFO] [stderr] warning: variable `M` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:239:5 [INFO] [stderr] | [INFO] [stderr] 239 | M: usize [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: variable `K_0` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:240:7 [INFO] [stderr] | [INFO] [stderr] 240 | , K_0: Context [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `k_0` [INFO] [stderr] [INFO] [stderr] warning: variable `K` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:247:13 [INFO] [stderr] | [INFO] [stderr] 247 | let mut K = K_0; // initial context [INFO] [stderr] | ^ help: convert the identifier to snake case: `k` [INFO] [stderr] [INFO] [stderr] warning: variable `L` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:248:13 [INFO] [stderr] | [INFO] [stderr] 248 | let mut L = ImplicationSet {M, set: vec![]}; [INFO] [stderr] | ^ help: convert the identifier to snake case: `l` [INFO] [stderr] [INFO] [stderr] warning: structure field `M` should have a snake case name [INFO] [stderr] --> src/div_oracle.rs:27:9 [INFO] [stderr] | [INFO] [stderr] 27 | pub M: usize, [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: variable `M` should have a snake case name [INFO] [stderr] --> src/div_oracle.rs:33:13 [INFO] [stderr] | [INFO] [stderr] 33 | let M = self.M; [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: structure field `M` should have a snake case name [INFO] [stderr] --> src/zoo_oracle.rs:9:9 [INFO] [stderr] | [INFO] [stderr] 9 | pub M: usize, [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: variable `M` should have a snake case name [INFO] [stderr] --> src/zoo_oracle.rs:24:17 [INFO] [stderr] | [INFO] [stderr] 24 | let mut M = 0; [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: variable `M` should have a snake case name [INFO] [stderr] --> src/zoo_oracle.rs:53:13 [INFO] [stderr] | [INFO] [stderr] 53 | let M = self.M; [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: variable `M` should have a snake case name [INFO] [stderr] --> src/zoo_oracle.rs:74:9 [INFO] [stderr] | [INFO] [stderr] 74 | let M = v.len(); [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: variable `M` should have a snake case name [INFO] [stderr] --> src/zoo_oracle.rs:104:9 [INFO] [stderr] | [INFO] [stderr] 104 | let M = impset.M; [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 10.18s [INFO] running `"docker" "inspect" "075b1c7a07b57b8e4a46c74b7e71b63f7f98a48477cad0b558f12b88c23a80aa"` [INFO] running `"docker" "rm" "-f" "075b1c7a07b57b8e4a46c74b7e71b63f7f98a48477cad0b558f12b88c23a80aa"` [INFO] [stdout] 075b1c7a07b57b8e4a46c74b7e71b63f7f98a48477cad0b558f12b88c23a80aa [INFO] running `"docker" "create" "-v" "/big/crater/work/builds/worker-11/target:/opt/rustwide/target:rw,Z" "-v" "/big/crater/work/builds/worker-11/source:/opt/rustwide/workdir:ro,Z" "-v" "/big/crater/work/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/big/crater/work/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=1000" "-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" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+1.38.0" "test" "--frozen" "--no-run"` [INFO] [stdout] fe15e3d3d3e436028739d2465713fb529b8e0241074074635056cb16c5254d31 [INFO] running `"docker" "start" "-a" "fe15e3d3d3e436028739d2465713fb529b8e0241074074635056cb16c5254d31"` [INFO] [stderr] Compiling pac_fca v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: unused import: `std::fs::File` [INFO] [stderr] --> src/main.rs:2:5 [INFO] [stderr] | [INFO] [stderr] 2 | use std::fs::File; [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `rand::random` [INFO] [stderr] --> src/pac_fca.rs:3:5 [INFO] [stderr] | [INFO] [stderr] 3 | use rand::random; [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::time::Instant` [INFO] [stderr] --> src/pac_fca.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | use std::time::Instant; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/pac_fca.rs:243:16 [INFO] [stderr] | [INFO] [stderr] 243 | , oracle: &Oracle [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Oracle` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::zoo_oracle::*` [INFO] [stderr] --> src/main.rs:11:5 [INFO] [stderr] | [INFO] [stderr] 11 | use crate::zoo_oracle::*; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `context` [INFO] [stderr] --> src/main.rs:24:19 [INFO] [stderr] | [INFO] [stderr] 24 | let (imp_set, context) = pac_attribute_exploration( [INFO] [stderr] | ^^^^^^^ help: consider prefixing with an underscore: `_context` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `elapsed` [INFO] [stderr] --> src/main.rs:31:9 [INFO] [stderr] | [INFO] [stderr] 31 | let elapsed = stamp.elapsed(); [INFO] [stderr] | ^^^^^^^ help: consider prefixing with an underscore: `_elapsed` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `example` [INFO] [stderr] --> src/div_oracle.rs:57:25 [INFO] [stderr] | [INFO] [stderr] 57 | fn is_member(&self, example: &Vec) -> bool { [INFO] [stderr] | ^^^^^^^ help: consider prefixing with an underscore: `_example` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/main.rs:23:9 [INFO] [stderr] | [INFO] [stderr] 23 | let mut stamp = Instant::now(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/zoo_oracle.rs:25:13 [INFO] [stderr] | [INFO] [stderr] 25 | let mut animals: Vec<_> = contents [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: struct is never constructed: `ZooOracle` [INFO] [stderr] --> src/zoo_oracle.rs:8:1 [INFO] [stderr] | [INFO] [stderr] 8 | pub struct ZooOracle { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: method is never used: `from_data` [INFO] [stderr] --> src/zoo_oracle.rs:14:5 [INFO] [stderr] | [INFO] [stderr] 14 | pub fn from_data(mut data: File) -> ZooOracle { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `from_bool` [INFO] [stderr] --> src/zoo_oracle.rs:73:1 [INFO] [stderr] | [INFO] [stderr] 73 | fn from_bool(v: Vec) -> Vec { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `zoo_imp` [INFO] [stderr] --> src/zoo_oracle.rs:99:1 [INFO] [stderr] | [INFO] [stderr] 99 | pub fn zoo_imp(impset: &ImplicationSet) -> String { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `M` should have a snake case name [INFO] [stderr] --> src/main.rs:16:9 [INFO] [stderr] | [INFO] [stderr] 16 | let M = 18; [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(non_snake_case)]` on by default [INFO] [stderr] [INFO] [stderr] warning: structure field `M` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:13:9 [INFO] [stderr] | [INFO] [stderr] 13 | pub M: usize, // size of attribute set [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: structure field `M` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:41:9 [INFO] [stderr] | [INFO] [stderr] 41 | pub M: usize, [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: variable `M` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:75:13 [INFO] [stderr] | [INFO] [stderr] 75 | let M = self.M; [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: variable `M` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:113:17 [INFO] [stderr] | [INFO] [stderr] 113 | pub fn full_set(M: usize) -> Vec { [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: variable `M` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:124:18 [INFO] [stderr] | [INFO] [stderr] 124 | pub fn empty_set(M: usize) -> Vec { [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: variable `M` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:135:29 [INFO] [stderr] | [INFO] [stderr] 135 | pub fn not(set: &Vec, M: usize) -> Vec { [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: variable `M` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:187:18 [INFO] [stderr] | [INFO] [stderr] 187 | fn random_subset(M: usize) -> Vec { [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: variable `M` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:206:5 [INFO] [stderr] | [INFO] [stderr] 206 | M: usize // Attribute set 0..M [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: variable `K` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:207:7 [INFO] [stderr] | [INFO] [stderr] 207 | , K: &Context // Context [INFO] [stderr] | ^ help: convert the identifier to snake case: `k` [INFO] [stderr] [INFO] [stderr] warning: variable `L` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:208:7 [INFO] [stderr] | [INFO] [stderr] 208 | , L: &ImplicationSet // Implication set [INFO] [stderr] | ^ help: convert the identifier to snake case: `l` [INFO] [stderr] [INFO] [stderr] warning: variable `M` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:239:5 [INFO] [stderr] | [INFO] [stderr] 239 | M: usize [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: variable `K_0` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:240:7 [INFO] [stderr] | [INFO] [stderr] 240 | , K_0: Context [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `k_0` [INFO] [stderr] [INFO] [stderr] warning: variable `K` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:247:13 [INFO] [stderr] | [INFO] [stderr] 247 | let mut K = K_0; // initial context [INFO] [stderr] | ^ help: convert the identifier to snake case: `k` [INFO] [stderr] [INFO] [stderr] warning: variable `L` should have a snake case name [INFO] [stderr] --> src/pac_fca.rs:248:13 [INFO] [stderr] | [INFO] [stderr] 248 | let mut L = ImplicationSet {M, set: vec![]}; [INFO] [stderr] | ^ help: convert the identifier to snake case: `l` [INFO] [stderr] [INFO] [stderr] warning: structure field `M` should have a snake case name [INFO] [stderr] --> src/div_oracle.rs:27:9 [INFO] [stderr] | [INFO] [stderr] 27 | pub M: usize, [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: variable `M` should have a snake case name [INFO] [stderr] --> src/div_oracle.rs:33:13 [INFO] [stderr] | [INFO] [stderr] 33 | let M = self.M; [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: structure field `M` should have a snake case name [INFO] [stderr] --> src/zoo_oracle.rs:9:9 [INFO] [stderr] | [INFO] [stderr] 9 | pub M: usize, [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: variable `M` should have a snake case name [INFO] [stderr] --> src/zoo_oracle.rs:24:17 [INFO] [stderr] | [INFO] [stderr] 24 | let mut M = 0; [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: variable `M` should have a snake case name [INFO] [stderr] --> src/zoo_oracle.rs:53:13 [INFO] [stderr] | [INFO] [stderr] 53 | let M = self.M; [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: variable `M` should have a snake case name [INFO] [stderr] --> src/zoo_oracle.rs:74:9 [INFO] [stderr] | [INFO] [stderr] 74 | let M = v.len(); [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] warning: variable `M` should have a snake case name [INFO] [stderr] --> src/zoo_oracle.rs:104:9 [INFO] [stderr] | [INFO] [stderr] 104 | let M = impset.M; [INFO] [stderr] | ^ help: convert the identifier to snake case: `m` [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.19s [INFO] running `"docker" "inspect" "fe15e3d3d3e436028739d2465713fb529b8e0241074074635056cb16c5254d31"` [INFO] running `"docker" "rm" "-f" "fe15e3d3d3e436028739d2465713fb529b8e0241074074635056cb16c5254d31"` [INFO] [stdout] fe15e3d3d3e436028739d2465713fb529b8e0241074074635056cb16c5254d31 [INFO] running `"docker" "create" "-v" "/big/crater/work/builds/worker-11/target:/opt/rustwide/target:rw,Z" "-v" "/big/crater/work/builds/worker-11/source:/opt/rustwide/workdir:ro,Z" "-v" "/big/crater/work/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/big/crater/work/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=1000" "-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" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+1.38.0" "test" "--frozen"` [INFO] [stdout] d1315df18d64868ecb88d65a6bb867b7575e53164a5ae5855c1b018a551071fb [INFO] running `"docker" "start" "-a" "d1315df18d64868ecb88d65a6bb867b7575e53164a5ae5855c1b018a551071fb"` [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.04s [INFO] [stderr] Running /opt/rustwide/target/debug/deps/pac_fca-4438354e5e90c418 [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 [INFO] [stdout] [INFO] running `"docker" "inspect" "d1315df18d64868ecb88d65a6bb867b7575e53164a5ae5855c1b018a551071fb"` [INFO] running `"docker" "rm" "-f" "d1315df18d64868ecb88d65a6bb867b7575e53164a5ae5855c1b018a551071fb"` [INFO] [stdout] d1315df18d64868ecb88d65a6bb867b7575e53164a5ae5855c1b018a551071fb