[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/pr-60039-1/sources/master#e305df1846a6d985315917ae0c81b74af8b4e641/gh/Tomarchelone/PAC-FCA"`
[INFO] [stderr] Cloning into 'work/ex/pr-60039-1/sources/master#e305df1846a6d985315917ae0c81b74af8b4e641/gh/Tomarchelone/PAC-FCA'...
[INFO] [stderr] done.
[INFO] running `"git" "clone" "work/cache/sources/gh/Tomarchelone/PAC-FCA" "work/ex/pr-60039-1/sources/try#99a7498759a22b5684caf798a98b7e90ad9d2443/gh/Tomarchelone/PAC-FCA"`
[INFO] [stderr] Cloning into 'work/ex/pr-60039-1/sources/try#99a7498759a22b5684caf798a98b7e90ad9d2443/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 master#e305df1846a6d985315917ae0c81b74af8b4e641
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+e305df1846a6d985315917ae0c81b74af8b4e641-alt" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] validating manifest of Tomarchelone/PAC-FCA on toolchain try#99a7498759a22b5684caf798a98b7e90ad9d2443
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+99a7498759a22b5684caf798a98b7e90ad9d2443-alt" "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/pr-60039-1/sources/master#e305df1846a6d985315917ae0c81b74af8b4e641/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/pr-60039-1/sources/try#99a7498759a22b5684caf798a98b7e90ad9d2443/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" "+e305df1846a6d985315917ae0c81b74af8b4e641-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+99a7498759a22b5684caf798a98b7e90ad9d2443-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] checking Tomarchelone/PAC-FCA against try#99a7498759a22b5684caf798a98b7e90ad9d2443 for pr-60039-1
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-60039-1/worker-0/try#99a7498759a22b5684caf798a98b7e90ad9d2443:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-60039-1/sources/try#99a7498759a22b5684caf798a98b7e90ad9d2443/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=forbid" "-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" "+99a7498759a22b5684caf798a98b7e90ad9d2443-alt" "check" "--frozen" "--all" "--all-targets"`
[INFO] [stdout] fc6648e28be1f82a48915f7aa6e7d0ecd12157dc01dae84bd79f39e39f5040f2
[INFO] running `"docker" "start" "-a" "fc6648e28be1f82a48915f7aa6e7d0ecd12157dc01dae84bd79f39e39f5040f2"`
[INFO] [stderr]     Checking 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: 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 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: 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<u128>) -> 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: 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<u128>) -> 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<bool>) -> Vec<u128> {
[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<u128> {
[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<u128> {
[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<u128>, M: usize) -> Vec<u128> {
[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<u128> {
[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] 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<bool>) -> Vec<u128> {
[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<u128> {
[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<u128> {
[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<u128>, M: usize) -> Vec<u128> {
[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<u128> {
[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.41s
[INFO] running `"docker" "inspect" "fc6648e28be1f82a48915f7aa6e7d0ecd12157dc01dae84bd79f39e39f5040f2"`
[INFO] running `"docker" "rm" "-f" "fc6648e28be1f82a48915f7aa6e7d0ecd12157dc01dae84bd79f39e39f5040f2"`
[INFO] [stdout] fc6648e28be1f82a48915f7aa6e7d0ecd12157dc01dae84bd79f39e39f5040f2