[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