[INFO] updating cached repository Tomarchelone/PAC-FCA [INFO] running `"git" "fetch" "--all"` [INFO] [stdout] Fetching origin [INFO] [stderr] From git://github.com/Tomarchelone/PAC-FCA [INFO] [stderr] * branch HEAD -> FETCH_HEAD [INFO] running `"git" "clone" "work/cache/sources/gh/Tomarchelone/PAC-FCA" "work/ex/beta-1.38-1/sources/1.37.0/gh/Tomarchelone/PAC-FCA"` [INFO] [stderr] Cloning into 'work/ex/beta-1.38-1/sources/1.37.0/gh/Tomarchelone/PAC-FCA'... [INFO] [stderr] done. [INFO] running `"git" "clone" "work/cache/sources/gh/Tomarchelone/PAC-FCA" "work/ex/beta-1.38-1/sources/beta-2019-08-13/gh/Tomarchelone/PAC-FCA"` [INFO] [stderr] Cloning into 'work/ex/beta-1.38-1/sources/beta-2019-08-13/gh/Tomarchelone/PAC-FCA'... [INFO] [stderr] done. [INFO] running `"git" "rev-parse" "HEAD"` [INFO] [stdout] be750a34a02896a01ad5ebc96652ae1802ca41f7 [INFO] sha for GitHub repo Tomarchelone/PAC-FCA: be750a34a02896a01ad5ebc96652ae1802ca41f7 [INFO] validating manifest of Tomarchelone/PAC-FCA on toolchain 1.37.0 [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.37.0" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] validating manifest of Tomarchelone/PAC-FCA on toolchain beta-2019-08-13 [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-08-13" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started frobbing Tomarchelone/PAC-FCA [INFO] finished frobbing Tomarchelone/PAC-FCA [INFO] frobbed toml for Tomarchelone/PAC-FCA written to work/ex/beta-1.38-1/sources/1.37.0/gh/Tomarchelone/PAC-FCA/Cargo.toml [INFO] started frobbing Tomarchelone/PAC-FCA [INFO] finished frobbing Tomarchelone/PAC-FCA [INFO] frobbed toml for Tomarchelone/PAC-FCA written to work/ex/beta-1.38-1/sources/beta-2019-08-13/gh/Tomarchelone/PAC-FCA/Cargo.toml [INFO] crate Tomarchelone/PAC-FCA already has a lockfile, it will not be regenerated [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.37.0" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-08-13" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] testing Tomarchelone/PAC-FCA against beta-2019-08-13 for beta-1.38-1 [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.38-1/worker-3/beta-2019-08-13:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.38-1/sources/beta-2019-08-13/gh/Tomarchelone/PAC-FCA:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+beta-2019-08-13" "build" "--frozen"` [INFO] [stdout] 7cb61f3639ac6cf60b5c0a4e838e148c4638967fb9668394dbd52543f58f4bf3 [INFO] running `"docker" "start" "-a" "7cb61f3639ac6cf60b5c0a4e838e148c4638967fb9668394dbd52543f58f4bf3"` [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/crater/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 14.92s [INFO] running `"docker" "inspect" "7cb61f3639ac6cf60b5c0a4e838e148c4638967fb9668394dbd52543f58f4bf3"` [INFO] running `"docker" "rm" "-f" "7cb61f3639ac6cf60b5c0a4e838e148c4638967fb9668394dbd52543f58f4bf3"` [INFO] [stdout] 7cb61f3639ac6cf60b5c0a4e838e148c4638967fb9668394dbd52543f58f4bf3 [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.38-1/worker-3/beta-2019-08-13:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.38-1/sources/beta-2019-08-13/gh/Tomarchelone/PAC-FCA:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+beta-2019-08-13" "test" "--frozen" "--no-run"` [INFO] [stdout] 7f329754076ba2e82fdc37400eea52579da6e2f26d0ae0c12d280b4f6e541b5b [INFO] running `"docker" "start" "-a" "7f329754076ba2e82fdc37400eea52579da6e2f26d0ae0c12d280b4f6e541b5b"` [INFO] [stderr] Compiling pac_fca v0.1.0 (/opt/crater/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.15s [INFO] running `"docker" "inspect" "7f329754076ba2e82fdc37400eea52579da6e2f26d0ae0c12d280b4f6e541b5b"` [INFO] running `"docker" "rm" "-f" "7f329754076ba2e82fdc37400eea52579da6e2f26d0ae0c12d280b4f6e541b5b"` [INFO] [stdout] 7f329754076ba2e82fdc37400eea52579da6e2f26d0ae0c12d280b4f6e541b5b [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.38-1/worker-3/beta-2019-08-13:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.38-1/sources/beta-2019-08-13/gh/Tomarchelone/PAC-FCA:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+beta-2019-08-13" "test" "--frozen"` [INFO] [stdout] fb873346d2747d26612b5c1bfd50f4336ea047df0abe3ca45dd4bb406ccfa3a7 [INFO] running `"docker" "start" "-a" "fb873346d2747d26612b5c1bfd50f4336ea047df0abe3ca45dd4bb406ccfa3a7"` [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.12s [INFO] [stderr] Running /opt/crater/target/debug/deps/pac_fca-8189aa39d931307e [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" "fb873346d2747d26612b5c1bfd50f4336ea047df0abe3ca45dd4bb406ccfa3a7"` [INFO] running `"docker" "rm" "-f" "fb873346d2747d26612b5c1bfd50f4336ea047df0abe3ca45dd4bb406ccfa3a7"` [INFO] [stdout] fb873346d2747d26612b5c1bfd50f4336ea047df0abe3ca45dd4bb406ccfa3a7