[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
