[INFO] cloning repository https://github.com/succinctlabs/flock
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/succinctlabs/flock" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsuccinctlabs%2Fflock", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsuccinctlabs%2Fflock'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 4af7a4da3b60f2ac86ab9aaf2c6a4ff1de416b3a
[INFO] testing succinctlabs/flock against 1.97.0-beta.6 for beta-1.98-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsuccinctlabs%2Fflock" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-5-tc1/source/.cargo/config.toml
[INFO] started tweaking git repo https://github.com/succinctlabs/flock
[INFO] finished tweaking git repo https://github.com/succinctlabs/flock
[INFO] tweaked toml for git repo https://github.com/succinctlabs/flock written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/succinctlabs/flock on toolchain 1.97.0-beta.6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.97.0-beta.6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/succinctlabs/flock 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.97.0-beta.6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded sha2-asm v0.6.4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3d5ced03c013a94a2f102a4510f48a6e9184255caf5fd8244f58017bde7f5210" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 5112f3773c0345513e82028b458f9ade2cd2f3720ef90c8e25c3b01530590513
[INFO] running `Command { std: "docker" "start" "5112f3773c0345513e82028b458f9ade2cd2f3720ef90c8e25c3b01530590513", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5112f3773c0345513e82028b458f9ade2cd2f3720ef90c8e25c3b01530590513", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "5112f3773c0345513e82028b458f9ade2cd2f3720ef90c8e25c3b01530590513" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5112f3773c0345513e82028b458f9ade2cd2f3720ef90c8e25c3b01530590513", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "5112f3773c0345513e82028b458f9ade2cd2f3720ef90c8e25c3b01530590513" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling quote v1.0.45
[INFO] [stderr]    Compiling typenum v1.20.0
[INFO] [stderr]    Compiling cc v1.2.62
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling constant_time_eq v0.4.2
[INFO] [stderr]    Compiling rayon-core v1.13.0
[INFO] [stderr]    Compiling rayon v1.12.0
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling sha2-asm v0.6.4
[INFO] [stderr]    Compiling blake3 v1.8.5
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling serde_spanned v0.6.9
[INFO] [stderr]    Compiling toml_datetime v0.6.11
[INFO] [stderr]    Compiling bincode v1.3.3
[INFO] [stderr]    Compiling toml_edit v0.22.27
[INFO] [stderr]    Compiling toml v0.8.23
[INFO] [stderr]    Compiling flock-core v0.1.0 (/opt/rustwide/workdir/crates/flock-core)
[INFO] [stdout] warning: function `perf_core_count_cached` is never used
[INFO] [stdout]    --> crates/flock-core/src/lib.rs:106:15
[INFO] [stdout]     |
[INFO] [stdout] 106 | pub(crate) fn perf_core_count_cached() -> usize {
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `butterfly_interleaved_block_par_rows` is never used
[INFO] [stdout]    --> crates/flock-core/src/ntt/additive_ntt_f128.rs:659:4
[INFO] [stdout]     |
[INFO] [stdout] 659 | fn butterfly_interleaved_block_par_rows(
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `butterfly_interleaved_fused_2layer_par_rows` is never used
[INFO] [stdout]    --> crates/flock-core/src/ntt/additive_ntt_f128.rs:697:4
[INFO] [stdout]     |
[INFO] [stdout] 697 | fn butterfly_interleaved_fused_2layer_par_rows(
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `butterfly_interleaved_block` is never used
[INFO] [stdout]    --> crates/flock-core/src/ntt/additive_ntt_f128.rs:780:4
[INFO] [stdout]     |
[INFO] [stdout] 780 | fn butterfly_interleaved_block(
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling flock-prover v0.1.0 (/opt/rustwide/workdir/crates/flock-prover)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 27.88s
[INFO] running `Command { std: "docker" "inspect" "5112f3773c0345513e82028b458f9ade2cd2f3720ef90c8e25c3b01530590513", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "5112f3773c0345513e82028b458f9ade2cd2f3720ef90c8e25c3b01530590513" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling keccak v0.1.6
[INFO] [stderr]    Compiling memchr v2.8.1
[INFO] [stderr]    Compiling flock-core v0.1.0 (/opt/rustwide/workdir/crates/flock-core)
[INFO] [stderr]    Compiling sha3 v0.10.9
[INFO] [stderr]    Compiling serde_json v1.0.150
[INFO] [stdout] warning: function `perf_core_count_cached` is never used
[INFO] [stdout]    --> crates/flock-core/src/lib.rs:106:15
[INFO] [stdout]     |
[INFO] [stdout] 106 | pub(crate) fn perf_core_count_cached() -> usize {
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `butterfly_interleaved_block_par_rows` is never used
[INFO] [stdout]    --> crates/flock-core/src/ntt/additive_ntt_f128.rs:659:4
[INFO] [stdout]     |
[INFO] [stdout] 659 | fn butterfly_interleaved_block_par_rows(
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `butterfly_interleaved_fused_2layer_par_rows` is never used
[INFO] [stdout]    --> crates/flock-core/src/ntt/additive_ntt_f128.rs:697:4
[INFO] [stdout]     |
[INFO] [stdout] 697 | fn butterfly_interleaved_fused_2layer_par_rows(
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `butterfly_interleaved_block` is never used
[INFO] [stdout]    --> crates/flock-core/src/ntt/additive_ntt_f128.rs:780:4
[INFO] [stdout]     |
[INFO] [stdout] 780 | fn butterfly_interleaved_block(
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling flock-prover v0.1.0 (/opt/rustwide/workdir/crates/flock-prover)
[INFO] [stdout] warning: function `perf_core_count_cached` is never used
[INFO] [stdout]    --> crates/flock-core/src/lib.rs:106:15
[INFO] [stdout]     |
[INFO] [stdout] 106 | pub(crate) fn perf_core_count_cached() -> usize {
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `butterfly_interleaved_block_par_rows` is never used
[INFO] [stdout]    --> crates/flock-core/src/ntt/additive_ntt_f128.rs:659:4
[INFO] [stdout]     |
[INFO] [stdout] 659 | fn butterfly_interleaved_block_par_rows(
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `butterfly_interleaved_fused_2layer_par_rows` is never used
[INFO] [stdout]    --> crates/flock-core/src/ntt/additive_ntt_f128.rs:697:4
[INFO] [stdout]     |
[INFO] [stdout] 697 | fn butterfly_interleaved_fused_2layer_par_rows(
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `butterfly_interleaved_block` is never used
[INFO] [stdout]    --> crates/flock-core/src/ntt/additive_ntt_f128.rs:780:4
[INFO] [stdout]     |
[INFO] [stdout] 780 | fn butterfly_interleaved_block(
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 27.93s
[INFO] running `Command { std: "docker" "inspect" "5112f3773c0345513e82028b458f9ade2cd2f3720ef90c8e25c3b01530590513", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "5112f3773c0345513e82028b458f9ade2cd2f3720ef90c8e25c3b01530590513" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr] warning: function `perf_core_count_cached` is never used
[INFO] [stderr]    --> crates/flock-core/src/lib.rs:106:15
[INFO] [stderr]     |
[INFO] [stderr] 106 | pub(crate) fn perf_core_count_cached() -> usize {
[INFO] [stderr]     |               ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: function `butterfly_interleaved_block_par_rows` is never used
[INFO] [stderr]    --> crates/flock-core/src/ntt/additive_ntt_f128.rs:659:4
[INFO] [stderr]     |
[INFO] [stderr] 659 | fn butterfly_interleaved_block_par_rows(
[INFO] [stderr]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `butterfly_interleaved_fused_2layer_par_rows` is never used
[INFO] [stderr]    --> crates/flock-core/src/ntt/additive_ntt_f128.rs:697:4
[INFO] [stderr]     |
[INFO] [stderr] 697 | fn butterfly_interleaved_fused_2layer_par_rows(
[INFO] [stderr]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `butterfly_interleaved_block` is never used
[INFO] [stderr]    --> crates/flock-core/src/ntt/additive_ntt_f128.rs:780:4
[INFO] [stderr]     |
[INFO] [stderr] 780 | fn butterfly_interleaved_block(
[INFO] [stderr]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `flock-core` (lib) generated 4 warnings
[INFO] [stderr] warning: `flock-core` (lib test) generated 4 warnings (4 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.17s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/flock_core-b5dad80e33910fbd)
[INFO] [stdout] 
[INFO] [stdout] running 271 tests
[INFO] [stdout] test bits::tests::transpose_is_involution ... ok
[INFO] [stdout] test challenger::tests::fs_challenger_different_observations_diverge ... ok
[INFO] [stdout] test bits::tests::matches_naive ... ok
[INFO] [stdout] test challenger::tests::fs_challenger_different_domains_diverge ... ok
[INFO] [stdout] test challenger::tests::fs_challenger_label_changes_output ... ok
[INFO] [stdout] test challenger::tests::fs_challenger_identical_scripts_produce_identical_output ... ok
[INFO] [stdout] test challenger::tests::fs_challenger_pow_zero_bits_requires_canonical_nonce ... ok
[INFO] [stdout] test challenger::tests::fs_challenger_sample_advances_state ... ok
[INFO] [stdout] test challenger::tests::fs_challenger_scalar_vs_slice_dont_collide ... ok
[INFO] [stdout] test challenger::tests::fs_challenger_sample_one_vs_sample_vec_one_differ ... ok
[INFO] [stdout] test challenger::tests::fs_challenger_two_scalars_dont_collide_with_one_slice_of_two ... ok
[INFO] [stdout] test challenger::tests::random_challenger_is_deterministic_per_seed ... ok
[INFO] [stdout] test challenger::tests::random_challenger_observe_is_noop ... ok
[INFO] [stdout] test challenger::tests::sample_f128_vec_matches_individual_samples ... ok
[INFO] [stdout] test field::gf2_128::tests::add_identities ... ok
[INFO] [stdout] test field::gf2_128::tests::ghash_reduction_smoking_gun ... ok
[INFO] [stdout] test field::gf2_8::tests::associativity_random ... ok
[INFO] [stdout] test field::gf2_128::tests::associativity_random ... ok
[INFO] [stdout] test field::gf2_128::tests::deferred_reduction_matches_direct ... ok
[INFO] [stdout] test field::gf2_128::tests::deferred_xor_commutes_with_reduction ... ok
[INFO] [stdout] test field::gf2_128::tests::mul_by_x_matches_mul_by_gen ... ok
[INFO] [stdout] test field::gf2_8::tests::fips_197_test_vectors ... ok
[INFO] [stdout] test field::gf2_8::tests::mul_known_values ... ok
[INFO] [stdout] test field::gf2_8::tests::mul_identities ... ok
[INFO] [stdout] test field::gf2_128::tests::mul_commutativity ... ok
[INFO] [stdout] test challenger::tests::fs_challenger_pow_rejects_wrong_nonce ... ok
[INFO] [stdout] test field::gf2_8::tests::inv_roundtrip ... ok
[INFO] [stdout] test field::gf2_8::tests::add_is_xor ... ok
[INFO] [stdout] test field::gf2_128::tests::high_bit_inputs_reduce_correctly ... ok
[INFO] [stdout] test challenger::tests::random_challenger_pow_is_noop ... ok
[INFO] [stdout] test field::gf2_128::tests::mul_identities ... ok
[INFO] [stdout] test field::gf2_128::tests::inverse_roundtrip ... ok
[INFO] [stdout] test field::gf2_8::tests::fermat_little_theorem ... ok
[INFO] [stdout] test field::gf2_8::tests::software_matches_neon ... ok
[INFO] [stdout] test field::phi8::tests::zero_and_one_map_correctly ... ok
[INFO] [stdout] test lincheck::tests::sparse_row_fold_matches_dense ... ok
[INFO] [stdout] test bits::tests::transpose_8_u64s_matches_scalar ... ok
[INFO] [stdout] test field::gf2_8::tests::mul_commutativity_exhaustive ... ok
[INFO] [stdout] test lincheck::tests::eq_table_matches_direct_formula ... ok
[INFO] [stdout] test merkle::tests::merkle_proof_roundtrips_at_every_leaf ... ok
[INFO] [stdout] test lincheck::tests::partial_fold_matches_direct ... ok
[INFO] [stdout] test merkle::tests::merkle_proof_rejects_tampered_path ... ok
[INFO] [stdout] test merkle::tests::multi_proof_rejects_unsorted_positions ... ok
[INFO] [stdout] test merkle::tests::merkle_proof_rejects_wrong_index ... ok
[INFO] [stdout] test merkle::tests::multi_proof_rejects_tampered_proof_hash ... ok
[INFO] [stdout] test merkle::tests::one_leaf_root_is_the_leaf_hash ... ok
[INFO] [stdout] test lincheck::tests::verify_rejects_shape_errors ... ok
[INFO] [stdout] test merkle::tests::multi_proof_sibling_pair_emits_no_hashes_at_leaf_level ... ok
[INFO] [stdout] test lincheck::tests::verify_rejects_mutations ... ok
[INFO] [stdout] test merkle::tests::multi_proof_single_position_matches_single_proof ... ok
[INFO] [stdout] test merkle::tests::multi_proof_rejects_wrong_leaf ... ok
[INFO] [stdout] test merkle::tests::two_leaves_matches_hand_computation ... ok
[INFO] [stdout] test merkle::tests::power_of_two_assertion ... ok
[INFO] [stdout] test ntt::additive_ntt_f128::tests::deepest_layer_twiddle_count ... ok
[INFO] [stdout] test merkle::tests::multi_proof_random_subsets_roundtrip ... ok
[INFO] [stdout] test merkle::tests::multi_proof_full_query_set_is_root_only ... ok
[INFO] [stdout] test merkle::tests::multi_proof_rejects_extra_or_missing_hashes ... ok
[INFO] [stdout] test merkle::tests::root_changes_when_any_leaf_changes ... ok
[INFO] [stdout] test ntt::additive_ntt_f128::tests::twiddle_at_layer_0_uses_full_basis_minus_one ... ok
[INFO] [stdout] test ntt::inv_table::tests::apply_triple_matches_three_singles ... ok
[INFO] [stdout] test ntt::additive_ntt_f128::tests::forward_is_linear ... ok
[INFO] [stdout] test ntt::inv_table::tests::matches_naive_k4 ... ok
[INFO] [stdout] test lincheck::tests::partial_fold_fast_matches_serial ... ok
[INFO] [stdout] test ntt::inv_table::tests::matches_naive_k3 ... ok
[INFO] [stdout] test merkle::tests::parallel_matches_sequential_tail_shapes ... ok
[INFO] [stdout] test ntt::inv_table_deg4::tests::apply_matches_apply_scalar ... ok
[INFO] [stdout] test ntt::inv_table_deg4::tests::apply_matches_naive_random ... ok
[INFO] [stdout] test ntt::additive_ntt_f128::tests::ntt_of_zero_is_zero ... ok
[INFO] [stdout] test ntt::additive_ntt_f128::tests::forward_inverse_roundtrip ... ok
[INFO] [stdout] test ntt::tests::forward_inverse_roundtrip ... ok
[INFO] [stdout] test ntt::inv_table_deg4::tests::first_64_lanes_match_input_bits ... ok
[INFO] [stdout] test ntt::tests::forward_is_linear ... ok
[INFO] [stdout] test merkle::tests::parallel_matches_sequential ... ok
[INFO] [stdout] test ntt::parallel_f128::tests::ntt_of_zero_is_zero ... ok
[INFO] [stdout] test ntt::tests::twiddles_size ... ok
[INFO] [stdout] test ntt::additive_ntt_f128::tests::inverse_forward_roundtrip ... ok
[INFO] [stdout] test ntt::tests::nonzero_beta_roundtrip ... ok
[INFO] [stdout] test ntt::parallel_f128::tests::forward_is_linear ... ok
[INFO] [stdout] test pcs::commit::tests::commit_root_sensitive_to_witness ... ok
[INFO] [stdout] test ntt::tests::inverse_forward_roundtrip ... ok
[INFO] [stdout] test merkle::tests::multi_proof_beats_independent_paths_at_scale ... ok
[INFO] [stdout] test pcs::commit::tests::codeword_doubles_message_length ... ok
[INFO] [stdout] test pcs::jagged::tests::runtime_m25 ... ignored, heavy benchmark; run explicitly with --release --ignored --nocapture
[INFO] [stdout] test pcs::jagged::tests::scaling_diag ... ignored, diagnostic; run with --release --ignored --nocapture
[INFO] [stdout] test ntt::inv_table::tests::matches_naive_k6_protocol_size ... ok
[INFO] [stdout] test pcs::jagged::tests::sumcheck_rejects_tampered_proof ... ok
[INFO] [stdout] test pcs::commit::tests::commit_is_deterministic ... ok
[INFO] [stdout] test pcs::commit::tests::commit_runs_and_produces_root ... ok
[INFO] [stdout] test challenger::tests::fs_challenger_pow_roundtrip ... ok
[INFO] [stdout] test ntt::parallel_f128::tests::neon_matches_scalar_for_random_inputs ... ok
[INFO] [stdout] test merkle::tests::rejects_non_power_of_two - should panic ... ok
[INFO] [stdout] test pcs::jagged::tests::sumcheck_rejects_wrong_value ... ok
[INFO] [stdout] test pcs::commit::tests::rs_encoding_is_linear ... ok
[INFO] [stdout] test pcs::commit::tests::commit_matches_full_ntt_oracle ... ok
[INFO] [stdout] test pcs::ligerito::tests::induce_sumcheck_poly_consistent_with_codeword ... ok
[INFO] [stdout] test pcs::ligerito::tests::final_level_binding_pins_yr_to_committed_codeword ... ok
[INFO] [stdout] test pcs::ligerito::tests::estimate_ligerito_m29 ... ok
[INFO] [stdout] test pcs::ligerito::tests::induce_sumcheck_evaluate_at_residual_matches_dense ... ok
[INFO] [stdout] test pcs::ligerito::tests::estimate_ligerito_m30 ... ok
[INFO] [stdout] test pcs::ligerito::tests::estimate_ligerito_m30_initial_k6 ... ok
[INFO] [stdout] test pcs::ligerito::tests::ligerito_derive_paper_compatible_for_all_embedded ... ok
[INFO] [stdout] test pcs::ligerito::tests::induce_sumcheck_poly_with_interleaving_and_v_challenges ... ok
[INFO] [stdout] test pcs::ligerito::tests::estimate_ligerito_m29_initial_k6 ... ok
[INFO] [stdout] test lincheck::tests::partial_fold_padded_matches_dense ... ok
[INFO] [stdout] test pcs::ligerito::tests::ligerito_prover_config_for_lookup ... ok
[INFO] [stdout] test field::phi8::tests::homomorphism_full ... ok
[INFO] [stdout] test pcs::ligerito::tests::induce_sumcheck_poly_via_ntt_matches_dense ... ok
[INFO] [stdout] test pcs::ligerito::tests::ligerito_security_config_m29_toml_loads ... ok
[INFO] [stdout] test pcs::ligerito::tests::ligerito_security_config_matches_default_config ... ok
[INFO] [stdout] test pcs::ligerito::tests::ligerito_security_config_rejects_insufficient_queries ... ok
[INFO] [stdout] test pcs::ligerito::tests::ligerito_security_config_rejects_johnson_with_proximity_loss ... ok
[INFO] [stdout] test pcs::ligerito::tests::ligerito_security_config_rejects_paper_inconsistent_eps_pg ... ok
[INFO] [stdout] test pcs::ligerito::tests::ligerito_security_config_rejects_paper_inconsistent_eps_query ... ok
[INFO] [stdout] test pcs::ligerito::tests::ligerito_security_config_rejects_udr_with_eta ... ok
[INFO] [stdout] test pcs::ligerito::tests::ligerito_security_config_rejects_udr_without_proximity_loss ... ok
[INFO] [stdout] test pcs::ligerito::tests::ligerito_security_config_serde_roundtrip ... ok
[INFO] [stdout] test pcs::ligerito::tests::ligerito_security_config_toml_roundtrip ... ok
[INFO] [stdout] test pcs::ligerito::tests::ligerito_security_config_udr_regime_validates ... ok
[INFO] [stdout] test pcs::ligerito::tests::ligerito_security_config_validates ... ok
[INFO] [stdout] test pcs::jagged::tests::f_hat_t_matches_bruteforce ... ok
[INFO] [stdout] test ntt::additive_ntt_f128::tests::interleaved_matches_per_lane ... ok
[INFO] [stdout] test pcs::ligerito::tests::ligerito_all_embedded_configs_validate ... ok
[INFO] [stdout] test pcs::ligerito::tests::ligerito_size_breakdown_m22 ... ignored
[INFO] [stdout] test pcs::ligerito::tests::ligerito_size_breakdown_m22_initial_k6 ... ignored
[INFO] [stdout] test pcs::ligerito::tests::ligerito_size_breakdown_m23 ... ignored
[INFO] [stdout] test pcs::ligerito::tests::ligerito_size_breakdown_m24_aggressive ... ignored
[INFO] [stdout] test pcs::ligerito::tests::ligerito_size_breakdown_m24_decreasing_rate ... ignored
[INFO] [stdout] test pcs::ligerito::tests::ligerito_size_breakdown_m24_uniform_rate ... ignored
[INFO] [stdout] test pcs::ligerito::tests::ligero_commit_encoding_roundtrips_via_inv_ntt ... ok
[INFO] [stdout] test pcs::ligerito::tests::partial_eval_then_eval_equals_full_eval ... ok
[INFO] [stdout] test pcs::jagged::tests::sumcheck_roundtrip ... ok
[INFO] [stdout] test pcs::ligerito::tests::ligerito_ood_and_fold_grinding_roundtrip_and_tamper ... ok
[INFO] [stdout] test pcs::jagged::tests::f_hat_t_eq4_at_boolean_points ... ok
[INFO] [stdout] test pcs::ligerito::tests::ligerito_proof_bincode_roundtrip ... ok
[INFO] [stdout] test pcs::ligerito::tests::regen_embedded_tomls ... ignored
[INFO] [stdout] test pcs::ligerito::tests::stateful_sumcheck_introduce_glue ... ok
[INFO] [stdout] test pcs::ligerito::tests::stateful_sumcheck_single_basis_roundtrip ... ok
[INFO] [stdout] test lincheck::tests::prove_verify_roundtrip_honest ... ok
[INFO] [stdout] test pcs::pack::tests::pack_independent_chunks ... ok
[INFO] [stdout] test pcs::pack::tests::pack_layout_matches_natural_bit_order ... ok
[INFO] [stdout] test pcs::ligerito::tests::ligerito_r1_roundtrip_accepts ... ok
[INFO] [stdout] test pcs::pack::tests::rejects_undersized_witness - should panic ... ok
[INFO] [stdout] test pcs::pack::tests::pack_unpack_roundtrip ... ok
[INFO] [stdout] test pcs::ring_switch::tests::build_eq_sparse_matches_dense ... ok
[INFO] [stdout] test pcs::ring_switch::tests::build_eq_split_reconstructs_full ... ok
[INFO] [stdout] test pcs::ring_switch::tests::dp24_identity_holds ... ok
[INFO] [stdout] test pcs::ligerito::tests::ligerito_r1_rejects_mutated_yr ... ok
[INFO] [stdout] test pcs::ring_switch::tests::claim_check_recovers_zhat_skip ... ok
[INFO] [stdout] test pcs::ring_switch::tests::eval_rs_eq_finish_binary_q_matches_general ... ok
[INFO] [stdout] test pcs::ring_switch::tests::fold_1b_rows_sparse_matches_naive ... ok
[INFO] [stdout] test pcs::ring_switch::tests::fold_1b_padded_matches_dense ... ok
[INFO] [stdout] test pcs::ligerito::tests::ligerito_security_config_drives_roundtrip_with_grinding ... ok
[INFO] [stdout] test pcs::ring_switch::tests::fold_1b_rows_split_2way_matches_per_claim ... ok
[INFO] [stdout] test pcs::ring_switch::tests::fold_b128_elems_sparse_matches_dense ... ok
[INFO] [stdout] test pcs::ring_switch::tests::fold_b128_elems_matches_naive ... ok
[INFO] [stdout] test pcs::ring_switch::tests::mfr_fold_8wide_matches_scalar ... ok
[INFO] [stdout] test pcs::ring_switch::tests::mfr_fold_matches_scalar_bit_scan ... ok
[INFO] [stdout] test pcs::ring_switch::tests::fold_b128_elems_split_matches_dense ... ok
[INFO] [stdout] test pcs::ligerito::tests::recursive_prover_with_basis_roundtrip_single_claim ... ok
[INFO] [stdout] test lincheck::tests::partial_fold_is_mle_at_outer_point ... ok
[INFO] [stdout] test pcs::ring_switch::tests::prove_batched_matches_sequential ... ok
[INFO] [stdout] test pcs::ring_switch::tests::s_hat_v_from_z_vec_degenerate_tail ... ok
[INFO] [stdout] test pcs::ring_switch::tests::prove_batched_with_sparse_claim_matches_sequential ... ok
[INFO] [stdout] test pcs::ring_switch::tests::s_hat_v_is_linear_in_witness ... ok
[INFO] [stdout] test pcs::ring_switch::tests::subset_sums_4_correctness ... ok
[INFO] [stdout] test pcs::ring_switch::tests::transpose_is_involution ... ok
[INFO] [stdout] test pcs::ring_switch::tests::s_hat_v_from_z_vec_matches_fold_1b_rows_ab ... ok
[INFO] [stdout] test pcs::ligerito::tests::ligerito_fast_profile_m22_roundtrip ... ok
[INFO] [stdout] test pcs::ring_switch::tests::zzz_bench_fold_1b ... ignored
[INFO] [stdout] test pcs::tensor_algebra::tests::add_is_xor_pairwise ... ok
[INFO] [stdout] test pcs::tensor_algebra::tests::add_zero_is_identity ... ok
[INFO] [stdout] test pcs::tensor_algebra::tests::fold_vertical_with_zero_coeffs_is_zero ... ok
[INFO] [stdout] test pcs::tensor_algebra::tests::from_vertical_scale_vertical ... ok
[INFO] [stdout] test pcs::tensor_algebra::tests::one_from_vertical_one ... ok
[INFO] [stdout] test pcs::tensor_algebra::tests::scale_horizontal_via_transpose ... ok
[INFO] [stdout] test pcs::tensor_algebra::tests::scale_vertical_distributes_over_add ... ok
[INFO] [stdout] test pcs::ring_switch::tests::prove_batched_with_precomputed_matches_unprecomputed ... ok
[INFO] [stdout] test pcs::tensor_algebra::tests::transpose_involution ... ok
[INFO] [stdout] test pcs::tests::pcs_ligerito_backend_roundtrip ... ignored
[INFO] [stdout] test pcs::tensor_algebra::tests::transpose_bit_semantics ... ok
[INFO] [stdout] test pcs::ring_switch::tests::weights_have_correct_length ... ok
[INFO] [stdout] test pcs::ring_switch::tests::fold_1b_rows_split_matches_16wide ... ok
[INFO] [stdout] test pcs::tests::pcs_packed_direct_dense_roundtrip ... ok
[INFO] [stdout] test pcs::ring_switch::tests::verify_rejects_mutated_proof ... ok
[INFO] [stdout] test pcs::tests::pcs_packed_direct_sparse_roundtrip ... ok
[INFO] [stdout] test pcs::tests::pcs_mixed_ring_switched_and_packed_direct ... ok
[INFO] [stdout] test pcs::ring_switch::tests::eval_rs_eq_matches_dense ... ok
[INFO] [stdout] test permutation::tests::claim_matches_direct_mle ... ok
[INFO] [stdout] test pcs::tests::pcs_open_verify_roundtrip ... ok
[INFO] [stdout] test pcs::tests::pcs_verify_rejects_wrong_claim ... ok
[INFO] [stdout] test permutation::tests::non_permutation_relation_rejected ... ok
[INFO] [stdout] test pcs::tests::pcs_verify_rejects_truncated_fri_queries ... ok
[INFO] [stdout] test r1cs::tests::identity_matrices_accept_any_witness ... ok
[INFO] [stdout] test pcs::tests::pcs_verify_rejects_mutated_basefold ... ok
[INFO] [stdout] test r1cs::tests::zero_matrices_require_zero_witness ... ok
[INFO] [stdout] test scratch::tests::pool_is_bounded ... ok
[INFO] [stdout] test scratch::tests::take_reuses_given_buffer ... ok
[INFO] [stdout] test verifier::tests::verifier_pool_is_single_threaded ... ok
[INFO] [stdout] test permutation::tests::tampered_witness_rejected ... ok
[INFO] [stdout] test permutation::tests::tampered_basefold_opening_rejected ... ok
[INFO] [stdout] test r1cs::tests::packed_matches_bool_apply ... ok
[INFO] [stdout] test zerocheck::multilinear::tests::fold_in_place_pair_matches_formula ... ok
[INFO] [stdout] test zerocheck::multilinear::tests::deterministic ... ok
[INFO] [stdout] test zerocheck::multilinear::tests::fold_is_xor_linear ... ok
[INFO] [stdout] test zerocheck::multilinear::tests::fold_table_one_row_matches_direct_lagrange ... ok
[INFO] [stdout] test zerocheck::multilinear::tests::fold_at_node_recovers_witness_slice ... ok
[INFO] [stdout] test zerocheck::multilinear::tests::fused_round_matches_unfused ... ok
[INFO] [stdout] test permutation::tests::backend_is_adaptive_to_size ... ok
[INFO] [stdout] test pcs::ring_switch::tests::prove_verify_roundtrip ... ok
[INFO] [stdout] test zerocheck::multilinear::tests::round_pair_message_has_degree_two ... ok
[INFO] [stdout] test zerocheck::multilinear::tests::round_pair_symmetric_in_ab ... ok
[INFO] [stdout] test zerocheck::multilinear::tests::lagrange_weights_sum_to_one ... ok
[INFO] [stdout] test zerocheck::multilinear::tests::zero_witness_gives_zero_round_message ... ok
[INFO] [stdout] test zerocheck::multilinear::tests::parallel_matches_serial ... ok
[INFO] [stdout] test pcs::ligerito::tests::recursive_prover_with_basis_roundtrip_batched_claims ... ok
[INFO] [stdout] test pcs::ligerito::tests::recursive_prover_with_l0_matches_full ... ok
[INFO] [stdout] test zerocheck::multilinear::tests::optimized_matches_naive ... ok
[INFO] [stdout] test zerocheck::tests::audit_last_round_inf_constrained ... ok
[INFO] [stdout] test permutation::tests::honest_roundtrip_and_claim_match ... ok
[INFO] [stdout] test zerocheck::multilinear::tests::uni_skip_fold_round_pair_padded_matches_dense ... ok
[INFO] [stdout] test zerocheck::multilinear::tests::c_eval_from_round1_c_matches_direct_fold ... ok
[INFO] [stdout] test zerocheck::tests::prove_deterministic ... ok
[INFO] [stdout] test zerocheck::multilinear::tests::lagrange_at_node_is_indicator ... ok
[INFO] [stdout] test zerocheck::tests::verify_rejects_shape_errors ... ok
[INFO] [stdout] test zerocheck::univariate_skip::tests::build_eq_basic ... ok
[INFO] [stdout] test zerocheck::univariate_skip::tests::extract_c_deterministic ... ok
[INFO] [stdout] test zerocheck::univariate_skip::tests::extract_c_honest_witness_combined_matches_naive ... ok
[INFO] [stdout] test zerocheck::tests::audit_final_ab_claims_bound_to_transcript ... ok
[INFO] [stdout] test zerocheck::univariate_skip::tests::extract_c_output_shape ... ok
[INFO] [stdout] test zerocheck::univariate_skip::tests::extract_c_matches_naive ... ok
[INFO] [stdout] test zerocheck::univariate_skip::tests::extract_c_with_s_hat_v_matches_original_wire ... ok
[INFO] [stdout] test zerocheck::univariate_skip::tests::ntt_extend_round_trips_naive_c_path ... ok
[INFO] [stdout] test zerocheck::univariate_skip::tests::round1_all_zero_witness_gives_zero_message ... ok
[INFO] [stdout] test zerocheck::univariate_skip::tests::round1_at_s_nonzero_for_random_witness ... ok
[INFO] [stdout] test zerocheck::univariate_skip::tests::round1_at_s_zero_for_honest_witness ... ok
[INFO] [stdout] test zerocheck::tests::prove_runs_end_to_end ... ok
[INFO] [stdout] test zerocheck::univariate_skip::tests::round1_message_nonzero_for_random_witness ... ok
[INFO] [stdout] test zerocheck::univariate_skip::tests::round1_deterministic ... ok
[INFO] [stdout] test zerocheck::univariate_skip::tests::round1_p_c_is_xor_linear_in_c ... ok
[INFO] [stdout] test zerocheck::univariate_skip::tests::split_eq_basic ... ok
[INFO] [stdout] test zerocheck::univariate_skip::tests::round1_output_shape ... ok
[INFO] [stdout] test zerocheck::univariate_skip_deg4::tests::linear_only_path ... ok
[INFO] [stdout] test zerocheck::univariate_skip_deg4::tests::ntt_extend_roundtrips_on_s ... ok
[INFO] [stdout] test zerocheck::univariate_skip_deg4::tests::degree4_reduces_to_degree2_when_cd_one ... ok
[INFO] [stdout] test zerocheck::univariate_skip_deg4_optimized::tests::extend_row_recovers_input_on_s ... ok
[INFO] [stdout] test zerocheck::univariate_skip_deg4::tests::round1_deg4_output_shape ... ok
[INFO] [stdout] test zerocheck::univariate_skip::tests::extract_c_with_s_hat_v_matches_fold_1b_rows ... ok
[INFO] [stdout] test zerocheck::univariate_skip_optimized::tests::convert_table_structure ... ok
[INFO] [stdout] test zerocheck::tests::audit_false_statement_rejected ... ok
[INFO] [stdout] test zerocheck::univariate_skip_optimized::tests::friendly_challenges_f2_independent ... ok
[INFO] [stdout] test zerocheck::univariate_skip_optimized::tests::deterministic ... ok
[INFO] [stdout] test zerocheck::univariate_skip_optimized::tests::fusion_matches_existing_and_scalar_oracle ... ok
[INFO] [stdout] test zerocheck::univariate_skip_optimized::tests::output_shape ... ok
[INFO] [stdout] test zerocheck::tests::verify_rejects_mutations ... ok
[INFO] [stdout] test zerocheck::univariate_skip_deg4_optimized::tests::optimized_matches_naive_modulo_cs ... ok
[INFO] [stdout] test zerocheck::univariate_skip_optimized::tests::small_and_medium_challenges_sanity ... ok
[INFO] [stdout] test zerocheck::tests::audit_round_msg_1_tamper_rejected ... ok
[INFO] [stdout] test zerocheck::univariate_skip_deg4_optimized::tests::optimized_matches_naive_modulo_cs_m14 ... ok
[INFO] [stdout] test zerocheck::univariate_skip_optimized::tests::parallel_matches_serial ... ok
[INFO] [stdout] test zerocheck::univariate_skip_optimized::tests::matches_naive_with_c_s_factor ... ok
[INFO] [stdout] test zerocheck::tests::audit_round_msg_inf_tamper_rejected ... ok
[INFO] [stdout] test zerocheck::univariate_skip_optimized::tests::padded_matches_dense_with_zero_padding ... ok
[INFO] [stdout] test zerocheck::tests::prove_verify_roundtrip_honest ... ok
[INFO] [stdout] test zerocheck::tests::audit_many_false_statements_rejected ... ok
[INFO] [stdout] test pcs::ligerito::tests::estimator_matches_actual_m20 has been running for over 60 seconds
[INFO] [stdout] test pcs::ligerito::tests::ligerito_r2_roundtrip_accepts has been running for over 60 seconds
[INFO] [stdout] test pcs::ligerito::tests::ligerito_size_breakdown_m20_decreasing_rate has been running for over 60 seconds
[INFO] [stdout] test pcs::ligerito::tests::ligerito_size_breakdown_m20_decreasing_rate_thin has been running for over 60 seconds
[INFO] [stdout] test pcs::ligerito::tests::ligerito_size_breakdown_m20_uniform_rate has been running for over 60 seconds
[INFO] [stdout] test pcs::ligerito::tests::recursive_verifier_with_basis_succinct_matches_dense ... ok
[INFO] [stdout] test pcs::ligerito::tests::transpose_sparse_matches_dense ... ok
[INFO] [stdout] test pcs::ligerito::tests::ligerito_r2_roundtrip_accepts ... ok
[INFO] [stdout] test pcs::ligerito::tests::ligerito_size_breakdown_m20_uniform_rate ... ok
[INFO] [stdout] test pcs::ligerito::tests::ligerito_size_breakdown_m20_decreasing_rate ... ok
[INFO] [stdout] test pcs::ligerito::tests::estimator_matches_actual_m20 ... ok
[INFO] [stdout] test pcs::ligerito::tests::ligerito_size_breakdown_m20_decreasing_rate_thin ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 260 passed; 0 failed; 11 ignored; 0 measured; 0 filtered out; finished in 219.89s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/flock_prover-f3cd3edee2ea7af1)
[INFO] [stdout] 
[INFO] [stdout] running 102 tests
[INFO] [stdout] test chain::tests::fold_region_naive_matches_direct ... ok
[INFO] [stdout] test chain::tests::shift_mle_top_has_no_successor ... ok
[INFO] [stdout] test chain::tests::wrong_input_endpoint_rejects ... ok
[INFO] [stdout] test chain::tests::wrong_output_endpoint_rejects ... ok
[INFO] [stdout] test chain::tests::broken_chain_rejects ... ok
[INFO] [stdout] test proof_io::tests::r1cs_bundle_roundtrip ... ignored
[INFO] [stdout] test chain::tests::shift_equals_shifted_eq ... ok
[INFO] [stdout] test proof_io::tests::rejects_bad_magic ... ok
[INFO] [stdout] test chain::tests::fold_contiguous_regions_matches_per_region ... ok
[INFO] [stdout] test r1cs_hashes::blake3::chain_e2e_tests::chain_prove_verify_ligerito_roundtrip ... ignored
[INFO] [stdout] test proof_io::tests::rejects_truncated ... ok
[INFO] [stdout] test proof_io::tests::rejects_unsupported_version ... ok
[INFO] [stdout] test merkle_path::tests::broken_chain_rejects ... ok
[INFO] [stdout] test r1cs_hashes::blake3::tests::compress_matches_blake3_crate_64_bytes ... ok
[INFO] [stdout] test r1cs_hashes::blake3::tests::compress_matches_blake3_crate_empty ... ok
[INFO] [stdout] test merkle_path::tests::wrong_leaf_rejects ... ok
[INFO] [stdout] test merkle_path::tests::wrong_root_rejects ... ok
[INFO] [stdout] test chain::tests::honest_roundtrip_accepts ... ok
[INFO] [stdout] test r1cs_hashes::blake3::tests::batch_major_witness_matches_row_major_transposed ... ok
[INFO] [stdout] test merkle_path::tests::honest_roundtrip_accepts ... ok
[INFO] [stdout] test r1cs_hashes::blake3::tests::layout_constants ... ok
[INFO] [stdout] test chain::tests::shift_mle_boolean_is_successor ... ok
[INFO] [stderr] error: test failed, to rerun pass `-p flock-prover --lib`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/deps/flock_prover-f3cd3edee2ea7af1` (signal: 9, SIGKILL: kill)
[INFO] running `Command { std: "docker" "inspect" "5112f3773c0345513e82028b458f9ade2cd2f3720ef90c8e25c3b01530590513", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5112f3773c0345513e82028b458f9ade2cd2f3720ef90c8e25c3b01530590513", kill_on_drop: false }`
[INFO] [stdout] 5112f3773c0345513e82028b458f9ade2cd2f3720ef90c8e25c3b01530590513
