[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 1.99.0-beta.8 for beta-1.100-4
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fybzhang-nxu%2Fegg-simplify" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-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-5-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/ybzhang-nxu/egg-simplify on toolchain 1.99.0-beta.8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.8" "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" "+1.99.0-beta.8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded clap v4.5.54
[INFO] [stderr]   Downloaded symbolic_expressions v5.0.3
[INFO] [stderr]   Downloaded symbol_table v0.2.0
[INFO] [stderr]   Downloaded zmij v1.0.10
[INFO] [stderr]   Downloaded assert_cmd v2.1.1
[INFO] [stderr]   Downloaded clap_builder v4.5.54
[INFO] [stderr]   Downloaded egg v0.9.5
[INFO] [stderr]   Downloaded syn v2.0.113
[INFO] [stderr]   Downloaded libc v0.2.179
[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:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 570dcf471277dc25943f39f7040261fb5b223918ebb61c27be82ea99d949f98e
[INFO] running `Command { std: "docker" "start" "570dcf471277dc25943f39f7040261fb5b223918ebb61c27be82ea99d949f98e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "570dcf471277dc25943f39f7040261fb5b223918ebb61c27be82ea99d949f98e", 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" "570dcf471277dc25943f39f7040261fb5b223918ebb61c27be82ea99d949f98e" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "570dcf471277dc25943f39f7040261fb5b223918ebb61c27be82ea99d949f98e", 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" "570dcf471277dc25943f39f7040261fb5b223918ebb61c27be82ea99d949f98e" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v2.0.113
[INFO] [stderr]    Compiling libc v0.2.179
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]    Compiling symbolic_expressions v5.0.3
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling colorchoice v1.0.4
[INFO] [stderr]    Compiling ahash v0.7.8
[INFO] [stderr]    Compiling env_logger v0.9.3
[INFO] [stderr]    Compiling instant v0.1.13
[INFO] [stderr]    Compiling anstyle-parse v0.2.7
[INFO] [stderr]    Compiling anstyle v1.0.13
[INFO] [stderr]    Compiling clap_lex v0.7.6
[INFO] [stderr]    Compiling anstream v0.6.21
[INFO] [stderr]    Compiling clap_builder v4.5.54
[INFO] [stderr]    Compiling getrandom v0.2.16
[INFO] [stderr]    Compiling hashbrown v0.12.3
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling symbol_table v0.2.0
[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 clap v4.5.54
[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 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 14.59s
[INFO] running `Command { std: "docker" "inspect" "570dcf471277dc25943f39f7040261fb5b223918ebb61c27be82ea99d949f98e", 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" "570dcf471277dc25943f39f7040261fb5b223918ebb61c27be82ea99d949f98e" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling libc v0.2.179
[INFO] [stderr]    Compiling memchr v2.7.6
[INFO] [stderr]    Compiling predicates-core v1.0.9
[INFO] [stderr]    Compiling float-cmp v0.10.0
[INFO] [stderr]    Compiling zerocopy v0.8.31
[INFO] [stderr]    Compiling assert_cmd v2.1.1
[INFO] [stderr]    Compiling termtree v0.5.1
[INFO] [stderr]    Compiling difflib v0.4.0
[INFO] [stderr]    Compiling zerocopy-derive v0.8.31
[INFO] [stderr]    Compiling zmij v1.0.10
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling serde_json v1.0.148
[INFO] [stderr]    Compiling ciborium-io v0.2.2
[INFO] [stderr]    Compiling plotters-backend v0.3.7
[INFO] [stderr]    Compiling cast v0.3.0
[INFO] [stderr]    Compiling predicates-tree v1.0.12
[INFO] [stderr]    Compiling oorandom v11.1.5
[INFO] [stderr]    Compiling anes v0.1.6
[INFO] [stderr]    Compiling plotters-svg v0.3.7
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling getrandom v0.2.16
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling is-terminal v0.4.17
[INFO] [stderr]    Compiling ahash v0.7.8
[INFO] [stderr]    Compiling hashbrown v0.12.3
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling criterion-plot v0.5.0
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling symbol_table v0.2.0
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling egg v0.9.5
[INFO] [stderr]    Compiling serde v1.0.228
[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 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 mpl-rewrite-symbol v0.1.1 (/opt/rustwide/workdir/crates/rewrite-symbol)
[INFO] [stderr]    Compiling regex v1.12.2
[INFO] [stderr]    Compiling bstr v1.12.1
[INFO] [stderr]    Compiling predicates v3.1.3
[INFO] [stderr]    Compiling criterion v0.5.1
[INFO] [stderr]    Compiling mpl-simplify v0.1.2 (/opt/rustwide/workdir/crates/cli)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 30.71s
[INFO] running `Command { std: "docker" "inspect" "570dcf471277dc25943f39f7040261fb5b223918ebb61c27be82ea99d949f98e", 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" "570dcf471277dc25943f39f7040261fb5b223918ebb61c27be82ea99d949f98e" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.22s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/mpl_ir-b74484c7b003a2ca)
[INFO] [stdout] 
[INFO] [stdout] running 19 tests
[INFO] [stdout] test tests::mul_zero_constant ... ok
[INFO] [stdout] test tests::normalize_div_nary ... ok
[INFO] [stdout] test tests::normalize_div_basic ... ok
[INFO] [stdout] test tests::normalize_example_add ... ok
[INFO] [stdout] test tests::mul_zero_absorbs_all ... ok
[INFO] [stdout] test tests::mul_zero_nested ... ok
[INFO] [stdout] test tests::normalize_div_mul_simplifies ... ok
[INFO] [stdout] test tests::normalize_nary_add_basic ... ok
[INFO] [stdout] test tests::normalize_roundtrip_is_stable ... ok
[INFO] [stdout] test tests::parse_rational_literal ... ok
[INFO] [stdout] test tests::normalize_pow_nesting ... ok
[INFO] [stdout] test tests::normalize_pow_negative_exponent ... ok
[INFO] [stdout] test tests::normalize_pow_combine_mul ... ok
[INFO] [stdout] test tests::normalize_pow_basic ... ok
[INFO] [stdout] test tests::normalize_nary_mul_basic ... ok
[INFO] [stdout] test tests::normalize_roundtrip_li2_is_stable ... ok
[INFO] [stdout] test tests::pow_zero_negative_exponent_kept ... 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-f89f90b65a9fbafd)
[INFO] [stdout] test tests::negation_basic ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test tests::safe_mode_keeps_simple_form ... ok
[INFO] [stdout] test tests::aggressive_factoring_changes_shape ... ok
[INFO] [stdout] test tests::lower_lift_roundtrip ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/mpl_rewrite_symbol-224ac5d741010543)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test analysis::tests::expr_ast_size_counts_nodes ... 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 extractor::tests::symbol_cost_orders_by_penalty_then_size_then_tie ... 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_matches_bytes ... ok
[INFO] [stdout] test tests::simplify_smoke ... ok
[INFO] [stdout] test error::tests::weight_fingerprint_roundtrips ... ok
[INFO] [stdout] test cache::tests::interner_reuses_arc ... ok
[INFO] [stdout] test hash::tests::stable_hash_is_deterministic ... ok
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/symbol_param_scan.rs (/opt/rustwide/target/debug/deps/symbol_param_scan-8e57037ecc1a1829)
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[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] [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-716832abc2b38f8c)
[INFO] [stderr]      Running tests/cross_process.rs (/opt/rustwide/target/debug/deps/cross_process-77fc6132ba3cd9c0)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test simplify_is_deterministic_across_processes ... ok
[INFO] [stderr]      Running tests/fingerprint_redlines.rs (/opt/rustwide/target/debug/deps/fingerprint_redlines-7c01238e0916d6aa)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.50s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test fingerprint_is_stable_over_100_runs_with_cache ... ok
[INFO] [stdout] test golden_expr_hashes_cover_weight_2_3_4 ... ok
[INFO] [stdout] test weight_limit_keeps_weight0_information ... ok
[INFO] [stdout] test unknown_fingerprint_distinguishes_expr_hash ... ok
[INFO] [stdout] test fingerprint_is_stable_over_100_runs_without_cache ... ok
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/mpl_simplify-1dde6e77b6fbced9)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]      Running ../../tests/cli.rs (/opt/rustwide/target/debug/deps/cli-7a83fa1f53ac38e1)
[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] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test cli_simplify_guard_blocks_li2_factoring ... ok
[INFO] [stdout] test cli_rational_literal ... ok
[INFO] [stdout] test cli_symbol_li2_contains_tensor ... ok
[INFO] [stdout] test cli_div_mul_simplifies ... ok
[INFO] [stdout] test cli_pow_nesting_simplifies ... ok
[INFO] [stdout] test cli_symbol_fuel_requires_symbol_aware ... ok
[INFO] [stdout] test cli_check_integrable_log_log ... ok
[INFO] [stdout] test cli_simplify_default_path_unchanged ... ok
[INFO] [stdout] test cli_normalize_basic ... ok
[INFO] [stdout] test cli_simplify_no_rewrite_beats_symbol_aware ... ok
[INFO] [stdout] test cli_simplify_aggressive_factors ... ok
[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.49s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/mpl_symbol-b0065f721d61b9be)
[INFO] [stdout] 
[INFO] [stdout] running 26 tests
[INFO] [stdout] test rules::tests::integrable_li2 ... ok
[INFO] [stdout] test rules::tests::symbol_li2_basic ... 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_weight3_shuffle_is_integrable_single_word_is_not ... ok
[INFO] [stdout] test rules::tests::symbol_log_log_same ... ok
[INFO] [stdout] test rules::tests::integrable_log_log ... 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::basis_stats_are_deterministic ... ok
[INFO] [stdout] test space::tests_weight_n::tests::basis_word_order_xy_is_lexicographic ... ok
[INFO] [stdout] test space::tests_weight_n::tests::stress_basis_xy_weight10_dim11 ... ignored
[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_trivial_weight0_weight1 ... ok
[INFO] [stdout] test rules::tests::integrable_false_for_single_word ... ok
[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::reduce_to_basis_nonintegrable_has_nonzero_residual_or_error ... 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] test rules::tests::integrable_true_for_symmetric_word ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 18 passed; 0 failed; 8 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/mpl_verify-6dea6c246e12d65e)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test tests::equiv_samples_mismatch ... ok
[INFO] [stdout] test tests::eval_with_env ... ok
[INFO] [stdout] test tests::equiv_samples_match ... 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] [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] [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" "570dcf471277dc25943f39f7040261fb5b223918ebb61c27be82ea99d949f98e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "570dcf471277dc25943f39f7040261fb5b223918ebb61c27be82ea99d949f98e", kill_on_drop: false }`
[INFO] [stdout] 570dcf471277dc25943f39f7040261fb5b223918ebb61c27be82ea99d949f98e
