[INFO] cloning repository https://github.com/mwillsey/egg-smol [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mwillsey/egg-smol" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmwillsey%2Fegg-smol", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmwillsey%2Fegg-smol'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 716c32071bb42833e390b0f3f502745ed6de66fe [INFO] testing mwillsey/egg-smol against 1.98.0-beta.6+cargoflags=--release for beta-1.98-release-3 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmwillsey%2Fegg-smol" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'... [INFO] [stderr] done. [INFO] removed /workspace/builds/worker-7-tc2/source/rust-toolchain.toml [INFO] started tweaking git repo https://github.com/mwillsey/egg-smol [INFO] removed 0 missing tests [INFO] finished tweaking git repo https://github.com/mwillsey/egg-smol [INFO] tweaked toml for git repo https://github.com/mwillsey/egg-smol written to /workspace/builds/worker-7-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/mwillsey/egg-smol on toolchain 1.98.0-beta.6 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.98.0-beta.6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/mwillsey/egg-smol 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.98.0-beta.6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/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:00c5645b54fe3ce5dae1417175e3c7fb6a6646c021d554ecd63a097b8b9f3602" "sleep" "infinity", kill_on_drop: false }` [INFO] [stdout] 37c96842d674c401c4318f66819cae6bdd74c21087488d18ea832c6fa4c24d96 [INFO] running `Command { std: "docker" "start" "37c96842d674c401c4318f66819cae6bdd74c21087488d18ea832c6fa4c24d96", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "37c96842d674c401c4318f66819cae6bdd74c21087488d18ea832c6fa4c24d96", 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" "37c96842d674c401c4318f66819cae6bdd74c21087488d18ea832c6fa4c24d96" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "37c96842d674c401c4318f66819cae6bdd74c21087488d18ea832c6fa4c24d96", 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" "37c96842d674c401c4318f66819cae6bdd74c21087488d18ea832c6fa4c24d96" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.6" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.101 [INFO] [stderr] Compiling unicode-ident v1.0.19 [INFO] [stderr] Compiling quote v1.0.41 [INFO] [stderr] Compiling autocfg v1.5.0 [INFO] [stderr] Compiling libc v0.2.186 [INFO] [stderr] Compiling memchr v2.7.6 [INFO] [stderr] Compiling serde_core v1.0.228 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Compiling cfg-if v1.0.3 [INFO] [stderr] Compiling getrandom v0.3.3 [INFO] [stderr] Compiling zerocopy v0.8.27 [INFO] [stderr] Compiling utf8parse v0.2.2 [INFO] [stderr] Compiling colorchoice v1.0.4 [INFO] [stderr] Compiling equivalent v1.0.2 [INFO] [stderr] Compiling foldhash v0.2.0 [INFO] [stderr] Compiling anstyle-parse v0.2.7 [INFO] [stderr] Compiling anstyle v1.0.13 [INFO] [stderr] Compiling allocator-api2 v0.2.21 [INFO] [stderr] Compiling anstyle-query v1.1.4 [INFO] [stderr] Compiling is_terminal_polyfill v1.70.1 [INFO] [stderr] Compiling serde_json v1.0.145 [INFO] [stderr] Compiling once_cell v1.21.3 [INFO] [stderr] Compiling smallvec v1.15.1 [INFO] [stderr] Compiling ryu v1.0.20 [INFO] [stderr] Compiling ucd-trie v0.1.7 [INFO] [stderr] Compiling itoa v1.0.15 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Compiling clap_lex v0.7.5 [INFO] [stderr] Compiling anstream v0.6.21 [INFO] [stderr] Compiling heck v0.5.0 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling typenum v1.19.0 [INFO] [stderr] Compiling dot-structures v0.1.2 [INFO] [stderr] Compiling find-msvc-tools v0.1.3 [INFO] [stderr] Compiling rustix v1.1.2 [INFO] [stderr] Compiling strsim v0.11.1 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling parking_lot_core v0.9.12 [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Compiling cc v1.2.40 [INFO] [stderr] Compiling thiserror v2.0.17 [INFO] [stderr] Compiling log v0.4.28 [INFO] [stderr] Compiling anyhow v1.0.100 [INFO] [stderr] Compiling syn v2.0.106 [INFO] [stderr] Compiling clap_builder v4.5.48 [INFO] [stderr] Compiling bumpalo v3.19.0 [INFO] [stderr] Compiling bitflags v2.11.1 [INFO] [stderr] Compiling pest v2.8.3 [INFO] [stderr] Compiling scopeguard v1.2.0 [INFO] [stderr] Compiling regex-syntax v0.8.6 [INFO] [stderr] Compiling crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling crossbeam-channel v0.5.15 [INFO] [stderr] Compiling crossbeam-queue v0.3.12 [INFO] [stderr] Compiling arc-swap v1.7.1 [INFO] [stderr] Compiling linux-raw-sys v0.11.0 [INFO] [stderr] Compiling egglog-numeric-id v2.0.0 (/opt/rustwide/workdir/numeric-id) [INFO] [stderr] Compiling crossbeam-deque v0.8.6 [INFO] [stderr] Compiling lock_api v0.4.14 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling num-complex v0.4.6 [INFO] [stderr] Compiling crossbeam v0.8.4 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Compiling num-iter v0.1.45 [INFO] [stderr] Compiling egglog-concurrency v2.0.0 (/opt/rustwide/workdir/concurrency) [INFO] [stderr] Compiling rand_core v0.9.3 [INFO] [stderr] Compiling libmimalloc-sys v0.1.44 [INFO] [stderr] Compiling into-attr v0.1.1 [INFO] [stderr] Compiling dot-generator v0.2.0 [INFO] [stderr] Compiling rustc-hash v2.1.1 [INFO] [stderr] Compiling web-time v1.1.0 [INFO] [stderr] Compiling hashbrown v0.14.5 [INFO] [stderr] Compiling fastrand v2.3.0 [INFO] [stderr] Compiling pest_meta v2.8.3 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Compiling regex-automata v0.4.11 [INFO] [stderr] Compiling bitmaps v2.1.0 [INFO] [stderr] Compiling ppv-lite86 v0.2.21 [INFO] [stderr] Compiling im-rc v15.1.0 [INFO] [stderr] Compiling chrono v0.4.42 [INFO] [stderr] Compiling pest_generator v2.8.3 [INFO] [stderr] Compiling dashmap v6.1.0 [INFO] [stderr] Compiling rand_chacha v0.9.0 [INFO] [stderr] Compiling rand v0.9.2 [INFO] [stderr] Compiling num-rational v0.4.2 [INFO] [stderr] Compiling tempfile v3.23.0 [INFO] [stderr] Compiling egglog-union-find v2.0.0 (/opt/rustwide/workdir/union-find) [INFO] [stderr] Compiling num v0.4.3 [INFO] [stderr] Compiling fixedbitset v0.5.7 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling dyn-clone v1.0.20 [INFO] [stderr] Compiling egglog v2.0.0 (/opt/rustwide/workdir) [INFO] [stderr] Compiling into-attr-derive v0.2.1 [INFO] [stderr] Compiling rand_xoshiro v0.6.0 [INFO] [stderr] Compiling sized-chunks v0.6.5 [INFO] [stderr] Compiling csv-core v0.1.12 [INFO] [stderr] Compiling jiff v0.2.15 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling clap_derive v4.5.47 [INFO] [stderr] Compiling thiserror-impl v2.0.17 [INFO] [stderr] Compiling pest_derive v2.8.3 [INFO] [stderr] Compiling enum-map-derive v0.17.0 [INFO] [stderr] Compiling graphviz-rust v0.9.6 [INFO] [stderr] Compiling egglog-add-primitive v2.0.0 (/opt/rustwide/workdir/src/sort/add_primitive) [INFO] [stderr] Compiling enum-map v2.7.3 [INFO] [stderr] Compiling regex v1.11.3 [INFO] [stderr] Compiling clap v4.5.48 [INFO] [stderr] Compiling env_filter v0.1.3 [INFO] [stderr] Compiling mimalloc v0.1.48 [INFO] [stderr] Compiling hashbrown v0.16.0 [INFO] [stderr] Compiling ordered-float v5.1.0 [INFO] [stderr] Compiling csv v1.3.1 [INFO] [stderr] Compiling egglog-ast v2.0.0 (/opt/rustwide/workdir/egglog-ast) [INFO] [stderr] Compiling env_logger v0.11.8 [INFO] [stderr] Compiling indexmap v2.11.4 [INFO] [stderr] Compiling egglog-reports v2.0.0 (/opt/rustwide/workdir/egglog-reports) [INFO] [stderr] Compiling egraph-serialize v0.3.0 [INFO] [stderr] Compiling egglog-core-relations v2.0.0 (/opt/rustwide/workdir/core-relations) [INFO] [stderr] Compiling egglog-bridge v2.0.0 (/opt/rustwide/workdir/egglog-bridge) [INFO] [stderr] Finished `release` profile [optimized] target(s) in 1m 39s [INFO] running `Command { std: "docker" "inspect" "37c96842d674c401c4318f66819cae6bdd74c21087488d18ea832c6fa4c24d96", 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" "37c96842d674c401c4318f66819cae6bdd74c21087488d18ea832c6fa4c24d96" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.6" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.186 [INFO] [stderr] Compiling rustix v1.1.2 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling syn v2.0.106 [INFO] [stderr] Compiling regex-syntax v0.8.6 [INFO] [stderr] Compiling cfg_aliases v0.2.1 [INFO] [stderr] Compiling hashbrown v0.16.0 [INFO] [stderr] Compiling equivalent v1.0.2 [INFO] [stderr] Compiling winnow v0.7.13 [INFO] [stderr] Compiling codspeed v4.6.0 [INFO] [stderr] Compiling lazy_static v1.5.0 [INFO] [stderr] Compiling toml_datetime v0.7.2 [INFO] [stderr] Compiling glob v0.3.3 [INFO] [stderr] Compiling slab v0.4.12 [INFO] [stderr] Compiling futures-task v0.3.31 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Compiling nix v0.31.3 [INFO] [stderr] Compiling pin-project-lite v0.2.16 [INFO] [stderr] Compiling colored v2.2.0 [INFO] [stderr] Compiling futures-core v0.3.31 [INFO] [stderr] Compiling sdd v3.0.10 [INFO] [stderr] Compiling futures-util v0.3.31 [INFO] [stderr] Compiling regex-lite v0.1.7 [INFO] [stderr] Compiling itertools v0.14.0 [INFO] [stderr] Compiling codspeed-divan-compat v4.6.0 [INFO] [stderr] Compiling condtype v1.3.0 [INFO] [stderr] Compiling scc v2.4.0 [INFO] [stderr] Compiling similar v2.7.0 [INFO] [stderr] Compiling escape8259 v0.5.3 [INFO] [stderr] Compiling indexmap v2.11.4 [INFO] [stderr] Compiling testing_logger v0.1.1 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling num-complex v0.4.6 [INFO] [stderr] Compiling approx v0.5.1 [INFO] [stderr] Compiling statrs v0.18.0 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Compiling num-iter v0.1.45 [INFO] [stderr] Compiling getrandom v0.3.3 [INFO] [stderr] Compiling rand_core v0.9.3 [INFO] [stderr] Compiling parking_lot_core v0.9.12 [INFO] [stderr] Compiling regex-automata v0.4.11 [INFO] [stderr] Compiling rand_chacha v0.9.0 [INFO] [stderr] Compiling dashmap v6.1.0 [INFO] [stderr] Compiling toml_parser v1.0.3 [INFO] [stderr] Compiling getrandom v0.2.17 [INFO] [stderr] Compiling libmimalloc-sys v0.1.44 [INFO] [stderr] Compiling rand v0.9.2 [INFO] [stderr] Compiling mimalloc v0.1.48 [INFO] [stderr] Compiling parking_lot v0.12.5 [INFO] [stderr] Compiling futures-executor v0.3.31 [INFO] [stderr] Compiling num-rational v0.4.2 [INFO] [stderr] Compiling toml_edit v0.23.6 [INFO] [stderr] Compiling console v0.15.11 [INFO] [stderr] Compiling num v0.4.3 [INFO] [stderr] Compiling terminal_size v0.4.3 [INFO] [stderr] Compiling clap_builder v4.5.48 [INFO] [stderr] Compiling tempfile v3.23.0 [INFO] [stderr] Compiling proc-macro-crate v3.4.0 [INFO] [stderr] Compiling insta v1.45.0 [INFO] [stderr] Compiling pest_generator v2.8.3 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling clap_derive v4.5.47 [INFO] [stderr] Compiling thiserror-impl v2.0.17 [INFO] [stderr] Compiling divan-macros v0.1.17 [INFO] [stderr] Compiling enum-map-derive v0.17.0 [INFO] [stderr] Compiling egglog-add-primitive v2.0.0 (/opt/rustwide/workdir/src/sort/add_primitive) [INFO] [stderr] Compiling serial_test_derive v3.3.1 [INFO] [stderr] Compiling pest_derive v2.8.3 [INFO] [stderr] Compiling graphviz-rust v0.9.6 [INFO] [stderr] Compiling enum-map v2.7.3 [INFO] [stderr] Compiling codspeed-divan-compat-macros v4.6.0 [INFO] [stderr] Compiling serial_test v3.3.1 [INFO] [stderr] Compiling regex v1.11.3 [INFO] [stderr] Compiling thiserror v2.0.17 [INFO] [stderr] Compiling clap v4.5.48 [INFO] [stderr] Compiling env_filter v0.1.3 [INFO] [stderr] Compiling libtest-mimic v0.8.1 [INFO] [stderr] Compiling env_logger v0.11.8 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Compiling ordered-float v5.1.0 [INFO] [stderr] Compiling csv v1.3.1 [INFO] [stderr] Compiling egglog-ast v2.0.0 (/opt/rustwide/workdir/egglog-ast) [INFO] [stderr] Compiling serde_json v1.0.145 [INFO] [stderr] Compiling egglog-reports v2.0.0 (/opt/rustwide/workdir/egglog-reports) [INFO] [stderr] Compiling egraph-serialize v0.3.0 [INFO] [stderr] Compiling egglog-core-relations v2.0.0 (/opt/rustwide/workdir/core-relations) [INFO] [stderr] Compiling codspeed-divan-compat-walltime v4.6.0 [INFO] [stderr] Compiling egglog-bridge v2.0.0 (/opt/rustwide/workdir/egglog-bridge) [INFO] [stderr] Compiling egglog v2.0.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished `release` profile [optimized] target(s) in 1m 01s [INFO] running `Command { std: "docker" "inspect" "37c96842d674c401c4318f66819cae6bdd74c21087488d18ea832c6fa4c24d96", 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" "37c96842d674c401c4318f66819cae6bdd74c21087488d18ea832c6fa4c24d96" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.6" "test" "--frozen" "--release", kill_on_drop: false }` [INFO] [stderr] Finished `release` profile [optimized] target(s) in 0.21s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/release/deps/egglog-55b4d141ca7acae2) [INFO] [stdout] [INFO] [stdout] running 61 tests [INFO] [stdout] test ast::parse::tests::rust_span_display ... ok [INFO] [stdout] test ast::parse::tests::test_parser_display_roundtrip ... ok [INFO] [stdout] test ast::parse::tests::test_parser_macros ... ok [INFO] [stdout] test cli::tests::test_should_eval ... ok [INFO] [stdout] test core::tests::test_remove_dup_vars_basic ... ok [INFO] [stdout] test core::tests::test_remove_dup_vars_fixpoint ... ok [INFO] [stdout] test core::tests::test_remove_dup_vars_with_actions_using_removed_var ... ok [INFO] [stdout] test cli::tests::test_repl ... ok [INFO] [stdout] test proofs::proof_extractor::tests::active_roots_break_cycles ... ok [INFO] [stdout] test proofs::proof_extractor::tests::canonicalizes_when_exact_root_is_subsumed ... ok [INFO] [stdout] test proofs::proof_extractor::tests::extracts_container_root ... ok [INFO] [stdout] test prelude::tests::rust_api_query ... ok [INFO] [stdout] test prelude::tests::rust_api_macros ... ok [INFO] [stdout] test proofs::proof_extractor::tests::extracts_direct_constructor_root ... ok [INFO] [stdout] test prelude::tests::rust_api_rule ... ok [INFO] [stdout] test scheduler::test::test_no_free_vars_rule_applies_actions ... ok [INFO] [stdout] test scheduler::test::test_step_rules_with_scheduler_unknown_ruleset ... ok [INFO] [stdout] test prelude::tests::rust_api_rust_rule ... ok [INFO] [stdout] test scheduler::test::test_scheduler_progress_is_separate_from_database_progress ... ok [INFO] [stdout] test scheduler::test::test_first_n_scheduler ... ok [INFO] [stdout] test termdag::tests::test_app_var_lit ... ok [INFO] [stdout] test termdag::tests::test_ast_cmp ... ok [INFO] [stdout] test termdag::tests::test_lookup ... ok [INFO] [stdout] test sort::vec::tests::test_vec_make_expr ... ok [INFO] [stdout] test termdag::tests::test_match_term_app ... ok [INFO] [stdout] test scheduler::test::test_scheduler_does_not_apply_fresh_subsumed_matches ... ok [INFO] [stdout] test termdag::tests::test_to_string ... ok [INFO] [stdout] test termdag::tests::test_multiline_parentheses_share_final_line ... ok [INFO] [stdout] test termdag::tests::test_to_string_with_let_wraps_long_lines ... ok [INFO] [stdout] test termdag::tests::test_to_from_expr ... ok [INFO] [stdout] test termdag::tests::test_to_string_with_let_shares_large_terms ... ok [INFO] [stdout] test scheduler::test::test_match_size_with_no_free_vars ... ok [INFO] [stdout] test tests::proof_support_accepts_set_primitive_validators ... ok [INFO] [stdout] test tests::test_duplicate_rule_name_errors ... ok [INFO] [stdout] test tests::proof_support_rejects_unstable_fn_primitives_without_validators ... ok [INFO] [stdout] test tests::proof_support_rejects_set_get ... ok [INFO] [stdout] test tests::proof_support_accepts_container_sort_declarations ... ok [INFO] [stdout] test tests::test_egraph_send_sync ... ok [INFO] [stdout] test termdag::tests::test_to_string_with_let_inlines_small_terms ... ok [INFO] [stdout] test tests::test_extension_state_clones_and_restores_with_egraph ... ok [INFO] [stdout] test tests::test_run_undefined_ruleset_errors ... ok [INFO] [stdout] test tests::test_input_missing_file_errors ... ok [INFO] [stdout] test tests::test_extract_negative_variants_errors ... ok [INFO] [stdout] test tests::test_typecheck_expr_with_bindings_and_output_rejects_duplicate_bindings ... ok [INFO] [stdout] test tests::test_subsumed_unextractable_rebuild_arg ... ok [INFO] [stdout] test tests::test_subsumed_unextractable_rebuild_self ... ok [INFO] [stdout] test tests::test_typecheck_expr_with_bindings_and_output_rejects_mismatch ... ok [INFO] [stdout] test tests::test_typecheck_expr_with_bindings_and_output_rewrites_globals ... ok [INFO] [stdout] test tests::test_typecheck_expr_with_bindings_and_output_uses_context ... ok [INFO] [stdout] test tests::test_typecheck_expr_with_bindings_and_output_uses_explicit_bindings ... ok [INFO] [stdout] test typechecking::test::test_arity_mismatch ... ok [INFO] [stdout] test tests::test_user_defined_primitive ... ok [INFO] [stdout] test proofs::proof_tests::tests::proof_support_rejects_naive_eq_sort_primitive_results_in_facts ... ok [INFO] [stdout] test proofs::proof_tests::tests::proof_encoding_preserves_naive ... ok [INFO] [stdout] test proofs::proof_tests::tests::proof_support_rejects_query_constructed_container_used_in_action ... ok [INFO] [stdout] test proofs::proof_tests::tests::proof_mode_query_constructed_container_not_used_in_action ... ok [INFO] [stdout] test proofs::proof_tests::tests::proof_mode_allows_eq_container_primitive_results_in_facts ... ok [INFO] [stdout] test proofs::proof_tests::tests::proof_mode_allows_eq_sort_primitive_results_in_facts ... ok [INFO] [stdout] test proofs::proof_tests::tests::doc_example_add_function2 ... ok [INFO] [stdout] test proofs::proof_tests::tests::doc_example_add_function1 ... ok [INFO] [stdout] test proofs::proof_tests::tests::unsafe_seminaive_matches_naive ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 61 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.59s [INFO] [stdout] [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/release/deps/egglog-0b18d9b8f4adb163) [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/api_const_fold.rs (/opt/rustwide/target/release/deps/api_const_fold-d2ab54279db39f20) [INFO] [stdout] [INFO] [stdout] running 2 tests [INFO] [stdout] test const_fold_is_a_no_op_when_no_pair_of_nums ... ok [INFO] [stdout] test const_fold_collapses_addition_chain ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/api_fact_ops.rs (/opt/rustwide/target/release/deps/api_fact_ops-d680f81725963fe2) [INFO] [stdout] [INFO] [stdout] running 21 tests [INFO] [stdout] test test_lookup_missing_returns_none ... ok [INFO] [stdout] test test_constructor_add_returns_id ... ok [INFO] [stdout] test test_contains_function ... ok [INFO] [stdout] test test_eclass_of_constructor ... ok [INFO] [stdout] test test_eclass_of_on_function_errors ... ok [INFO] [stdout] test test_higher_arity_function ... ok [INFO] [stdout] test test_constructor_enodes_on_empty_table ... ok [INFO] [stdout] test test_lookup_unknown_table_errors ... ok [INFO] [stdout] test test_relation_add_and_contains ... ok [INFO] [stdout] test test_add_function_errors ... ok [INFO] [stdout] test test_relation_remove ... ok [INFO] [stdout] test test_remove_function ... ok [INFO] [stdout] test test_lookup_on_constructor_errors ... ok [INFO] [stdout] test test_set_constructor_errors ... ok [INFO] [stdout] test test_set_replaces_function_value ... ok [INFO] [stdout] test test_set_unknown_table_errors ... ok [INFO] [stdout] test test_string_inputs ... ok [INFO] [stdout] test test_wrong_arity_errors ... ok [INFO] [stdout] test test_set_then_lookup_function ... ok [INFO] [stdout] test test_union_same_value_is_noop ... ok [INFO] [stdout] test test_wrong_arity_on_add_errors ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 21 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/api_proofs.rs (/opt/rustwide/target/release/deps/api_proofs-d26c00f6031bbecc) [INFO] [stdout] [INFO] [stdout] running 4 tests [INFO] [stdout] test query_with_proofs_enabled_errors_with_query_api_name ... ok [INFO] [stdout] test update_with_proofs_enabled_errors ... ok [INFO] [stdout] test rust_rule_full_with_proofs_enabled_errors ... ok [INFO] [stdout] test rust_rule_with_proofs_enabled_errors ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/api_query.rs (/opt/rustwide/target/release/deps/api_query-494c15cc3764bbf8) [INFO] [stdout] [INFO] [stdout] running 10 tests [INFO] [stdout] test function_entries_empty ... ok [INFO] [stdout] test function_entries_on_constructor_errors ... ok [INFO] [stdout] test constructor_enodes_reports_subsumed ... ok [INFO] [stdout] test function_entries_i64_to_i64 ... ok [INFO] [stdout] test function_entries_missing_table_errors ... ok [INFO] [stdout] test constructor_enodes_relation ... ok [INFO] [stdout] test query_pattern_relation_one_var ... ok [INFO] [stdout] test constructor_enodes_basic ... ok [INFO] [stdout] test query_pattern_two_vars ... ok [INFO] [stdout] test query_pattern_zero_vars_match ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/container_rebuild.rs (/opt/rustwide/target/release/deps/container_rebuild-15c0fda67d4b5468) [INFO] [stdout] [INFO] [stdout] running 16 tests [INFO] [stdout] test nested_vec_rebuild_term_only ... ok [INFO] [stdout] test pair_rebuild_term_only ... ok [INFO] [stdout] test set_rebuild_collapse_term_only ... ok [INFO] [stdout] test map_rebuild_term_only ... ok [INFO] [stdout] test multiset_rebuild_term_only ... ok [INFO] [stdout] test vec_rebuild_term_only ... ok [INFO] [stdout] test pair_rebuild_proof_mode ... ok [INFO] [stdout] test multiset_rebuild_merge_counts_proof_mode ... ok [INFO] [stdout] test nested_vec_rebuild_proof_mode ... ok [INFO] [stdout] test map_rebuild_noncollapse_proof_mode ... ok [INFO] [stdout] test multiset_rebuild_proof_mode ... ok [INFO] [stdout] test set_rebuild_collapse_proof_mode ... ok [INFO] [stdout] test vec_rebuild_proof_mode ... ok [INFO] [stdout] test map_rebuild_collapse_proof_mode ... ok [INFO] [stdout] test set_rebuild_noncollapse_proof_mode ... ok [INFO] [stdout] test set_rebuild_reorder_proof_mode ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s [INFO] [stdout] [INFO] [stderr] Running tests/extraction_proof_mode.rs (/opt/rustwide/target/release/deps/extraction_proof_mode-3b5e52bc24ffb52a) [INFO] [stdout] [INFO] [stdout] running 2 tests [INFO] [stdout] test test_extraction_same_with_proof_mode_using_rule_macro ... ok [INFO] [stdout] test test_extraction_same_with_proof_mode ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s [INFO] [stdout] [INFO] [stderr] Running tests/files.rs (/opt/rustwide/target/release/deps/files-5cc8ba99405b90e8) [INFO] [stdout] [INFO] [stdout] running 799 tests [INFO] [stdout] test bitwise_32threads ... ok [INFO] [stdout] test bool_32threads ... ok [INFO] [stdout] test before_proofs_32threads ... ok [INFO] [stdout] test bitwise ... ok [INFO] [stdout] test bitwise_desugar ... ok [INFO] [stdout] test before_proofs_desugar ... ok [INFO] [stdout] test before_proofs ... ok [INFO] [stdout] test bitwise_term_encoding ... ok [INFO] [stdout] test bool ... ok [INFO] [stdout] test bool_desugar ... ok [INFO] [stdout] test bitwise_proofs ... ok [INFO] [stdout] test calc_desugar ... ok [INFO] [stdout] test combined_nested ... ok [INFO] [stdout] test combined_nested_desugar ... ok [INFO] [stdout] test complex_merge_func ... ok [INFO] [stdout] test calc ... ok [INFO] [stdout] test complex_merge_func_desugar ... ok [INFO] [stdout] test combined_nested_term_encoding ... ok [INFO] [stdout] test calc_32threads ... ok [INFO] [stdout] test complex_merge_prim ... ok [INFO] [stdout] test combined_nested_proofs ... ok [INFO] [stdout] test complex_merge_prim_desugar ... ok [INFO] [stdout] test container_fail ... ok [INFO] [stdout] test combined_nested_32threads ... ok [INFO] [stdout] test container_fail_desugar ... ok [INFO] [stdout] test complex_merge_prim_32threads ... ok [INFO] [stdout] test bitwise_proof_testing ... ok [INFO] [stdout] test complex_merge_func_term_encoding ... ok [INFO] [stdout] test complex_merge_func_32threads ... ok [INFO] [stdout] test container_fail_32threads ... ok [INFO] [stdout] test container_proofs_desugar ... ok [INFO] [stdout] test container_proofs ... ok [INFO] [stdout] test combined_nested_proof_testing ... ok [INFO] [stdout] test container_rebuild ... ok [INFO] [stdout] test container_rebuild_desugar ... ok [INFO] [stdout] test complex_merge_func_proofs ... ok [INFO] [stdout] test bitwise_desugar_proof_testing ... ok [INFO] [stdout] test combined_nested_desugar_proof_testing ... ok [INFO] [stdout] test delete ... ok [INFO] [stdout] test container_proofs_32threads ... ok [INFO] [stdout] test delete_desugar ... ok [INFO] [stdout] test container_rebuild_32threads ... ok [INFO] [stdout] test complex_merge_func_proof_testing ... ok [INFO] [stdout] test delete_32threads ... ok [INFO] [stdout] test complex_merge_func_desugar_proof_testing ... ok [INFO] [stdout] test calc_term_encoding ... ok [INFO] [stdout] test calc_proof_testing ... ok [INFO] [stdout] test container_proofs_term_encoding ... ok [INFO] [stdout] test calc_proofs ... ok [INFO] [stdout] test cykjson ... ok [INFO] [stdout] test f64 ... ok [INFO] [stdout] test f64_32threads ... ok [INFO] [stdout] test container_proofs_proofs ... ok [INFO] [stdout] test f64_desugar ... ok [INFO] [stdout] test cykjson_desugar ... ok [INFO] [stdout] test f64_term_encoding ... ok [INFO] [stdout] test f64_proofs ... ok [INFO] [stdout] test calc_desugar_proof_testing ... ok [INFO] [stdout] test cykjson_32threads ... ok [INFO] [stdout] test f64_proof_testing ... ok [INFO] [stdout] test fail-typecheck/arity_mismatch ... ok [INFO] [stdout] test fail-typecheck/arity_mismatch_32threads ... ok [INFO] [stdout] test fail-typecheck/conflicting_merge_options ... ok [INFO] [stdout] test factoring_multisets ... ok [INFO] [stdout] test fail-typecheck/constructor_non_sort ... ok [INFO] [stdout] test extract_vec_bench ... ok [INFO] [stdout] test fail-typecheck/looking_up_nonconstructor_in_action_case_let ... ok [INFO] [stdout] test fail-typecheck/conflicting_merge_options_32threads ... ok [INFO] [stdout] test fail-typecheck/looking_up_nonconstructor_in_action_case_set ... ok [INFO] [stdout] test container_proofs_proof_testing ... ok [INFO] [stdout] test fail-typecheck/looking_up_nonconstructor_in_action_case_union ... ok [INFO] [stdout] test factoring_multisets_desugar ... ok [INFO] [stdout] test fail-typecheck/looking_up_nonconstructor_in_action_case_set_32threads ... ok [INFO] [stdout] test fail-typecheck/looking_up_nonconstructor_in_birewrite ... ok [INFO] [stdout] test fail-typecheck/looking_up_nonconstructor_in_action_case_let_32threads ... ok [INFO] [stdout] test fail-typecheck/looking_up_nonconstructor_in_rewrite ... ok [INFO] [stdout] test fail-typecheck/naive_and_unsafe_seminaive ... ok [INFO] [stdout] test f64_desugar_proof_testing ... ok [INFO] [stdout] test fail-typecheck/repro_containers_disallowed ... ok [INFO] [stdout] test fail-typecheck/constructor_non_sort_32threads ... ok [INFO] [stdout] test fail-typecheck/repro_duplicated_var ... ok [INFO] [stdout] test fail-typecheck/looking_up_nonconstructor_in_action_case_union_32threads ... ok [INFO] [stdout] test fail-typecheck/semi_naive_set_function ... ok [INFO] [stdout] test fail-typecheck/looking_up_nonconstructor_in_birewrite_32threads ... ok [INFO] [stdout] test fail-typecheck/set_a_primitive ... ok [INFO] [stdout] test fail-typecheck/repro_containers_disallowed_32threads ... ok [INFO] [stdout] test fail-typecheck/set_constructor_simple ... ok [INFO] [stdout] test fail-typecheck/repro_duplicated_var_32threads ... ok [INFO] [stdout] test fail-typecheck/set_constructor_with_args ... ok [INFO] [stdout] test fail-typecheck/naive_and_unsafe_seminaive_32threads ... ok [INFO] [stdout] test fail-typecheck/set_relation ... ok [INFO] [stdout] test fail-typecheck/looking_up_nonconstructor_in_rewrite_32threads ... ok [INFO] [stdout] test fail-typecheck/shadow_global_constructor ... ok [INFO] [stdout] test fail-typecheck/set_a_primitive_32threads ... ok [INFO] [stdout] test fail-typecheck/shadow_global ... ok [INFO] [stdout] test fail-typecheck/semi_naive_set_function_32threads ... ok [INFO] [stdout] test fail-typecheck/shadow_local_constructor ... ok [INFO] [stdout] test fail-typecheck/shadow_global_constructor_32threads ... ok [INFO] [stdout] test fail-typecheck/set_constructor_simple_32threads ... ok [INFO] [stdout] test fail-typecheck/shadow_local_global_no_prefix ... ok [INFO] [stdout] test fail-typecheck/shadow_local_global ... ok [INFO] [stdout] test fail-typecheck/set_constructor_with_args_32threads ... ok [INFO] [stdout] test fail-typecheck/shadow_local ... ok [INFO] [stdout] test factoring_multisets_32threads ... ok [INFO] [stdout] test fail-typecheck/set_relation_32threads ... ok [INFO] [stdout] test fail-typecheck/unbound ... ok [INFO] [stdout] test extract_vec_bench_desugar ... ok [INFO] [stdout] test fail-typecheck/ungrounded_0 ... ok [INFO] [stdout] test fail-typecheck/ungrounded_1 ... ok [INFO] [stdout] test fail-typecheck/shadow_global_32threads ... ok [INFO] [stdout] test fail-typecheck/ungrounded_2 ... ok [INFO] [stdout] test fail-typecheck/shadow_local_32threads ... ok [INFO] [stdout] test fail-typecheck/ungrounded_3 ... ok [INFO] [stdout] test fail-typecheck/unbound_32threads ... ok [INFO] [stdout] test fail-typecheck/ungrounded_4 ... ok [INFO] [stdout] test fail-typecheck/shadow_local_global_no_prefix_32threads ... ok [INFO] [stdout] test fail-typecheck/union_non_sort ... ok [INFO] [stdout] test fail-typecheck/shadow_local_constructor_32threads ... ok [INFO] [stdout] test fail-typecheck/union_relation ... ok [INFO] [stdout] test extract_vec_bench_32threads ... ok [INFO] [stdout] test fail-typecheck/unstable_fn_primitive_missing_partial_arg ... ok [INFO] [stdout] test fail-typecheck/ungrounded_1_32threads ... ok [INFO] [stdout] test fail-typecheck/unstable_fn_wrong_args_type ... ok [INFO] [stdout] test fail-typecheck/shadow_local_global_32threads ... ok [INFO] [stdout] test fail-typecheck/unstable_fn_wrong_args ... ok [INFO] [stdout] test fail-typecheck/ungrounded_0_32threads ... ok [INFO] [stdout] test fail-typecheck/unstable_fn_wrong_return_type ... ok [INFO] [stdout] test fail-typecheck/ungrounded_2_32threads ... ok [INFO] [stdout] test fail-typecheck/unstable_fn_wrong_return ... ok [INFO] [stdout] test fail-typecheck/union_non_sort_32threads ... ok [INFO] [stdout] test fail_wrong_assertion ... ok [INFO] [stdout] test fail-typecheck/ungrounded_3_32threads ... ok [INFO] [stdout] test fail_wrong_assertion_desugar ... ok [INFO] [stdout] test fail-typecheck/ungrounded_4_32threads ... ok [INFO] [stdout] test fail-typecheck/union_relation_32threads ... ok [INFO] [stdout] test fail_wrong_assertion_term_encoding ... ok [INFO] [stdout] test fail-typecheck/unstable_fn_wrong_args_type_32threads ... ok [INFO] [stdout] test fail_wrong_assertion_proofs ... ok [INFO] [stdout] test fibonacci_demand ... ok [INFO] [stdout] test fail-typecheck/unstable_fn_primitive_missing_partial_arg_32threads ... ok [INFO] [stdout] test fibonacci_demand_desugar ... ok [INFO] [stdout] test fail-typecheck/unstable_fn_wrong_return_type_32threads ... ok [INFO] [stdout] test fail-typecheck/unstable_fn_wrong_args_32threads ... ok [INFO] [stdout] test fail-typecheck/unstable_fn_wrong_return_32threads ... ok [INFO] [stdout] test fail_wrong_assertion_32threads ... ok [INFO] [stdout] test filter_or_bool_neq ... ok [INFO] [stdout] test filter_or_bool_neq_desugar ... ok [INFO] [stdout] test fibonacci_demand_term_encoding ... ok [INFO] [stdout] test fibonacci_demand_32threads ... ok [INFO] [stdout] test filter_or_bool_neq_32threads ... ok [INFO] [stdout] test filter_or_bool_neq_term_encoding ... ok [INFO] [stdout] test filter_or_bool_neq_proofs ... ok [INFO] [stdout] test fail_wrong_assertion_proof_testing ... ok [INFO] [stdout] test fibonacci_demand_proofs ... ok [INFO] [stdout] test fibonacci_demand_proof_testing ... ok [INFO] [stdout] test fibonacci_demand_desugar_proof_testing ... ok [INFO] [stdout] test fail_wrong_assertion_desugar_proof_testing ... ok [INFO] [stdout] test hidden_print_size ... ok [INFO] [stdout] test container_proofs_desugar_proof_testing ... ok [INFO] [stdout] test hidden_print_size_desugar ... ok [INFO] [stdout] test hidden_print_size_term_encoding ... ok [INFO] [stdout] test hidden_print_size_32threads ... ok [INFO] [stdout] test hidden_print_size_proofs ... ok [INFO] [stdout] test hidden_print_size_proof_testing ... ok [INFO] [stdout] test i64 ... ok [INFO] [stdout] test hidden_print_size_desugar_proof_testing ... ok [INFO] [stdout] test i64_desugar ... ok [INFO] [stdout] test i64_32threads ... ok [INFO] [stdout] test filter_or_bool_neq_proof_testing ... ok [INFO] [stdout] test i64_term_encoding ... ok [INFO] [stdout] test i64_proofs ... ok [INFO] [stdout] test i64_proof_testing ... ok [INFO] [stdout] test include ... ok [INFO] [stdout] test i64_desugar_proof_testing ... ok [INFO] [stdout] test include_desugar ... ok [INFO] [stdout] test include_term_encoding ... ok [INFO] [stdout] test include_proofs ... ok [INFO] [stdout] test include_32threads ... ok [INFO] [stdout] test include_proof_testing ... ok [INFO] [stdout] test integer_math ... ok [INFO] [stdout] test integer_math_desugar ... ok [INFO] [stdout] test integer_math_32threads ... ok [INFO] [stdout] test filter_or_bool_neq_desugar_proof_testing ... ok [INFO] [stdout] test include_desugar_proof_testing ... ok [INFO] [stdout] test integer_math_term_encoding ... ok [INFO] [stdout] test internal_let ... ok [INFO] [stdout] test internal_let_32threads ... ok [INFO] [stdout] test internal_let_desugar ... ok [INFO] [stdout] test internal_let_term_encoding ... ok [INFO] [stdout] test internal_let_proofs ... ok [INFO] [stdout] test internal_let_proof_testing ... ok [INFO] [stdout] test integer_math_proofs ... ok [INFO] [stdout] test intersection ... ok [INFO] [stdout] test intersection_32threads ... ok [INFO] [stdout] test internal_let_desugar_proof_testing ... ok [INFO] [stdout] test intersection_desugar ... ok [INFO] [stdout] test integer_math_proof_testing ... ok [INFO] [stdout] test intersection_term_encoding ... ok [INFO] [stdout] test intersection_proofs ... ok [INFO] [stdout] test interval ... ok [INFO] [stdout] test intersection_proof_testing ... ok [INFO] [stdout] test interval_32threads ... ok [INFO] [stdout] test interval_desugar ... ok [INFO] [stdout] test eggcc_extraction ... ok [INFO] [stdout] test intersection_desugar_proof_testing ... ok [INFO] [stdout] test eggcc_extraction_desugar ... ok [INFO] [stdout] test looking_up_global ... ok [INFO] [stdout] test looking_up_global_desugar ... ok [INFO] [stdout] test looking_up_nonconstructor_in_rewrite_good ... ok [INFO] [stdout] test integer_math_desugar_proof_testing ... ok [INFO] [stdout] test looking_up_nonconstructor_in_rewrite_good_desugar ... ok [INFO] [stdout] test hardboiled_conv1d_32 ... ok [INFO] [stdout] test looking_up_nonconstructor_in_rewrite_good_32threads ... ok [INFO] [stdout] test looking_up_global_32threads ... ok [INFO] [stdout] test map ... ok [INFO] [stdout] test map_32threads ... ok [INFO] [stdout] test map_desugar ... ok [INFO] [stdout] test hardboiled_conv1d_32_desugar ... ok [INFO] [stdout] test eggcc_extraction_32threads ... ok [INFO] [stdout] test hardboiled_conv1d_32_32threads ... ok [INFO] [stdout] test merge_during_rebuild ... ok [INFO] [stdout] test merge_during_rebuild_32threads ... ok [INFO] [stdout] test merge_during_rebuild_desugar ... ok [INFO] [stdout] test merge_during_rebuild_term_encoding ... ok [INFO] [stdout] test merge_during_rebuild_proofs ... ok [INFO] [stdout] test merge_during_rebuild_proof_testing ... ok [INFO] [stdout] test merge_during_rebuild_desugar_proof_testing ... ok [INFO] [stdout] test merge_saturates ... ok [INFO] [stdout] test merge_saturates_32threads ... ok [INFO] [stdout] test merge_saturates_desugar ... ok [INFO] [stdout] test merge_saturates_term_encoding ... ok [INFO] [stdout] test merge_saturates_proofs ... ok [INFO] [stdout] test merge_saturates_proof_testing ... ok [INFO] [stdout] test merge_saturates_desugar_proof_testing ... ok [INFO] [stdout] test merge_read ... ok [INFO] [stdout] test merge_read_32threads ... ok [INFO] [stdout] test merge_read_desugar ... ok [INFO] [stdout] test naive_action_lookup ... ok [INFO] [stdout] test naive_action_lookup_32threads ... ok [INFO] [stdout] test naive_action_lookup_desugar ... ok [INFO] [stdout] test name_resolution ... ok [INFO] [stdout] test name_resolution_32threads ... ok [INFO] [stdout] test name_resolution_desugar ... ok [INFO] [stdout] test name_resolution_term_encoding ... ok [INFO] [stdout] test name_resolution_proofs ... ok [INFO] [stdout] test name_resolution_proof_testing ... ok [INFO] [stdout] test name_resolution_desugar_proof_testing ... ok [INFO] [stdout] test nested_container_dirty_propagation ... ok [INFO] [stdout] test nested_container_dirty_propagation_32threads ... ok [INFO] [stdout] test nested_container_dirty_propagation_desugar ... ok [INFO] [stdout] test nested_container_dirty_propagation_term_encoding ... ok [INFO] [stdout] test luminal_llama ... ok [INFO] [stdout] test nested_container_dirty_propagation_proofs ... ok [INFO] [stdout] test nested_container_dirty_propagation_proof_testing ... ok [INFO] [stdout] test nested_container_dirty_propagation_desugar_proof_testing ... ok [INFO] [stdout] test hardboiled_conv1d_128 ... ok [INFO] [stdout] test luminal_llama_desugar ... ok [INFO] [stderr] error: test failed, to rerun pass `--test files` [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `/opt/rustwide/target/release/deps/files-5cc8ba99405b90e8` (signal: 9, SIGKILL: kill) [INFO] running `Command { std: "docker" "inspect" "37c96842d674c401c4318f66819cae6bdd74c21087488d18ea832c6fa4c24d96", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "37c96842d674c401c4318f66819cae6bdd74c21087488d18ea832c6fa4c24d96", kill_on_drop: false }` [INFO] [stdout] 37c96842d674c401c4318f66819cae6bdd74c21087488d18ea832c6fa4c24d96