[INFO] fetching crate cnfgen 0.2.2...
[INFO] testing cnfgen-0.2.2 against 1.69.0 for beta-1.70-1
[INFO] extracting crate cnfgen 0.2.2 into /workspace/builds/worker-7-tc1/source
[INFO] validating manifest of crates.io crate cnfgen 0.2.2 on toolchain 1.69.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.69.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate cnfgen 0.2.2
[INFO] finished tweaking crates.io crate cnfgen 0.2.2
[INFO] tweaked toml for crates.io crate cnfgen 0.2.2 written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" __CARGO_TEST_CHANNEL_OVERRIDE_DO_NOT_USE_THIS="nightly" "/workspace/cargo-home/bin/cargo" "+1.69.0" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.69.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded itoap v1.0.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+1.69.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 85d75be7c83228fd5f4785eff42a61d98d944d109b2669141483aa9be523b7d4
[INFO] running `Command { std: "docker" "start" "-a" "85d75be7c83228fd5f4785eff42a61d98d944d109b2669141483aa9be523b7d4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "85d75be7c83228fd5f4785eff42a61d98d944d109b2669141483aa9be523b7d4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "85d75be7c83228fd5f4785eff42a61d98d944d109b2669141483aa9be523b7d4", kill_on_drop: false }`
[INFO] [stdout] 85d75be7c83228fd5f4785eff42a61d98d944d109b2669141483aa9be523b7d4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+1.69.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 447463d0cc050a46b5dc22d74ebec52bdfaf382b9445c3519aac4353e44cad43
[INFO] running `Command { std: "docker" "start" "-a" "447463d0cc050a46b5dc22d74ebec52bdfaf382b9445c3519aac4353e44cad43", kill_on_drop: false }`
[INFO] [stderr]    Compiling itoap v1.0.1
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling thiserror-impl v1.0.40
[INFO] [stderr]    Compiling thiserror v1.0.40
[INFO] [stderr]    Compiling cnfgen v0.2.2 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unnecessary parentheses around index expression
[INFO] [stdout]    --> src/dynintexpr/arith.rs:482:22
[INFO] [stdout]     |
[INFO] [stdout] 482 |                 ites[(i << 1)].clone(),
[INFO] [stdout]     |                      ^      ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 482 -                 ites[(i << 1)].clone(),
[INFO] [stdout] 482 +                 ites[i << 1].clone(),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around index expression
[INFO] [stdout]    --> src/intexpr/mod.rs:584:22
[INFO] [stdout]     |
[INFO] [stdout] 584 |                 ites[(i << 1)].clone(),
[INFO] [stdout]     |                      ^      ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 584 -                 ites[(i << 1)].clone(),
[INFO] [stdout] 584 +                 ites[i << 1].clone(),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 11.35s
[INFO] running `Command { std: "docker" "inspect" "447463d0cc050a46b5dc22d74ebec52bdfaf382b9445c3519aac4353e44cad43", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "447463d0cc050a46b5dc22d74ebec52bdfaf382b9445c3519aac4353e44cad43", kill_on_drop: false }`
[INFO] [stdout] 447463d0cc050a46b5dc22d74ebec52bdfaf382b9445c3519aac4353e44cad43
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+1.69.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 6aa26392b2e57001f79745b1e80f873baab6f4cf77eccab36389e78366cc67f3
[INFO] running `Command { std: "docker" "start" "-a" "6aa26392b2e57001f79745b1e80f873baab6f4cf77eccab36389e78366cc67f3", kill_on_drop: false }`
[INFO] [stderr]    Compiling cnfgen v0.2.2 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unnecessary parentheses around index expression
[INFO] [stdout]    --> src/dynintexpr/arith.rs:482:22
[INFO] [stdout]     |
[INFO] [stdout] 482 |                 ites[(i << 1)].clone(),
[INFO] [stdout]     |                      ^      ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 482 -                 ites[(i << 1)].clone(),
[INFO] [stdout] 482 +                 ites[i << 1].clone(),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around index expression
[INFO] [stdout]    --> src/intexpr/mod.rs:584:22
[INFO] [stdout]     |
[INFO] [stdout] 584 |                 ites[(i << 1)].clone(),
[INFO] [stdout]     |                      ^      ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 584 -                 ites[(i << 1)].clone(),
[INFO] [stdout] 584 +                 ites[i << 1].clone(),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around index expression
[INFO] [stdout]    --> src/dynintexpr/arith.rs:482:22
[INFO] [stdout]     |
[INFO] [stdout] 482 |                 ites[(i << 1)].clone(),
[INFO] [stdout]     |                      ^      ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 482 -                 ites[(i << 1)].clone(),
[INFO] [stdout] 482 +                 ites[i << 1].clone(),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around index expression
[INFO] [stdout]    --> src/intexpr/mod.rs:584:22
[INFO] [stdout]     |
[INFO] [stdout] 584 |                 ites[(i << 1)].clone(),
[INFO] [stdout]     |                      ^      ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 584 -                 ites[(i << 1)].clone(),
[INFO] [stdout] 584 +                 ites[i << 1].clone(),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around index expression
[INFO] [stdout]    --> src/intexpr/mod.rs:903:24
[INFO] [stdout]     |
[INFO] [stdout] 903 |                 values[(i << 1)].clone(),
[INFO] [stdout]     |                        ^      ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 903 -                 values[(i << 1)].clone(),
[INFO] [stdout] 903 +                 values[i << 1].clone(),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around index expression
[INFO] [stdout]    --> src/intexpr/mod.rs:911:26
[INFO] [stdout]     |
[INFO] [stdout] 911 |                 selects0[(i << 1)].clone(),
[INFO] [stdout]     |                          ^      ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 911 -                 selects0[(i << 1)].clone(),
[INFO] [stdout] 911 +                 selects0[i << 1].clone(),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around index expression
[INFO] [stdout]    --> src/intexpr/mod.rs:919:26
[INFO] [stdout]     |
[INFO] [stdout] 919 |                 selects1[(i << 1)].clone(),
[INFO] [stdout]     |                          ^      ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 919 -                 selects1[(i << 1)].clone(),
[INFO] [stdout] 919 +                 selects1[i << 1].clone(),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around index expression
[INFO] [stdout]    --> src/intexpr/mod.rs:927:26
[INFO] [stdout]     |
[INFO] [stdout] 927 |                 selects2[(i << 1)].clone(),
[INFO] [stdout]     |                          ^      ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 927 -                 selects2[(i << 1)].clone(),
[INFO] [stdout] 927 +                 selects2[i << 1].clone(),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 6 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 21.96s
[INFO] running `Command { std: "docker" "inspect" "6aa26392b2e57001f79745b1e80f873baab6f4cf77eccab36389e78366cc67f3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6aa26392b2e57001f79745b1e80f873baab6f4cf77eccab36389e78366cc67f3", kill_on_drop: false }`
[INFO] [stdout] 6aa26392b2e57001f79745b1e80f873baab6f4cf77eccab36389e78366cc67f3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+1.69.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 03ac82ece48c78addf8ac736348b855c94fda5e899705665caaad16edf08ef67
[INFO] running `Command { std: "docker" "start" "-a" "03ac82ece48c78addf8ac736348b855c94fda5e899705665caaad16edf08ef67", kill_on_drop: false }`
[INFO] [stderr] warning: unnecessary parentheses around index expression
[INFO] [stderr]    --> src/dynintexpr/arith.rs:482:22
[INFO] [stderr]     |
[INFO] [stderr] 482 |                 ites[(i << 1)].clone(),
[INFO] [stderr]     |                      ^      ^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_parens)]` on by default
[INFO] [stderr] help: remove these parentheses
[INFO] [stderr]     |
[INFO] [stderr] 482 -                 ites[(i << 1)].clone(),
[INFO] [stderr] 482 +                 ites[i << 1].clone(),
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary parentheses around index expression
[INFO] [stderr]    --> src/intexpr/mod.rs:584:22
[INFO] [stderr]     |
[INFO] [stderr] 584 |                 ites[(i << 1)].clone(),
[INFO] [stderr]     |                      ^      ^
[INFO] [stderr]     |
[INFO] [stderr] help: remove these parentheses
[INFO] [stderr]     |
[INFO] [stderr] 584 -                 ites[(i << 1)].clone(),
[INFO] [stderr] 584 +                 ites[i << 1].clone(),
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary parentheses around index expression
[INFO] [stderr]    --> src/intexpr/mod.rs:903:24
[INFO] [stderr]     |
[INFO] [stderr] 903 |                 values[(i << 1)].clone(),
[INFO] [stderr]     |                        ^      ^
[INFO] [stderr]     |
[INFO] [stderr] help: remove these parentheses
[INFO] [stderr]     |
[INFO] [stderr] 903 -                 values[(i << 1)].clone(),
[INFO] [stderr] 903 +                 values[i << 1].clone(),
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary parentheses around index expression
[INFO] [stderr]    --> src/intexpr/mod.rs:911:26
[INFO] [stderr]     |
[INFO] [stderr] 911 |                 selects0[(i << 1)].clone(),
[INFO] [stderr]     |                          ^      ^
[INFO] [stderr]     |
[INFO] [stderr] help: remove these parentheses
[INFO] [stderr]     |
[INFO] [stderr] 911 -                 selects0[(i << 1)].clone(),
[INFO] [stderr] 911 +                 selects0[i << 1].clone(),
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary parentheses around index expression
[INFO] [stderr]    --> src/intexpr/mod.rs:919:26
[INFO] [stderr]     |
[INFO] [stderr] 919 |                 selects1[(i << 1)].clone(),
[INFO] [stderr]     |                          ^      ^
[INFO] [stderr]     |
[INFO] [stderr] help: remove these parentheses
[INFO] [stderr]     |
[INFO] [stderr] 919 -                 selects1[(i << 1)].clone(),
[INFO] [stderr] 919 +                 selects1[i << 1].clone(),
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary parentheses around index expression
[INFO] [stderr]    --> src/intexpr/mod.rs:927:26
[INFO] [stderr]     |
[INFO] [stderr] 927 |                 selects2[(i << 1)].clone(),
[INFO] [stderr]     |                          ^      ^
[INFO] [stderr]     |
[INFO] [stderr] help: remove these parentheses
[INFO] [stderr]     |
[INFO] [stderr] 927 -                 selects2[(i << 1)].clone(),
[INFO] [stderr] 927 +                 selects2[i << 1].clone(),
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: `cnfgen` (lib) generated 2 warnings (run `cargo fix --lib -p cnfgen` to apply 2 suggestions)
[INFO] [stderr] warning: `cnfgen` (lib test) generated 6 warnings (2 duplicates) (run `cargo fix --lib -p cnfgen --tests` to apply 4 suggestions)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.02s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/cnfgen-ab55612957895c8d)
[INFO] [stdout] 
[INFO] [stdout] running 129 tests
[INFO] [stdout] test boolexpr::tests::test_expr_nodes_and_simpls ... ok
[INFO] [stdout] test boolexpr::tests::test_expr_half_adder ... ok
[INFO] [stdout] test boolexpr::tests::test_expr_full_adder ... ok
[INFO] [stdout] test boolexpr::tests::test_expr_nodes ... ok
[INFO] [stdout] test boolexpr::tests::test_expr_bool_ite ... ok
[INFO] [stdout] test boolexpr::tests::test_expr_nodes_lits_1 ... ok
[INFO] [stdout] test boolexpr::tests::test_expr_nodes_impl_simpls ... ok
[INFO] [stdout] test boolexpr::tests::test_expr_node_varlit ... ok
[INFO] [stdout] test boolexpr::tests::test_expr_node_write ... ok
[INFO] [stdout] test boolexpr::tests::test_expr_nodes_equal_simpls ... ok
[INFO] [stdout] test boolexpr::tests::test_expr_nodes_lits_imp_equal_2 ... ok
[INFO] [stdout] test boolexpr::tests::test_expr_nodes_lits_imp_equal ... ok
[INFO] [stdout] test boolexpr::tests::test_expr_nodes_not_simpls ... ok
[INFO] [stdout] test boolexpr::tests::test_expr_nodes_or_simpls ... ok
[INFO] [stdout] test boolexpr::tests::test_expr_nodes_xor_simpls ... ok
[INFO] [stdout] test boolexpr::tests::test_expr_op_assign ... ok
[INFO] [stdout] test boolexpr::tests::test_expr_op_assign_lit ... ok
[INFO] [stdout] test boolexpr::tests::test_expr_opt_full_adder ... ok
[INFO] [stdout] test boolexpr_creator::tests::test_expr_creator_intexprs ... ok
[INFO] [stdout] test boolexpr_creator::tests::test_expr_creator_simple ... ok
[INFO] [stdout] test boolexpr_creator::tests::test_expr_creator_more_complex ... ok
[INFO] [stdout] test boolexpr_creator::tests::test_expr_creator_quantsets ... ok
[INFO] [stdout] test boolexpr::tests::test_expr_nodes_lits_3 ... ok
[INFO] [stdout] test boolexpr_creator::tests::test_expr_creator_complex ... ok
[INFO] [stdout] test boolexpr::tests::test_expr_nodes_lits_2 ... ok
[INFO] [stdout] test boolexpr_creator::tests::test_expr_creator_join_more_time ... ok
[INFO] [stdout] test boolexpr_creator::tests::test_expr_creator_trivial ... ok
[INFO] [stdout] test dynintexpr::arith::tests::test_expr_node_addc ... ok
[INFO] [stdout] test dynintexpr::arith::tests::test_expr_node_addc_same_carry ... ok
[INFO] [stdout] test dynintexpr::arith::tests::test_expr_node_addc_with_carry ... ok
[INFO] [stdout] test dynintexpr::arith::tests::test_expr_node_bitxor ... ok
[INFO] [stdout] test dynintexpr::arith::tests::test_expr_node_cond_sub ... ok
[INFO] [stdout] test dynintexpr::arith::tests::test_expr_node_cond_add ... ok
[INFO] [stdout] test dynintexpr::arith::tests::test_expr_node_div ... ok
[INFO] [stdout] test dynintexpr::arith::tests::test_expr_node_cond_mul ... ok
[INFO] [stdout] test dynintexpr::arith::tests::test_expr_node_bitor ... ok
[INFO] [stdout] test dynintexpr::arith::tests::test_expr_node_dynint_table ... ok
[INFO] [stdout] test dynintexpr::arith::tests::test_expr_node_bitand ... ok
[INFO] [stdout] test dynintexpr::arith::tests::test_expr_node_dynint_ite ... ok
[INFO] [stdout] test dynintexpr::arith::tests::test_expr_node_divmod ... ok
[INFO] [stdout] test dynintexpr::arith::tests::test_expr_node_cond_shr ... ok
[INFO] [stdout] test dynintexpr::arith::tests::test_expr_node_mod_add ... ok
[INFO] [stdout] test dynintexpr::arith::tests::test_expr_node_mod_mul ... ok
[INFO] [stdout] test dynintexpr::arith::tests::test_expr_node_rem ... ok
[INFO] [stdout] test dynintexpr::arith::tests::test_expr_node_cond_shl ... ok
[INFO] [stdout] test dynintexpr::arith::tests::test_expr_node_unaryops ... ok
[INFO] [stdout] test dynintexpr::arith::tests::test_expr_node_mod_sub ... ok
[INFO] [stdout] test dynintexpr::arith::tests::test_expr_node_not ... ok
[INFO] [stdout] test dynintexpr::arith::tests::test_expr_node_fullmul ... ok
[INFO] [stdout] test dynintexpr::arith::tests::test_expr_node_shr ... ok
[INFO] [stdout] test dynintexpr::arith::tests::test_expr_node_shl ... ok
[INFO] [stdout] test dynintexpr::arith::tests::test_expr_node_subc ... ok
[INFO] [stdout] test dynintexpr::tests::test_expr_node_int_equal ... ok
[INFO] [stdout] test dynintexpr::tests::test_expr_node_try_from_n_uncond ... ok
[INFO] [stdout] test dynintexpr::tests::test_expr_node ... ok
[INFO] [stdout] test int_utils::tests::test_gen_dadda_mult ... ok
[INFO] [stdout] test dynintexpr::tests::test_expr_node_try_from_n ... ok
[INFO] [stdout] test dynintexpr::tests::test_expr_node_from_int_expr_node ... ok
[INFO] [stdout] test dynintexpr::tests::test_expr_node_bitval ... ok
[INFO] [stdout] test dynintexpr::tests::test_expr_node_try_int_constant_n ... ok
[INFO] [stdout] test dynintexpr::tests::test_expr_node_manip ... ok
[INFO] [stdout] test int_utils::tests::test_gen_dadda_matrix ... ok
[INFO] [stdout] test dynintexpr::tests::test_expr_node_int_ord ... ok
[INFO] [stdout] test intexpr::bin_arith::tests::test_expr_node_bitxor ... ok
[INFO] [stdout] test intexpr::bin_arith::tests::test_expr_node_bitor ... ok
[INFO] [stdout] test intexpr::bin_arith::tests::test_expr_node_bitand_assign ... ok
[INFO] [stdout] test intexpr::bin_arith::tests::test_expr_node_not ... ok
[INFO] [stdout] test intexpr::bin_arith::tests::test_expr_node_bitxor_assign ... ok
[INFO] [stdout] test intexpr::int_arith::tests::test_expr_node_abs ... ok
[INFO] [stdout] test intexpr::int_arith::tests::test_expr_node_add_primitives ... ok
[INFO] [stdout] test intexpr::bin_arith::tests::test_expr_node_bitand ... ok
[INFO] [stdout] test intexpr::bin_arith::tests::test_expr_node_bitor_assign ... ok
[INFO] [stdout] test intexpr::int_arith::tests::test_expr_node_cond_add ... ok
[INFO] [stdout] test intexpr::bin_arith::tests::test_expr_node_shl_and_shl_assign ... ok
[INFO] [stdout] test intexpr::int_arith::tests::test_expr_node_cond_neg ... ok
[INFO] [stdout] test intexpr::bin_arith::tests::test_expr_node_cond_shl ... ok
[INFO] [stdout] test intexpr::int_arith::tests::test_expr_node_cond_mul ... ok
[INFO] [stdout] test intexpr::int_arith::tests::test_expr_node_cond_sub ... ok
[INFO] [stdout] test intexpr::int_arith::tests::test_expr_node_fullmul_unsigned ... ok
[INFO] [stdout] test intexpr::int_arith::tests::test_expr_node_mod_add_and_assign ... ok
[INFO] [stdout] test intexpr::bin_arith::tests::test_expr_node_shr_and_shr_assign ... ok
[INFO] [stdout] test intexpr::int_arith::tests::test_expr_node_mod_mul_and_assign ... ok
[INFO] [stdout] test intexpr::int_arith::tests::test_expr_node_divmod ... ok
[INFO] [stdout] test intexpr::int_arith::tests::test_expr_node_mod_neg ... ok
[INFO] [stdout] test intexpr::tests::test_expr_node ... ok
[INFO] [stdout] test intexpr::tests::test_expr_node_from ... ok
[INFO] [stdout] test intexpr::int_arith::tests::test_expr_node_mod_sub_and_assign ... ok
[INFO] [stdout] test intexpr::tests::test_expr_node_try_from_dynint_expr_node ... ok
[INFO] [stdout] test intexpr::bin_arith::tests::test_expr_node_cond_shr ... ok
[INFO] [stdout] test intexpr::tests::test_expr_node_try_from ... ok
[INFO] [stdout] test intexpr::tests::test_int_ite ... ok
[INFO] [stdout] test intexpr::traits::tests::test_expr_node_bitmask ... ok
[INFO] [stdout] test intexpr::traits::tests::test_expr_node_int_constant ... ok
[INFO] [stdout] test intexpr::traits::tests::test_expr_node_bitval ... ok
[INFO] [stdout] test intexpr::int_arith::tests::test_expr_node_fullmul_signed ... ok
[INFO] [stdout] test intexpr::tests::test_expr_node_manip ... ok
[INFO] [stdout] test intexpr::traits::tests::test_expr_node_signed_int_ord ... ok
[INFO] [stdout] test intexpr::int_arith::tests::test_expr_node_mod ... ok
[INFO] [stdout] test intexpr::int_arith::tests::test_expr_node_div ... ok
[INFO] [stdout] test intexpr::tests::test_int_table ... ok
[INFO] [stdout] test intexpr::traits::tests::test_int_bitmask_prim_types ... ok
[INFO] [stdout] test intexpr::traits::tests::test_int_cond_arith_prim_types ... ok
[INFO] [stdout] test intexpr::traits::tests::test_expr_node_int_equal ... ok
[INFO] [stdout] test intexpr::traits::tests::test_int_bitval_prim_types ... ok
[INFO] [stdout] test intexpr::traits::tests::test_int_cond_shift_prim_types ... ok
[INFO] [stdout] test intexpr::traits::tests::test_int_divmod_prim_types ... ok
[INFO] [stdout] test intexpr::traits::tests::test_expr_node_try_int_constant ... ok
[INFO] [stdout] test intexpr::traits::tests::test_expr_node_unsigned_int_ord ... ok
[INFO] [stdout] test intexpr::traits::tests::test_int_equal_prim_types ... ok
[INFO] [stdout] test intexpr::traits::tests::test_int_ord_prim_types ... ok
[INFO] [stdout] test writer::tests::test_clause_check_clause ... ok
[INFO] [stdout] test intexpr::traits::tests::test_int_fullmul_prim_types ... ok
[INFO] [stdout] test writer::tests::test_cnfwriter_write_clause ... ok
[INFO] [stdout] test writer::tests::test_cnfwriter_write_clauses_with_empty ... ok
[INFO] [stdout] test writer::tests::test_cnfwriter_write_quantifiers ... ok
[INFO] [stdout] test writer::tests::test_cnfwriter_write_literals ... ok
[INFO] [stdout] test writer::tests::test_input_clause_extend ... ok
[INFO] [stdout] test writer::tests::test_cnfwriter_write_header ... ok
[INFO] [stdout] test writer::tests::test_input_clause_push ... ok
[INFO] [stdout] test writer::tests::test_quantset ... ok
[INFO] [stdout] test intexpr::traits::tests::test_int_mod_arith_prim_types ... ok
[INFO] [stdout] test writer::tests::test_simplifiable_clause_simplify ... ok
[INFO] [stdout] test writer::tests::test_clause ... ok
[INFO] [stdout] test writer::tests::test_quantset_check_quantset ... ok
[INFO] [stdout] test writer::tests::test_simplifiable_clause ... ok
[INFO] [stdout] test writer::tests::test_varlit ... ok
[INFO] [stdout] test writer::tests::test_input_clause_from_iter ... ok
[INFO] [stdout] test writer::tests::test_varlit_write_to_vec ... ok
[INFO] [stdout] test writer::tests::test_literal ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 129 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.23s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests cnfgen
[INFO] [stderr] warning: unnecessary parentheses around index expression
[INFO] [stderr]    --> /opt/rustwide/workdir/src/dynintexpr/arith.rs:482:22
[INFO] [stderr]     |
[INFO] [stderr] 482 |                 ites[(i << 1)].clone(),
[INFO] [stderr]     |                      ^      ^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_parens)]` on by default
[INFO] [stderr] help: remove these parentheses
[INFO] [stderr]     |
[INFO] [stderr] 482 -                 ites[(i << 1)].clone(),
[INFO] [stderr] 482 +                 ites[i << 1].clone(),
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary parentheses around index expression
[INFO] [stderr]    --> /opt/rustwide/workdir/src/intexpr/mod.rs:584:22
[INFO] [stderr]     |
[INFO] [stderr] 584 |                 ites[(i << 1)].clone(),
[INFO] [stderr]     |                      ^      ^
[INFO] [stderr]     |
[INFO] [stderr] help: remove these parentheses
[INFO] [stderr]     |
[INFO] [stderr] 584 -                 ites[(i << 1)].clone(),
[INFO] [stderr] 584 +                 ites[i << 1].clone(),
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: 2 warnings emitted
[INFO] [stderr] 
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test src/dynintexpr/mod.rs - dynintexpr (line 42) ... ok
[INFO] [stdout] test src/intexpr/mod.rs - intexpr (line 57) ... ok
[INFO] [stdout] test src/writer.rs - writer (line 40) ... ok
[INFO] [stdout] test src/boolexpr.rs - boolexpr (line 26) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.54s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "03ac82ece48c78addf8ac736348b855c94fda5e899705665caaad16edf08ef67", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "03ac82ece48c78addf8ac736348b855c94fda5e899705665caaad16edf08ef67", kill_on_drop: false }`
[INFO] [stdout] 03ac82ece48c78addf8ac736348b855c94fda5e899705665caaad16edf08ef67
