[INFO] cloning repository https://github.com/ybzhang-nxu/egg-simplify [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ybzhang-nxu/egg-simplify" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fybzhang-nxu%2Fegg-simplify", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fybzhang-nxu%2Fegg-simplify'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 7a4cf5b80dfd0879c2e0389d9a445af2aff3994b [INFO] testing ybzhang-nxu/egg-simplify against master#2fd6efc32704647e64d3d646d21c4c68eae100e4 for pr-149852-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fybzhang-nxu%2Fegg-simplify" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/ybzhang-nxu/egg-simplify [INFO] finished tweaking git repo https://github.com/ybzhang-nxu/egg-simplify [INFO] tweaked toml for git repo https://github.com/ybzhang-nxu/egg-simplify written to /workspace/builds/worker-6-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/ybzhang-nxu/egg-simplify on toolchain 2fd6efc32704647e64d3d646d21c4c68eae100e4 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/ybzhang-nxu/egg-simplify 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" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded zmij v1.0.10 [INFO] [stderr] Downloaded symbolic_expressions v5.0.3 [INFO] [stderr] Downloaded egg v0.9.5 [INFO] [stderr] Downloaded symbol_table v0.2.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] d400eca19227ec76ad2f4bdf83bd07f980929cc5620782bdd48f7d156e26be5a [INFO] running `Command { std: "docker" "start" "-a" "d400eca19227ec76ad2f4bdf83bd07f980929cc5620782bdd48f7d156e26be5a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "d400eca19227ec76ad2f4bdf83bd07f980929cc5620782bdd48f7d156e26be5a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d400eca19227ec76ad2f4bdf83bd07f980929cc5620782bdd48f7d156e26be5a", kill_on_drop: false }` [INFO] [stdout] d400eca19227ec76ad2f4bdf83bd07f980929cc5620782bdd48f7d156e26be5a [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 282cd3d7745c76571a73c1e958de0e12336ce25e7d243aa3d0b375c2a4a7420a [INFO] running `Command { std: "docker" "start" "-a" "282cd3d7745c76571a73c1e958de0e12336ce25e7d243aa3d0b375c2a4a7420a", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.104 [INFO] [stderr] Compiling serde_core v1.0.228 [INFO] [stderr] Compiling libc v0.2.179 [INFO] [stderr] Compiling ahash v0.7.8 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Compiling fxhash v0.2.1 [INFO] [stderr] Compiling env_logger v0.9.3 [INFO] [stderr] Compiling instant v0.1.13 [INFO] [stderr] Compiling smallvec v1.15.1 [INFO] [stderr] Compiling symbolic_expressions v5.0.3 [INFO] [stderr] Compiling quote v1.0.42 [INFO] [stderr] Compiling syn v2.0.113 [INFO] [stderr] Compiling getrandom v0.2.16 [INFO] [stderr] Compiling hashbrown v0.12.3 [INFO] [stderr] Compiling symbol_table v0.2.0 [INFO] [stderr] Compiling num-rational v0.4.2 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling clap_derive v4.5.49 [INFO] [stderr] Compiling thiserror v1.0.69 [INFO] [stderr] Compiling mpl-ir v0.1.1 (/opt/rustwide/workdir/crates/ir) [INFO] [stderr] Compiling egg v0.9.5 [INFO] [stderr] Compiling mpl-symbol v0.1.1 (/opt/rustwide/workdir/crates/symbol) [INFO] [stderr] Compiling mpl-verify v0.1.1 (/opt/rustwide/workdir/crates/verify) [INFO] [stderr] Compiling clap v4.5.54 [INFO] [stderr] Compiling mpl-rewrite v0.1.2 (/opt/rustwide/workdir/crates/rewrite) [INFO] [stderr] Compiling mpl-rewrite-symbol v0.1.1 (/opt/rustwide/workdir/crates/rewrite-symbol) [INFO] [stderr] Compiling mpl-simplify v0.1.2 (/opt/rustwide/workdir/crates/cli) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 27.25s [INFO] running `Command { std: "docker" "inspect" "282cd3d7745c76571a73c1e958de0e12336ce25e7d243aa3d0b375c2a4a7420a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "282cd3d7745c76571a73c1e958de0e12336ce25e7d243aa3d0b375c2a4a7420a", kill_on_drop: false }` [INFO] [stdout] 282cd3d7745c76571a73c1e958de0e12336ce25e7d243aa3d0b375c2a4a7420a [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] c64db94c138c4d4c5626cd0818b6661270e8ed82bc123272fef8d782194ffd41 [INFO] running `Command { std: "docker" "start" "-a" "c64db94c138c4d4c5626cd0818b6661270e8ed82bc123272fef8d782194ffd41", kill_on_drop: false }` [INFO] [stderr] Compiling serde_core v1.0.228 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling aho-corasick v1.1.4 [INFO] [stderr] Compiling getrandom v0.2.16 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Compiling float-cmp v0.10.0 [INFO] [stderr] Compiling zerocopy v0.8.31 [INFO] [stderr] Compiling wait-timeout v0.2.1 [INFO] [stderr] Compiling zerocopy-derive v0.8.31 [INFO] [stderr] Compiling ahash v0.7.8 [INFO] [stderr] Compiling zmij v1.0.10 [INFO] [stderr] Compiling hashbrown v0.12.3 [INFO] [stderr] Compiling rayon-core v1.13.0 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Compiling crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling plotters-backend v0.3.7 [INFO] [stderr] Compiling itertools v0.10.5 [INFO] [stderr] Compiling crossbeam-deque v0.8.6 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Compiling symbol_table v0.2.0 [INFO] [stderr] Compiling plotters-svg v0.3.7 [INFO] [stderr] Compiling egg v0.9.5 [INFO] [stderr] Compiling regex-automata v0.4.13 [INFO] [stderr] Compiling cast v0.3.0 [INFO] [stderr] Compiling rayon v1.11.0 [INFO] [stderr] Compiling criterion-plot v0.5.0 [INFO] [stderr] Compiling plotters v0.3.7 [INFO] [stderr] Compiling is-terminal v0.4.17 [INFO] [stderr] Compiling anes v0.1.6 [INFO] [stderr] Compiling oorandom v11.1.5 [INFO] [stderr] Compiling serde_json v1.0.148 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Compiling half v2.7.1 [INFO] [stderr] Compiling ciborium-ll v0.2.2 [INFO] [stderr] Compiling num-rational v0.4.2 [INFO] [stderr] Compiling ciborium v0.2.2 [INFO] [stderr] Compiling tinytemplate v1.2.1 [INFO] [stderr] Compiling regex v1.12.2 [INFO] [stderr] Compiling bstr v1.12.1 [INFO] [stderr] Compiling mpl-ir v0.1.1 (/opt/rustwide/workdir/crates/ir) [INFO] [stderr] Compiling mpl-rewrite v0.1.2 (/opt/rustwide/workdir/crates/rewrite) [INFO] [stderr] Compiling mpl-symbol v0.1.1 (/opt/rustwide/workdir/crates/symbol) [INFO] [stderr] Compiling mpl-verify v0.1.1 (/opt/rustwide/workdir/crates/verify) [INFO] [stderr] Compiling predicates v3.1.3 [INFO] [stderr] Compiling criterion v0.5.1 [INFO] [stderr] Compiling mpl-rewrite-symbol v0.1.1 (/opt/rustwide/workdir/crates/rewrite-symbol) [INFO] [stderr] Compiling assert_cmd v2.1.1 [INFO] [stderr] Compiling mpl-simplify v0.1.2 (/opt/rustwide/workdir/crates/cli) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 1m 05s [INFO] running `Command { std: "docker" "inspect" "c64db94c138c4d4c5626cd0818b6661270e8ed82bc123272fef8d782194ffd41", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c64db94c138c4d4c5626cd0818b6661270e8ed82bc123272fef8d782194ffd41", kill_on_drop: false }` [INFO] [stdout] c64db94c138c4d4c5626cd0818b6661270e8ed82bc123272fef8d782194ffd41 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] bba0af21f3cb5d857da96f304a54094b020be2660c8ca20bec956655498f54bb [INFO] running `Command { std: "docker" "start" "-a" "bba0af21f3cb5d857da96f304a54094b020be2660c8ca20bec956655498f54bb", kill_on_drop: false }` [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.25s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/mpl_ir-88632b34bcba274b) [INFO] [stdout] [INFO] [stdout] running 19 tests [INFO] [stdout] test tests::mul_zero_absorbs_all ... ok [INFO] [stdout] test tests::mul_zero_constant ... ok [INFO] [stdout] test tests::normalize_div_basic ... ok [INFO] [stdout] test tests::negation_basic ... ok [INFO] [stdout] test tests::normalize_div_nary ... ok [INFO] [stdout] test tests::normalize_example_add ... ok [INFO] [stdout] test tests::normalize_pow_basic ... ok [INFO] [stdout] test tests::normalize_roundtrip_is_stable ... ok [INFO] [stdout] test tests::normalize_pow_nesting ... ok [INFO] [stdout] test tests::normalize_div_mul_simplifies ... ok [INFO] [stdout] test tests::normalize_roundtrip_log_is_stable ... ok [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/mpl_rewrite-7504dd44cb590bdc) [INFO] [stdout] test tests::normalize_roundtrip_li2_is_stable ... ok [INFO] [stdout] test tests::parse_rational_literal ... ok [INFO] [stdout] test tests::normalize_nary_mul_basic ... ok [INFO] [stdout] test tests::mul_zero_nested ... ok [INFO] [stdout] test tests::normalize_nary_add_basic ... ok [INFO] [stdout] test tests::normalize_pow_combine_mul ... ok [INFO] [stdout] test tests::normalize_pow_negative_exponent ... ok [INFO] [stdout] test tests::pow_zero_negative_exponent_kept ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 3 tests [INFO] [stdout] test tests::aggressive_factoring_changes_shape ... ok [INFO] [stdout] test tests::lower_lift_roundtrip ... ok [INFO] [stdout] test tests::safe_mode_keeps_simple_form ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/mpl_rewrite_symbol-cad9ff27741b4697) [INFO] [stdout] [INFO] [stdout] running 12 tests [INFO] [stdout] test cache::tests::interner_reuses_arc ... ok [INFO] [stdout] test analysis::tests::merge_prefers_smaller_repr_then_lex ... ok [INFO] [stdout] test error::tests::unknown_fingerprint_compares ... ok [INFO] [stdout] test cache::tests::expr_key_is_stable ... ok [INFO] [stdout] test error::tests::weight_fingerprint_roundtrips ... ok [INFO] [stdout] test extractor::tests::symbol_cost_orders_by_penalty_then_size_then_tie ... ok [INFO] [stdout] test hash::tests::stable_hash_matches_bytes ... ok [INFO] [stdout] test fingerprint::tests::fingerprint_stable_repeated ... ok [INFO] [stdout] test fingerprint::tests::fuel_zero_returns_unknown ... ok [INFO] [stdout] test hash::tests::stable_hash_is_deterministic ... ok [INFO] [stdout] test tests::simplify_smoke ... ok [INFO] [stdout] test analysis::tests::expr_ast_size_counts_nodes ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stderr] Running unittests src/bin/symbol_param_scan.rs (/opt/rustwide/target/debug/deps/symbol_param_scan-a39455c73c20845a) [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] [stderr] Running unittests src/bin/symbol_simplify.rs (/opt/rustwide/target/debug/deps/symbol_simplify-8cb48d7984cd998f) [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] [stderr] Running tests/cross_process.rs (/opt/rustwide/target/debug/deps/cross_process-5709a20677f2b47e) [INFO] [stdout] [INFO] [stdout] running 1 test [INFO] [stderr] Running tests/fingerprint_redlines.rs (/opt/rustwide/target/debug/deps/fingerprint_redlines-4a5b7f18343438a5) [INFO] [stdout] test simplify_is_deterministic_across_processes ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.67s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 5 tests [INFO] [stdout] test golden_expr_hashes_cover_weight_2_3_4 ... ok [INFO] [stdout] test weight_limit_keeps_weight0_information ... ok [INFO] [stdout] test fingerprint_is_stable_over_100_runs_with_cache ... ok [INFO] [stdout] test unknown_fingerprint_distinguishes_expr_hash ... ok [INFO] [stdout] test fingerprint_is_stable_over_100_runs_without_cache ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/mpl_simplify-4a38046169231eac) [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] [stderr] Running ../../tests/cli.rs (/opt/rustwide/target/debug/deps/cli-3aa9fc9b5bc12bfa) [INFO] [stdout] [INFO] [stdout] running 12 tests [INFO] [stdout] test cli_check_integrable_log_log ... ok [INFO] [stdout] test cli_div_mul_simplifies ... ok [INFO] [stdout] test cli_rational_literal ... ok [INFO] [stdout] test cli_normalize_basic ... ok [INFO] [stdout] test cli_simplify_guard_blocks_li2_factoring ... ok [INFO] [stdout] test cli_pow_nesting_simplifies ... ok [INFO] [stdout] test cli_simplify_no_rewrite_beats_symbol_aware ... ok [INFO] [stdout] test cli_symbol_li2_contains_tensor ... ok [INFO] [stdout] test cli_symbol_fuel_requires_symbol_aware ... ok [INFO] [stdout] test cli_simplify_default_path_unchanged ... ok [INFO] [stdout] test cli_simplify_aggressive_factors ... ok [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/mpl_symbol-81d869b97a7ec112) [INFO] [stdout] test cli_simplify_symbol_aware_deterministic_across_processes ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.37s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 26 tests [INFO] [stdout] test rules::tests::integrable_false_for_single_word ... ok [INFO] [stdout] test rules::tests::integrable_li2 ... ok [INFO] [stdout] test rules::tests::integrable_log_log ... ok [INFO] [stdout] test rules::tests::integrable_true_for_symmetric_word ... ok [INFO] [stdout] test rules::tests::symbol_li2_basic ... ok [INFO] [stdout] test rules::tests::symbol_log_log_same ... ok [INFO] [stdout] test rules::tests::symbol_log_basic ... ok [INFO] [stdout] test rules::tests::symbol_log_log_basic ... ok [INFO] [stdout] test space::tests_weight_n::tests::integrability_errors_on_degenerate_letter_all_samples_invalid ... ok [INFO] [stdout] test space::tests_weight_n::tests::integrability_trivial_weight0_weight1 ... ok [INFO] [stdout] test space::tests_weight_n::tests::integrability_weight3_shuffle_is_integrable_single_word_is_not ... ok [INFO] [stdout] test space::tests_weight_n::tests::basis_word_order_xy_is_lexicographic ... ok [INFO] [stdout] test space::tests_weight_n::tests::reduce_to_basis_nonintegrable_has_nonzero_residual_or_error ... ok [INFO] [stdout] test space::tests_weight_n::tests::stress_basis_xy_weight10_dim11 ... ignored [INFO] [stdout] test space::tests_weight_n::tests::basis_stats_are_deterministic ... ok [INFO] [stdout] test space::tests_weight_n::tests::stress_basis_xy_weight12_dim13 ... ignored [INFO] [stdout] test space::tests_weight_n::tests::stress_basis_xy_weight14_dim15 ... ignored [INFO] [stdout] test space::tests_weight_n::tests::stress_basis_xy_weight16_dim17 ... ignored [INFO] [stdout] test space::tests_weight_n::tests::stress_build_basis_xyz_weight10_smoke ... ignored [INFO] [stdout] test space::tests_weight_n::tests::stress_build_basis_xyz_weight8_smoke ... ignored [INFO] [stdout] test space::tests_weight_n::tests::stress_build_basis_xyz_weight9_smoke ... ignored [INFO] [stdout] test space::tests_weight_n::tests::stress_check_integrable_weight40_alternating ... ignored [INFO] [stdout] test space::tests_weight_n::tests::integrability_weight4_shuffle_is_integrable_single_word_is_not ... ok [INFO] [stdout] test space::tests_weight_n::tests::constraints_affect_word_count_deterministically ... ok [INFO] [stdout] test space::tests_weight_n::tests::reduce_to_basis_recovers_coeffs_weight6_xy ... ok [INFO] [stdout] test space::tests_weight_n::tests::basis_dim_xy_matches_w_plus_1_for_w2_to_w6 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 18 passed; 0 failed; 8 ignored; 0 measured; 0 filtered out; finished in 0.03s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/mpl_verify-85205dcd3340f3c8) [INFO] [stdout] [INFO] [stdout] running 3 tests [INFO] [stdout] test tests::equiv_samples_match ... ok [INFO] [stdout] test tests::equiv_samples_mismatch ... ok [INFO] [stdout] test tests::eval_with_env ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests mpl_ir [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] [stderr] Doc-tests mpl_rewrite [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] [stderr] Doc-tests mpl_rewrite_symbol [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] [stderr] Doc-tests mpl_symbol [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] [stderr] Doc-tests mpl_verify [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" "bba0af21f3cb5d857da96f304a54094b020be2660c8ca20bec956655498f54bb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "bba0af21f3cb5d857da96f304a54094b020be2660c8ca20bec956655498f54bb", kill_on_drop: false }` [INFO] [stdout] bba0af21f3cb5d857da96f304a54094b020be2660c8ca20bec956655498f54bb