[INFO] fetching crate egglog 2.0.0... [INFO] testing egglog-2.0.0 against master#562dee4820c458d823175268e41601d4c060588a for pr-154210-1 [INFO] extracting crate egglog 2.0.0 into /workspace/builds/worker-5-tc1/source [INFO] removed /workspace/builds/worker-5-tc1/source/rust-toolchain.toml [INFO] started tweaking crates.io crate egglog 2.0.0 [INFO] removed 0 missing tests [INFO] finished tweaking crates.io crate egglog 2.0.0 [INFO] tweaked toml for crates.io crate egglog 2.0.0 written to /workspace/builds/worker-5-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate egglog 2.0.0 on toolchain 562dee4820c458d823175268e41601d4c060588a [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate egglog 2.0.0 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" "+562dee4820c458d823175268e41601d4c060588a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded testing_logger v0.1.1 [INFO] [stderr] Downloaded into-attr v0.1.1 [INFO] [stderr] Downloaded escape8259 v0.5.3 [INFO] [stderr] Downloaded libtest-mimic v0.8.1 [INFO] [stderr] Downloaded into-attr-derive v0.2.1 [INFO] [stderr] Downloaded graphviz-rust v0.9.6 [INFO] [stderr] Downloaded divan-macros v0.1.17 [INFO] [stderr] Downloaded egglog-numeric-id v2.0.0 [INFO] [stderr] Downloaded dot-structures v0.1.2 [INFO] [stderr] Downloaded condtype v1.3.0 [INFO] [stderr] Downloaded egglog-add-primitive v2.0.0 [INFO] [stderr] Downloaded toml_datetime v0.7.2 [INFO] [stderr] Downloaded codspeed-divan-compat-macros v4.0.3 [INFO] [stderr] Downloaded egglog-union-find v2.0.0 [INFO] [stderr] Downloaded toml_parser v1.0.3 [INFO] [stderr] Downloaded toml_edit v0.23.6 [INFO] [stderr] Downloaded insta v1.45.0 [INFO] [stderr] Downloaded codspeed-divan-compat-walltime v4.0.3 [INFO] [stderr] Downloaded egglog-core-relations v2.0.0 [INFO] [stderr] Downloaded statrs v0.18.0 [INFO] [stderr] Downloaded im-rc v15.1.0 [INFO] [stderr] Downloaded egglog-bridge v2.0.0 [INFO] [stderr] Downloaded codspeed-divan-compat v4.0.3 [INFO] [stderr] Downloaded codspeed v4.0.3 [INFO] [stderr] Downloaded egglog-concurrency v2.0.0 [INFO] [stderr] Downloaded egglog-reports v2.0.0 [INFO] [stderr] Downloaded dot-generator v0.2.0 [INFO] [stderr] Downloaded egglog-ast v2.0.0 [INFO] [stderr] Downloaded petgraph v0.8.3 [INFO] [stderr] Downloaded egraph-serialize v0.3.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 9af6588064b6e667f3e80449608bc465459bf5cc1e760490827ee1c4cbcc4aa0 [INFO] running `Command { std: "docker" "start" "-a" "9af6588064b6e667f3e80449608bc465459bf5cc1e760490827ee1c4cbcc4aa0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "9af6588064b6e667f3e80449608bc465459bf5cc1e760490827ee1c4cbcc4aa0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9af6588064b6e667f3e80449608bc465459bf5cc1e760490827ee1c4cbcc4aa0", kill_on_drop: false }` [INFO] [stdout] 9af6588064b6e667f3e80449608bc465459bf5cc1e760490827ee1c4cbcc4aa0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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" "+562dee4820c458d823175268e41601d4c060588a" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] a77460ea83411afc2ad2fb3dca78615281dfce734964165086e730ebcf8a6049 [INFO] running `Command { std: "docker" "start" "-a" "a77460ea83411afc2ad2fb3dca78615281dfce734964165086e730ebcf8a6049", kill_on_drop: false }` [INFO] [stderr] Compiling syn v2.0.106 [INFO] [stderr] Compiling rayon-core v1.13.0 [INFO] [stderr] Compiling foldhash v0.2.0 [INFO] [stderr] Compiling serde_core v1.0.228 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling serde_json v1.0.145 [INFO] [stderr] Compiling ucd-trie v0.1.7 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Compiling dot-structures v0.1.2 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling cc v1.2.40 [INFO] [stderr] Compiling crossbeam-channel v0.5.15 [INFO] [stderr] Compiling regex-syntax v0.8.6 [INFO] [stderr] Compiling arc-swap v1.7.1 [INFO] [stderr] Compiling bitflags v2.9.4 [INFO] [stderr] Compiling hashbrown v0.15.5 [INFO] [stderr] Compiling pest v2.8.3 [INFO] [stderr] Compiling dot-generator v0.2.0 [INFO] [stderr] Compiling into-attr v0.1.1 [INFO] [stderr] Compiling rustix v1.1.2 [INFO] [stderr] Compiling parking_lot_core v0.9.12 [INFO] [stderr] Compiling fixedbitset v0.5.7 [INFO] [stderr] Compiling rustc-hash v2.1.1 [INFO] [stderr] Compiling im-rc v15.1.0 [INFO] [stderr] Compiling bitmaps v2.1.0 [INFO] [stderr] Compiling chrono v0.4.42 [INFO] [stderr] Compiling bumpalo v3.19.0 [INFO] [stderr] Compiling rayon v1.11.0 [INFO] [stderr] Compiling dashmap v6.1.0 [INFO] [stderr] Compiling dyn-clone v1.0.20 [INFO] [stderr] Compiling rand_xoshiro v0.6.0 [INFO] [stderr] Compiling crossbeam v0.8.4 [INFO] [stderr] Compiling csv-core v0.1.12 [INFO] [stderr] Compiling sized-chunks v0.6.5 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling num-complex v0.4.6 [INFO] [stderr] Compiling egglog v2.0.0 (/opt/rustwide/workdir) [INFO] [stderr] Compiling libmimalloc-sys v0.1.44 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Compiling num-iter v0.1.45 [INFO] [stderr] Compiling regex-automata v0.4.11 [INFO] [stderr] Compiling pest_meta v2.8.3 [INFO] [stderr] Compiling tempfile v3.23.0 [INFO] [stderr] Compiling into-attr-derive v0.2.1 [INFO] [stderr] Compiling num-rational v0.4.2 [INFO] [stderr] Compiling mimalloc v0.1.48 [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 egglog-add-primitive v2.0.0 [INFO] [stderr] Compiling egglog-numeric-id v2.0.0 [INFO] [stderr] Compiling egglog-concurrency v2.0.0 [INFO] [stderr] Compiling pest_generator v2.8.3 [INFO] [stderr] Compiling num v0.4.3 [INFO] [stderr] Compiling egglog-union-find v2.0.0 [INFO] [stderr] Compiling regex v1.11.3 [INFO] [stderr] Compiling env_filter v0.1.3 [INFO] [stderr] Compiling env_logger v0.11.8 [INFO] [stderr] Compiling pest_derive v2.8.3 [INFO] [stderr] Compiling graphviz-rust v0.9.6 [INFO] [stderr] Compiling thiserror v2.0.17 [INFO] [stderr] Compiling clap v4.5.48 [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 v2.0.0 [INFO] [stderr] Compiling indexmap v2.11.4 [INFO] [stderr] Compiling petgraph v0.8.3 [INFO] [stderr] Compiling egglog-reports v2.0.0 [INFO] [stderr] Compiling egraph-serialize v0.3.0 [INFO] [stderr] Compiling egglog-core-relations v2.0.0 [INFO] [stderr] Compiling egglog-bridge v2.0.0 [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 49.34s [INFO] running `Command { std: "docker" "inspect" "a77460ea83411afc2ad2fb3dca78615281dfce734964165086e730ebcf8a6049", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a77460ea83411afc2ad2fb3dca78615281dfce734964165086e730ebcf8a6049", kill_on_drop: false }` [INFO] [stdout] a77460ea83411afc2ad2fb3dca78615281dfce734964165086e730ebcf8a6049 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] b637636b2722be3a502f1a5a49388db8ec6a38e292cf6fc9ee6aafe38d35ce84 [INFO] running `Command { std: "docker" "start" "-a" "b637636b2722be3a502f1a5a49388db8ec6a38e292cf6fc9ee6aafe38d35ce84", 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 glob v0.3.3 [INFO] [stderr] Compiling syn v2.0.106 [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 nix v0.30.1 [INFO] [stderr] Compiling regex v1.11.3 [INFO] [stderr] Compiling winnow v0.7.13 [INFO] [stderr] Compiling hashbrown v0.16.0 [INFO] [stderr] Compiling itertools v0.10.5 [INFO] [stderr] Compiling toml_datetime v0.7.2 [INFO] [stderr] Compiling itertools v0.14.0 [INFO] [stderr] Compiling nom v7.1.3 [INFO] [stderr] Compiling regex-lite v0.1.7 [INFO] [stderr] Compiling env_filter v0.1.3 [INFO] [stderr] Compiling condtype v1.3.0 [INFO] [stderr] Compiling codspeed-divan-compat v4.0.3 [INFO] [stderr] Compiling escape8259 v0.5.3 [INFO] [stderr] Compiling similar v2.7.0 [INFO] [stderr] Compiling clang-sys v1.8.1 [INFO] [stderr] Compiling env_logger v0.11.8 [INFO] [stderr] Compiling indexmap v2.11.4 [INFO] [stderr] Compiling testing_logger v0.1.1 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling regex-automata v0.4.11 [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 toml_parser v1.0.3 [INFO] [stderr] Compiling num-rational v0.4.2 [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 mimalloc v0.1.48 [INFO] [stderr] Compiling toml_edit v0.23.6 [INFO] [stderr] Compiling terminal_size v0.4.3 [INFO] [stderr] Compiling rand_core v0.9.3 [INFO] [stderr] Compiling tempfile v3.23.0 [INFO] [stderr] Compiling clap_builder v4.5.48 [INFO] [stderr] Compiling rand_chacha v0.9.0 [INFO] [stderr] Compiling num v0.4.3 [INFO] [stderr] Compiling dashmap v6.1.0 [INFO] [stderr] Compiling uuid v1.18.1 [INFO] [stderr] Compiling rand v0.9.2 [INFO] [stderr] Compiling insta v1.45.0 [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 divan-macros v0.1.17 [INFO] [stderr] Compiling egglog-add-primitive v2.0.0 [INFO] [stderr] Compiling pest_derive v2.8.3 [INFO] [stderr] Compiling graphviz-rust v0.9.6 [INFO] [stderr] Compiling codspeed-divan-compat-macros v4.0.3 [INFO] [stderr] Compiling thiserror v2.0.17 [INFO] [stderr] Compiling clap v4.5.48 [INFO] [stderr] Compiling libtest-mimic v0.8.1 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Compiling ordered-float v5.1.0 [INFO] [stderr] Compiling csv v1.3.1 [INFO] [stderr] Compiling egglog-ast v2.0.0 [INFO] [stderr] Compiling serde_json v1.0.145 [INFO] [stderr] Compiling petgraph v0.8.3 [INFO] [stderr] Compiling egglog-reports v2.0.0 [INFO] [stderr] Compiling egraph-serialize v0.3.0 [INFO] [stderr] Compiling codspeed v4.0.3 [INFO] [stderr] Compiling egglog-core-relations v2.0.0 [INFO] [stderr] Compiling codspeed-divan-compat-walltime v4.0.3 [INFO] [stderr] Compiling egglog-bridge v2.0.0 [INFO] [stderr] Compiling egglog v2.0.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 2m 53s [INFO] running `Command { std: "docker" "inspect" "b637636b2722be3a502f1a5a49388db8ec6a38e292cf6fc9ee6aafe38d35ce84", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b637636b2722be3a502f1a5a49388db8ec6a38e292cf6fc9ee6aafe38d35ce84", kill_on_drop: false }` [INFO] [stdout] b637636b2722be3a502f1a5a49388db8ec6a38e292cf6fc9ee6aafe38d35ce84 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 4f6f02d38fa8b3190afd9077024c8a6cf3f109a9bba119ce0dfe80b955b6b17a [INFO] running `Command { std: "docker" "start" "-a" "4f6f02d38fa8b3190afd9077024c8a6cf3f109a9bba119ce0dfe80b955b6b17a", kill_on_drop: false }` [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.33s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/egglog-ceb9b806efec0584) [INFO] [stdout] [INFO] [stdout] running 29 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 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_app_var_lit ... ok [INFO] [stdout] test termdag::tests::test_to_string ... ok [INFO] [stdout] test termdag::tests::test_multiline_parentheses_share_final_line ... ok [INFO] [stdout] test ast::parse::tests::test_parser_macros ... ok [INFO] [stdout] test termdag::tests::test_lookup ... ok [INFO] [stdout] test termdag::tests::test_to_from_expr ... ok [INFO] [stdout] test termdag::tests::test_match_term_app ... ok [INFO] [stdout] test termdag::tests::test_to_string_with_let_shares_large_terms ... ok [INFO] [stdout] test termdag::tests::test_to_string_with_let_wraps_long_lines ... ok [INFO] [stdout] test termdag::tests::test_to_string_with_let_inlines_small_terms ... ok [INFO] [stdout] test typechecking::test::test_arity_mismatch ... ok [INFO] [stdout] test tests::test_egraph_send_sync ... ok [INFO] [stdout] test term_encoding::tests::doc_example_add_function ... ok [INFO] [stdout] test cli::tests::test_repl ... ok [INFO] [stdout] test tests::test_subsumed_unextractable_rebuild_arg ... ok [INFO] [stdout] test tests::test_subsumed_unextractable_rebuild_self ... ok [INFO] [stdout] test prelude::tests::rust_api_query ... ok [INFO] [stdout] test prelude::tests::rust_api_macros ... ok [INFO] [stdout] test tests::test_user_defined_primitive ... ok [INFO] [stdout] test sort::vec::tests::test_vec_make_expr ... ok [INFO] [stdout] test prelude::tests::rust_api_rule ... ok [INFO] [stdout] test prelude::tests::rust_api_rust_rule ... ok [INFO] [stdout] test scheduler::test::test_first_n_scheduler ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 29 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.21s [INFO] [stdout] [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/egglog-f51a114c19bbcc81) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/files.rs (/opt/rustwide/target/debug/deps/files-b7001729b38a92e5) [INFO] [stdout] [INFO] [stdout] running 266 tests [INFO] [stdout] test complex_merge_prim ... ok [INFO] [stdout] test combined_nested ... ok [INFO] [stdout] test complex_merge_func ... ok [INFO] [stdout] test bitwise ... ok [INFO] [stdout] test combined_nested_desugar ... ok [INFO] [stdout] test complex_merge_func_desugar ... ok [INFO] [stdout] test bitwise_desugar ... ok [INFO] [stdout] test bool ... ok [INFO] [stdout] test complex_merge_prim_desugar ... ok [INFO] [stdout] test bitwise_term_encoding ... ok [INFO] [stdout] test before_proofs ... ok [INFO] [stdout] test delete ... ok [INFO] [stdout] test delete_desugar ... ok [INFO] [stdout] test before_proofs_desugar ... ok [INFO] [stdout] test bool_desugar ... ok [INFO] [stdout] test fail-typecheck/arity_mismatch ... ok [INFO] [stdout] test f64 ... ok [INFO] [stdout] test fail-typecheck/constructor_non_sort ... ok [INFO] [stdout] test fail-typecheck/looking_up_nonconstructor_in_action_case_let ... ok [INFO] [stdout] test f64_desugar ... 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_set ... ok [INFO] [stdout] test fail-typecheck/looking_up_nonconstructor_in_rewrite ... ok [INFO] [stdout] test complex_merge_prim_term_encoding ... ok [INFO] [stdout] test fail-typecheck/set_a_primitive ... ok [INFO] [stdout] test fail-typecheck/repro_containers_disallowed ... ok [INFO] [stdout] test fail-typecheck/repro_duplicated_var ... ok [INFO] [stdout] test f64_term_encoding ... ok [INFO] [stdout] test calc ... ok [INFO] [stdout] test fail-typecheck/shadow_global ... ok [INFO] [stdout] test fail-typecheck/shadow_global_constructor ... ok [INFO] [stdout] test container_rebuild ... ok [INFO] [stdout] test fail-typecheck/shadow_local_global ... ok [INFO] [stdout] test fail-typecheck/semi_naive_set_function ... ok [INFO] [stdout] test fail-typecheck/shadow_local ... ok [INFO] [stdout] test fail-typecheck/shadow_local_constructor ... ok [INFO] [stdout] test fail-typecheck/ungrounded_1 ... ok [INFO] [stdout] test fail-typecheck/ungrounded_0 ... ok [INFO] [stdout] test fail-typecheck/shadow_local_global_no_prefix ... ok [INFO] [stdout] test fail-typecheck/unbound ... ok [INFO] [stdout] test fail-typecheck/ungrounded_2 ... ok [INFO] [stdout] test fail-typecheck/ungrounded_4 ... ok [INFO] [stdout] test fail-typecheck/unstable_fn_wrong_args ... ok [INFO] [stdout] test fail-typecheck/union_non_sort ... ok [INFO] [stdout] test fail-typecheck/unstable_fn_wrong_return_type ... ok [INFO] [stdout] test fail-typecheck/unstable_fn_wrong_args_type ... ok [INFO] [stdout] test fail-typecheck/ungrounded_3 ... ok [INFO] [stdout] test container_rebuild_desugar ... ok [INFO] [stdout] test complex_merge_func_term_encoding ... ok [INFO] [stdout] test fail-typecheck/unstable_fn_wrong_return ... ok [INFO] [stdout] test i64 ... ok [INFO] [stdout] test i64_term_encoding ... ok [INFO] [stdout] test fail_wrong_assertion ... ok [INFO] [stdout] test i64_desugar ... ok [INFO] [stdout] test fibonacci_demand ... ok [INFO] [stdout] test fail_wrong_assertion_desugar ... ok [INFO] [stdout] test calc_desugar ... ok [INFO] [stdout] test include ... ok [INFO] [stdout] test include_desugar ... ok [INFO] [stdout] test looking_up_global ... ok [INFO] [stdout] test fibonacci_demand_desugar ... ok [INFO] [stdout] test looking_up_nonconstructor_in_rewrite_good ... ok [INFO] [stdout] test looking_up_global_desugar ... ok [INFO] [stdout] test interval ... ok [INFO] [stdout] test map ... ok [INFO] [stdout] test looking_up_nonconstructor_in_rewrite_good_desugar ... ok [INFO] [stdout] test map_desugar ... ok [INFO] [stdout] test interval_desugar ... ok [INFO] [stdout] test intersection_desugar ... ok [INFO] [stdout] test fail_wrong_assertion_term_encoding ... ok [INFO] [stdout] test intersection ... ok [INFO] [stdout] test merge_during_rebuild ... ok [INFO] [stdout] test merge_during_rebuild_desugar ... ok [INFO] [stdout] test merge_read ... ok [INFO] [stdout] test merge_read_desugar ... ok [INFO] [stdout] test shadow_local_before_global ... ok [INFO] [stdout] test shadow_local_before_global_desugar ... ok [INFO] [stdout] test name_resolution_desugar ... ok [INFO] [stdout] test primitives ... ok [INFO] [stdout] test name_resolution ... ok [INFO] [stderr] [INFO] [stderr] thread '' (90) panicked at tests/files.rs:113: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] [stdout] test primitives_desugar ... ok [INFO] [stdout] test primitives_term_encoding ... ok [INFO] [stdout] test merge_saturates ... ok [INFO] [stderr] 0: 0x57b14244dcca - std[31e582c13f4e914f]::backtrace_rs::backtrace::libunwind::trace [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stderr] 1: 0x57b14244dcca - std[31e582c13f4e914f]::backtrace_rs::backtrace::trace_unsynchronized:: [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stderr] 2: 0x57b14244dcca - std[31e582c13f4e914f]::sys::backtrace::_print_fmt [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/sys/backtrace.rs:74:9 [INFO] [stderr] 3: 0x57b14244dcca - <::print::DisplayBacktrace as core[fa0eadad68403074]::fmt::Display>::fmt [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/sys/backtrace.rs:44:26 [INFO] [stderr] 4: 0x57b14246659a - ::fmt [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/fmt/rt.rs:152:76 [INFO] [stderr] 5: 0x57b14246659a - core[fa0eadad68403074]::fmt::write [INFO] [stderr] 6: 0x57b1424549c2 - std[31e582c13f4e914f]::io::default_write_fmt:: [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/io/mod.rs:639:11 [INFO] [stderr] 7: 0x57b1424549c2 - ::write_fmt [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/io/mod.rs:1994:13 [INFO] [stderr] 8: 0x57b14243305f - ::print [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/sys/backtrace.rs:47:9 [INFO] [stderr] 9: 0x57b14243305f - std[31e582c13f4e914f]::panicking::default_hook::{closure#0} [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:292:27 [INFO] [stderr] 10: 0x57b142446071 - std[31e582c13f4e914f]::panicking::default_hook [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:319:9 [INFO] [stderr] 11: 0x57b1424462eb - std[31e582c13f4e914f]::panicking::panic_with_hook [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:825:13 [INFO] [stderr] 12: 0x57b142433118 - std[31e582c13f4e914f]::panicking::panic_handler::{closure#0} [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:698:13 [INFO] [stderr] 13: 0x57b142427c89 - std[31e582c13f4e914f]::sys::backtrace::__rust_end_short_backtrace:: [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/sys/backtrace.rs:182:18 [INFO] [stderr] 14: 0x57b142433f8d - __rustc[fc8e3a9f23f26cb]::rust_begin_unwind [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:689:5 [INFO] [stderr] 15: 0x57b142466e0c - core[fa0eadad68403074]::panicking::panic_fmt [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/panicking.rs:80:14 [INFO] [stderr] 16: 0x57b14171db5b - ::test_program [INFO] [stderr] at /opt/rustwide/workdir/tests/files.rs:113:21 [INFO] [stderr] 17: 0x57b14171de0a - ::run [INFO] [stderr] at /opt/rustwide/workdir/tests/files.rs:35:18 [INFO] [stderr] 18: 0x57b14171c3de - ::into_trial::{closure#0} [INFO] [stderr] at /opt/rustwide/workdir/tests/files.rs:123:18 [INFO] [stderr] 19: 0x57b14171c177 - ::test::<::into_trial::{closure#0}, alloc[49b8922c36ca62de]::string::String>::{closure#0} [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: 0x57b141722126 - <::test<::into_trial::{closure#0}, alloc[49b8922c36ca62de]::string::String>::{closure#0} as core[fa0eadad68403074]::ops::function::FnOnce<(bool,)>>::call_once::{shim:vtable#0} [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/ops/function.rs:250:5 [INFO] [stderr] 21: 0x57b14174a92d - + core[fa0eadad68403074]::marker::Send> as core[fa0eadad68403074]::ops::function::FnOnce<(bool,)>>::call_once [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/alloc/src/boxed.rs:2240:9 [INFO] [stderr] 22: 0x57b1417642a0 - libtest_mimic[6d8b0c7af2af51ac]::run_single::{closure#0} [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: 0x57b141763990 - as core[fa0eadad68403074]::ops::function::FnOnce<()>>::call_once [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/panic/unwind_safe.rs:275:9 [INFO] [stderr] 24: 0x57b14174613c - std[31e582c13f4e914f]::panicking::catch_unwind::do_call::, libtest_mimic[6d8b0c7af2af51ac]::Outcome> [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:581:40 [INFO] [stderr] 25: 0x57b14174d96b - __rust_try [INFO] [stderr] 26: 0x57b14174ba2d - std[31e582c13f4e914f]::panicking::catch_unwind::> [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:544:19 [INFO] [stderr] 27: 0x57b14174ba2d - std[31e582c13f4e914f]::panic::catch_unwind::, libtest_mimic[6d8b0c7af2af51ac]::Outcome> [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panic.rs:359:14 [INFO] [stderr] 28: 0x57b141764e21 - libtest_mimic[6d8b0c7af2af51ac]::run_single [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: 0x57b141764086 - libtest_mimic[6d8b0c7af2af51ac]::run::{closure#3}::{closure#0} [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: 0x57b14176b8b6 - std[31e582c13f4e914f]::sys::backtrace::__rust_begin_short_backtrace:: [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/sys/backtrace.rs:166:18 [INFO] [stderr] 31: 0x57b141753492 - std[31e582c13f4e914f]::thread::lifecycle::spawn_unchecked::::{closure#1}::{closure#0} [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/thread/lifecycle.rs:91:13 [INFO] [stderr] 32: 0x57b141763951 - ::{closure#1}::{closure#0}> as core[fa0eadad68403074]::ops::function::FnOnce<()>>::call_once [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/panic/unwind_safe.rs:275:9 [INFO] [stderr] 33: 0x57b1417460f7 - std[31e582c13f4e914f]::panicking::catch_unwind::do_call::::{closure#1}::{closure#0}>, ()> [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:581:40 [INFO] [stderr] 34: 0x57b141753dfb - __rust_try [INFO] [stderr] 35: 0x57b141753150 - std[31e582c13f4e914f]::panicking::catch_unwind::<(), core[fa0eadad68403074]::panic::unwind_safe::AssertUnwindSafe::{closure#1}::{closure#0}>> [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:544:19 [INFO] [stderr] 36: 0x57b141753150 - std[31e582c13f4e914f]::panic::catch_unwind::::{closure#1}::{closure#0}>, ()> [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panic.rs:359:14 [INFO] [stderr] 37: 0x57b141753150 - std[31e582c13f4e914f]::thread::lifecycle::spawn_unchecked::::{closure#1} [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/thread/lifecycle.rs:89:26 [INFO] [stderr] 38: 0x57b1417535af - ::{closure#1} as core[fa0eadad68403074]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/ops/function.rs:250:5 [INFO] [stderr] 39: 0x57b14244d24f - + core[fa0eadad68403074]::marker::Send> as core[fa0eadad68403074]::ops::function::FnOnce<()>>::call_once [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/alloc/src/boxed.rs:2240:9 [INFO] [stderr] 40: 0x57b14244d24f - ::new::thread_start [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/sys/thread/unix.rs:118:17 [INFO] [stderr] 41: 0x7e987b0f2aa4 - [INFO] [stderr] 42: 0x7e987b17fa64 - clone [INFO] [stderr] 43: 0x0 - [INFO] [stderr] [INFO] [stderr] thread '' (95) panicked at tests/files.rs:113: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: 0x57b14244dcca - std[31e582c13f4e914f]::backtrace_rs::backtrace::libunwind::trace [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stderr] 1: 0x57b14244dcca - std[31e582c13f4e914f]::backtrace_rs::backtrace::trace_unsynchronized:: [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stderr] 2: 0x57b14244dcca - std[31e582c13f4e914f]::sys::backtrace::_print_fmt [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/sys/backtrace.rs:74:9 [INFO] [stderr] 3: 0x57b14244dcca - <::print::DisplayBacktrace as core[fa0eadad68403074]::fmt::Display>::fmt [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/sys/backtrace.rs:44:26 [INFO] [stderr] 4: 0x57b14246659a - ::fmt [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/fmt/rt.rs:152:76 [INFO] [stderr] 5: 0x57b14246659a - core[fa0eadad68403074]::fmt::write [INFO] [stderr] 6: 0x57b1424549c2 - std[31e582c13f4e914f]::io::default_write_fmt:: [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/io/mod.rs:639:11 [INFO] [stderr] 7: 0x57b1424549c2 - ::write_fmt [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/io/mod.rs:1994:13 [INFO] [stderr] 8: 0x57b14243305f - ::print [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/sys/backtrace.rs:47:9 [INFO] [stderr] 9: 0x57b14243305f - std[31e582c13f4e914f]::panicking::default_hook::{closure#0} [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:292:27 [INFO] [stderr] 10: 0x57b142446071 - std[31e582c13f4e914f]::panicking::default_hook [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:319:9 [INFO] [stderr] 11: 0x57b1424462eb - std[31e582c13f4e914f]::panicking::panic_with_hook [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:825:13 [INFO] [stderr] 12: 0x57b142433118 - std[31e582c13f4e914f]::panicking::panic_handler::{closure#0} [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:698:13 [INFO] [stderr] 13: 0x57b142427c89 - std[31e582c13f4e914f]::sys::backtrace::__rust_end_short_backtrace:: [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/sys/backtrace.rs:182:18 [INFO] [stderr] 14: 0x57b142433f8d - __rustc[fc8e3a9f23f26cb]::rust_begin_unwind [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:689:5 [INFO] [stderr] 15: 0x57b142466e0c - core[fa0eadad68403074]::panicking::panic_fmt [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/panicking.rs:80:14 [INFO] [stderr] 16: 0x57b14171db5b - ::test_program [INFO] [stderr] at /opt/rustwide/workdir/tests/files.rs:113:21 [INFO] [stderr] 17: 0x57b14171e2b7 - ::run [INFO] [stderr] at /opt/rustwide/workdir/tests/files.rs:50:18 [INFO] [stderr] 18: 0x57b14171c3de - ::into_trial::{closure#0} [INFO] [stderr] at /opt/rustwide/workdir/tests/files.rs:123:18 [INFO] [stderr] 19: 0x57b14171c177 - ::test::<::into_trial::{closure#0}, alloc[49b8922c36ca62de]::string::String>::{closure#0} [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: 0x57b141722126 - <::test<::into_trial::{closure#0}, alloc[49b8922c36ca62de]::string::String>::{closure#0} as core[fa0eadad68403074]::ops::function::FnOnce<(bool,)>>::call_once::{shim:vtable#0} [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/ops/function.rs:250:5 [INFO] [stderr] 21: 0x57b14174a92d - + core[fa0eadad68403074]::marker::Send> as core[fa0eadad68403074]::ops::function::FnOnce<(bool,)>>::call_once [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/alloc/src/boxed.rs:2240:9 [INFO] [stderr] 22: 0x57b1417642a0 - libtest_mimic[6d8b0c7af2af51ac]::run_single::{closure#0} [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: 0x57b141763990 - as core[fa0eadad68403074]::ops::function::FnOnce<()>>::call_once [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/panic/unwind_safe.rs:275:9 [INFO] [stderr] 24: 0x57b14174613c - std[31e582c13f4e914f]::panicking::catch_unwind::do_call::, libtest_mimic[6d8b0c7af2af51ac]::Outcome> [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:581:40 [INFO] [stderr] 25: 0x57b14174d96b - __rust_try [INFO] [stderr] 26: 0x57b14174ba2d - std[31e582c13f4e914f]::panicking::catch_unwind::> [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:544:19 [INFO] [stderr] 27: 0x57b14174ba2d - std[31e582c13f4e914f]::panic::catch_unwind::, libtest_mimic[6d8b0c7af2af51ac]::Outcome> [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panic.rs:359:14 [INFO] [stderr] 28: 0x57b141764e21 - libtest_mimic[6d8b0c7af2af51ac]::run_single [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: 0x57b141764086 - libtest_mimic[6d8b0c7af2af51ac]::run::{closure#3}::{closure#0} [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: 0x57b14176b8b6 - std[31e582c13f4e914f]::sys::backtrace::__rust_begin_short_backtrace:: [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/sys/backtrace.rs:166:18 [INFO] [stderr] 31: 0x57b141753492 - std[31e582c13f4e914f]::thread::lifecycle::spawn_unchecked::::{closure#1}::{closure#0} [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/thread/lifecycle.rs:91:13 [INFO] [stderr] 32: 0x57b141763951 - ::{closure#1}::{closure#0}> as core[fa0eadad68403074]::ops::function::FnOnce<()>>::call_once [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/panic/unwind_safe.rs:275:9 [INFO] [stderr] 33: 0x57b1417460f7 - std[31e582c13f4e914f]::panicking::catch_unwind::do_call::::{closure#1}::{closure#0}>, ()> [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:581:40 [INFO] [stderr] 34: 0x57b141753dfb - __rust_try [INFO] [stderr] 35: 0x57b141753150 - std[31e582c13f4e914f]::panicking::catch_unwind::<(), core[fa0eadad68403074]::panic::unwind_safe::AssertUnwindSafe::{closure#1}::{closure#0}>> [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panicking.rs:544:19 [INFO] [stderr] 36: 0x57b141753150 - std[31e582c13f4e914f]::panic::catch_unwind::::{closure#1}::{closure#0}>, ()> [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/panic.rs:359:14 [INFO] [stderr] 37: 0x57b141753150 - std[31e582c13f4e914f]::thread::lifecycle::spawn_unchecked::::{closure#1} [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/thread/lifecycle.rs:89:26 [INFO] [stderr] 38: 0x57b1417535af - ::{closure#1} as core[fa0eadad68403074]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/core/src/ops/function.rs:250:5 [INFO] [stderr] 39: 0x57b14244d24f - + core[fa0eadad68403074]::marker::Send> as core[fa0eadad68403074]::ops::function::FnOnce<()>>::call_once [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/alloc/src/boxed.rs:2240:9 [INFO] [stderr] 40: 0x57b14244d24f - ::new::thread_start [INFO] [stderr] at /rustc/562dee4820c458d823175268e41601d4c060588a/library/std/src/sys/thread/unix.rs:118:17 [INFO] [stdout] test print_function ... FAILED [INFO] [stderr] 41: 0x7e987b0f2aa4 - [INFO] [stderr] 42: 0x7e987b17fa64 - clone [INFO] [stderr] 43: 0x0 - [INFO] [stdout] test print_function_desugar ... FAILED [INFO] [stdout] test merge_saturates_desugar ... ok [INFO] [stdout] test integer_math ... ok [INFO] [stdout] test rat_pow_eval ... ok [INFO] [stdout] test rat_pow_eval_desugar ... 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 repro_define_desugar ... ok [INFO] [stdout] test integer_math_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_desugar_143 ... ok [INFO] [stdout] test repro_equal_constant2 ... ok [INFO] [stdout] test repro_equal_constant2_desugar ... ok [INFO] [stdout] test repro_new_backend_delete ... ok [INFO] [stdout] test repro_new_backend_delete_desugar ... ok [INFO] [stdout] test repro_equal_constant2_term_encoding ... ok [INFO] [stdout] test repro_desugar_143_desugar ... ok [INFO] [stdout] test repro_new_backend_prims ... ok [INFO] [stdout] test repro_new_backend_prims_desugar ... ok [INFO] [stdout] test repro_new_backend_prims_term_encoding ... 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 extract_vec_bench_desugar ... 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_querybug3 ... ok [INFO] [stdout] test repro_querybug2_term_encoding ... ok [INFO] [stdout] test repro_querybug4 ... ok [INFO] [stdout] test repro_querybug4_desugar ... ok [INFO] [stdout] test repro_querybug3_desugar ... ok [INFO] [stdout] test repro_should_saturate ... ok [INFO] [stdout] test repro_should_saturate_desugar ... ok [INFO] [stdout] test repro_querybug4_term_encoding ... ok [INFO] [stdout] test repro_silly_panic ... ok [INFO] [stdout] test repro_should_saturate_term_encoding ... 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 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 stratified ... ok [INFO] [stdout] test stratified_desugar ... ok [INFO] [stdout] test cykjson ... 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 cykjson_desugar ... ok [INFO] [stdout] test repro_new_backend_python_vec_desugar ... ok [INFO] [stdout] test string_quotes_desugar ... ok [INFO] [stdout] test subsume_relation ... ok [INFO] [stdout] test subsume_relation_desugar ... ok [INFO] [stdout] test test_combined_steps ... 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 repro_unsound_desugar ... ok [INFO] [stdout] test tricky_type_checking ... ok [INFO] [stdout] test type_constraints_tests ... ok [INFO] [stdout] test type_constraints_tests_desugar ... ok [INFO] [stdout] test until ... ok [INFO] [stdout] test until_desugar ... ok [INFO] [stdout] test vec ... ok [INFO] [stdout] test tricky_type_checking_desugar ... ok [INFO] [stdout] test antiunify ... ok [INFO] [stdout] test vec_desugar ... ok [INFO] [stdout] test antiunify_desugar ... ok [INFO] [stdout] test repro_unsound ... ok [INFO] [stdout] test bdd ... ok [INFO] [stdout] test array_desugar ... ok [INFO] [stdout] test bignum ... ok [INFO] [stdout] test bignum_desugar ... ok [INFO] [stdout] test array ... ok [INFO] [stdout] test bdd_desugar ... ok [INFO] [stdout] test birewrite_desugar ... ok [INFO] [stdout] test birewrite ... ok [INFO] [stdout] test cyk ... ok [INFO] [stdout] test combinators_desugar ... ok [INFO] [stdout] test datatypes ... ok [INFO] [stdout] test datatypes_desugar ... ok [INFO] [stdout] test combinators ... ok [INFO] [stdout] test eqsat_basic_multiset ... ok [INFO] [stdout] test eqsat_basic ... ok [INFO] [stdout] test eqsat_basic_multiset_desugar ... ok [INFO] [stdout] test eqsat_basic_desugar ... ok [INFO] [stdout] test cyk_desugar ... ok [INFO] [stdout] test eqsolve_desugar ... ok [INFO] [stdout] test fibonacci ... ok [INFO] [stdout] test fibonacci_desugar ... ok [INFO] [stdout] test eqsolve ... ok [INFO] [stdout] test fusion ... ok [INFO] [stdout] test fusion_desugar ... ok [INFO] [stdout] test herbie_tutorial ... ok [INFO] [stdout] test herbie_tutorial_desugar ... ok [INFO] [stderr] error: test failed, to rerun pass `--test files` [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `/opt/rustwide/target/debug/deps/files-b7001729b38a92e5` (signal: 9, SIGKILL: kill) [INFO] running `Command { std: "docker" "inspect" "4f6f02d38fa8b3190afd9077024c8a6cf3f109a9bba119ce0dfe80b955b6b17a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4f6f02d38fa8b3190afd9077024c8a6cf3f109a9bba119ce0dfe80b955b6b17a", kill_on_drop: false }` [INFO] [stdout] 4f6f02d38fa8b3190afd9077024c8a6cf3f109a9bba119ce0dfe80b955b6b17a