[INFO] cloning repository https://github.com/nkohen/RustConstantTermSequences
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/nkohen/RustConstantTermSequences" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnkohen%2FRustConstantTermSequences", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnkohen%2FRustConstantTermSequences'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 1643ad13cbf0fa7402e269215dbe8d67e7fe418c
[INFO] testing nkohen/RustConstantTermSequences against try#8de4c7234dd9b97c9d76b58671343fdbbc9a433e+target=x86_64-unknown-linux-musl for musl_upgrade_1_2_5_with_libc_patch_0
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnkohen%2FRustConstantTermSequences" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/nkohen/RustConstantTermSequences
[INFO] finished tweaking git repo https://github.com/nkohen/RustConstantTermSequences
[INFO] tweaked toml for git repo https://github.com/nkohen/RustConstantTermSequences written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/nkohen/RustConstantTermSequences on toolchain 8de4c7234dd9b97c9d76b58671343fdbbc9a433e
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/nkohen/RustConstantTermSequences already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded into-attr-derive v0.2.1
[INFO] [stderr]   Downloaded dot-generator v0.2.0
[INFO] [stderr]   Downloaded dot-structures v0.1.2
[INFO] [stderr]   Downloaded graphviz-rust v0.9.4
[INFO] [stderr]   Downloaded clap v4.5.38
[INFO] [stderr]   Downloaded into-attr v0.1.1
[INFO] [stderr]   Downloaded clap_builder v4.5.38
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 623f95895ad717d5dbd02f769c6e90df6feb1a66ea3195ef0305953f31db6fe1
[INFO] running `Command { std: "docker" "start" "-a" "623f95895ad717d5dbd02f769c6e90df6feb1a66ea3195ef0305953f31db6fe1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "623f95895ad717d5dbd02f769c6e90df6feb1a66ea3195ef0305953f31db6fe1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "623f95895ad717d5dbd02f769c6e90df6feb1a66ea3195ef0305953f31db6fe1", kill_on_drop: false }`
[INFO] [stdout] 623f95895ad717d5dbd02f769c6e90df6feb1a66ea3195ef0305953f31db6fe1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/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" "RUSTDOCFLAGS=--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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "build" "--frozen" "--message-format=json" "--target" "x86_64-unknown-linux-musl", kill_on_drop: false }`
[INFO] [stdout] e4704fb24ccb22df38432c37612df84fe98f161e0f3181486cb908b1f95a00a8
[INFO] running `Command { std: "docker" "start" "-a" "e4704fb24ccb22df38432c37612df84fe98f161e0f3181486cb908b1f95a00a8", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.95
[INFO] [stderr]    Compiling unicode-ident v1.0.18
[INFO] [stderr]    Compiling thiserror v2.0.12
[INFO] [stderr]    Compiling libc v0.2.172
[INFO] [stderr]    Compiling zerocopy v0.8.25
[INFO] [stderr]    Compiling memchr v2.7.4
[INFO] [stderr]    Compiling ucd-trie v0.1.7
[INFO] [stderr]    Compiling dot-structures v0.1.2
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling getrandom v0.3.2
[INFO] [stderr]    Compiling rustix v1.0.7
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling bitflags v2.9.0
[INFO] [stderr]    Compiling linux-raw-sys v0.9.4
[INFO] [stderr]    Compiling dot-generator v0.2.0
[INFO] [stderr]    Compiling into-attr v0.1.1
[INFO] [stderr]    Compiling fastrand v2.3.0
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]    Compiling syn v2.0.101
[INFO] [stderr]    Compiling getrandom v0.2.16
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling tempfile v3.19.1
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling into-attr-derive v0.2.1
[INFO] [stderr]    Compiling thiserror-impl v2.0.12
[INFO] [stderr]    Compiling pest v2.8.0
[INFO] [stderr]    Compiling pest_meta v2.8.0
[INFO] [stderr]    Compiling pest_generator v2.8.0
[INFO] [stderr]    Compiling pest_derive v2.8.0
[INFO] [stderr]    Compiling graphviz-rust v0.9.4
[INFO] [stderr]    Compiling RustConstantTermSequences v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: crate `RustConstantTermSequences` should have a snake case name
[INFO] [stdout]   |
[INFO] [stdout]   = help: convert the identifier to snake case: `rust_constant_term_sequences`
[INFO] [stdout]   = note: `#[warn(non_snake_case)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:153:22
[INFO] [stdout]     |
[INFO] [stdout] 153 |     pub fn poly_auto(P: &LaurentPoly, Q: &LaurentPoly, state_bound: usize) -> Result<Self, String> {
[INFO] [stdout]     |                      ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:153:39
[INFO] [stdout]     |
[INFO] [stdout] 153 |     pub fn poly_auto(P: &LaurentPoly, Q: &LaurentPoly, state_bound: usize) -> Result<Self, String> {
[INFO] [stdout]     |                                       ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:166:9
[INFO] [stdout]     |
[INFO] [stdout] 166 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:167:9
[INFO] [stdout]     |
[INFO] [stdout] 167 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:191:9
[INFO] [stdout]     |
[INFO] [stdout] 191 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:192:9
[INFO] [stdout]     |
[INFO] [stdout] 192 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:212:9
[INFO] [stdout]     |
[INFO] [stdout] 212 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:213:9
[INFO] [stdout]     |
[INFO] [stdout] 213 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:230:9
[INFO] [stdout]     |
[INFO] [stdout] 230 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:231:9
[INFO] [stdout]     |
[INFO] [stdout] 231 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:252:46
[INFO] [stdout]     |
[INFO] [stdout] 252 |     pub fn compute_ct_reverse(&self, n: u64, Q: &LaurentPoly) -> ModInt {
[INFO] [stdout]     |                                              ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:262:9
[INFO] [stdout]     |
[INFO] [stdout] 262 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:263:9
[INFO] [stdout]     |
[INFO] [stdout] 263 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:286:9
[INFO] [stdout]     |
[INFO] [stdout] 286 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:287:9
[INFO] [stdout]     |
[INFO] [stdout] 287 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:298:13
[INFO] [stdout]     |
[INFO] [stdout] 298 |         let P = Arc::new(P.clone());
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:299:13
[INFO] [stdout]     |
[INFO] [stdout] 299 |         let Q = Arc::new(Q.clone());
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:305:17
[INFO] [stdout]     |
[INFO] [stdout] 305 |             let P = Arc::clone(&P);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:306:17
[INFO] [stdout]     |
[INFO] [stdout] 306 |             let Q = Arc::clone(&Q);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:323:17
[INFO] [stdout]     |
[INFO] [stdout] 323 |             let P = Arc::clone(&P);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:324:17
[INFO] [stdout]     |
[INFO] [stdout] 324 |             let Q = Arc::clone(&Q);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:428:9
[INFO] [stdout]     |
[INFO] [stdout] 428 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:429:9
[INFO] [stdout]     |
[INFO] [stdout] 429 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:508:9
[INFO] [stdout]     |
[INFO] [stdout] 508 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:509:9
[INFO] [stdout]     |
[INFO] [stdout] 509 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:519:13
[INFO] [stdout]     |
[INFO] [stdout] 519 |         let P = Arc::new(P.clone());
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:520:13
[INFO] [stdout]     |
[INFO] [stdout] 520 |         let Q = Arc::new(Q.clone());
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:525:17
[INFO] [stdout]     |
[INFO] [stdout] 525 |             let P = Arc::clone(&P);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:526:17
[INFO] [stdout]     |
[INFO] [stdout] 526 |             let Q = Arc::clone(&Q);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:545:17
[INFO] [stdout]     |
[INFO] [stdout] 545 |             let P = Arc::clone(&P);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:546:17
[INFO] [stdout]     |
[INFO] [stdout] 546 |             let Q = Arc::clone(&Q);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:572:9
[INFO] [stdout]     |
[INFO] [stdout] 572 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:573:9
[INFO] [stdout]     |
[INFO] [stdout] 573 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:576:13
[INFO] [stdout]     |
[INFO] [stdout] 576 |         let P = P.clone();
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:586:9
[INFO] [stdout]     |
[INFO] [stdout] 586 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:587:9
[INFO] [stdout]     |
[INFO] [stdout] 587 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:590:13
[INFO] [stdout]     |
[INFO] [stdout] 590 |         let P = P.clone();
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]   --> src/lin_rep.rs:31:28
[INFO] [stdout]    |
[INFO] [stdout] 31 |     pub fn for_ct_sequence(P: &LaurentPoly, Q: &LaurentPoly) -> Self {
[INFO] [stdout]    |                            ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]   --> src/lin_rep.rs:31:45
[INFO] [stdout]    |
[INFO] [stdout] 31 |     pub fn for_ct_sequence(P: &LaurentPoly, Q: &LaurentPoly) -> Self {
[INFO] [stdout]    |                                             ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]  --> src/sequences.rs:4:27
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub fn constant_term_slow(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> ModInt {
[INFO] [stdout]   |                           ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]  --> src/sequences.rs:4:44
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub fn constant_term_slow(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> ModInt {
[INFO] [stdout]   |                                            ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]  --> src/sequences.rs:8:29
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub fn constant_term_reduce(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> LaurentPoly {
[INFO] [stdout]   |                             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]  --> src/sequences.rs:8:46
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub fn constant_term_reduce(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> LaurentPoly {
[INFO] [stdout]   |                                              ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]  --> src/sequences.rs:9:13
[INFO] [stdout]   |
[INFO] [stdout] 9 |     let mut Q = Q.clone();
[INFO] [stdout]   |             ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]   --> src/sequences.rs:22:22
[INFO] [stdout]    |
[INFO] [stdout] 22 | pub fn constant_term(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> ModInt {
[INFO] [stdout]    |                      ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]   --> src/sequences.rs:22:39
[INFO] [stdout]    |
[INFO] [stdout] 22 | pub fn constant_term(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> ModInt {
[INFO] [stdout]    |                                       ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `poly_auto_fail_on_zero` is never used
[INFO] [stdout]    --> src/dfao.rs:190:12
[INFO] [stdout]     |
[INFO] [stdout] 152 | impl DFAO<ModInt, LaurentPoly> {
[INFO] [stdout]     | ------------------------------ associated function in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 190 |     pub fn poly_auto_fail_on_zero(
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `compute_shortest_non_zero` is never used
[INFO] [stdout]    --> src/dfao.rs:585:12
[INFO] [stdout]     |
[INFO] [stdout] 210 | impl DFAO<ModInt, ModIntVector> {
[INFO] [stdout]     | ------------------------------- associated function in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 585 |     pub fn compute_shortest_non_zero(
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `from_vec` and `add` are never used
[INFO] [stdout]    --> src/laurent_poly.rs:28:12
[INFO] [stdout]     |
[INFO] [stdout] 11  | impl LaurentPoly {
[INFO] [stdout]     | ---------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 28  |     pub fn from_vec(vec: Vec<(i64, u64)>, modulus: u64) -> Self {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 111 |     pub fn add(&self, other: &Self) -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `zero`, `id`, `add`, and `mul` are never used
[INFO] [stdout]   --> src/mod_int_matrix.rs:14:12
[INFO] [stdout]    |
[INFO] [stdout] 13 | impl ModIntMatrix {
[INFO] [stdout]    | ----------------- associated items in this implementation
[INFO] [stdout] 14 |     pub fn zero(dim: usize, modulus: u64) -> Self {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 30 |     pub fn id(dim: usize, modulus: u64) -> Self {
[INFO] [stdout]    |            ^^
[INFO] [stdout] ...
[INFO] [stdout] 39 |     pub fn add(&self, other: &Self) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 59 |     pub fn mul(&self, other: &Self) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:153:22
[INFO] [stdout]     |
[INFO] [stdout] 153 |     pub fn poly_auto(P: &LaurentPoly, Q: &LaurentPoly, state_bound: usize) -> Result<Self, String> {
[INFO] [stdout]     |                      ^ help: convert the identifier to snake case: `p`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(non_snake_case)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:153:39
[INFO] [stdout]     |
[INFO] [stdout] 153 |     pub fn poly_auto(P: &LaurentPoly, Q: &LaurentPoly, state_bound: usize) -> Result<Self, String> {
[INFO] [stdout]     |                                       ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:166:9
[INFO] [stdout]     |
[INFO] [stdout] 166 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:167:9
[INFO] [stdout]     |
[INFO] [stdout] 167 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:191:9
[INFO] [stdout]     |
[INFO] [stdout] 191 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:192:9
[INFO] [stdout]     |
[INFO] [stdout] 192 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:212:9
[INFO] [stdout]     |
[INFO] [stdout] 212 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:213:9
[INFO] [stdout]     |
[INFO] [stdout] 213 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:230:9
[INFO] [stdout]     |
[INFO] [stdout] 230 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:231:9
[INFO] [stdout]     |
[INFO] [stdout] 231 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:252:46
[INFO] [stdout]     |
[INFO] [stdout] 252 |     pub fn compute_ct_reverse(&self, n: u64, Q: &LaurentPoly) -> ModInt {
[INFO] [stdout]     |                                              ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:262:9
[INFO] [stdout]     |
[INFO] [stdout] 262 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:263:9
[INFO] [stdout]     |
[INFO] [stdout] 263 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:286:9
[INFO] [stdout]     |
[INFO] [stdout] 286 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:287:9
[INFO] [stdout]     |
[INFO] [stdout] 287 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:298:13
[INFO] [stdout]     |
[INFO] [stdout] 298 |         let P = Arc::new(P.clone());
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:299:13
[INFO] [stdout]     |
[INFO] [stdout] 299 |         let Q = Arc::new(Q.clone());
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:305:17
[INFO] [stdout]     |
[INFO] [stdout] 305 |             let P = Arc::clone(&P);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:306:17
[INFO] [stdout]     |
[INFO] [stdout] 306 |             let Q = Arc::clone(&Q);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:323:17
[INFO] [stdout]     |
[INFO] [stdout] 323 |             let P = Arc::clone(&P);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:324:17
[INFO] [stdout]     |
[INFO] [stdout] 324 |             let Q = Arc::clone(&Q);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:428:9
[INFO] [stdout]     |
[INFO] [stdout] 428 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:429:9
[INFO] [stdout]     |
[INFO] [stdout] 429 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:508:9
[INFO] [stdout]     |
[INFO] [stdout] 508 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:509:9
[INFO] [stdout]     |
[INFO] [stdout] 509 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:519:13
[INFO] [stdout]     |
[INFO] [stdout] 519 |         let P = Arc::new(P.clone());
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:520:13
[INFO] [stdout]     |
[INFO] [stdout] 520 |         let Q = Arc::new(Q.clone());
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:525:17
[INFO] [stdout]     |
[INFO] [stdout] 525 |             let P = Arc::clone(&P);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:526:17
[INFO] [stdout]     |
[INFO] [stdout] 526 |             let Q = Arc::clone(&Q);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:545:17
[INFO] [stdout]     |
[INFO] [stdout] 545 |             let P = Arc::clone(&P);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:546:17
[INFO] [stdout]     |
[INFO] [stdout] 546 |             let Q = Arc::clone(&Q);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:572:9
[INFO] [stdout]     |
[INFO] [stdout] 572 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:573:9
[INFO] [stdout]     |
[INFO] [stdout] 573 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:576:13
[INFO] [stdout]     |
[INFO] [stdout] 576 |         let P = P.clone();
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:586:9
[INFO] [stdout]     |
[INFO] [stdout] 586 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:587:9
[INFO] [stdout]     |
[INFO] [stdout] 587 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:590:13
[INFO] [stdout]     |
[INFO] [stdout] 590 |         let P = P.clone();
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]   --> src/lin_rep.rs:31:28
[INFO] [stdout]    |
[INFO] [stdout] 31 |     pub fn for_ct_sequence(P: &LaurentPoly, Q: &LaurentPoly) -> Self {
[INFO] [stdout]    |                            ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]   --> src/lin_rep.rs:31:45
[INFO] [stdout]    |
[INFO] [stdout] 31 |     pub fn for_ct_sequence(P: &LaurentPoly, Q: &LaurentPoly) -> Self {
[INFO] [stdout]    |                                             ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]  --> src/sequences.rs:4:27
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub fn constant_term_slow(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> ModInt {
[INFO] [stdout]   |                           ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]  --> src/sequences.rs:4:44
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub fn constant_term_slow(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> ModInt {
[INFO] [stdout]   |                                            ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]  --> src/sequences.rs:8:29
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub fn constant_term_reduce(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> LaurentPoly {
[INFO] [stdout]   |                             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]  --> src/sequences.rs:8:46
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub fn constant_term_reduce(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> LaurentPoly {
[INFO] [stdout]   |                                              ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]  --> src/sequences.rs:9:13
[INFO] [stdout]   |
[INFO] [stdout] 9 |     let mut Q = Q.clone();
[INFO] [stdout]   |             ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]   --> src/sequences.rs:22:22
[INFO] [stdout]    |
[INFO] [stdout] 22 | pub fn constant_term(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> ModInt {
[INFO] [stdout]    |                      ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]   --> src/sequences.rs:22:39
[INFO] [stdout]    |
[INFO] [stdout] 22 | pub fn constant_term(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> ModInt {
[INFO] [stdout]    |                                       ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 15.63s
[INFO] running `Command { std: "docker" "inspect" "e4704fb24ccb22df38432c37612df84fe98f161e0f3181486cb908b1f95a00a8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e4704fb24ccb22df38432c37612df84fe98f161e0f3181486cb908b1f95a00a8", kill_on_drop: false }`
[INFO] [stdout] e4704fb24ccb22df38432c37612df84fe98f161e0f3181486cb908b1f95a00a8
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/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" "RUSTDOCFLAGS=--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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "test" "--frozen" "--no-run" "--message-format=json" "--target" "x86_64-unknown-linux-musl", kill_on_drop: false }`
[INFO] [stdout] bdc2a6a3f45b9b14ff477b669e4c667a45f16704ed7a1a2c05a6739602148b30
[INFO] running `Command { std: "docker" "start" "-a" "bdc2a6a3f45b9b14ff477b669e4c667a45f16704ed7a1a2c05a6739602148b30", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.172
[INFO] [stderr]    Compiling crossbeam-utils v0.8.21
[INFO] [stderr]    Compiling serde v1.0.219
[INFO] [stderr]    Compiling serde_derive v1.0.219
[INFO] [stderr]    Compiling autocfg v1.4.0
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling serde_json v1.0.140
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling rayon-core v1.12.1
[INFO] [stderr]    Compiling half v2.6.0
[INFO] [stderr]    Compiling regex-syntax v0.8.5
[INFO] [stderr]    Compiling itoa v1.0.15
[INFO] [stderr]    Compiling anstyle v1.0.10
[INFO] [stderr]    Compiling clap_lex v0.7.4
[INFO] [stderr]    Compiling ryu v1.0.20
[INFO] [stderr]    Compiling ciborium-io v0.2.2
[INFO] [stderr]    Compiling plotters-backend v0.3.7
[INFO] [stderr]    Compiling cast v0.3.0
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]    Compiling anes v0.1.6
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling clap_builder v4.5.38
[INFO] [stderr]    Compiling oorandom v11.1.5
[INFO] [stderr]    Compiling plotters-svg v0.3.7
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling regex-automata v0.4.9
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling crossbeam-deque v0.8.6
[INFO] [stderr]    Compiling criterion-plot v0.5.0
[INFO] [stderr]    Compiling getrandom v0.2.16
[INFO] [stderr]    Compiling getrandom v0.3.2
[INFO] [stderr]    Compiling is-terminal v0.4.16
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling tempfile v3.19.1
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling rayon v1.10.0
[INFO] [stderr]    Compiling regex v1.11.1
[INFO] [stderr]    Compiling clap v4.5.38
[INFO] [stderr]    Compiling graphviz-rust v0.9.4
[INFO] [stderr]    Compiling RustConstantTermSequences v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: crate `RustConstantTermSequences` should have a snake case name
[INFO] [stdout]   |
[INFO] [stdout]   = help: convert the identifier to snake case: `rust_constant_term_sequences`
[INFO] [stdout]   = note: `#[warn(non_snake_case)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:153:22
[INFO] [stdout]     |
[INFO] [stdout] 153 |     pub fn poly_auto(P: &LaurentPoly, Q: &LaurentPoly, state_bound: usize) -> Result<Self, String> {
[INFO] [stdout]     |                      ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:153:39
[INFO] [stdout]     |
[INFO] [stdout] 153 |     pub fn poly_auto(P: &LaurentPoly, Q: &LaurentPoly, state_bound: usize) -> Result<Self, String> {
[INFO] [stdout]     |                                       ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:166:9
[INFO] [stdout]     |
[INFO] [stdout] 166 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:167:9
[INFO] [stdout]     |
[INFO] [stdout] 167 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:191:9
[INFO] [stdout]     |
[INFO] [stdout] 191 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:192:9
[INFO] [stdout]     |
[INFO] [stdout] 192 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:212:9
[INFO] [stdout]     |
[INFO] [stdout] 212 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:213:9
[INFO] [stdout]     |
[INFO] [stdout] 213 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:230:9
[INFO] [stdout]     |
[INFO] [stdout] 230 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:231:9
[INFO] [stdout]     |
[INFO] [stdout] 231 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:252:46
[INFO] [stdout]     |
[INFO] [stdout] 252 |     pub fn compute_ct_reverse(&self, n: u64, Q: &LaurentPoly) -> ModInt {
[INFO] [stdout]     |                                              ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:262:9
[INFO] [stdout]     |
[INFO] [stdout] 262 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:263:9
[INFO] [stdout]     |
[INFO] [stdout] 263 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:286:9
[INFO] [stdout]     |
[INFO] [stdout] 286 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:287:9
[INFO] [stdout]     |
[INFO] [stdout] 287 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:298:13
[INFO] [stdout]     |
[INFO] [stdout] 298 |         let P = Arc::new(P.clone());
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:299:13
[INFO] [stdout]     |
[INFO] [stdout] 299 |         let Q = Arc::new(Q.clone());
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:305:17
[INFO] [stdout]     |
[INFO] [stdout] 305 |             let P = Arc::clone(&P);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:306:17
[INFO] [stdout]     |
[INFO] [stdout] 306 |             let Q = Arc::clone(&Q);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:323:17
[INFO] [stdout]     |
[INFO] [stdout] 323 |             let P = Arc::clone(&P);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:324:17
[INFO] [stdout]     |
[INFO] [stdout] 324 |             let Q = Arc::clone(&Q);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:428:9
[INFO] [stdout]     |
[INFO] [stdout] 428 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:429:9
[INFO] [stdout]     |
[INFO] [stdout] 429 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:508:9
[INFO] [stdout]     |
[INFO] [stdout] 508 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:509:9
[INFO] [stdout]     |
[INFO] [stdout] 509 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:519:13
[INFO] [stdout]     |
[INFO] [stdout] 519 |         let P = Arc::new(P.clone());
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:520:13
[INFO] [stdout]     |
[INFO] [stdout] 520 |         let Q = Arc::new(Q.clone());
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:525:17
[INFO] [stdout]     |
[INFO] [stdout] 525 |             let P = Arc::clone(&P);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:526:17
[INFO] [stdout]     |
[INFO] [stdout] 526 |             let Q = Arc::clone(&Q);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:545:17
[INFO] [stdout]     |
[INFO] [stdout] 545 |             let P = Arc::clone(&P);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:546:17
[INFO] [stdout]     |
[INFO] [stdout] 546 |             let Q = Arc::clone(&Q);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:572:9
[INFO] [stdout]     |
[INFO] [stdout] 572 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:573:9
[INFO] [stdout]     |
[INFO] [stdout] 573 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:576:13
[INFO] [stdout]     |
[INFO] [stdout] 576 |         let P = P.clone();
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:586:9
[INFO] [stdout]     |
[INFO] [stdout] 586 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:587:9
[INFO] [stdout]     |
[INFO] [stdout] 587 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:590:13
[INFO] [stdout]     |
[INFO] [stdout] 590 |         let P = P.clone();
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]   --> src/lin_rep.rs:31:28
[INFO] [stdout]    |
[INFO] [stdout] 31 |     pub fn for_ct_sequence(P: &LaurentPoly, Q: &LaurentPoly) -> Self {
[INFO] [stdout]    |                            ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]   --> src/lin_rep.rs:31:45
[INFO] [stdout]    |
[INFO] [stdout] 31 |     pub fn for_ct_sequence(P: &LaurentPoly, Q: &LaurentPoly) -> Self {
[INFO] [stdout]    |                                             ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]  --> src/sequences.rs:4:27
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub fn constant_term_slow(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> ModInt {
[INFO] [stdout]   |                           ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]  --> src/sequences.rs:4:44
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub fn constant_term_slow(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> ModInt {
[INFO] [stdout]   |                                            ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]  --> src/sequences.rs:8:29
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub fn constant_term_reduce(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> LaurentPoly {
[INFO] [stdout]   |                             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]  --> src/sequences.rs:8:46
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub fn constant_term_reduce(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> LaurentPoly {
[INFO] [stdout]   |                                              ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]  --> src/sequences.rs:9:13
[INFO] [stdout]   |
[INFO] [stdout] 9 |     let mut Q = Q.clone();
[INFO] [stdout]   |             ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]   --> src/sequences.rs:22:22
[INFO] [stdout]    |
[INFO] [stdout] 22 | pub fn constant_term(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> ModInt {
[INFO] [stdout]    |                      ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]   --> src/sequences.rs:22:39
[INFO] [stdout]    |
[INFO] [stdout] 22 | pub fn constant_term(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> ModInt {
[INFO] [stdout]    |                                       ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling criterion v0.5.1
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:153:22
[INFO] [stdout]     |
[INFO] [stdout] 153 |     pub fn poly_auto(P: &LaurentPoly, Q: &LaurentPoly, state_bound: usize) -> Result<Self, String> {
[INFO] [stdout]     |                      ^ help: convert the identifier to snake case: `p`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(non_snake_case)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:153:39
[INFO] [stdout]     |
[INFO] [stdout] 153 |     pub fn poly_auto(P: &LaurentPoly, Q: &LaurentPoly, state_bound: usize) -> Result<Self, String> {
[INFO] [stdout]     |                                       ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:166:9
[INFO] [stdout]     |
[INFO] [stdout] 166 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:167:9
[INFO] [stdout]     |
[INFO] [stdout] 167 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:191:9
[INFO] [stdout]     |
[INFO] [stdout] 191 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:192:9
[INFO] [stdout]     |
[INFO] [stdout] 192 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:212:9
[INFO] [stdout]     |
[INFO] [stdout] 212 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:213:9
[INFO] [stdout]     |
[INFO] [stdout] 213 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:230:9
[INFO] [stdout]     |
[INFO] [stdout] 230 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:231:9
[INFO] [stdout]     |
[INFO] [stdout] 231 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:252:46
[INFO] [stdout]     |
[INFO] [stdout] 252 |     pub fn compute_ct_reverse(&self, n: u64, Q: &LaurentPoly) -> ModInt {
[INFO] [stdout]     |                                              ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:262:9
[INFO] [stdout]     |
[INFO] [stdout] 262 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:263:9
[INFO] [stdout]     |
[INFO] [stdout] 263 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:286:9
[INFO] [stdout]     |
[INFO] [stdout] 286 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:287:9
[INFO] [stdout]     |
[INFO] [stdout] 287 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:298:13
[INFO] [stdout]     |
[INFO] [stdout] 298 |         let P = Arc::new(P.clone());
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:299:13
[INFO] [stdout]     |
[INFO] [stdout] 299 |         let Q = Arc::new(Q.clone());
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:305:17
[INFO] [stdout]     |
[INFO] [stdout] 305 |             let P = Arc::clone(&P);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:306:17
[INFO] [stdout]     |
[INFO] [stdout] 306 |             let Q = Arc::clone(&Q);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:323:17
[INFO] [stdout]     |
[INFO] [stdout] 323 |             let P = Arc::clone(&P);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:324:17
[INFO] [stdout]     |
[INFO] [stdout] 324 |             let Q = Arc::clone(&Q);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:428:9
[INFO] [stdout]     |
[INFO] [stdout] 428 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:429:9
[INFO] [stdout]     |
[INFO] [stdout] 429 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:508:9
[INFO] [stdout]     |
[INFO] [stdout] 508 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:509:9
[INFO] [stdout]     |
[INFO] [stdout] 509 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:519:13
[INFO] [stdout]     |
[INFO] [stdout] 519 |         let P = Arc::new(P.clone());
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:520:13
[INFO] [stdout]     |
[INFO] [stdout] 520 |         let Q = Arc::new(Q.clone());
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:525:17
[INFO] [stdout]     |
[INFO] [stdout] 525 |             let P = Arc::clone(&P);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:526:17
[INFO] [stdout]     |
[INFO] [stdout] 526 |             let Q = Arc::clone(&Q);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:545:17
[INFO] [stdout]     |
[INFO] [stdout] 545 |             let P = Arc::clone(&P);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:546:17
[INFO] [stdout]     |
[INFO] [stdout] 546 |             let Q = Arc::clone(&Q);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:572:9
[INFO] [stdout]     |
[INFO] [stdout] 572 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:573:9
[INFO] [stdout]     |
[INFO] [stdout] 573 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:576:13
[INFO] [stdout]     |
[INFO] [stdout] 576 |         let P = P.clone();
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:586:9
[INFO] [stdout]     |
[INFO] [stdout] 586 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:587:9
[INFO] [stdout]     |
[INFO] [stdout] 587 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:590:13
[INFO] [stdout]     |
[INFO] [stdout] 590 |         let P = P.clone();
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:696:17
[INFO] [stdout]     |
[INFO] [stdout] 696 |             let P = LaurentPoly::from_string("x + 1 + x^-1", p);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:697:17
[INFO] [stdout]     |
[INFO] [stdout] 697 |             let Q = LaurentPoly::from_string("1 - x^2", p);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:704:13
[INFO] [stdout]     |
[INFO] [stdout] 704 |         let P = LaurentPoly::from_string("x + 1 + x^-1", 11);
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:705:13
[INFO] [stdout]     |
[INFO] [stdout] 705 |         let Q = LaurentPoly::from_string("1 - x^2", 11);
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:716:17
[INFO] [stdout]     |
[INFO] [stdout] 716 |             let P = LaurentPoly::from_string("x + 1 + x^-1", p);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:717:17
[INFO] [stdout]     |
[INFO] [stdout] 717 |             let Q = LaurentPoly::one(p);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:740:17
[INFO] [stdout]     |
[INFO] [stdout] 740 |             let P = LaurentPoly::from_string("x + 1 + x^-1", p);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:741:17
[INFO] [stdout]     |
[INFO] [stdout] 741 |             let Q = LaurentPoly::from_string("1 - x^2", p);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:754:13
[INFO] [stdout]     |
[INFO] [stdout] 754 |         let P = LaurentPoly::from_string("x + 1 + x^-1", 11);
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:755:13
[INFO] [stdout]     |
[INFO] [stdout] 755 |         let Q = LaurentPoly::from_string("1 - x^2", 11);
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:769:17
[INFO] [stdout]     |
[INFO] [stdout] 769 |             let P = LaurentPoly::from_string("x + 1 + x^-1", p);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:770:17
[INFO] [stdout]     |
[INFO] [stdout] 770 |             let Q = LaurentPoly::from_string("1 - x^2", p);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:780:13
[INFO] [stdout]     |
[INFO] [stdout] 780 |         let P = LaurentPoly::from_string("x + 1 + x^-1", 11);
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:781:13
[INFO] [stdout]     |
[INFO] [stdout] 781 |         let Q = LaurentPoly::from_string("1 - x^2", 11);
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]   --> src/lin_rep.rs:31:28
[INFO] [stdout]    |
[INFO] [stdout] 31 |     pub fn for_ct_sequence(P: &LaurentPoly, Q: &LaurentPoly) -> Self {
[INFO] [stdout]    |                            ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]   --> src/lin_rep.rs:31:45
[INFO] [stdout]    |
[INFO] [stdout] 31 |     pub fn for_ct_sequence(P: &LaurentPoly, Q: &LaurentPoly) -> Self {
[INFO] [stdout]    |                                             ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]  --> src/sequences.rs:4:27
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub fn constant_term_slow(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> ModInt {
[INFO] [stdout]   |                           ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]  --> src/sequences.rs:4:44
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub fn constant_term_slow(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> ModInt {
[INFO] [stdout]   |                                            ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]  --> src/sequences.rs:8:29
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub fn constant_term_reduce(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> LaurentPoly {
[INFO] [stdout]   |                             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]  --> src/sequences.rs:8:46
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub fn constant_term_reduce(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> LaurentPoly {
[INFO] [stdout]   |                                              ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]  --> src/sequences.rs:9:13
[INFO] [stdout]   |
[INFO] [stdout] 9 |     let mut Q = Q.clone();
[INFO] [stdout]   |             ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]   --> src/sequences.rs:22:22
[INFO] [stdout]    |
[INFO] [stdout] 22 | pub fn constant_term(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> ModInt {
[INFO] [stdout]    |                      ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]   --> src/sequences.rs:22:39
[INFO] [stdout]    |
[INFO] [stdout] 22 | pub fn constant_term(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> ModInt {
[INFO] [stdout]    |                                       ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]   --> src/sequences.rs:39:17
[INFO] [stdout]    |
[INFO] [stdout] 39 |             let P = LaurentPoly::from_string("x + 1 + x^-1", p);
[INFO] [stdout]    |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]   --> src/sequences.rs:40:17
[INFO] [stdout]    |
[INFO] [stdout] 40 |             let Q = LaurentPoly::from_string("1 - x^2", p);
[INFO] [stdout]    |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `compute_shortest_non_zero` is never used
[INFO] [stdout]    --> src/dfao.rs:585:12
[INFO] [stdout]     |
[INFO] [stdout] 210 | impl DFAO<ModInt, ModIntVector> {
[INFO] [stdout]     | ------------------------------- associated function in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 585 |     pub fn compute_shortest_non_zero(
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `zero`, `id`, `add`, and `mul` are never used
[INFO] [stdout]   --> src/mod_int_matrix.rs:14:12
[INFO] [stdout]    |
[INFO] [stdout] 13 | impl ModIntMatrix {
[INFO] [stdout]    | ----------------- associated items in this implementation
[INFO] [stdout] 14 |     pub fn zero(dim: usize, modulus: u64) -> Self {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 30 |     pub fn id(dim: usize, modulus: u64) -> Self {
[INFO] [stdout]    |            ^^
[INFO] [stdout] ...
[INFO] [stdout] 39 |     pub fn add(&self, other: &Self) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 59 |     pub fn mul(&self, other: &Self) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:153:22
[INFO] [stdout]     |
[INFO] [stdout] 153 |     pub fn poly_auto(P: &LaurentPoly, Q: &LaurentPoly, state_bound: usize) -> Result<Self, String> {
[INFO] [stdout]     |                      ^ help: convert the identifier to snake case: `p`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(non_snake_case)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:153:39
[INFO] [stdout]     |
[INFO] [stdout] 153 |     pub fn poly_auto(P: &LaurentPoly, Q: &LaurentPoly, state_bound: usize) -> Result<Self, String> {
[INFO] [stdout]     |                                       ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:166:9
[INFO] [stdout]     |
[INFO] [stdout] 166 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:167:9
[INFO] [stdout]     |
[INFO] [stdout] 167 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:191:9
[INFO] [stdout]     |
[INFO] [stdout] 191 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:192:9
[INFO] [stdout]     |
[INFO] [stdout] 192 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:212:9
[INFO] [stdout]     |
[INFO] [stdout] 212 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:213:9
[INFO] [stdout]     |
[INFO] [stdout] 213 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:230:9
[INFO] [stdout]     |
[INFO] [stdout] 230 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:231:9
[INFO] [stdout]     |
[INFO] [stdout] 231 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:252:46
[INFO] [stdout]     |
[INFO] [stdout] 252 |     pub fn compute_ct_reverse(&self, n: u64, Q: &LaurentPoly) -> ModInt {
[INFO] [stdout]     |                                              ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:262:9
[INFO] [stdout]     |
[INFO] [stdout] 262 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:263:9
[INFO] [stdout]     |
[INFO] [stdout] 263 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:286:9
[INFO] [stdout]     |
[INFO] [stdout] 286 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:287:9
[INFO] [stdout]     |
[INFO] [stdout] 287 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:298:13
[INFO] [stdout]     |
[INFO] [stdout] 298 |         let P = Arc::new(P.clone());
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:299:13
[INFO] [stdout]     |
[INFO] [stdout] 299 |         let Q = Arc::new(Q.clone());
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:305:17
[INFO] [stdout]     |
[INFO] [stdout] 305 |             let P = Arc::clone(&P);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:306:17
[INFO] [stdout]     |
[INFO] [stdout] 306 |             let Q = Arc::clone(&Q);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:323:17
[INFO] [stdout]     |
[INFO] [stdout] 323 |             let P = Arc::clone(&P);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:324:17
[INFO] [stdout]     |
[INFO] [stdout] 324 |             let Q = Arc::clone(&Q);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:428:9
[INFO] [stdout]     |
[INFO] [stdout] 428 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:429:9
[INFO] [stdout]     |
[INFO] [stdout] 429 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:508:9
[INFO] [stdout]     |
[INFO] [stdout] 508 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:509:9
[INFO] [stdout]     |
[INFO] [stdout] 509 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:519:13
[INFO] [stdout]     |
[INFO] [stdout] 519 |         let P = Arc::new(P.clone());
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:520:13
[INFO] [stdout]     |
[INFO] [stdout] 520 |         let Q = Arc::new(Q.clone());
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:525:17
[INFO] [stdout]     |
[INFO] [stdout] 525 |             let P = Arc::clone(&P);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:526:17
[INFO] [stdout]     |
[INFO] [stdout] 526 |             let Q = Arc::clone(&Q);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:545:17
[INFO] [stdout]     |
[INFO] [stdout] 545 |             let P = Arc::clone(&P);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:546:17
[INFO] [stdout]     |
[INFO] [stdout] 546 |             let Q = Arc::clone(&Q);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:572:9
[INFO] [stdout]     |
[INFO] [stdout] 572 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:573:9
[INFO] [stdout]     |
[INFO] [stdout] 573 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:576:13
[INFO] [stdout]     |
[INFO] [stdout] 576 |         let P = P.clone();
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:586:9
[INFO] [stdout]     |
[INFO] [stdout] 586 |         P: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:587:9
[INFO] [stdout]     |
[INFO] [stdout] 587 |         Q: &LaurentPoly,
[INFO] [stdout]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:590:13
[INFO] [stdout]     |
[INFO] [stdout] 590 |         let P = P.clone();
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:696:17
[INFO] [stdout]     |
[INFO] [stdout] 696 |             let P = LaurentPoly::from_string("x + 1 + x^-1", p);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:697:17
[INFO] [stdout]     |
[INFO] [stdout] 697 |             let Q = LaurentPoly::from_string("1 - x^2", p);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:704:13
[INFO] [stdout]     |
[INFO] [stdout] 704 |         let P = LaurentPoly::from_string("x + 1 + x^-1", 11);
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:705:13
[INFO] [stdout]     |
[INFO] [stdout] 705 |         let Q = LaurentPoly::from_string("1 - x^2", 11);
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:716:17
[INFO] [stdout]     |
[INFO] [stdout] 716 |             let P = LaurentPoly::from_string("x + 1 + x^-1", p);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:717:17
[INFO] [stdout]     |
[INFO] [stdout] 717 |             let Q = LaurentPoly::one(p);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:740:17
[INFO] [stdout]     |
[INFO] [stdout] 740 |             let P = LaurentPoly::from_string("x + 1 + x^-1", p);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:741:17
[INFO] [stdout]     |
[INFO] [stdout] 741 |             let Q = LaurentPoly::from_string("1 - x^2", p);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:754:13
[INFO] [stdout]     |
[INFO] [stdout] 754 |         let P = LaurentPoly::from_string("x + 1 + x^-1", 11);
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:755:13
[INFO] [stdout]     |
[INFO] [stdout] 755 |         let Q = LaurentPoly::from_string("1 - x^2", 11);
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:769:17
[INFO] [stdout]     |
[INFO] [stdout] 769 |             let P = LaurentPoly::from_string("x + 1 + x^-1", p);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:770:17
[INFO] [stdout]     |
[INFO] [stdout] 770 |             let Q = LaurentPoly::from_string("1 - x^2", p);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:780:13
[INFO] [stdout]     |
[INFO] [stdout] 780 |         let P = LaurentPoly::from_string("x + 1 + x^-1", 11);
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]    --> src/dfao.rs:781:13
[INFO] [stdout]     |
[INFO] [stdout] 781 |         let Q = LaurentPoly::from_string("1 - x^2", 11);
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]   --> src/lin_rep.rs:31:28
[INFO] [stdout]    |
[INFO] [stdout] 31 |     pub fn for_ct_sequence(P: &LaurentPoly, Q: &LaurentPoly) -> Self {
[INFO] [stdout]    |                            ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]   --> src/lin_rep.rs:31:45
[INFO] [stdout]    |
[INFO] [stdout] 31 |     pub fn for_ct_sequence(P: &LaurentPoly, Q: &LaurentPoly) -> Self {
[INFO] [stdout]    |                                             ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]  --> src/sequences.rs:4:27
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub fn constant_term_slow(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> ModInt {
[INFO] [stdout]   |                           ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]  --> src/sequences.rs:4:44
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub fn constant_term_slow(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> ModInt {
[INFO] [stdout]   |                                            ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]  --> src/sequences.rs:8:29
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub fn constant_term_reduce(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> LaurentPoly {
[INFO] [stdout]   |                             ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]  --> src/sequences.rs:8:46
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub fn constant_term_reduce(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> LaurentPoly {
[INFO] [stdout]   |                                              ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]  --> src/sequences.rs:9:13
[INFO] [stdout]   |
[INFO] [stdout] 9 |     let mut Q = Q.clone();
[INFO] [stdout]   |             ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]   --> src/sequences.rs:22:22
[INFO] [stdout]    |
[INFO] [stdout] 22 | pub fn constant_term(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> ModInt {
[INFO] [stdout]    |                      ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]   --> src/sequences.rs:22:39
[INFO] [stdout]    |
[INFO] [stdout] 22 | pub fn constant_term(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> ModInt {
[INFO] [stdout]    |                                       ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `P` should have a snake case name
[INFO] [stdout]   --> src/sequences.rs:39:17
[INFO] [stdout]    |
[INFO] [stdout] 39 |             let P = LaurentPoly::from_string("x + 1 + x^-1", p);
[INFO] [stdout]    |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q` should have a snake case name
[INFO] [stdout]   --> src/sequences.rs:40:17
[INFO] [stdout]    |
[INFO] [stdout] 40 |             let Q = LaurentPoly::from_string("1 - x^2", p);
[INFO] [stdout]    |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 30.62s
[INFO] running `Command { std: "docker" "inspect" "bdc2a6a3f45b9b14ff477b669e4c667a45f16704ed7a1a2c05a6739602148b30", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bdc2a6a3f45b9b14ff477b669e4c667a45f16704ed7a1a2c05a6739602148b30", kill_on_drop: false }`
[INFO] [stdout] bdc2a6a3f45b9b14ff477b669e4c667a45f16704ed7a1a2c05a6739602148b30
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/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" "RUSTDOCFLAGS=--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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "test" "--frozen" "--target" "x86_64-unknown-linux-musl", kill_on_drop: false }`
[INFO] [stdout] fda52c1181d9cabcab3ecce402da9e000d03b2827a3362ccbbc889efdf97b1b0
[INFO] running `Command { std: "docker" "start" "-a" "fda52c1181d9cabcab3ecce402da9e000d03b2827a3362ccbbc889efdf97b1b0", kill_on_drop: false }`
[INFO] [stderr] warning: crate `RustConstantTermSequences` should have a snake case name
[INFO] [stderr]   |
[INFO] [stderr]   = help: convert the identifier to snake case: `rust_constant_term_sequences`
[INFO] [stderr]   = note: `#[warn(non_snake_case)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:153:22
[INFO] [stderr]     |
[INFO] [stderr] 153 |     pub fn poly_auto(P: &LaurentPoly, Q: &LaurentPoly, state_bound: usize) -> Result<Self, String> {
[INFO] [stderr]     |                      ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:153:39
[INFO] [stderr]     |
[INFO] [stderr] 153 |     pub fn poly_auto(P: &LaurentPoly, Q: &LaurentPoly, state_bound: usize) -> Result<Self, String> {
[INFO] [stderr]     |                                       ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:166:9
[INFO] [stderr]     |
[INFO] [stderr] 166 |         P: &LaurentPoly,
[INFO] [stderr]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:167:9
[INFO] [stderr]     |
[INFO] [stderr] 167 |         Q: &LaurentPoly,
[INFO] [stderr]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:191:9
[INFO] [stderr]     |
[INFO] [stderr] 191 |         P: &LaurentPoly,
[INFO] [stderr]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:192:9
[INFO] [stderr]     |
[INFO] [stderr] 192 |         Q: &LaurentPoly,
[INFO] [stderr]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:212:9
[INFO] [stderr]     |
[INFO] [stderr] 212 |         P: &LaurentPoly,
[INFO] [stderr]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:213:9
[INFO] [stderr]     |
[INFO] [stderr] 213 |         Q: &LaurentPoly,
[INFO] [stderr]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:230:9
[INFO] [stderr]     |
[INFO] [stderr] 230 |         P: &LaurentPoly,
[INFO] [stderr]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:231:9
[INFO] [stderr]     |
[INFO] [stderr] 231 |         Q: &LaurentPoly,
[INFO] [stderr]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:252:46
[INFO] [stderr]     |
[INFO] [stderr] 252 |     pub fn compute_ct_reverse(&self, n: u64, Q: &LaurentPoly) -> ModInt {
[INFO] [stderr]     |                                              ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:262:9
[INFO] [stderr]     |
[INFO] [stderr] 262 |         P: &LaurentPoly,
[INFO] [stderr]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:263:9
[INFO] [stderr]     |
[INFO] [stderr] 263 |         Q: &LaurentPoly,
[INFO] [stderr]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:286:9
[INFO] [stderr]     |
[INFO] [stderr] 286 |         P: &LaurentPoly,
[INFO] [stderr]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:287:9
[INFO] [stderr]     |
[INFO] [stderr] 287 |         Q: &LaurentPoly,
[INFO] [stderr]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:298:13
[INFO] [stderr]     |
[INFO] [stderr] 298 |         let P = Arc::new(P.clone());
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:299:13
[INFO] [stderr]     |
[INFO] [stderr] 299 |         let Q = Arc::new(Q.clone());
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:305:17
[INFO] [stderr]     |
[INFO] [stderr] 305 |             let P = Arc::clone(&P);
[INFO] [stderr]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:306:17
[INFO] [stderr]     |
[INFO] [stderr] 306 |             let Q = Arc::clone(&Q);
[INFO] [stderr]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:323:17
[INFO] [stderr]     |
[INFO] [stderr] 323 |             let P = Arc::clone(&P);
[INFO] [stderr]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:324:17
[INFO] [stderr]     |
[INFO] [stderr] 324 |             let Q = Arc::clone(&Q);
[INFO] [stderr]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:428:9
[INFO] [stderr]     |
[INFO] [stderr] 428 |         P: &LaurentPoly,
[INFO] [stderr]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:429:9
[INFO] [stderr]     |
[INFO] [stderr] 429 |         Q: &LaurentPoly,
[INFO] [stderr]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:508:9
[INFO] [stderr]     |
[INFO] [stderr] 508 |         P: &LaurentPoly,
[INFO] [stderr]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:509:9
[INFO] [stderr]     |
[INFO] [stderr] 509 |         Q: &LaurentPoly,
[INFO] [stderr]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:519:13
[INFO] [stderr]     |
[INFO] [stderr] 519 |         let P = Arc::new(P.clone());
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:520:13
[INFO] [stderr]     |
[INFO] [stderr] 520 |         let Q = Arc::new(Q.clone());
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:525:17
[INFO] [stderr]     |
[INFO] [stderr] 525 |             let P = Arc::clone(&P);
[INFO] [stderr]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:526:17
[INFO] [stderr]     |
[INFO] [stderr] 526 |             let Q = Arc::clone(&Q);
[INFO] [stderr]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:545:17
[INFO] [stderr]     |
[INFO] [stderr] 545 |             let P = Arc::clone(&P);
[INFO] [stderr]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:546:17
[INFO] [stderr]     |
[INFO] [stderr] 546 |             let Q = Arc::clone(&Q);
[INFO] [stderr]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:572:9
[INFO] [stderr]     |
[INFO] [stderr] 572 |         P: &LaurentPoly,
[INFO] [stderr]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:573:9
[INFO] [stderr]     |
[INFO] [stderr] 573 |         Q: &LaurentPoly,
[INFO] [stderr]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:576:13
[INFO] [stderr]     |
[INFO] [stderr] 576 |         let P = P.clone();
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:586:9
[INFO] [stderr]     |
[INFO] [stderr] 586 |         P: &LaurentPoly,
[INFO] [stderr]     |         ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:587:9
[INFO] [stderr]     |
[INFO] [stderr] 587 |         Q: &LaurentPoly,
[INFO] [stderr]     |         ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:590:13
[INFO] [stderr]     |
[INFO] [stderr] 590 |         let P = P.clone();
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]   --> src/lin_rep.rs:31:28
[INFO] [stderr]    |
[INFO] [stderr] 31 |     pub fn for_ct_sequence(P: &LaurentPoly, Q: &LaurentPoly) -> Self {
[INFO] [stderr]    |                            ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]   --> src/lin_rep.rs:31:45
[INFO] [stderr]    |
[INFO] [stderr] 31 |     pub fn for_ct_sequence(P: &LaurentPoly, Q: &LaurentPoly) -> Self {
[INFO] [stderr]    |                                             ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]  --> src/sequences.rs:4:27
[INFO] [stderr]   |
[INFO] [stderr] 4 | pub fn constant_term_slow(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> ModInt {
[INFO] [stderr]   |                           ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]  --> src/sequences.rs:4:44
[INFO] [stderr]   |
[INFO] [stderr] 4 | pub fn constant_term_slow(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> ModInt {
[INFO] [stderr]   |                                            ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]  --> src/sequences.rs:8:29
[INFO] [stderr]   |
[INFO] [stderr] 8 | pub fn constant_term_reduce(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> LaurentPoly {
[INFO] [stderr]   |                             ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]  --> src/sequences.rs:8:46
[INFO] [stderr]   |
[INFO] [stderr] 8 | pub fn constant_term_reduce(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> LaurentPoly {
[INFO] [stderr]   |                                              ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]  --> src/sequences.rs:9:13
[INFO] [stderr]   |
[INFO] [stderr] 9 |     let mut Q = Q.clone();
[INFO] [stderr]   |             ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]   --> src/sequences.rs:22:22
[INFO] [stderr]    |
[INFO] [stderr] 22 | pub fn constant_term(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> ModInt {
[INFO] [stderr]    |                      ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]   --> src/sequences.rs:22:39
[INFO] [stderr]    |
[INFO] [stderr] 22 | pub fn constant_term(P: &LaurentPoly, Q: &LaurentPoly, n: &u64) -> ModInt {
[INFO] [stderr]    |                                       ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:153:22
[INFO] [stderr]     |
[INFO] [stderr] 153 |     pub fn poly_auto(P: &LaurentPoly, Q: &LaurentPoly, state_bound: usize) -> Result<Self, String> {
[INFO] [stderr]     |                      ^ help: convert the identifier to snake case: `p`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(non_snake_case)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:696:17
[INFO] [stderr]     |
[INFO] [stderr] 696 |             let P = LaurentPoly::from_string("x + 1 + x^-1", p);
[INFO] [stderr]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:697:17
[INFO] [stderr]     |
[INFO] [stderr] 697 |             let Q = LaurentPoly::from_string("1 - x^2", p);
[INFO] [stderr]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:704:13
[INFO] [stderr]     |
[INFO] [stderr] 704 |         let P = LaurentPoly::from_string("x + 1 + x^-1", 11);
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:705:13
[INFO] [stderr]     |
[INFO] [stderr] 705 |         let Q = LaurentPoly::from_string("1 - x^2", 11);
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:716:17
[INFO] [stderr]     |
[INFO] [stderr] 716 |             let P = LaurentPoly::from_string("x + 1 + x^-1", p);
[INFO] [stderr]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:717:17
[INFO] [stderr]     |
[INFO] [stderr] 717 |             let Q = LaurentPoly::one(p);
[INFO] [stderr]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:740:17
[INFO] [stderr]     |
[INFO] [stderr] 740 |             let P = LaurentPoly::from_string("x + 1 + x^-1", p);
[INFO] [stderr]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:741:17
[INFO] [stderr]     |
[INFO] [stderr] 741 |             let Q = LaurentPoly::from_string("1 - x^2", p);
[INFO] [stderr]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:754:13
[INFO] [stderr]     |
[INFO] [stderr] 754 |         let P = LaurentPoly::from_string("x + 1 + x^-1", 11);
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:755:13
[INFO] [stderr]     |
[INFO] [stderr] 755 |         let Q = LaurentPoly::from_string("1 - x^2", 11);
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:769:17
[INFO] [stderr]     |
[INFO] [stderr] 769 |             let P = LaurentPoly::from_string("x + 1 + x^-1", p);
[INFO] [stderr]     |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:770:17
[INFO] [stderr]     |
[INFO] [stderr] 770 |             let Q = LaurentPoly::from_string("1 - x^2", p);
[INFO] [stderr]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:780:13
[INFO] [stderr]     |
[INFO] [stderr] 780 |         let P = LaurentPoly::from_string("x + 1 + x^-1", 11);
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/dfao.rs:781:13
[INFO] [stderr]     |
[INFO] [stderr] 781 |         let Q = LaurentPoly::from_string("1 - x^2", 11);
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P` should have a snake case name
[INFO] [stderr]   --> src/sequences.rs:39:17
[INFO] [stderr]    |
[INFO] [stderr] 39 |             let P = LaurentPoly::from_string("x + 1 + x^-1", p);
[INFO] [stderr]    |                 ^ help: convert the identifier to snake case: `p`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]   --> src/sequences.rs:40:17
[INFO] [stderr]    |
[INFO] [stderr] 40 |             let Q = LaurentPoly::from_string("1 - x^2", p);
[INFO] [stderr]    |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: `RustConstantTermSequences` (lib) generated 47 warnings
[INFO] [stderr] warning: `RustConstantTermSequences` (lib test) generated 62 warnings (45 duplicates)
[INFO] [stderr] warning: associated function `compute_shortest_non_zero` is never used
[INFO] [stderr]    --> src/dfao.rs:585:12
[INFO] [stderr]     |
[INFO] [stderr] 210 | impl DFAO<ModInt, ModIntVector> {
[INFO] [stderr]     | ------------------------------- associated function in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 585 |     pub fn compute_shortest_non_zero(
[INFO] [stderr]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: associated items `zero`, `id`, `add`, and `mul` are never used
[INFO] [stderr]   --> src/mod_int_matrix.rs:14:12
[INFO] [stderr]    |
[INFO] [stderr] 13 | impl ModIntMatrix {
[INFO] [stderr]    | ----------------- associated items in this implementation
[INFO] [stderr] 14 |     pub fn zero(dim: usize, modulus: u64) -> Self {
[INFO] [stderr]    |            ^^^^
[INFO] [stderr] ...
[INFO] [stderr] 30 |     pub fn id(dim: usize, modulus: u64) -> Self {
[INFO] [stderr]    |            ^^
[INFO] [stderr] ...
[INFO] [stderr] 39 |     pub fn add(&self, other: &Self) -> Self {
[INFO] [stderr]    |            ^^^
[INFO] [stderr] ...
[INFO] [stderr] 59 |     pub fn mul(&self, other: &Self) -> Self {
[INFO] [stderr]    |            ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `RustConstantTermSequences` (bin "RustConstantTermSequences" test) generated 64 warnings (62 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.15s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/RustConstantTermSequences-0e954ba1a094e9a8)
[INFO] [stdout] 
[INFO] [stdout] running 31 tests
[INFO] [stdout] test laurent_poly::tests::test_get_coefficient ... ok
[INFO] [stdout] test laurent_poly::tests::test_constant_term ... ok
[INFO] [stdout] test laurent_poly::tests::test_degree ... ok
[INFO] [stdout] test laurent_poly::tests::test_lambda_reduce ... ok
[INFO] [stdout] test laurent_poly::tests::test_from_vec_and_string ... ok
[INFO] [stdout] test laurent_poly::tests::test_pow ... ok
[INFO] [stdout] test mod_int::tests::test_div ... ok
[INFO] [stdout] test laurent_poly::tests::test_to_from_string ... ok
[INFO] [stdout] test mod_int::tests::test_from_i64 ... ok
[INFO] [stdout] test mod_int::tests::test_get_digits ... ok
[INFO] [stdout] test dfao::tests::test_compute_shortest_poly_prop_directly ... ok
[INFO] [stdout] test mod_int::tests::test_inv ... ok
[INFO] [stdout] test mod_int::tests::test_new ... ok
[INFO] [stdout] test mod_int::tests::test_pow ... ok
[INFO] [stdout] test mod_int::tests::test_zero ... ok
[INFO] [stdout] test dfao::tests::test_compute_shortest_zero ... ok
[INFO] [stdout] test mod_int::tests::test_add ... ok
[INFO] [stdout] test mod_int::tests::test_mul ... ok
[INFO] [stdout] test dfao::tests::test_poly_auto ... ok
[INFO] [stdout] test dfao::tests::test_lin_rep_machine ... ok
[INFO] [stdout] test sequences::tests::test_constant_term ... ok
[INFO] [stdout] test laurent_poly::tests::test_add ... ok
[INFO] [stdout] test laurent_poly::tests::test_mul ... ok
[INFO] [stdout] test laurent_poly::tests::test_add_panic - should panic ... ok
[INFO] [stdout] test laurent_poly::tests::test_mul_panic - should panic ... ok
[INFO] [stdout] test mod_int::tests::test_div_panic - should panic ... ok
[INFO] [stdout] test mod_int::tests::test_add_panic - should panic ... ok
[INFO] [stdout] test mod_int::tests::test_mul_panic - should panic ... ok
[INFO] [stdout] test dfao::tests::test_lin_rep_reverse_machine ... ok
[INFO] [stdout] test dfao::tests::test_compute_shortest_prop_using_msd_dfao ... ok
[INFO] [stdout] test dfao::tests::test_poly_auto_fail_on_zero ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 31 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.55s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/RustConstantTermSequences-c6ddf88a518d4eea)
[INFO] [stdout] 
[INFO] [stdout] running 31 tests
[INFO] [stdout] test laurent_poly::tests::test_get_coefficient ... ok
[INFO] [stdout] test laurent_poly::tests::test_from_vec_and_string ... ok
[INFO] [stdout] test laurent_poly::tests::test_to_from_string ... ok
[INFO] [stdout] test laurent_poly::tests::test_lambda_reduce ... ok
[INFO] [stdout] test laurent_poly::tests::test_constant_term ... ok
[INFO] [stdout] test laurent_poly::tests::test_degree ... ok
[INFO] [stdout] test laurent_poly::tests::test_pow ... ok
[INFO] [stdout] test mod_int::tests::test_from_i64 ... ok
[INFO] [stdout] test mod_int::tests::test_get_digits ... ok
[INFO] [stdout] test mod_int::tests::test_div ... ok
[INFO] [stdout] test mod_int::tests::test_inv ... ok
[INFO] [stdout] test dfao::tests::test_compute_shortest_poly_prop_directly ... ok
[INFO] [stdout] test dfao::tests::test_compute_shortest_zero ... ok
[INFO] [stdout] test mod_int::tests::test_new ... ok
[INFO] [stdout] test mod_int::tests::test_pow ... ok
[INFO] [stdout] test mod_int::tests::test_zero ... ok
[INFO] [stdout] test mod_int::tests::test_mul ... ok
[INFO] [stdout] test mod_int::tests::test_add ... ok
[INFO] [stdout] test laurent_poly::tests::test_mul ... ok
[INFO] [stdout] test dfao::tests::test_poly_auto ... ok
[INFO] [stdout] test sequences::tests::test_constant_term ... ok
[INFO] [stdout] test laurent_poly::tests::test_add_panic - should panic ... ok
[INFO] [stdout] test laurent_poly::tests::test_mul_panic - should panic ... ok
[INFO] [stdout] test laurent_poly::tests::test_add ... ok
[INFO] [stdout] test mod_int::tests::test_add_panic - should panic ... ok
[INFO] [stdout] test dfao::tests::test_lin_rep_machine ... ok
[INFO] [stdout] test mod_int::tests::test_div_panic - should panic ... ok
[INFO] [stdout] test mod_int::tests::test_mul_panic - should panic ... ok
[INFO] [stdout] test dfao::tests::test_lin_rep_reverse_machine ... ok
[INFO] [stdout] test dfao::tests::test_compute_shortest_prop_using_msd_dfao ... ok
[INFO] [stdout] test dfao::tests::test_poly_auto_fail_on_zero ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 31 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.77s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "fda52c1181d9cabcab3ecce402da9e000d03b2827a3362ccbbc889efdf97b1b0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fda52c1181d9cabcab3ecce402da9e000d03b2827a3362ccbbc889efdf97b1b0", kill_on_drop: false }`
[INFO] [stdout] fda52c1181d9cabcab3ecce402da9e000d03b2827a3362ccbbc889efdf97b1b0