[INFO] cloning repository https://github.com/foxier25/CirC_ZK
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/foxier25/CirC_ZK" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffoxier25%2FCirC_ZK", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffoxier25%2FCirC_ZK'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 7fcad483f8268b45f56d899df0534eb008e661da
[INFO] testing foxier25/CirC_ZK against 1.83.0 for beta-1.84.0-4-retry
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffoxier25%2FCirC_ZK" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/foxier25/CirC_ZK on toolchain 1.83.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.83.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] removed /workspace/builds/worker-2-tc1/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/foxier25/CirC_ZK
[INFO] removed 0 missing examples
[INFO] finished tweaking git repo https://github.com/foxier25/CirC_ZK
[INFO] tweaked toml for git repo https://github.com/foxier25/CirC_ZK written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/foxier25/CirC_ZK 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" "+1.83.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating git repository `https://github.com/alex-ozdemir/bellman.git`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded rug-fft v0.1.2
[INFO] [stderr]   Downloaded rug-polynomial v0.2.5
[INFO] [stderr]   Downloaded pest-ast v0.3.4
[INFO] [stderr]   Downloaded coin_cbc_sys v0.1.2
[INFO] [stderr]   Downloaded datasize_derive v0.2.15
[INFO] [stderr]   Downloaded coin_cbc v0.1.8
[INFO] [stderr]   Downloaded from-pest v0.3.2
[INFO] [stderr]   Downloaded lp-solvers v1.0.0
[INFO] [stderr]   Downloaded datasize v0.2.15
[INFO] [stderr]   Downloaded lang-c v0.10.1
[INFO] [stderr]   Downloaded rsmt2 v0.14.1
[INFO] [stderr]   Downloaded spartan v0.7.1
[INFO] [stderr]   Downloaded good_lp v1.5.0
[INFO] [stderr]   Downloaded lp-solvers v0.0.4
[INFO] [stderr]   Downloaded ff_derive v0.12.1
[INFO] [stderr]   Downloaded ff-derive-num v0.2.0
[INFO] [stderr]   Downloaded rug v1.18.0
[INFO] [stderr]   Downloaded flint-sys v0.7.3
[INFO] [stderr]   Downloaded gmp-mpfr-sys v1.4.13
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 28b550fd23fdbe5da2657e3f62e4cc3efcdcd15553fe63e8df97eb1328ebed8f
[INFO] running `Command { std: "docker" "start" "-a" "28b550fd23fdbe5da2657e3f62e4cc3efcdcd15553fe63e8df97eb1328ebed8f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "28b550fd23fdbe5da2657e3f62e4cc3efcdcd15553fe63e8df97eb1328ebed8f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "28b550fd23fdbe5da2657e3f62e4cc3efcdcd15553fe63e8df97eb1328ebed8f", kill_on_drop: false }`
[INFO] [stdout] 28b550fd23fdbe5da2657e3f62e4cc3efcdcd15553fe63e8df97eb1328ebed8f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e89831d541b87c226292330cf0c0f7acfbe00eeadaba9780dbdbd653b4c669b6
[INFO] running `Command { std: "docker" "start" "-a" "e89831d541b87c226292330cf0c0f7acfbe00eeadaba9780dbdbd653b4c669b6", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.67
[INFO] [stderr]    Compiling unicode-ident v1.0.12
[INFO] [stderr]    Compiling autocfg v1.1.0
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling libc v0.2.148
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling version_check v0.9.4
[INFO] [stderr]    Compiling serde v1.0.188
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]    Compiling typenum v1.17.0
[INFO] [stderr]    Compiling byteorder v1.4.3
[INFO] [stderr]    Compiling gmp-mpfr-sys v1.4.13
[INFO] [stderr]    Compiling utf8parse v0.2.1
[INFO] [stderr]    Compiling tap v1.0.1
[INFO] [stderr]    Compiling zerocopy v0.7.34
[INFO] [stderr]    Compiling anstyle v1.0.3
[INFO] [stderr]    Compiling az v1.2.1
[INFO] [stderr]    Compiling anstyle-parse v0.2.1
[INFO] [stderr]    Compiling colorchoice v1.0.0
[INFO] [stderr]    Compiling anstyle-query v1.0.0
[INFO] [stderr]    Compiling once_cell v1.18.0
[INFO] [stderr]    Compiling wyz v0.5.1
[INFO] [stderr]    Compiling anstream v0.5.0
[INFO] [stderr]    Compiling paste v1.0.14
[INFO] [stderr]    Compiling heck v0.4.1
[INFO] [stderr]    Compiling allocator-api2 v0.2.18
[INFO] [stderr]    Compiling num-traits v0.2.16
[INFO] [stderr]    Compiling num-integer v0.1.45
[INFO] [stderr]    Compiling num-bigint v0.3.3
[INFO] [stderr]    Compiling ahash v0.8.11
[INFO] [stderr]    Compiling rug v1.18.0
[INFO] [stderr]    Compiling ppv-lite86 v0.2.17
[INFO] [stderr]    Compiling strsim v0.10.0
[INFO] [stderr]    Compiling clap_lex v0.5.1
[INFO] [stderr]    Compiling funty v2.0.0
[INFO] [stderr]    Compiling im v15.1.0
[INFO] [stderr]    Compiling fxhash v0.2.1
[INFO] [stderr]    Compiling regex-syntax v0.6.29
[INFO] [stderr]    Compiling subtle v2.5.0
[INFO] [stderr]    Compiling hashbrown v0.14.0
[INFO] [stderr]    Compiling clap_builder v4.4.4
[INFO] [stderr]    Compiling thiserror v1.0.48
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling beef v0.5.2
[INFO] [stderr]    Compiling serde_json v1.0.107
[INFO] [stderr]    Compiling either v1.9.0
[INFO] [stderr]    Compiling quote v1.0.33
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling itoa v1.0.9
[INFO] [stderr]    Compiling ryu v1.0.15
[INFO] [stderr]    Compiling syn v2.0.37
[INFO] [stderr]    Compiling bitmaps v2.1.0
[INFO] [stderr]    Compiling log v0.4.20
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling circ_waksman v0.1.0 (/opt/rustwide/workdir/circ_waksman)
[INFO] [stderr]    Compiling bitvec v1.0.1
[INFO] [stderr]    Compiling lru v0.12.3
[INFO] [stderr]    Compiling getrandom v0.2.10
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling circ_hc v0.1.0 (/opt/rustwide/workdir/circ_hc)
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand_xoshiro v0.6.0
[INFO] [stderr]    Compiling sized-chunks v0.6.5
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling addchain v0.2.0
[INFO] [stderr]    Compiling serde_derive v1.0.188
[INFO] [stderr]    Compiling clap_derive v4.4.2
[INFO] [stderr]    Compiling thiserror-impl v1.0.48
[INFO] [stderr]    Compiling datasize_derive v0.2.15
[INFO] [stderr]    Compiling ff_derive v0.12.1
[INFO] [stderr]    Compiling logos-derive v0.12.1
[INFO] [stderr]    Compiling ff-derive-num v0.2.0
[INFO] [stderr]    Compiling ff v0.12.1
[INFO] [stderr]    Compiling logos v0.12.1
[INFO] [stderr]    Compiling clap v4.4.4
[INFO] [stderr]    Compiling circ_opt v0.1.0 (/opt/rustwide/workdir/circ_opt)
[INFO] [stderr]    Compiling datasize v0.2.15
[INFO] [stderr]    Compiling circ_fields v0.1.0 (/opt/rustwide/workdir/circ_fields)
[INFO] [stderr]    Compiling circ v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 4m 26s
[INFO] running `Command { std: "docker" "inspect" "e89831d541b87c226292330cf0c0f7acfbe00eeadaba9780dbdbd653b4c669b6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e89831d541b87c226292330cf0c0f7acfbe00eeadaba9780dbdbd653b4c669b6", kill_on_drop: false }`
[INFO] [stdout] e89831d541b87c226292330cf0c0f7acfbe00eeadaba9780dbdbd653b4c669b6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e6c640819a517253d65501aa776a471db8c8d2045f77e6655ab1df5f88e7d24e
[INFO] running `Command { std: "docker" "start" "-a" "e6c640819a517253d65501aa776a471db8c8d2045f77e6655ab1df5f88e7d24e", kill_on_drop: false }`
[INFO] [stderr]    Compiling memchr v2.6.3
[INFO] [stderr]    Compiling regex-syntax v0.7.5
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling termcolor v1.3.0
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling quickcheck_macros v1.0.0
[INFO] [stderr]    Compiling approx v0.5.1
[INFO] [stderr]    Compiling group v0.12.1
[INFO] [stderr]    Compiling pairing v0.22.0
[INFO] [stderr]    Compiling bls12_381 v0.7.1
[INFO] [stderr]    Compiling aho-corasick v1.1.0
[INFO] [stderr]    Compiling regex-automata v0.3.8
[INFO] [stderr]    Compiling regex v1.9.5
[INFO] [stderr]    Compiling env_logger v0.8.4
[INFO] [stderr]    Compiling quickcheck v1.0.3
[INFO] [stderr]    Compiling circ v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: missing documentation for a module
[INFO] [stdout]    --> src/ir/term/dist.rs:317:1
[INFO] [stdout]     |
[INFO] [stdout] 317 | pub mod test {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the lint level is defined here
[INFO] [stdout]    --> src/lib.rs:6:9
[INFO] [stdout]     |
[INFO] [stdout] 6   | #![deny(warnings)]
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout]     = note: `#[warn(missing_docs)]` implied by `#[warn(warnings)]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a struct
[INFO] [stdout]    --> src/ir/term/dist.rs:326:5
[INFO] [stdout]     |
[INFO] [stdout] 326 |     pub struct PureBool(pub Term, pub FxHashMap<String, Value>);
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a struct
[INFO] [stdout]    --> src/ir/term/dist.rs:356:5
[INFO] [stdout]     |
[INFO] [stdout] 356 |     pub struct ArbitraryTerm(pub Term);
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 19.51s
[INFO] running `Command { std: "docker" "inspect" "e6c640819a517253d65501aa776a471db8c8d2045f77e6655ab1df5f88e7d24e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e6c640819a517253d65501aa776a471db8c8d2045f77e6655ab1df5f88e7d24e", kill_on_drop: false }`
[INFO] [stdout] e6c640819a517253d65501aa776a471db8c8d2045f77e6655ab1df5f88e7d24e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 29818f07aa9fcd4205a86910db0aea5abd3ca1abe7073df5939a4888ad0a8ca6
[INFO] running `Command { std: "docker" "start" "-a" "29818f07aa9fcd4205a86910db0aea5abd3ca1abe7073df5939a4888ad0a8ca6", kill_on_drop: false }`
[INFO] [stderr] warning: missing documentation for a module
[INFO] [stderr]    --> src/ir/term/dist.rs:317:1
[INFO] [stderr]     |
[INFO] [stderr] 317 | pub mod test {
[INFO] [stderr]     | ^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr] note: the lint level is defined here
[INFO] [stderr]    --> src/lib.rs:6:9
[INFO] [stderr]     |
[INFO] [stderr] 6   | #![deny(warnings)]
[INFO] [stderr]     |         ^^^^^^^^
[INFO] [stderr]     = note: `#[warn(missing_docs)]` implied by `#[warn(warnings)]`
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a struct
[INFO] [stderr]    --> src/ir/term/dist.rs:326:5
[INFO] [stderr]     |
[INFO] [stderr] 326 |     pub struct PureBool(pub Term, pub FxHashMap<String, Value>);
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: missing documentation for a struct
[INFO] [stderr]    --> src/ir/term/dist.rs:356:5
[INFO] [stderr]     |
[INFO] [stderr] 356 |     pub struct ArbitraryTerm(pub Term);
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `circ` (lib test) generated 3 warnings
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.19s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/circ-8c2e5b6d38bc15f8)
[INFO] [stdout] 
[INFO] [stdout] running 111 tests
[INFO] [stdout] test ir::opt::binarize::test::simple_bool ... ok
[INFO] [stdout] test ir::opt::cfold::test::b_and ... ok
[INFO] [stdout] test ir::opt::cfold::test::int_add_constants ... ok
[INFO] [stdout] test ir::opt::cfold::test::lshr ... ok
[INFO] [stdout] test ir::opt::binarize::test::simple_bv ... ok
[INFO] [stdout] test ir::opt::cfold::test::int_mul_vars_one ... ok
[INFO] [stdout] test ir::opt::cfold::test::shl ... ok
[INFO] [stdout] test ir::opt::cfold::test::int_mul_vars ... ok
[INFO] [stdout] test ir::opt::cstore::test::cstores ... ok
[INFO] [stdout] test ir::opt::cstore::test::no_cstores ... ok
[INFO] [stdout] test ir::opt::cfold::test::int_mul_vars_zero ... ok
[INFO] [stdout] test ir::opt::cfold::test::b_or ... ok
[INFO] [stdout] test ir::opt::cfold::test::b_xor ... ok
[INFO] [stdout] test ir::opt::cfold::test::int_add_vars ... ok
[INFO] [stdout] test circify::test::bool_pair::trial ... ok
[INFO] [stdout] test ir::opt::flat::test::simple_bv ... ok
[INFO] [stdout] test ir::opt::link::test::bool_arg_nonrec ... ok
[INFO] [stdout] test ir::opt::cfold::test::int_add_vars_zero ... ok
[INFO] [stdout] test ir::opt::cfold::test::ashr ... ok
[INFO] [stdout] test ir::opt::flat::test::simple_bool ... ok
[INFO] [stdout] test ir::opt::link::test::nested_calls ... ok
[INFO] [stdout] test ir::opt::link::test::scalar_arg_nonrec ... ok
[INFO] [stdout] test ir::opt::link::test::term_hconsed ... ok
[INFO] [stdout] test ir::opt::mem::obliv::test::linear_stores_branching_selects_partial ... ok
[INFO] [stdout] test ir::opt::mem::lin::test::select_ite_stores_const ... ok
[INFO] [stdout] test ir::opt::link::test::multiple_calls ... ok
[INFO] [stdout] test ir::opt::mem::lin::test::select_ite_stores_field ... ok
[INFO] [stdout] test ir::opt::mem::obliv::test::mix_diff_constant ... ok
[INFO] [stdout] test ir::opt::mem::lin::test::select_ite_stores_field_const ... ok
[INFO] [stdout] test ir::opt::mem::obliv::test::linear_stores_branching_selects ... ok
[INFO] [stdout] test ir::opt::mem::obliv::test::mix_same_constant ... ok
[INFO] [stdout] test ir::opt::mem::lin::test::select_ite_stores ... ok
[INFO] [stdout] test ir::opt::mem::obliv::test::nest_obliv ... ok
[INFO] [stdout] test ir::opt::mem::obliv::test::nest_obliv_partial ... ok
[INFO] [stdout] test ir::opt::mem::obliv::test::two_array_ptr_chase_ne_size ... ok
[INFO] [stdout] test ir::opt::mem::obliv::test::nest_no_obliv ... ok
[INFO] [stdout] test ir::opt::mem::obliv::test::not_obliv ... ok
[INFO] [stdout] test ir::opt::mem::obliv::test::obliv ... ok
[INFO] [stdout] test ir::opt::mem::obliv::test::two_array_ptr_chase_eq_size ... ok
[INFO] [stdout] test ir::opt::mem::ram::volatile::test::non_ram ... ok
[INFO] [stdout] test ir::opt::mem::ram::volatile::test::multi_arm_tree ... ok
[INFO] [stdout] test ir::opt::mem::ram::volatile::test::two_rams_and_one_non_ram ... ok
[INFO] [stdout] test ir::opt::sha::test::length_2 ... ok
[INFO] [stdout] test ir::opt::mem::ram::volatile::test::rom ... ok
[INFO] [stdout] test ir::opt::mem::ram::volatile::test::simple_store_chain ... ok
[INFO] [stdout] test ir::opt::mem::ram::volatile::test::mix_store_chain ... ok
[INFO] [stdout] test ir::opt::mem::ram::volatile::test::nested ... ok
[INFO] [stdout] test ir::opt::sha::test::catch_all_case ... ok
[INFO] [stdout] test ir::opt::mem::obliv::test::linear_stores_branching_selects_partial_2 ... ok
[INFO] [stdout] test ir::opt::mem::ram::volatile::test::c_store_chain ... ok
[INFO] [stdout] test ir::opt::sha::test::undo ... ok
[INFO] [stdout] test ir::opt::sha::test::with_xor ... ok
[INFO] [stdout] test ir::term::ext::test::op_sort_eval ... ok
[INFO] [stdout] test ir::opt::sha::test::with_or ... ok
[INFO] [stdout] test ir::term::test::eq ... ok
[INFO] [stdout] test ir::term::precomp::test::restrict_to_inputs ... ok
[INFO] [stdout] test ir::term::ext::test::haboeck_eval_2_6_full ... ok
[INFO] [stdout] test ir::term::ext::test::haboeck_eval_6_2 ... ok
[INFO] [stdout] test ir::term::bv::test::formatting ... ok
[INFO] [stdout] test ir::term::ext::test::haboeck_eval_4_4_full ... ok
[INFO] [stdout] test ir::term::test::map_test_bool_key ... ok
[INFO] [stdout] test ir::term::ext::test::persistent_ram_split_eval ... ok
[INFO] [stdout] test ir::term::test::type_::vars ... ok
[INFO] [stdout] test ir::term::test::map_test_bv_key ... ok
[INFO] [stdout] test ir::term::test::pf2bool_eval ... ok
[INFO] [stdout] test ir::term::test::test_rot ... ok
[INFO] [stdout] test ir::term::test::type_::traversal ... ok
[INFO] [stdout] test ir::term::text::lex::test::all_tokens ... ok
[INFO] [stdout] test ir::term::text::test::arr_cstore_roundtrip ... ok
[INFO] [stdout] test ir::term::test::bv2pf ... ok
[INFO] [stdout] test ir::term::text::test::arr_op_roundtrip ... ok
[INFO] [stdout] test ir::term::text::test::arr_roundtrip ... ok
[INFO] [stdout] test ir::term::text::test::bool ... ok
[INFO] [stdout] test ir::term::text::test::bool_roundtrip ... ok
[INFO] [stdout] test ir::term::text::test::challenge_roundtrip ... ok
[INFO] [stdout] test ir::term::text::test::bv ... ok
[INFO] [stdout] test ir::term::text::test::computations_roundtrip ... ok
[INFO] [stdout] test ir::term::text::test::computation_roundtrip ... ok
[INFO] [stdout] test ir::term::text::test::call_roundtrip ... ok
[INFO] [stdout] test ir::term::text::test::list_value_equiv_to_array ... ok
[INFO] [stdout] test ir::term::text::test::empty_precompute_roundtrip ... ok
[INFO] [stdout] test ir::term::text::test::computation_roundtrip_persistent_arrays ... ok
[INFO] [stdout] test ir::term::text::test::map_roundtrip ... ok
[INFO] [stdout] test ir::term::text::test::fill_roundtrip ... ok
[INFO] [stdout] test ir::term::text::test::haboeck_roundtrip ... ok
[INFO] [stdout] test ir::term::text::test::op_sort_rountrip ... ok
[INFO] [stdout] test ir::term::text::test::pf_fits_in_bits_rountrip ... ok
[INFO] [stdout] test ir::term::text::test::set_default_modulus ... ok
[INFO] [stdout] test ir::term::text::test::pf_batch_inv_roundtrip ... ok
[INFO] [stdout] test ir::term::text::test::tuple_dup_roundtrip ... ok
[INFO] [stdout] test ir::term::text::test::tuple_nodup_roundtrip ... ok
[INFO] [stdout] test ir::term::text::test::persistent_ram_split_roundtrip ... ok
[INFO] [stdout] test ir::term::text::test::pf2bool_trusted_rountrip ... ok
[INFO] [stdout] test util::hash_test::test_map_det_iter_order ... ok
[INFO] [stdout] test util::hash_test::test_map_non_det_iter_order ... ok
[INFO] [stdout] test util::hash_test::test_set_det_iter_order ... ok
[INFO] [stdout] test ir::term::text::test::precompute_roundtrip ... ok
[INFO] [stdout] test util::hash_test::test_set_non_det_iter_order ... ok
[INFO] [stdout] test ir::term::text::test::uniq_deri_gcd_roundtrip ... ok
[INFO] [stdout] test ir::term::text::test::tup_roundtrip ... ok
[INFO] [stdout] test ir::opt::mem::ram::persistent::test::length_4 ... ok
[INFO] [stdout] test ir::opt::chall::test::length_4 ... ok
[INFO] [stdout] test ir::term::text::test::serde_roundtrip_random_bool ... ok
[INFO] [stdout] test ir::term::text::test::roundtrip_random_bool ... ok
[INFO] [stdout] test ir::opt::flat::test::flatten_random ... ok
[INFO] [stdout] test ir::opt::binarize::test::binarize_random ... ok
[INFO] [stdout] test ir::opt::cfold::test::semantics_random ... ok
[INFO] [stdout] test ir::opt::sha::test::semantic_random ... ok
[INFO] [stdout] test ir::opt::flat::test::flatten_semantics_random ... ok
[INFO] [stdout] test ir::opt::binarize::test::binarize_semantics_random ... ok
[INFO] [stdout] test ir::term::text::test::roundtrip_random ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 111 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 6.44s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests circ
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "29818f07aa9fcd4205a86910db0aea5abd3ca1abe7073df5939a4888ad0a8ca6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "29818f07aa9fcd4205a86910db0aea5abd3ca1abe7073df5939a4888ad0a8ca6", kill_on_drop: false }`
[INFO] [stdout] 29818f07aa9fcd4205a86910db0aea5abd3ca1abe7073df5939a4888ad0a8ca6
