[INFO] cloning repository https://github.com/memoryleak47/egglog
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/memoryleak47/egglog" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmemoryleak47%2Fegglog", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmemoryleak47%2Fegglog'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 49f700143e5b2e0d2fbaf3f943ff710d5ce7cc9c
[INFO] testing memoryleak47/egglog against beta-2026-03-05 for beta-1.95-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmemoryleak47%2Fegglog" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-3-tc2/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/memoryleak47/egglog
[INFO] removed 0 missing tests
[INFO] finished tweaking git repo https://github.com/memoryleak47/egglog
[INFO] tweaked toml for git repo https://github.com/memoryleak47/egglog written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/memoryleak47/egglog on toolchain beta-2026-03-05
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2026-03-05" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/memoryleak47/egglog 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" "+beta-2026-03-05" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-03-05" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 2fc785e5d82bfc020657b03ee599d3e8f6a77c2dee291ab29c9500b1c4ab6bf4
[INFO] running `Command { std: "docker" "start" "-a" "2fc785e5d82bfc020657b03ee599d3e8f6a77c2dee291ab29c9500b1c4ab6bf4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "2fc785e5d82bfc020657b03ee599d3e8f6a77c2dee291ab29c9500b1c4ab6bf4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2fc785e5d82bfc020657b03ee599d3e8f6a77c2dee291ab29c9500b1c4ab6bf4", kill_on_drop: false }`
[INFO] [stdout] 2fc785e5d82bfc020657b03ee599d3e8f6a77c2dee291ab29c9500b1c4ab6bf4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-03-05" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 9945f0fdd5d7c5e30a4530f4e08fb5a9676cb2a007a00828d027b54022167602
[INFO] running `Command { std: "docker" "start" "-a" "9945f0fdd5d7c5e30a4530f4e08fb5a9676cb2a007a00828d027b54022167602", kill_on_drop: false }`
[INFO] [stderr]    Compiling getrandom v0.3.3
[INFO] [stderr]    Compiling zerocopy v0.8.27
[INFO] [stderr]    Compiling foldhash v0.2.0
[INFO] [stderr]    Compiling allocator-api2 v0.2.21
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling serde_json v1.0.145
[INFO] [stderr]    Compiling ucd-trie v0.1.7
[INFO] [stderr]    Compiling syn v2.0.106
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling rustix v1.1.2
[INFO] [stderr]    Compiling find-msvc-tools v0.1.3
[INFO] [stderr]    Compiling dot-structures v0.1.2
[INFO] [stderr]    Compiling crossbeam-channel v0.5.15
[INFO] [stderr]    Compiling pest v2.8.3
[INFO] [stderr]    Compiling crossbeam-queue v0.3.12
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling cc v1.2.40
[INFO] [stderr]    Compiling log v0.4.28
[INFO] [stderr]    Compiling arc-swap v1.7.1
[INFO] [stderr]    Compiling anyhow v1.0.100
[INFO] [stderr]    Compiling foldhash v0.1.5
[INFO] [stderr]    Compiling regex-syntax v0.8.6
[INFO] [stderr]    Compiling thiserror v2.0.17
[INFO] [stderr]    Compiling rand_core v0.9.3
[INFO] [stderr]    Compiling crossbeam v0.8.4
[INFO] [stderr]    Compiling hashbrown v0.15.5
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling dot-generator v0.2.0
[INFO] [stderr]    Compiling into-attr v0.1.1
[INFO] [stderr]    Compiling web-time v1.1.0
[INFO] [stderr]    Compiling rustc-hash v2.1.1
[INFO] [stderr]    Compiling fixedbitset v0.5.7
[INFO] [stderr]    Compiling im-rc v15.1.0
[INFO] [stderr]    Compiling dashmap v6.1.0
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling num-complex v0.4.6
[INFO] [stderr]    Compiling bitmaps v2.1.0
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling regex-automata v0.4.11
[INFO] [stderr]    Compiling num-iter v0.1.45
[INFO] [stderr]    Compiling pest_meta v2.8.3
[INFO] [stderr]    Compiling chrono v0.4.42
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling bumpalo v3.19.0
[INFO] [stderr]    Compiling egglog-numeric-id v1.0.0 (/opt/rustwide/workdir/numeric-id)
[INFO] [stderr]    Compiling egglog-concurrency v1.0.0 (/opt/rustwide/workdir/concurrency)
[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 libmimalloc-sys v0.1.44
[INFO] [stderr]    Compiling egglog-union-find v1.0.0 (/opt/rustwide/workdir/union-find)
[INFO] [stderr]    Compiling jiff v0.2.15
[INFO] [stderr]    Compiling tempfile v3.23.0
[INFO] [stderr]    Compiling pest_generator v2.8.3
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling into-attr-derive v0.2.1
[INFO] [stderr]    Compiling egglog v1.0.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling num v0.4.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 pest_derive v2.8.3
[INFO] [stderr]    Compiling egglog-add-primitive v1.0.0 (/opt/rustwide/workdir/src/sort/add_primitive)
[INFO] [stderr]    Compiling mimalloc v0.1.48
[INFO] [stderr]    Compiling regex v1.11.3
[INFO] [stderr]    Compiling graphviz-rust v0.9.6
[INFO] [stderr]    Compiling env_filter v0.1.3
[INFO] [stderr]    Compiling clap v4.5.48
[INFO] [stderr]    Compiling env_logger v0.11.8
[INFO] [stderr]    Compiling serde v1.0.228
[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 v1.0.0 (/opt/rustwide/workdir/egglog-ast)
[INFO] [stderr]    Compiling indexmap v2.11.4
[INFO] [stderr]    Compiling petgraph v0.8.3
[INFO] [stderr]    Compiling egglog-reports v1.0.0 (/opt/rustwide/workdir/egglog-reports)
[INFO] [stderr]    Compiling egraph-serialize v0.3.0
[INFO] [stderr]    Compiling egglog-core-relations v1.0.0 (/opt/rustwide/workdir/core-relations)
[INFO] [stderr]    Compiling egglog-bridge v1.0.0 (/opt/rustwide/workdir/egglog-bridge)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 53.73s
[INFO] running `Command { std: "docker" "inspect" "9945f0fdd5d7c5e30a4530f4e08fb5a9676cb2a007a00828d027b54022167602", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9945f0fdd5d7c5e30a4530f4e08fb5a9676cb2a007a00828d027b54022167602", kill_on_drop: false }`
[INFO] [stdout] 9945f0fdd5d7c5e30a4530f4e08fb5a9676cb2a007a00828d027b54022167602
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-03-05" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] cee9071a0561d51070f48198ea2caacce0132e25d0293a3571873903a89ee59f
[INFO] running `Command { std: "docker" "start" "-a" "cee9071a0561d51070f48198ea2caacce0132e25d0293a3571873903a89ee59f", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.176
[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 glob v0.3.3
[INFO] [stderr]    Compiling prettyplease v0.2.37
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling regex-syntax v0.8.6
[INFO] [stderr]    Compiling libloading v0.8.9
[INFO] [stderr]    Compiling bindgen v0.72.1
[INFO] [stderr]    Compiling bitflags v2.9.4
[INFO] [stderr]    Compiling log v0.4.28
[INFO] [stderr]    Compiling nix v0.30.1
[INFO] [stderr]    Compiling hashbrown v0.16.0
[INFO] [stderr]    Compiling winnow v0.7.13
[INFO] [stderr]    Compiling toml_datetime v0.7.2
[INFO] [stderr]    Compiling colored v2.2.0
[INFO] [stderr]    Compiling condtype v1.3.0
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling codspeed-divan-compat v4.0.3
[INFO] [stderr]    Compiling regex-lite v0.1.7
[INFO] [stderr]    Compiling escape8259 v0.5.3
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]    Compiling similar v2.7.0
[INFO] [stderr]    Compiling testing_logger v0.1.1
[INFO] [stderr]    Compiling indexmap v2.11.4
[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 cexpr v0.6.0
[INFO] [stderr]    Compiling regex-automata v0.4.11
[INFO] [stderr]    Compiling getrandom v0.3.3
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling libmimalloc-sys v0.1.44
[INFO] [stderr]    Compiling console v0.15.11
[INFO] [stderr]    Compiling rand_core v0.9.3
[INFO] [stderr]    Compiling uuid v1.18.1
[INFO] [stderr]    Compiling mimalloc v0.1.48
[INFO] [stderr]    Compiling toml_parser v1.0.3
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling dashmap v6.1.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling toml_edit v0.23.6
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling terminal_size v0.4.3
[INFO] [stderr]    Compiling tempfile v3.23.0
[INFO] [stderr]    Compiling clap_builder v4.5.48
[INFO] [stderr]    Compiling insta v1.45.0
[INFO] [stderr]    Compiling num v0.4.3
[INFO] [stderr]    Compiling regex v1.11.3
[INFO] [stderr]    Compiling proc-macro-crate v3.4.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 env_filter v0.1.3
[INFO] [stderr]    Compiling divan-macros v0.1.17
[INFO] [stderr]    Compiling egglog-add-primitive v1.0.0 (/opt/rustwide/workdir/src/sort/add_primitive)
[INFO] [stderr]    Compiling pest_derive v2.8.3
[INFO] [stderr]    Compiling graphviz-rust v0.9.6
[INFO] [stderr]    Compiling env_logger v0.11.8
[INFO] [stderr]    Compiling codspeed-divan-compat-macros v4.0.3
[INFO] [stderr]    Compiling clap v4.5.48
[INFO] [stderr]    Compiling libtest-mimic v0.8.1
[INFO] [stderr]    Compiling thiserror v2.0.17
[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 v1.0.0 (/opt/rustwide/workdir/egglog-ast)
[INFO] [stderr]    Compiling serde_json v1.0.145
[INFO] [stderr]    Compiling petgraph v0.8.3
[INFO] [stderr]    Compiling codspeed v4.0.3
[INFO] [stderr]    Compiling egglog-reports v1.0.0 (/opt/rustwide/workdir/egglog-reports)
[INFO] [stderr]    Compiling egraph-serialize v0.3.0
[INFO] [stderr]    Compiling egglog-core-relations v1.0.0 (/opt/rustwide/workdir/core-relations)
[INFO] [stderr]    Compiling codspeed-divan-compat-walltime v4.0.3
[INFO] [stderr]    Compiling egglog-bridge v1.0.0 (/opt/rustwide/workdir/egglog-bridge)
[INFO] [stderr]    Compiling egglog v1.0.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1m 42s
[INFO] running `Command { std: "docker" "inspect" "cee9071a0561d51070f48198ea2caacce0132e25d0293a3571873903a89ee59f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cee9071a0561d51070f48198ea2caacce0132e25d0293a3571873903a89ee59f", kill_on_drop: false }`
[INFO] [stdout] cee9071a0561d51070f48198ea2caacce0132e25d0293a3571873903a89ee59f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-03-05" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 31fd3f628cd7e2017e04da11e48bae271e5ebc7952eca9fbe39af59a1d6d4bcb
[INFO] running `Command { std: "docker" "start" "-a" "31fd3f628cd7e2017e04da11e48bae271e5ebc7952eca9fbe39af59a1d6d4bcb", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.35s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/egglog-696a56dfb8b4e84a)
[INFO] [stdout] 
[INFO] [stdout] running 25 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 termdag::tests::test_lookup ... ok
[INFO] [stdout] test termdag::tests::test_match_term_app ... ok
[INFO] [stdout] test termdag::tests::test_to_from_expr ... ok
[INFO] [stdout] test termdag::tests::test_to_string ... ok
[INFO] [stdout] test termdag::tests::test_app_var_lit ... ok
[INFO] [stdout] test tests::test_egraph_send_sync ... ok
[INFO] [stdout] test term_encoding::tests::doc_example_add_function ... ok
[INFO] [stdout] test tests::test_user_defined_primitive ... ok
[INFO] [stdout] test typechecking::test::test_arity_mismatch ... ok
[INFO] [stdout] test tests::test_subsumed_unextractable_rebuild_self ... ok
[INFO] [stdout] test sort::vec::tests::test_vec_make_expr ... ok
[INFO] [stdout] test cli::tests::test_repl ... ok
[INFO] [stdout] test tests::test_subsumed_unextractable_rebuild_arg ... ok
[INFO] [stdout] test prelude::tests::rust_api_query ... ok
[INFO] [stdout] test prelude::tests::rust_api_macros ... ok
[INFO] [stdout] test prelude::tests::rust_api_rust_rule ... ok
[INFO] [stdout] test prelude::tests::rust_api_rule ... ok
[INFO] [stdout] test scheduler::test::test_first_n_scheduler ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 25 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.14s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/egglog-3bf4947e8fe77c06)
[INFO] [stderr]      Running tests/files.rs (/opt/rustwide/target/debug/deps/files-0dea1b5fbd9c8d10)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 277 tests
[INFO] [stderr] 
[INFO] [stderr] thread '<unnamed>' (90) panicked at tests/files.rs:80:21:
[INFO] [stderr] Top level error: In 10:1-39 of tests/colored-egraph-encoding.egg: (constructor Refines (Context Context))
[INFO] [stderr] parse error: usages:
[INFO] [stderr] (constructor <name> (<input sort>*) <output sort>)
[INFO] [stderr] (constructor <name> (<input sort>*) <output sort> :cost <cost>)
[INFO] [stderr] (constructor <name> (<input sort>*) <output sort> :unextractable)
[INFO] [stderr] stack backtrace:
[INFO] [stdout] test bitwise                                                       ... ok
[INFO] [stdout] test bitwise_desugar                                               ... ok
[INFO] [stdout] test bool_desugar                                                  ... ok
[INFO] [stdout] test complex_merge_prim                                            ... ok
[INFO] [stdout] test combined_nested                                               ... ok
[INFO] [stdout] test bool                                                          ... ok
[INFO] [stdout] test before_proofs                                                 ... ok
[INFO] [stdout] test combined_nested_desugar                                       ... ok
[INFO] [stdout] test complex_merge_func                                            ... ok
[INFO] [stdout] test bitwise_term_encoding                                         ... ok
[INFO] [stdout] test complex_merge_prim_desugar                                    ... ok
[INFO] [stdout] test delete                                                        ... ok
[INFO] [stdout] test delete_desugar                                                ... ok
[INFO] [stdout] test before_proofs_desugar                                         ... ok
[INFO] [stdout] test complex_merge_func_desugar                                    ... ok
[INFO] [stdout] test f64_desugar                                                   ... ok
[INFO] [stdout] test f64                                                           ... ok
[INFO] [stdout] test container_rebuild                                             ... ok
[INFO] [stdout] test f64_term_encoding                                             ... ok
[INFO] [stdout] test complex_merge_prim_term_encoding                              ... ok
[INFO] [stdout] test fail-typecheck/constructor_non_sort                           ... ok
[INFO] [stdout] test fail-typecheck/arity_mismatch                                 ... ok
[INFO] [stdout] test fail-typecheck/looking_up_nonconstructor_in_action_case_union ... ok
[INFO] [stdout] test fail-typecheck/looking_up_nonconstructor_in_birewrite         ... ok
[INFO] [stdout] test fail-typecheck/looking_up_nonconstructor_in_action_case_let   ... ok
[INFO] [stdout] test fail-typecheck/looking_up_nonconstructor_in_action_case_set   ... ok
[INFO] [stdout] test fail-typecheck/looking_up_nonconstructor_in_rewrite           ... ok
[INFO] [stdout] test fail-typecheck/repro_duplicated_var                           ... ok
[INFO] [stdout] test fail-typecheck/repro_containers_disallowed                    ... ok
[INFO] [stdout] test fail-typecheck/set_a_primitive                                ... ok
[INFO] [stderr]    0:     0x55c5f9d992ca - std[b80a194dd3c418bb]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stderr]    1:     0x55c5f9d992ca - std[b80a194dd3c418bb]::backtrace_rs::backtrace::trace_unsynchronized::<std[b80a194dd3c418bb]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stderr]    2:     0x55c5f9d992ca - std[b80a194dd3c418bb]::sys::backtrace::_print_fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:74:9
[INFO] [stderr]    3:     0x55c5f9d992ca - <<std[b80a194dd3c418bb]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[10b6fa85044e1869]::fmt::Display>::fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:44:26
[INFO] [stderr]    4:     0x55c5f9db1b3a - <core[10b6fa85044e1869]::fmt::rt::Argument>::fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/fmt/rt.rs:152:76
[INFO] [stderr]    5:     0x55c5f9db1b3a - core[10b6fa85044e1869]::fmt::write
[INFO] [stderr]    6:     0x55c5f9d9ffc2 - std[b80a194dd3c418bb]::io::default_write_fmt::<std[b80a194dd3c418bb]::sys::stdio::unix::Stderr>
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/io/mod.rs:639:11
[INFO] [stderr]    7:     0x55c5f9d9ffc2 - <std[b80a194dd3c418bb]::sys::stdio::unix::Stderr as std[b80a194dd3c418bb]::io::Write>::write_fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/io/mod.rs:1994:13
[INFO] [stderr]    8:     0x55c5f9d7e64f - <std[b80a194dd3c418bb]::sys::backtrace::BacktraceLock>::print
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:47:9
[INFO] [stderr]    9:     0x55c5f9d7e64f - std[b80a194dd3c418bb]::panicking::default_hook::{closure#0}
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:292:27
[INFO] [stderr]   10:     0x55c5f9d91671 - std[b80a194dd3c418bb]::panicking::default_hook
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:319:9
[INFO] [stderr]   11:     0x55c5f9d918eb - std[b80a194dd3c418bb]::panicking::panic_with_hook
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:825:13
[INFO] [stderr]   12:     0x55c5f9d7e708 - std[b80a194dd3c418bb]::panicking::panic_handler::{closure#0}
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:698:13
[INFO] [stderr]   13:     0x55c5f9d75a09 - std[b80a194dd3c418bb]::sys::backtrace::__rust_end_short_backtrace::<std[b80a194dd3c418bb]::panicking::panic_handler::{closure#0}, !>
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:182:18
[INFO] [stderr]   14:     0x55c5f9d7f57d - __rustc[9698a3e60dd14283]::rust_begin_unwind
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:689:5
[INFO] [stderr]   15:     0x55c5f9db24cc - core[10b6fa85044e1869]::panicking::panic_fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panicking.rs:80:14
[INFO] [stderr]   16:     0x55c5f904e9dc - files::Run::test_program::ha1c86f04cd9e20a7
[INFO] [stderr]                                at /opt/rustwide/workdir/tests/files.rs:80:21
[INFO] [stderr]   17:     0x55c5f904ed2a - files::Run::run::h7930ce66a9d523c3
[INFO] [stderr]                                at /opt/rustwide/workdir/tests/files.rs:21:18
[INFO] [stderr]   18:     0x55c5f904de6e - files::Run::into_trial::{{closure}}::haf81bca3ed1ede82
[INFO] [stderr]                                at /opt/rustwide/workdir/tests/files.rs:89:18
[INFO] [stderr]   19:     0x55c5f9052f07 - libtest_mimic::Trial::test::{{closure}}::h6a26e57ae62e8e30
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:119:54
[INFO] [stderr]   20:     0x55c5f90537b6 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h7ec4ced9f6015375
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   21:     0x55c5f90887bd - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h471ca63698a529b8
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2240:9
[INFO] [stderr]   22:     0x55c5f9076950 - libtest_mimic::run_single::{{closure}}::h8d19898ec85747fd
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:576:43
[INFO] [stderr]   23:     0x55c5f90a4fb0 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h96bae64534e4634c
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stderr]   24:     0x55c5f909623c - std::panicking::catch_unwind::do_call::h3d28bef0a45e4b03
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:581:40
[INFO] [stderr]   25:     0x55c5f907c9ab - __rust_try
[INFO] [stdout] test fail-typecheck/shadow_global_constructor                      ... ok
[INFO] [stderr]   26:     0x55c5f907c1cd - std::panicking::catch_unwind::h3bffa484cd52ce31
[INFO] [stdout] test fail-typecheck/shadow_local_constructor                       ... ok
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:544:19
[INFO] [stdout] test calc                                                          ... ok
[INFO] [stderr]   27:     0x55c5f907c1cd - std::panic::catch_unwind::hdf7f345284e83c96
[INFO] [stdout] test calc_desugar                                                  ... ok
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panic.rs:359:14
[INFO] [stdout] test fail-typecheck/shadow_global                                  ... ok
[INFO] [stderr]   28:     0x55c5f9076901 - libtest_mimic::run_single::h2464e2c090a1e977
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:576:5
[INFO] [stderr]   29:     0x55c5f90781f6 - libtest_mimic::run::{{closure}}::{{closure}}::h830ce1d0c0f67782
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:531:43
[INFO] [stderr]   30:     0x55c5f907aae6 - std::sys::backtrace::__rust_begin_short_backtrace::h1b4ed37f1256a25d
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:166:18
[INFO] [stderr]   31:     0x55c5f9089e12 - std::thread::lifecycle::spawn_unchecked::{{closure}}::{{closure}}::h0eeabd088444e5cf
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stderr]   32:     0x55c5f90a5011 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::heeed209becfd3fc2
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stderr]   33:     0x55c5f90961c7 - std::panicking::catch_unwind::do_call::h0bf483f9b3db6291
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:581:40
[INFO] [stderr]   34:     0x55c5f908c86b - __rust_try
[INFO] [stderr]   35:     0x55c5f9089c30 - std::panicking::catch_unwind::h5864d98124f28f37
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:544:19
[INFO] [stderr]   36:     0x55c5f9089c30 - std::panic::catch_unwind::h4130b5a013b8906b
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panic.rs:359:14
[INFO] [stderr]   37:     0x55c5f9089c30 - std::thread::lifecycle::spawn_unchecked::{{closure}}::he14f620a2cfd5bb2
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stderr]   38:     0x55c5f908a20f - core::ops::function::FnOnce::call_once{{vtable.shim}}::h0b967e58463f554c
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   39:     0x55c5f9d9884f - <alloc[dd269455e567d8e9]::boxed::Box<dyn core[10b6fa85044e1869]::ops::function::FnOnce<(), Output = ()> + core[10b6fa85044e1869]::marker::Send> as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2240:9
[INFO] [stderr]   40:     0x55c5f9d9884f - <std[b80a194dd3c418bb]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stderr]   41:     0x749a135eeaa4 - <unknown>
[INFO] [stderr]   42:     0x749a1367ba64 - clone
[INFO] [stderr]   43:                0x0 - <unknown>
[INFO] [stderr] 
[INFO] [stderr] thread '<unnamed>' (89) panicked at tests/files.rs:30:18:
[INFO] [stderr] called `Result::unwrap()` on an `Err` value: ParseError(ParseError(In 10:1-39 of tests/colored-egraph-encoding.egg: (constructor Refines (Context Context)), "usages:\n(constructor <name> (<input sort>*) <output sort>)\n(constructor <name> (<input sort>*) <output sort> :cost <cost>)\n(constructor <name> (<input sort>*) <output sort> :unextractable)"))
[INFO] [stderr] stack backtrace:
[INFO] [stderr]    0:     0x55c5f9d992ca - std[b80a194dd3c418bb]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stderr]    1:     0x55c5f9d992ca - std[b80a194dd3c418bb]::backtrace_rs::backtrace::trace_unsynchronized::<std[b80a194dd3c418bb]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stderr]    2:     0x55c5f9d992ca - std[b80a194dd3c418bb]::sys::backtrace::_print_fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:74:9
[INFO] [stderr]    3:     0x55c5f9d992ca - <<std[b80a194dd3c418bb]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[10b6fa85044e1869]::fmt::Display>::fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:44:26
[INFO] [stderr]    4:     0x55c5f9db1b3a - <core[10b6fa85044e1869]::fmt::rt::Argument>::fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/fmt/rt.rs:152:76
[INFO] [stderr]    5:     0x55c5f9db1b3a - core[10b6fa85044e1869]::fmt::write
[INFO] [stderr]    6:     0x55c5f9d9ffc2 - std[b80a194dd3c418bb]::io::default_write_fmt::<std[b80a194dd3c418bb]::sys::stdio::unix::Stderr>
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/io/mod.rs:639:11
[INFO] [stderr]    7:     0x55c5f9d9ffc2 - <std[b80a194dd3c418bb]::sys::stdio::unix::Stderr as std[b80a194dd3c418bb]::io::Write>::write_fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/io/mod.rs:1994:13
[INFO] [stderr]    8:     0x55c5f9d7e64f - <std[b80a194dd3c418bb]::sys::backtrace::BacktraceLock>::print
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:47:9
[INFO] [stderr]    9:     0x55c5f9d7e64f - std[b80a194dd3c418bb]::panicking::default_hook::{closure#0}
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:292:27
[INFO] [stderr]   10:     0x55c5f9d91671 - std[b80a194dd3c418bb]::panicking::default_hook
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:319:9
[INFO] [stderr]   11:     0x55c5f9d918eb - std[b80a194dd3c418bb]::panicking::panic_with_hook
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:825:13
[INFO] [stderr]   12:     0x55c5f9d7e708 - std[b80a194dd3c418bb]::panicking::panic_handler::{closure#0}
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:698:13
[INFO] [stderr]   13:     0x55c5f9d75a09 - std[b80a194dd3c418bb]::sys::backtrace::__rust_end_short_backtrace::<std[b80a194dd3c418bb]::panicking::panic_handler::{closure#0}, !>
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:182:18
[INFO] [stderr]   14:     0x55c5f9d7f57d - __rustc[9698a3e60dd14283]::rust_begin_unwind
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:689:5
[INFO] [stderr]   15:     0x55c5f9db24cc - core[10b6fa85044e1869]::panicking::panic_fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panicking.rs:80:14
[INFO] [stderr]   16:     0x55c5f9db2212 - core[10b6fa85044e1869]::result::unwrap_failed
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/result.rs:1867:5
[INFO] [stderr]   17:     0x55c5f904ef31 - core::result::Result<T,E>::unwrap::hdcdcdd25851a9594
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/result.rs:1233:23
[INFO] [stderr]   18:     0x55c5f904ef31 - files::Run::run::h7930ce66a9d523c3
[INFO] [stderr]                                at /opt/rustwide/workdir/tests/files.rs:30:18
[INFO] [stderr]   19:     0x55c5f904de6e - files::Run::into_trial::{{closure}}::haf81bca3ed1ede82
[INFO] [stderr]                                at /opt/rustwide/workdir/tests/files.rs:89:18
[INFO] [stderr]   20:     0x55c5f9052f07 - libtest_mimic::Trial::test::{{closure}}::h6a26e57ae62e8e30
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:119:54
[INFO] [stderr]   21:     0x55c5f90537b6 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h7ec4ced9f6015375
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   22:     0x55c5f90887bd - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h471ca63698a529b8
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2240:9
[INFO] [stderr]   23:     0x55c5f9076950 - libtest_mimic::run_single::{{closure}}::h8d19898ec85747fd
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:576:43
[INFO] [stderr]   24:     0x55c5f90a4fb0 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h96bae64534e4634c
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stderr]   25:     0x55c5f909623c - std::panicking::catch_unwind::do_call::h3d28bef0a45e4b03
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:581:40
[INFO] [stderr]   26:     0x55c5f907c9ab - __rust_try
[INFO] [stderr]   27:     0x55c5f907c1cd - std::panicking::catch_unwind::h3bffa484cd52ce31
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:544:19
[INFO] [stderr]   28:     0x55c5f907c1cd - std::panic::catch_unwind::hdf7f345284e83c96
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panic.rs:359:14
[INFO] [stderr]   29:     0x55c5f9076901 - libtest_mimic::run_single::h2464e2c090a1e977
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:576:5
[INFO] [stderr]   30:     0x55c5f90781f6 - libtest_mimic::run::{{closure}}::{{closure}}::h830ce1d0c0f67782
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:531:43
[INFO] [stderr]   31:     0x55c5f907aae6 - std::sys::backtrace::__rust_begin_short_backtrace::h1b4ed37f1256a25d
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:166:18
[INFO] [stderr]   32:     0x55c5f9089e12 - std::thread::lifecycle::spawn_unchecked::{{closure}}::{{closure}}::h0eeabd088444e5cf
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stderr]   33:     0x55c5f90a5011 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::heeed209becfd3fc2
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stderr]   34:     0x55c5f90961c7 - std::panicking::catch_unwind::do_call::h0bf483f9b3db6291
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:581:40
[INFO] [stderr]   35:     0x55c5f908c86b - __rust_try
[INFO] [stderr]   36:     0x55c5f9089c30 - std::panicking::catch_unwind::h5864d98124f28f37
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:544:19
[INFO] [stderr]   37:     0x55c5f9089c30 - std::panic::catch_unwind::h4130b5a013b8906b
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panic.rs:359:14
[INFO] [stderr]   38:     0x55c5f9089c30 - std::thread::lifecycle::spawn_unchecked::{{closure}}::he14f620a2cfd5bb2
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stderr]   39:     0x55c5f908a20f - core::ops::function::FnOnce::call_once{{vtable.shim}}::h0b967e58463f554c
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   40:     0x55c5f9d9884f - <alloc[dd269455e567d8e9]::boxed::Box<dyn core[10b6fa85044e1869]::ops::function::FnOnce<(), Output = ()> + core[10b6fa85044e1869]::marker::Send> as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2240:9
[INFO] [stderr]   41:     0x55c5f9d9884f - <std[b80a194dd3c418bb]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stderr]   42:     0x749a135eeaa4 - <unknown>
[INFO] [stderr]   43:     0x749a1367ba64 - clone
[INFO] [stderr]   44:                0x0 - <unknown>
[INFO] [stdout] test fail-typecheck/unbound                                        ... ok
[INFO] [stdout] test colored_egraph_encoding                                       ... FAILED
[INFO] [stdout] test fail-typecheck/shadow_local_global                            ... ok
[INFO] [stdout] test fail-typecheck/ungrounded_0                                   ... ok
[INFO] [stdout] test colored_egraph_encoding_desugar                               ... FAILED
[INFO] [stdout] test fail-typecheck/shadow_local                                   ... ok
[INFO] [stdout] test fail-typecheck/semi_naive_set_function                        ... ok
[INFO] [stdout] test fail-typecheck/ungrounded_1                                   ... ok
[INFO] [stdout] test fail-typecheck/unstable_fn_wrong_args_type                    ... ok
[INFO] [stdout] test fail-typecheck/ungrounded_2                                   ... ok
[INFO] [stdout] test fail-typecheck/unstable_fn_wrong_args                         ... ok
[INFO] [stdout] test fail-typecheck/unstable_fn_wrong_return_type                  ... ok
[INFO] [stdout] test fail-typecheck/union_non_sort                                 ... ok
[INFO] [stdout] test fail-typecheck/ungrounded_4                                   ... ok
[INFO] [stdout] test fail-typecheck/ungrounded_3                                   ... ok
[INFO] [stdout] test fail-typecheck/unstable_fn_wrong_return                       ... ok
[INFO] [stdout] test i64                                                           ... ok
[INFO] [stdout] test container_rebuild_desugar                                     ... ok
[INFO] [stdout] test i64_desugar                                                   ... ok
[INFO] [stdout] test i64_term_encoding                                             ... ok
[INFO] [stdout] test fail_wrong_assertion                                          ... ok
[INFO] [stdout] test fibonacci_demand                                              ... ok
[INFO] [stdout] test include                                                       ... ok
[INFO] [stdout] test fail_wrong_assertion_desugar                                  ... ok
[INFO] [stdout] test include_desugar                                               ... ok
[INFO] [stdout] test looking_up_global                                             ... ok
[INFO] [stdout] test interval                                                      ... ok
[INFO] [stdout] test interval_desugar                                              ... ok
[INFO] [stdout] test looking_up_nonconstructor_in_rewrite_good                     ... ok
[INFO] [stdout] test looking_up_nonconstructor_in_rewrite_good_desugar             ... ok
[INFO] [stdout] test intersection_desugar                                          ... ok
[INFO] [stdout] test looking_up_global_desugar                                     ... ok
[INFO] [stdout] test fibonacci_demand_desugar                                      ... ok
[INFO] [stdout] test map                                                           ... ok
[INFO] [stdout] test intersection                                                  ... ok
[INFO] [stdout] test map_desugar                                                   ... ok
[INFO] [stdout] test complex_merge_func_term_encoding                              ... ok
[INFO] [stdout] test merge_during_rebuild                                          ... ok
[INFO] [stdout] test merge_read                                                    ... ok
[INFO] [stdout] test merge_read_desugar                                            ... ok
[INFO] [stdout] test merge_during_rebuild_desugar                                  ... ok
[INFO] [stdout] test fail_wrong_assertion_term_encoding                            ... ok
[INFO] [stdout] test primitives                                                    ... ok
[INFO] [stdout] test name_resolution_desugar                                       ... ok
[INFO] [stdout] test name_resolution                                               ... ok
[INFO] [stdout] test primitives_desugar                                            ... ok
[INFO] [stdout] test primitives_term_encoding                                      ... ok
[INFO] [stdout] test merge_saturates                                               ... ok
[INFO] [stderr] 
[INFO] [stderr] thread '<unnamed>' (100) panicked at tests/files.rs:80:21:
[INFO] [stderr] Top level error: In 9:1-42 of tests/print-function.egg: (print-function R 3 :file "output.R3.log")
[INFO] [stderr] IO error: output.R3.log: Read-only file system (os error 30)
[INFO] [stderr] stack backtrace:
[INFO] [stderr]    0:     0x55c5f9d992ca - std[b80a194dd3c418bb]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stderr]    1:     0x55c5f9d992ca - std[b80a194dd3c418bb]::backtrace_rs::backtrace::trace_unsynchronized::<std[b80a194dd3c418bb]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stderr]    2:     0x55c5f9d992ca - std[b80a194dd3c418bb]::sys::backtrace::_print_fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:74:9
[INFO] [stderr]    3:     0x55c5f9d992ca - <<std[b80a194dd3c418bb]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[10b6fa85044e1869]::fmt::Display>::fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:44:26
[INFO] [stderr]    4:     0x55c5f9db1b3a - <core[10b6fa85044e1869]::fmt::rt::Argument>::fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/fmt/rt.rs:152:76
[INFO] [stderr]    5:     0x55c5f9db1b3a - core[10b6fa85044e1869]::fmt::write
[INFO] [stderr]    6:     0x55c5f9d9ffc2 - std[b80a194dd3c418bb]::io::default_write_fmt::<std[b80a194dd3c418bb]::sys::stdio::unix::Stderr>
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/io/mod.rs:639:11
[INFO] [stderr]    7:     0x55c5f9d9ffc2 - <std[b80a194dd3c418bb]::sys::stdio::unix::Stderr as std[b80a194dd3c418bb]::io::Write>::write_fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/io/mod.rs:1994:13
[INFO] [stderr]    8:     0x55c5f9d7e64f - <std[b80a194dd3c418bb]::sys::backtrace::BacktraceLock>::print
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:47:9
[INFO] [stderr]    9:     0x55c5f9d7e64f - std[b80a194dd3c418bb]::panicking::default_hook::{closure#0}
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:292:27
[INFO] [stderr]   10:     0x55c5f9d91671 - std[b80a194dd3c418bb]::panicking::default_hook
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:319:9
[INFO] [stderr]   11:     0x55c5f9d918eb - std[b80a194dd3c418bb]::panicking::panic_with_hook
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:825:13
[INFO] [stderr]   12:     0x55c5f9d7e708 - std[b80a194dd3c418bb]::panicking::panic_handler::{closure#0}
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:698:13
[INFO] [stderr]   13:     0x55c5f9d75a09 - std[b80a194dd3c418bb]::sys::backtrace::__rust_end_short_backtrace::<std[b80a194dd3c418bb]::panicking::panic_handler::{closure#0}, !>
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:182:18
[INFO] [stderr]   14:     0x55c5f9d7f57d - __rustc[9698a3e60dd14283]::rust_begin_unwind
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:689:5
[INFO] [stderr]   15:     0x55c5f9db24cc - core[10b6fa85044e1869]::panicking::panic_fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panicking.rs:80:14
[INFO] [stderr]   16:     0x55c5f904e9dc - files::Run::test_program::ha1c86f04cd9e20a7
[INFO] [stderr]                                at /opt/rustwide/workdir/tests/files.rs:80:21
[INFO] [stderr]   17:     0x55c5f904ed2a - files::Run::run::h7930ce66a9d523c3
[INFO] [stderr]                                at /opt/rustwide/workdir/tests/files.rs:21:18
[INFO] [stderr]   18:     0x55c5f904de6e - files::Run::into_trial::{{closure}}::haf81bca3ed1ede82
[INFO] [stderr]                                at /opt/rustwide/workdir/tests/files.rs:89:18
[INFO] [stderr]   19:     0x55c5f9052f07 - libtest_mimic::Trial::test::{{closure}}::h6a26e57ae62e8e30
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:119:54
[INFO] [stderr]   20:     0x55c5f90537b6 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h7ec4ced9f6015375
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   21:     0x55c5f90887bd - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h471ca63698a529b8
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2240:9
[INFO] [stderr]   22:     0x55c5f9076950 - libtest_mimic::run_single::{{closure}}::h8d19898ec85747fd
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:576:43
[INFO] [stderr]   23:     0x55c5f90a4fb0 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h96bae64534e4634c
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stderr]   24:     0x55c5f909623c - std::panicking::catch_unwind::do_call::h3d28bef0a45e4b03
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:581:40
[INFO] [stderr]   25:     0x55c5f907c9ab - __rust_try
[INFO] [stderr]   26:     0x55c5f907c1cd - std::panicking::catch_unwind::h3bffa484cd52ce31
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:544:19
[INFO] [stderr]   27:     0x55c5f907c1cd - std::panic::catch_unwind::hdf7f345284e83c96
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panic.rs:359:14
[INFO] [stderr]   28:     0x55c5f9076901 - libtest_mimic::run_single::h2464e2c090a1e977
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:576:5
[INFO] [stderr]   29:     0x55c5f90781f6 - libtest_mimic::run::{{closure}}::{{closure}}::h830ce1d0c0f67782
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:531:43
[INFO] [stderr]   30:     0x55c5f907aae6 - std::sys::backtrace::__rust_begin_short_backtrace::h1b4ed37f1256a25d
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:166:18
[INFO] [stderr]   31:     0x55c5f9089e12 - std::thread::lifecycle::spawn_unchecked::{{closure}}::{{closure}}::h0eeabd088444e5cf
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stderr]   32:     0x55c5f90a5011 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::heeed209becfd3fc2
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stderr]   33:     0x55c5f90961c7 - std::panicking::catch_unwind::do_call::h0bf483f9b3db6291
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:581:40
[INFO] [stderr]   34:     0x55c5f908c86b - __rust_try
[INFO] [stderr]   35:     0x55c5f9089c30 - std::panicking::catch_unwind::h5864d98124f28f37
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:544:19
[INFO] [stderr]   36:     0x55c5f9089c30 - std::panic::catch_unwind::h4130b5a013b8906b
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panic.rs:359:14
[INFO] [stderr]   37:     0x55c5f9089c30 - std::thread::lifecycle::spawn_unchecked::{{closure}}::he14f620a2cfd5bb2
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stderr]   38:     0x55c5f908a20f - core::ops::function::FnOnce::call_once{{vtable.shim}}::h0b967e58463f554c
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   39:     0x55c5f9d9884f - <alloc[dd269455e567d8e9]::boxed::Box<dyn core[10b6fa85044e1869]::ops::function::FnOnce<(), Output = ()> + core[10b6fa85044e1869]::marker::Send> as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2240:9
[INFO] [stderr]   40:     0x55c5f9d9884f - <std[b80a194dd3c418bb]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stderr]   41:     0x749a135eeaa4 - <unknown>
[INFO] [stderr]   42:     0x749a1367ba64 - clone
[INFO] [stderr]   43:                0x0 - <unknown>
[INFO] [stdout] test print_function                                                ... FAILED
[INFO] [stdout] test print_function_desugar                                        ... FAILED
[INFO] [stderr] 
[INFO] [stderr] thread '<unnamed>' (97) panicked at tests/files.rs:80:21:
[INFO] [stderr] ERROR after parse, to_string, and parse again.: In 8:1-42: (print-function R 3 :file "output.R3.log")
[INFO] [stderr] IO error: output.R3.log: Read-only file system (os error 30)
[INFO] [stderr] stack backtrace:
[INFO] [stderr]    0:     0x55c5f9d992ca - std[b80a194dd3c418bb]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stderr]    1:     0x55c5f9d992ca - std[b80a194dd3c418bb]::backtrace_rs::backtrace::trace_unsynchronized::<std[b80a194dd3c418bb]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stderr]    2:     0x55c5f9d992ca - std[b80a194dd3c418bb]::sys::backtrace::_print_fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:74:9
[INFO] [stderr]    3:     0x55c5f9d992ca - <<std[b80a194dd3c418bb]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[10b6fa85044e1869]::fmt::Display>::fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:44:26
[INFO] [stderr]    4:     0x55c5f9db1b3a - <core[10b6fa85044e1869]::fmt::rt::Argument>::fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/fmt/rt.rs:152:76
[INFO] [stderr]    5:     0x55c5f9db1b3a - core[10b6fa85044e1869]::fmt::write
[INFO] [stderr]    6:     0x55c5f9d9ffc2 - std[b80a194dd3c418bb]::io::default_write_fmt::<std[b80a194dd3c418bb]::sys::stdio::unix::Stderr>
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/io/mod.rs:639:11
[INFO] [stderr]    7:     0x55c5f9d9ffc2 - <std[b80a194dd3c418bb]::sys::stdio::unix::Stderr as std[b80a194dd3c418bb]::io::Write>::write_fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/io/mod.rs:1994:13
[INFO] [stderr]    8:     0x55c5f9d7e64f - <std[b80a194dd3c418bb]::sys::backtrace::BacktraceLock>::print
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:47:9
[INFO] [stderr]    9:     0x55c5f9d7e64f - std[b80a194dd3c418bb]::panicking::default_hook::{closure#0}
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:292:27
[INFO] [stderr]   10:     0x55c5f9d91671 - std[b80a194dd3c418bb]::panicking::default_hook
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:319:9
[INFO] [stderr]   11:     0x55c5f9d918eb - std[b80a194dd3c418bb]::panicking::panic_with_hook
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:825:13
[INFO] [stderr]   12:     0x55c5f9d7e708 - std[b80a194dd3c418bb]::panicking::panic_handler::{closure#0}
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:698:13
[INFO] [stderr]   13:     0x55c5f9d75a09 - std[b80a194dd3c418bb]::sys::backtrace::__rust_end_short_backtrace::<std[b80a194dd3c418bb]::panicking::panic_handler::{closure#0}, !>
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:182:18
[INFO] [stderr]   14:     0x55c5f9d7f57d - __rustc[9698a3e60dd14283]::rust_begin_unwind
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:689:5
[INFO] [stderr]   15:     0x55c5f9db24cc - core[10b6fa85044e1869]::panicking::panic_fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panicking.rs:80:14
[INFO] [stderr]   16:     0x55c5f904e9dc - files::Run::test_program::ha1c86f04cd9e20a7
[INFO] [stderr]                                at /opt/rustwide/workdir/tests/files.rs:80:21
[INFO] [stderr]   17:     0x55c5f904f1bc - files::Run::run::h7930ce66a9d523c3
[INFO] [stderr]                                at /opt/rustwide/workdir/tests/files.rs:36:18
[INFO] [stderr]   18:     0x55c5f904de6e - files::Run::into_trial::{{closure}}::haf81bca3ed1ede82
[INFO] [stderr]                                at /opt/rustwide/workdir/tests/files.rs:89:18
[INFO] [stderr]   19:     0x55c5f9052f07 - libtest_mimic::Trial::test::{{closure}}::h6a26e57ae62e8e30
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:119:54
[INFO] [stderr]   20:     0x55c5f90537b6 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h7ec4ced9f6015375
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   21:     0x55c5f90887bd - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h471ca63698a529b8
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2240:9
[INFO] [stderr]   22:     0x55c5f9076950 - libtest_mimic::run_single::{{closure}}::h8d19898ec85747fd
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:576:43
[INFO] [stderr]   23:     0x55c5f90a4fb0 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h96bae64534e4634c
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stderr]   24:     0x55c5f909623c - std::panicking::catch_unwind::do_call::h3d28bef0a45e4b03
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:581:40
[INFO] [stderr]   25:     0x55c5f907c9ab - __rust_try
[INFO] [stderr]   26:     0x55c5f907c1cd - std::panicking::catch_unwind::h3bffa484cd52ce31
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:544:19
[INFO] [stderr]   27:     0x55c5f907c1cd - std::panic::catch_unwind::hdf7f345284e83c96
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panic.rs:359:14
[INFO] [stderr]   28:     0x55c5f9076901 - libtest_mimic::run_single::h2464e2c090a1e977
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:576:5
[INFO] [stderr]   29:     0x55c5f90781f6 - libtest_mimic::run::{{closure}}::{{closure}}::h830ce1d0c0f67782
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:531:43
[INFO] [stderr]   30:     0x55c5f907aae6 - std::sys::backtrace::__rust_begin_short_backtrace::h1b4ed37f1256a25d
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:166:18
[INFO] [stderr]   31:     0x55c5f9089e12 - std::thread::lifecycle::spawn_unchecked::{{closure}}::{{closure}}::h0eeabd088444e5cf
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stderr]   32:     0x55c5f90a5011 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::heeed209becfd3fc2
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stderr]   33:     0x55c5f90961c7 - std::panicking::catch_unwind::do_call::h0bf483f9b3db6291
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:581:40
[INFO] [stderr]   34:     0x55c5f908c86b - __rust_try
[INFO] [stderr]   35:     0x55c5f9089c30 - std::panicking::catch_unwind::h5864d98124f28f37
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:544:19
[INFO] [stderr]   36:     0x55c5f9089c30 - std::panic::catch_unwind::h4130b5a013b8906b
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panic.rs:359:14
[INFO] [stderr]   37:     0x55c5f9089c30 - std::thread::lifecycle::spawn_unchecked::{{closure}}::he14f620a2cfd5bb2
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stderr]   38:     0x55c5f908a20f - core::ops::function::FnOnce::call_once{{vtable.shim}}::h0b967e58463f554c
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   39:     0x55c5f9d9884f - <alloc[dd269455e567d8e9]::boxed::Box<dyn core[10b6fa85044e1869]::ops::function::FnOnce<(), Output = ()> + core[10b6fa85044e1869]::marker::Send> as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2240:9
[INFO] [stderr]   40:     0x55c5f9d9884f - <std[b80a194dd3c418bb]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stderr]   41:     0x749a135eeaa4 - <unknown>
[INFO] [stderr]   42:     0x749a1367ba64 - clone
[INFO] [stderr]   43:                0x0 - <unknown>
[INFO] [stdout] test merge_saturates_desugar                                       ... ok
[INFO] [stdout] test rat_pow_eval                                                  ... ok
[INFO] [stdout] test integer_math                                                  ... ok
[INFO] [stdout] test repro_738_fn_sort                                             ... ok
[INFO] [stdout] test repro_738_fn_sort_desugar                                     ... ok
[INFO] [stdout] test repro_define                                                  ... ok
[INFO] [stdout] test integer_math_desugar                                          ... ok
[INFO] [stdout] test rat_pow_eval_desugar                                          ... ok
[INFO] [stdout] test repro_define_desugar                                          ... ok
[INFO] [stdout] test repro_empty_query                                             ... ok
[INFO] [stdout] test repro_empty_query_desugar                                     ... ok
[INFO] [stdout] test repro_empty_query_term_encoding                               ... ok
[INFO] [stdout] test repro_equal_constant                                          ... ok
[INFO] [stdout] test repro_equal_constant_desugar                                  ... ok
[INFO] [stdout] test repro_equal_constant_term_encoding                            ... ok
[INFO] [stdout] test repro_equal_constant2                                         ... ok
[INFO] [stdout] test repro_desugar_143                                             ... ok
[INFO] [stdout] test repro_equal_constant2_desugar                                 ... ok
[INFO] [stdout] test repro_new_backend_delete                                      ... ok
[INFO] [stdout] test repro_equal_constant2_term_encoding                           ... ok
[INFO] [stdout] test repro_desugar_143_desugar                                     ... ok
[INFO] [stdout] test repro_new_backend_delete_desugar                              ... ok
[INFO] [stdout] test repro_new_backend_prims                                       ... ok
[INFO] [stdout] test repro_new_backend_prims_term_encoding                         ... ok
[INFO] [stdout] test repro_new_backend_prims_desugar                               ... ok
[INFO] [stdout] test repro_noteqbug                                                ... ok
[INFO] [stdout] test repro_noteqbug_desugar                                        ... ok
[INFO] [stdout] test repro_noteqbug_term_encoding                                  ... ok
[INFO] [stdout] test repro_primitive_query                                         ... ok
[INFO] [stdout] test repro_primitive_query_desugar                                 ... ok
[INFO] [stdout] test repro_primitive_query_term_encoding                           ... ok
[INFO] [stdout] test repro_querybug                                                ... ok
[INFO] [stdout] test repro_querybug_desugar                                        ... ok
[INFO] [stdout] test repro_querybug2                                               ... ok
[INFO] [stdout] test repro_querybug2_desugar                                       ... ok
[INFO] [stdout] test repro_querybug2_term_encoding                                 ... ok
[INFO] [stdout] test repro_querybug3                                               ... ok
[INFO] [stdout] test repro_querybug3_desugar                                       ... ok
[INFO] [stdout] test repro_querybug4                                               ... ok
[INFO] [stdout] test repro_querybug4_desugar                                       ... ok
[INFO] [stdout] test repro_querybug4_term_encoding                                 ... ok
[INFO] [stdout] test repro_should_saturate                                         ... ok
[INFO] [stdout] test repro_should_saturate_desugar                                 ... ok
[INFO] [stdout] test repro_should_saturate_term_encoding                           ... ok
[INFO] [stdout] test repro_silly_panic                                             ... ok
[INFO] [stdout] test repro_silly_panic_desugar                                     ... ok
[INFO] [stdout] test repro_typechecking_schedule                                   ... ok
[INFO] [stdout] test repro_typechecking_schedule_desugar                           ... ok
[INFO] [stdout] test repro_typechecking_schedule_term_encoding                     ... ok
[INFO] [stdout] test repro_unsound_htutorial                                       ... ok
[INFO] [stdout] test repro_unsound_htutorial_desugar                               ... ok
[INFO] [stdout] test extract_vec_bench                                             ... ok
[INFO] [stdout] test extract_vec_bench_desugar                                     ... ok
[INFO] [stdout] test repro_vec_unequal                                             ... ok
[INFO] [stdout] test repro_vec_unequal_desugar                                     ... ok
[INFO] [stdout] test set_sort_function                                             ... ok
[INFO] [stdout] test set_sort_function_desugar                                     ... ok
[INFO] [stdout] test slotted_egraph_encoded                                        ... ok
[INFO] [stdout] test slotted_egraph_encoded_desugar                                ... ok
[INFO] [stdout] test slotted_egraph_encoding_2                                     ... ok
[INFO] [stdout] test slotted_egraph_encoding_2_desugar                             ... ok
[INFO] [stderr] 
[INFO] [stderr] thread '<unnamed>' (87) panicked at tests/files.rs:80:21:
[INFO] [stderr] Top level error: In 33:27-31 of tests/slotted-egraph-encoding-3.egg: tuple
[INFO] [stderr]  Expect expression tuple to have type VecOfNameMap, but get type NameMap
[INFO] [stderr] stack backtrace:
[INFO] [stderr]    0:     0x55c5f9d992ca - std[b80a194dd3c418bb]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stderr]    1:     0x55c5f9d992ca - std[b80a194dd3c418bb]::backtrace_rs::backtrace::trace_unsynchronized::<std[b80a194dd3c418bb]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stderr]    2:     0x55c5f9d992ca - std[b80a194dd3c418bb]::sys::backtrace::_print_fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:74:9
[INFO] [stderr]    3:     0x55c5f9d992ca - <<std[b80a194dd3c418bb]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[10b6fa85044e1869]::fmt::Display>::fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:44:26
[INFO] [stderr]    4:     0x55c5f9db1b3a - <core[10b6fa85044e1869]::fmt::rt::Argument>::fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/fmt/rt.rs:152:76
[INFO] [stderr]    5:     0x55c5f9db1b3a - core[10b6fa85044e1869]::fmt::write
[INFO] [stderr]    6:     0x55c5f9d9ffc2 - std[b80a194dd3c418bb]::io::default_write_fmt::<std[b80a194dd3c418bb]::sys::stdio::unix::Stderr>
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/io/mod.rs:639:11
[INFO] [stderr]    7:     0x55c5f9d9ffc2 - <std[b80a194dd3c418bb]::sys::stdio::unix::Stderr as std[b80a194dd3c418bb]::io::Write>::write_fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/io/mod.rs:1994:13
[INFO] [stderr]    8:     0x55c5f9d7e64f - <std[b80a194dd3c418bb]::sys::backtrace::BacktraceLock>::print
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:47:9
[INFO] [stderr]    9:     0x55c5f9d7e64f - std[b80a194dd3c418bb]::panicking::default_hook::{closure#0}
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:292:27
[INFO] [stderr]   10:     0x55c5f9d91671 - std[b80a194dd3c418bb]::panicking::default_hook
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:319:9
[INFO] [stderr]   11:     0x55c5f9d918eb - std[b80a194dd3c418bb]::panicking::panic_with_hook
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:825:13
[INFO] [stderr]   12:     0x55c5f9d7e708 - std[b80a194dd3c418bb]::panicking::panic_handler::{closure#0}
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:698:13
[INFO] [stderr]   13:     0x55c5f9d75a09 - std[b80a194dd3c418bb]::sys::backtrace::__rust_end_short_backtrace::<std[b80a194dd3c418bb]::panicking::panic_handler::{closure#0}, !>
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:182:18
[INFO] [stderr]   14:     0x55c5f9d7f57d - __rustc[9698a3e60dd14283]::rust_begin_unwind
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:689:5
[INFO] [stderr]   15:     0x55c5f9db24cc - core[10b6fa85044e1869]::panicking::panic_fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panicking.rs:80:14
[INFO] [stderr]   16:     0x55c5f904e9dc - files::Run::test_program::ha1c86f04cd9e20a7
[INFO] [stderr]                                at /opt/rustwide/workdir/tests/files.rs:80:21
[INFO] [stderr]   17:     0x55c5f904ed2a - files::Run::run::h7930ce66a9d523c3
[INFO] [stderr]                                at /opt/rustwide/workdir/tests/files.rs:21:18
[INFO] [stderr]   18:     0x55c5f904de6e - files::Run::into_trial::{{closure}}::haf81bca3ed1ede82
[INFO] [stderr]                                at /opt/rustwide/workdir/tests/files.rs:89:18
[INFO] [stderr]   19:     0x55c5f9052f07 - libtest_mimic::Trial::test::{{closure}}::h6a26e57ae62e8e30
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:119:54
[INFO] [stderr]   20:     0x55c5f90537b6 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h7ec4ced9f6015375
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   21:     0x55c5f90887bd - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h471ca63698a529b8
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2240:9
[INFO] [stderr]   22:     0x55c5f9076950 - libtest_mimic::run_single::{{closure}}::h8d19898ec85747fd
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:576:43
[INFO] [stderr]   23:     0x55c5f90a4fb0 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h96bae64534e4634c
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stderr]   24:     0x55c5f909623c - std::panicking::catch_unwind::do_call::h3d28bef0a45e4b03
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:581:40
[INFO] [stderr]   25:     0x55c5f907c9ab - __rust_try
[INFO] [stderr]   26:     0x55c5f907c1cd - std::panicking::catch_unwind::h3bffa484cd52ce31
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:544:19
[INFO] [stderr]   27:     0x55c5f907c1cd - std::panic::catch_unwind::hdf7f345284e83c96
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panic.rs:359:14
[INFO] [stderr]   28:     0x55c5f9076901 - libtest_mimic::run_single::h2464e2c090a1e977
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:576:5
[INFO] [stderr]   29:     0x55c5f90781f6 - libtest_mimic::run::{{closure}}::{{closure}}::h830ce1d0c0f67782
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:531:43
[INFO] [stderr]   30:     0x55c5f907aae6 - std::sys::backtrace::__rust_begin_short_backtrace::h1b4ed37f1256a25d
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:166:18
[INFO] [stderr]   31:     0x55c5f9089e12 - std::thread::lifecycle::spawn_unchecked::{{closure}}::{{closure}}::h0eeabd088444e5cf
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stderr]   32:     0x55c5f90a5011 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::heeed209becfd3fc2
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stderr]   33:     0x55c5f90961c7 - std::panicking::catch_unwind::do_call::h0bf483f9b3db6291
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:581:40
[INFO] [stderr]   34:     0x55c5f908c86b - __rust_try
[INFO] [stderr]   35:     0x55c5f9089c30 - std::panicking::catch_unwind::h5864d98124f28f37
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:544:19
[INFO] [stderr]   36:     0x55c5f9089c30 - std::panic::catch_unwind::h4130b5a013b8906b
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panic.rs:359:14
[INFO] [stderr]   37:     0x55c5f9089c30 - std::thread::lifecycle::spawn_unchecked::{{closure}}::he14f620a2cfd5bb2
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stderr]   38:     0x55c5f908a20f - core::ops::function::FnOnce::call_once{{vtable.shim}}::h0b967e58463f554c
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   39:     0x55c5f9d9884f - <alloc[dd269455e567d8e9]::boxed::Box<dyn core[10b6fa85044e1869]::ops::function::FnOnce<(), Output = ()> + core[10b6fa85044e1869]::marker::Send> as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2240:9
[INFO] [stderr]   40:     0x55c5f9d9884f - <std[b80a194dd3c418bb]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stderr]   41:     0x749a135eeaa4 - <unknown>
[INFO] [stderr]   42:     0x749a1367ba64 - clone
[INFO] [stderr]   43:                0x0 - <unknown>
[INFO] [stdout] test slotted_egraph_encoding_3                                     ... FAILED
[INFO] [stderr] 
[INFO] [stderr] thread '<unnamed>' (87) panicked at tests/files.rs:30:18:
[INFO] [stderr] called `Result::unwrap()` on an `Err` value: TypeError(Mismatch { expr: Var(In 33:27-31 of tests/slotted-egraph-encoding-3.egg: tuple, "tuple"), expected: ContainerSortImpl(VecSort { name: "VecOfNameMap", element: ContainerSortImpl(MapSort { name: "NameMap", key: BaseSortImpl(I64Sort), value: BaseSortImpl(I64Sort) }) }), actual: ContainerSortImpl(MapSort { name: "NameMap", key: BaseSortImpl(I64Sort), value: BaseSortImpl(I64Sort) }) })
[INFO] [stderr] stack backtrace:
[INFO] [stderr]    0:     0x55c5f9d992ca - std[b80a194dd3c418bb]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stderr]    1:     0x55c5f9d992ca - std[b80a194dd3c418bb]::backtrace_rs::backtrace::trace_unsynchronized::<std[b80a194dd3c418bb]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stderr]    2:     0x55c5f9d992ca - std[b80a194dd3c418bb]::sys::backtrace::_print_fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:74:9
[INFO] [stderr]    3:     0x55c5f9d992ca - <<std[b80a194dd3c418bb]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[10b6fa85044e1869]::fmt::Display>::fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:44:26
[INFO] [stderr]    4:     0x55c5f9db1b3a - <core[10b6fa85044e1869]::fmt::rt::Argument>::fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/fmt/rt.rs:152:76
[INFO] [stderr]    5:     0x55c5f9db1b3a - core[10b6fa85044e1869]::fmt::write
[INFO] [stderr]    6:     0x55c5f9d9ffc2 - std[b80a194dd3c418bb]::io::default_write_fmt::<std[b80a194dd3c418bb]::sys::stdio::unix::Stderr>
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/io/mod.rs:639:11
[INFO] [stderr]    7:     0x55c5f9d9ffc2 - <std[b80a194dd3c418bb]::sys::stdio::unix::Stderr as std[b80a194dd3c418bb]::io::Write>::write_fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/io/mod.rs:1994:13
[INFO] [stderr]    8:     0x55c5f9d7e64f - <std[b80a194dd3c418bb]::sys::backtrace::BacktraceLock>::print
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:47:9
[INFO] [stderr]    9:     0x55c5f9d7e64f - std[b80a194dd3c418bb]::panicking::default_hook::{closure#0}
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:292:27
[INFO] [stderr]   10:     0x55c5f9d91671 - std[b80a194dd3c418bb]::panicking::default_hook
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:319:9
[INFO] [stderr]   11:     0x55c5f9d918eb - std[b80a194dd3c418bb]::panicking::panic_with_hook
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:825:13
[INFO] [stderr]   12:     0x55c5f9d7e708 - std[b80a194dd3c418bb]::panicking::panic_handler::{closure#0}
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:698:13
[INFO] [stderr]   13:     0x55c5f9d75a09 - std[b80a194dd3c418bb]::sys::backtrace::__rust_end_short_backtrace::<std[b80a194dd3c418bb]::panicking::panic_handler::{closure#0}, !>
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:182:18
[INFO] [stderr]   14:     0x55c5f9d7f57d - __rustc[9698a3e60dd14283]::rust_begin_unwind
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:689:5
[INFO] [stderr]   15:     0x55c5f9db24cc - core[10b6fa85044e1869]::panicking::panic_fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panicking.rs:80:14
[INFO] [stderr]   16:     0x55c5f9db2212 - core[10b6fa85044e1869]::result::unwrap_failed
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/result.rs:1867:5
[INFO] [stderr]   17:     0x55c5f904ef31 - core::result::Result<T,E>::unwrap::hdcdcdd25851a9594
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/result.rs:1233:23
[INFO] [stderr]   18:     0x55c5f904ef31 - files::Run::run::h7930ce66a9d523c3
[INFO] [stderr]                                at /opt/rustwide/workdir/tests/files.rs:30:18
[INFO] [stderr]   19:     0x55c5f904de6e - files::Run::into_trial::{{closure}}::haf81bca3ed1ede82
[INFO] [stderr]                                at /opt/rustwide/workdir/tests/files.rs:89:18
[INFO] [stderr]   20:     0x55c5f9052f07 - libtest_mimic::Trial::test::{{closure}}::h6a26e57ae62e8e30
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:119:54
[INFO] [stderr]   21:     0x55c5f90537b6 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h7ec4ced9f6015375
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   22:     0x55c5f90887bd - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h471ca63698a529b8
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2240:9
[INFO] [stderr]   23:     0x55c5f9076950 - libtest_mimic::run_single::{{closure}}::h8d19898ec85747fd
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:576:43
[INFO] [stderr]   24:     0x55c5f90a4fb0 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h96bae64534e4634c
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stderr]   25:     0x55c5f909623c - std::panicking::catch_unwind::do_call::h3d28bef0a45e4b03
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:581:40
[INFO] [stderr]   26:     0x55c5f907c9ab - __rust_try
[INFO] [stderr]   27:     0x55c5f907c1cd - std::panicking::catch_unwind::h3bffa484cd52ce31
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:544:19
[INFO] [stderr]   28:     0x55c5f907c1cd - std::panic::catch_unwind::hdf7f345284e83c96
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panic.rs:359:14
[INFO] [stderr]   29:     0x55c5f9076901 - libtest_mimic::run_single::h2464e2c090a1e977
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:576:5
[INFO] [stderr]   30:     0x55c5f90781f6 - libtest_mimic::run::{{closure}}::{{closure}}::h830ce1d0c0f67782
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:531:43
[INFO] [stderr]   31:     0x55c5f907aae6 - std::sys::backtrace::__rust_begin_short_backtrace::h1b4ed37f1256a25d
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:166:18
[INFO] [stderr]   32:     0x55c5f9089e12 - std::thread::lifecycle::spawn_unchecked::{{closure}}::{{closure}}::h0eeabd088444e5cf
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stderr]   33:     0x55c5f90a5011 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::heeed209becfd3fc2
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stderr]   34:     0x55c5f90961c7 - std::panicking::catch_unwind::do_call::h0bf483f9b3db6291
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:581:40
[INFO] [stderr]   35:     0x55c5f908c86b - __rust_try
[INFO] [stderr]   36:     0x55c5f9089c30 - std::panicking::catch_unwind::h5864d98124f28f37
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:544:19
[INFO] [stderr]   37:     0x55c5f9089c30 - std::panic::catch_unwind::h4130b5a013b8906b
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panic.rs:359:14
[INFO] [stderr]   38:     0x55c5f9089c30 - std::thread::lifecycle::spawn_unchecked::{{closure}}::he14f620a2cfd5bb2
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stderr]   39:     0x55c5f908a20f - core::ops::function::FnOnce::call_once{{vtable.shim}}::h0b967e58463f554c
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   40:     0x55c5f9d9884f - <alloc[dd269455e567d8e9]::boxed::Box<dyn core[10b6fa85044e1869]::ops::function::FnOnce<(), Output = ()> + core[10b6fa85044e1869]::marker::Send> as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2240:9
[INFO] [stderr]   41:     0x55c5f9d9884f - <std[b80a194dd3c418bb]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stderr]   42:     0x749a135eeaa4 - <unknown>
[INFO] [stderr]   43:     0x749a1367ba64 - clone
[INFO] [stderr]   44:                0x0 - <unknown>
[INFO] [stdout] test slotted_egraph_encoding_3_desugar                             ... FAILED
[INFO] [stderr] 
[INFO] [stderr] thread '<unnamed>' (87) panicked at tests/files.rs:80:21:
[INFO] [stderr] Top level error: In 28:46-55 of tests/slotted-egraph-encoding-4.egg: (invert m)
[INFO] [stderr] Unbound function invert
[INFO] [stderr] stack backtrace:
[INFO] [stderr]    0:     0x55c5f9d992ca - std[b80a194dd3c418bb]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stderr]    1:     0x55c5f9d992ca - std[b80a194dd3c418bb]::backtrace_rs::backtrace::trace_unsynchronized::<std[b80a194dd3c418bb]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stderr]    2:     0x55c5f9d992ca - std[b80a194dd3c418bb]::sys::backtrace::_print_fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:74:9
[INFO] [stderr]    3:     0x55c5f9d992ca - <<std[b80a194dd3c418bb]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[10b6fa85044e1869]::fmt::Display>::fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:44:26
[INFO] [stderr]    4:     0x55c5f9db1b3a - <core[10b6fa85044e1869]::fmt::rt::Argument>::fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/fmt/rt.rs:152:76
[INFO] [stderr]    5:     0x55c5f9db1b3a - core[10b6fa85044e1869]::fmt::write
[INFO] [stderr]    6:     0x55c5f9d9ffc2 - std[b80a194dd3c418bb]::io::default_write_fmt::<std[b80a194dd3c418bb]::sys::stdio::unix::Stderr>
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/io/mod.rs:639:11
[INFO] [stderr]    7:     0x55c5f9d9ffc2 - <std[b80a194dd3c418bb]::sys::stdio::unix::Stderr as std[b80a194dd3c418bb]::io::Write>::write_fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/io/mod.rs:1994:13
[INFO] [stderr]    8:     0x55c5f9d7e64f - <std[b80a194dd3c418bb]::sys::backtrace::BacktraceLock>::print
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:47:9
[INFO] [stderr]    9:     0x55c5f9d7e64f - std[b80a194dd3c418bb]::panicking::default_hook::{closure#0}
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:292:27
[INFO] [stderr]   10:     0x55c5f9d91671 - std[b80a194dd3c418bb]::panicking::default_hook
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:319:9
[INFO] [stderr]   11:     0x55c5f9d918eb - std[b80a194dd3c418bb]::panicking::panic_with_hook
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:825:13
[INFO] [stderr]   12:     0x55c5f9d7e708 - std[b80a194dd3c418bb]::panicking::panic_handler::{closure#0}
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:698:13
[INFO] [stderr]   13:     0x55c5f9d75a09 - std[b80a194dd3c418bb]::sys::backtrace::__rust_end_short_backtrace::<std[b80a194dd3c418bb]::panicking::panic_handler::{closure#0}, !>
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:182:18
[INFO] [stderr]   14:     0x55c5f9d7f57d - __rustc[9698a3e60dd14283]::rust_begin_unwind
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:689:5
[INFO] [stderr]   15:     0x55c5f9db24cc - core[10b6fa85044e1869]::panicking::panic_fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panicking.rs:80:14
[INFO] [stderr]   16:     0x55c5f904e9dc - files::Run::test_program::ha1c86f04cd9e20a7
[INFO] [stderr]                                at /opt/rustwide/workdir/tests/files.rs:80:21
[INFO] [stderr]   17:     0x55c5f904ed2a - files::Run::run::h7930ce66a9d523c3
[INFO] [stderr]                                at /opt/rustwide/workdir/tests/files.rs:21:18
[INFO] [stderr]   18:     0x55c5f904de6e - files::Run::into_trial::{{closure}}::haf81bca3ed1ede82
[INFO] [stderr]                                at /opt/rustwide/workdir/tests/files.rs:89:18
[INFO] [stderr]   19:     0x55c5f9052f07 - libtest_mimic::Trial::test::{{closure}}::h6a26e57ae62e8e30
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:119:54
[INFO] [stderr]   20:     0x55c5f90537b6 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h7ec4ced9f6015375
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   21:     0x55c5f90887bd - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h471ca63698a529b8
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2240:9
[INFO] [stderr]   22:     0x55c5f9076950 - libtest_mimic::run_single::{{closure}}::h8d19898ec85747fd
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:576:43
[INFO] [stderr]   23:     0x55c5f90a4fb0 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h96bae64534e4634c
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stderr]   24:     0x55c5f909623c - std::panicking::catch_unwind::do_call::h3d28bef0a45e4b03
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:581:40
[INFO] [stderr]   25:     0x55c5f907c9ab - __rust_try
[INFO] [stderr]   26:     0x55c5f907c1cd - std::panicking::catch_unwind::h3bffa484cd52ce31
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:544:19
[INFO] [stderr]   27:     0x55c5f907c1cd - std::panic::catch_unwind::hdf7f345284e83c96
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panic.rs:359:14
[INFO] [stderr]   28:     0x55c5f9076901 - libtest_mimic::run_single::h2464e2c090a1e977
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:576:5
[INFO] [stderr]   29:     0x55c5f90781f6 - libtest_mimic::run::{{closure}}::{{closure}}::h830ce1d0c0f67782
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:531:43
[INFO] [stderr]   30:     0x55c5f907aae6 - std::sys::backtrace::__rust_begin_short_backtrace::h1b4ed37f1256a25d
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:166:18
[INFO] [stderr]   31:     0x55c5f9089e12 - std::thread::lifecycle::spawn_unchecked::{{closure}}::{{closure}}::h0eeabd088444e5cf
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stderr]   32:     0x55c5f90a5011 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::heeed209becfd3fc2
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stderr]   33:     0x55c5f90961c7 - std::panicking::catch_unwind::do_call::h0bf483f9b3db6291
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:581:40
[INFO] [stderr]   34:     0x55c5f908c86b - __rust_try
[INFO] [stderr]   35:     0x55c5f9089c30 - std::panicking::catch_unwind::h5864d98124f28f37
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:544:19
[INFO] [stderr]   36:     0x55c5f9089c30 - std::panic::catch_unwind::h4130b5a013b8906b
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panic.rs:359:14
[INFO] [stderr]   37:     0x55c5f9089c30 - std::thread::lifecycle::spawn_unchecked::{{closure}}::he14f620a2cfd5bb2
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stderr]   38:     0x55c5f908a20f - core::ops::function::FnOnce::call_once{{vtable.shim}}::h0b967e58463f554c
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   39:     0x55c5f9d9884f - <alloc[dd269455e567d8e9]::boxed::Box<dyn core[10b6fa85044e1869]::ops::function::FnOnce<(), Output = ()> + core[10b6fa85044e1869]::marker::Send> as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2240:9
[INFO] [stderr]   40:     0x55c5f9d9884f - <std[b80a194dd3c418bb]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stderr]   41:     0x749a135eeaa4 - <unknown>
[INFO] [stderr]   42:     0x749a1367ba64 - clone
[INFO] [stderr]   43:                0x0 - <unknown>
[INFO] [stderr] 
[INFO] [stdout] test slotted_egraph_encoding_4                                     ... FAILED
[INFO] [stderr] thread '<unnamed>' (87) panicked at tests/files.rs:30:18:
[INFO] [stderr] called `Result::unwrap()` on an `Err` value: TypeError(UnboundFunction("invert", In 28:46-55 of tests/slotted-egraph-encoding-4.egg: (invert m)))
[INFO] [stderr] stack backtrace:
[INFO] [stderr]    0:     0x55c5f9d992ca - std[b80a194dd3c418bb]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stderr]    1:     0x55c5f9d992ca - std[b80a194dd3c418bb]::backtrace_rs::backtrace::trace_unsynchronized::<std[b80a194dd3c418bb]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stderr]    2:     0x55c5f9d992ca - std[b80a194dd3c418bb]::sys::backtrace::_print_fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:74:9
[INFO] [stderr]    3:     0x55c5f9d992ca - <<std[b80a194dd3c418bb]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[10b6fa85044e1869]::fmt::Display>::fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:44:26
[INFO] [stderr]    4:     0x55c5f9db1b3a - <core[10b6fa85044e1869]::fmt::rt::Argument>::fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/fmt/rt.rs:152:76
[INFO] [stderr]    5:     0x55c5f9db1b3a - core[10b6fa85044e1869]::fmt::write
[INFO] [stderr]    6:     0x55c5f9d9ffc2 - std[b80a194dd3c418bb]::io::default_write_fmt::<std[b80a194dd3c418bb]::sys::stdio::unix::Stderr>
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/io/mod.rs:639:11
[INFO] [stderr]    7:     0x55c5f9d9ffc2 - <std[b80a194dd3c418bb]::sys::stdio::unix::Stderr as std[b80a194dd3c418bb]::io::Write>::write_fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/io/mod.rs:1994:13
[INFO] [stderr]    8:     0x55c5f9d7e64f - <std[b80a194dd3c418bb]::sys::backtrace::BacktraceLock>::print
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:47:9
[INFO] [stderr]    9:     0x55c5f9d7e64f - std[b80a194dd3c418bb]::panicking::default_hook::{closure#0}
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:292:27
[INFO] [stderr]   10:     0x55c5f9d91671 - std[b80a194dd3c418bb]::panicking::default_hook
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:319:9
[INFO] [stderr]   11:     0x55c5f9d918eb - std[b80a194dd3c418bb]::panicking::panic_with_hook
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:825:13
[INFO] [stderr]   12:     0x55c5f9d7e708 - std[b80a194dd3c418bb]::panicking::panic_handler::{closure#0}
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:698:13
[INFO] [stderr]   13:     0x55c5f9d75a09 - std[b80a194dd3c418bb]::sys::backtrace::__rust_end_short_backtrace::<std[b80a194dd3c418bb]::panicking::panic_handler::{closure#0}, !>
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:182:18
[INFO] [stderr]   14:     0x55c5f9d7f57d - __rustc[9698a3e60dd14283]::rust_begin_unwind
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:689:5
[INFO] [stderr]   15:     0x55c5f9db24cc - core[10b6fa85044e1869]::panicking::panic_fmt
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panicking.rs:80:14
[INFO] [stderr]   16:     0x55c5f9db2212 - core[10b6fa85044e1869]::result::unwrap_failed
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/result.rs:1867:5
[INFO] [stderr]   17:     0x55c5f904ef31 - core::result::Result<T,E>::unwrap::hdcdcdd25851a9594
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/result.rs:1233:23
[INFO] [stderr]   18:     0x55c5f904ef31 - files::Run::run::h7930ce66a9d523c3
[INFO] [stderr]                                at /opt/rustwide/workdir/tests/files.rs:30:18
[INFO] [stderr]   19:     0x55c5f904de6e - files::Run::into_trial::{{closure}}::haf81bca3ed1ede82
[INFO] [stderr]                                at /opt/rustwide/workdir/tests/files.rs:89:18
[INFO] [stderr]   20:     0x55c5f9052f07 - libtest_mimic::Trial::test::{{closure}}::h6a26e57ae62e8e30
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:119:54
[INFO] [stderr]   21:     0x55c5f90537b6 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h7ec4ced9f6015375
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   22:     0x55c5f90887bd - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h471ca63698a529b8
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2240:9
[INFO] [stderr]   23:     0x55c5f9076950 - libtest_mimic::run_single::{{closure}}::h8d19898ec85747fd
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:576:43
[INFO] [stderr]   24:     0x55c5f90a4fb0 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h96bae64534e4634c
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stderr]   25:     0x55c5f909623c - std::panicking::catch_unwind::do_call::h3d28bef0a45e4b03
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:581:40
[INFO] [stderr]   26:     0x55c5f907c9ab - __rust_try
[INFO] [stderr]   27:     0x55c5f907c1cd - std::panicking::catch_unwind::h3bffa484cd52ce31
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:544:19
[INFO] [stderr]   28:     0x55c5f907c1cd - std::panic::catch_unwind::hdf7f345284e83c96
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panic.rs:359:14
[INFO] [stderr]   29:     0x55c5f9076901 - libtest_mimic::run_single::h2464e2c090a1e977
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:576:5
[INFO] [stderr]   30:     0x55c5f90781f6 - libtest_mimic::run::{{closure}}::{{closure}}::h830ce1d0c0f67782
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libtest-mimic-0.8.1/src/lib.rs:531:43
[INFO] [stderr]   31:     0x55c5f907aae6 - std::sys::backtrace::__rust_begin_short_backtrace::h1b4ed37f1256a25d
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:166:18
[INFO] [stderr]   32:     0x55c5f9089e12 - std::thread::lifecycle::spawn_unchecked::{{closure}}::{{closure}}::h0eeabd088444e5cf
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stderr]   33:     0x55c5f90a5011 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::heeed209becfd3fc2
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stderr]   34:     0x55c5f90961c7 - std::panicking::catch_unwind::do_call::h0bf483f9b3db6291
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:581:40
[INFO] [stderr]   35:     0x55c5f908c86b - __rust_try
[INFO] [stderr]   36:     0x55c5f9089c30 - std::panicking::catch_unwind::h5864d98124f28f37
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:544:19
[INFO] [stderr]   37:     0x55c5f9089c30 - std::panic::catch_unwind::h4130b5a013b8906b
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panic.rs:359:14
[INFO] [stderr]   38:     0x55c5f9089c30 - std::thread::lifecycle::spawn_unchecked::{{closure}}::he14f620a2cfd5bb2
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stderr]   39:     0x55c5f908a20f - core::ops::function::FnOnce::call_once{{vtable.shim}}::h0b967e58463f554c
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   40:     0x55c5f9d9884f - <alloc[dd269455e567d8e9]::boxed::Box<dyn core[10b6fa85044e1869]::ops::function::FnOnce<(), Output = ()> + core[10b6fa85044e1869]::marker::Send> as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2240:9
[INFO] [stderr]   41:     0x55c5f9d9884f - <std[b80a194dd3c418bb]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stderr]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stderr]   42:     0x749a135eeaa4 - <unknown>
[INFO] [stderr]   43:     0x749a1367ba64 - clone
[INFO] [stderr]   44:                0x0 - <unknown>
[INFO] [stdout] test slotted_egraph_encoding_4_desugar                             ... FAILED
[INFO] [stdout] test slotted_egraph_encoding_5                                     ... ok
[INFO] [stdout] test slotted_egraph_encoding_5_desugar                             ... ok
[INFO] [stdout] test slotted_egraph_encoding_6                                     ... ok
[INFO] [stdout] test cykjson                                                       ... ok
[INFO] [stdout] test stratified                                                    ... ok
[INFO] [stdout] test stratified_desugar                                            ... ok
[INFO] [stdout] test slotted_egraph_encoding_6_desugar                             ... ok
[INFO] [stdout] test repro_new_backend_python_vec                                  ... ok
[INFO] [stdout] test string                                                        ... ok
[INFO] [stdout] test string_desugar                                                ... ok
[INFO] [stdout] test string_term_encoding                                          ... ok
[INFO] [stdout] test string_quotes                                                 ... ok
[INFO] [stdout] test string_quotes_desugar                                         ... ok
[INFO] [stdout] test subsume_relation                                              ... ok
[INFO] [stdout] test subsume_relation_desugar                                      ... ok
[INFO] [stdout] test cykjson_desugar                                               ... ok
[INFO] [stdout] test repro_unsound                                                 ... ok
[INFO] [stdout] test test_combined_steps                                           ... ok
[INFO] [stdout] test repro_unsound_desugar                                         ... ok
[INFO] [stdout] test repro_new_backend_python_vec_desugar                          ... ok
[INFO] [stdout] test test_combined_steps_desugar                                   ... ok
[INFO] [stdout] test test_combined                                                 ... ok
[INFO] [stdout] test test_combined_desugar                                         ... ok
[INFO] [stdout] test type_constraints_tests                                        ... ok
[INFO] [stdout] test type_constraints_tests_desugar                                ... ok
[INFO] [stdout] test until                                                         ... 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/debug/deps/files-0dea1b5fbd9c8d10` (signal: 9, SIGKILL: kill)
[INFO] running `Command { std: "docker" "inspect" "31fd3f628cd7e2017e04da11e48bae271e5ebc7952eca9fbe39af59a1d6d4bcb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "31fd3f628cd7e2017e04da11e48bae271e5ebc7952eca9fbe39af59a1d6d4bcb", kill_on_drop: false }`
[INFO] [stdout] 31fd3f628cd7e2017e04da11e48bae271e5ebc7952eca9fbe39af59a1d6d4bcb
