[INFO] cloning repository https://github.com/lexicone42/polyml-rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/lexicone42/polyml-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flexicone42%2Fpolyml-rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flexicone42%2Fpolyml-rs'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] c6a0f5e9fb887e319c44e6946c9c958bc913b68a
[INFO] testing lexicone42/polyml-rs against 1.98.0-beta.1 for beta-1.98-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flexicone42%2Fpolyml-rs" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-2-tc2/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/lexicone42/polyml-rs
[INFO] finished tweaking git repo https://github.com/lexicone42/polyml-rs
[INFO] tweaked toml for git repo https://github.com/lexicone42/polyml-rs written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/lexicone42/polyml-rs on toolchain 1.98.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.98.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/lexicone42/polyml-rs already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.98.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3d5ced03c013a94a2f102a4510f48a6e9184255caf5fd8244f58017bde7f5210" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 88f7744fb50abf1aaa5f66a75aaf96a244d190b570c0a7db9859510b4c73a9fa
[INFO] running `Command { std: "docker" "start" "88f7744fb50abf1aaa5f66a75aaf96a244d190b570c0a7db9859510b4c73a9fa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "88f7744fb50abf1aaa5f66a75aaf96a244d190b570c0a7db9859510b4c73a9fa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "88f7744fb50abf1aaa5f66a75aaf96a244d190b570c0a7db9859510b4c73a9fa" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "88f7744fb50abf1aaa5f66a75aaf96a244d190b570c0a7db9859510b4c73a9fa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "88f7744fb50abf1aaa5f66a75aaf96a244d190b570c0a7db9859510b4c73a9fa" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling cranelift-srcgen v0.131.1
[INFO] [stderr]    Compiling wasmtime-internal-core v44.0.1
[INFO] [stderr]    Compiling cranelift-isle v0.131.1
[INFO] [stderr]    Compiling cranelift-codegen-shared v0.131.1
[INFO] [stderr]    Compiling hashbrown v0.17.1
[INFO] [stderr]    Compiling target-lexicon v0.13.5
[INFO] [stderr]    Compiling bumpalo v3.20.2
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling arbitrary v1.4.2
[INFO] [stderr]    Compiling rustc-hash v2.1.2
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling cranelift-assembler-x64-meta v0.131.1
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling anyhow v1.0.102
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling cranelift-bitset v0.131.1
[INFO] [stderr]    Compiling indexmap v2.14.0
[INFO] [stderr]    Compiling cranelift-entity v0.131.1
[INFO] [stderr]    Compiling regalloc2 v0.15.1
[INFO] [stderr]    Compiling cranelift-control v0.131.1
[INFO] [stderr]    Compiling cranelift-bforest v0.131.1
[INFO] [stderr]    Compiling wasmtime-internal-jit-icache-coherence v44.0.1
[INFO] [stderr]    Compiling region v3.0.2
[INFO] [stderr]    Compiling cranelift-codegen-meta v0.131.1
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling gimli v0.33.0
[INFO] [stderr]    Compiling cranelift-assembler-x64 v0.131.1
[INFO] [stderr]    Compiling cranelift-codegen v0.131.1
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling clap_derive v4.6.1
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling polyml-image v0.1.0 (/opt/rustwide/workdir/crates/polyml-image)
[INFO] [stderr]    Compiling polyml-runtime v0.1.0 (/opt/rustwide/workdir/crates/polyml-runtime)
[INFO] [stderr]    Compiling clap v4.6.1
[INFO] [stdout] warning: method `block_on_event_timeout` is never used
[INFO] [stdout]     --> crates/polyml-runtime/src/interpreter/mod.rs:2666:8
[INFO] [stdout]      |
[INFO] [stdout] 1226 | impl Interpreter {
[INFO] [stdout]      | ---------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 2666 |     fn block_on_event_timeout(&mut self, millis: u64) {
[INFO] [stdout]      |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling cranelift-native v0.131.1
[INFO] [stderr]    Compiling cranelift-module v0.131.1
[INFO] [stderr]    Compiling cranelift-frontend v0.131.1
[INFO] [stderr]    Compiling cranelift-jit v0.131.1
[INFO] [stderr]    Compiling cranelift v0.131.1
[INFO] [stderr]    Compiling polyml-jit v0.1.0 (/opt/rustwide/workdir/crates/polyml-jit)
[INFO] [stderr]    Compiling polyml-bin v0.1.0 (/opt/rustwide/workdir/crates/polyml-bin)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 46s
[INFO] running `Command { std: "docker" "inspect" "88f7744fb50abf1aaa5f66a75aaf96a244d190b570c0a7db9859510b4c73a9fa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "88f7744fb50abf1aaa5f66a75aaf96a244d190b570c0a7db9859510b4c73a9fa" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] warning: method `block_on_event_timeout` is never used
[INFO] [stdout]     --> crates/polyml-runtime/src/interpreter/mod.rs:2666:8
[INFO] [stdout]      |
[INFO] [stdout] 1226 | impl Interpreter {
[INFO] [stdout]      | ---------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 2666 |     fn block_on_event_timeout(&mut self, millis: u64) {
[INFO] [stdout]      |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling polyml-runtime v0.1.0 (/opt/rustwide/workdir/crates/polyml-runtime)
[INFO] [stderr]    Compiling polyml-bin v0.1.0 (/opt/rustwide/workdir/crates/polyml-bin)
[INFO] [stderr]    Compiling polyml-jit v0.1.0 (/opt/rustwide/workdir/crates/polyml-jit)
[INFO] [stderr]    Compiling polyml-image v0.1.0 (/opt/rustwide/workdir/crates/polyml-image)
[INFO] [stdout] warning: value assigned to `root` is never read
[INFO] [stdout]     --> crates/polyml-runtime/src/gc.rs:2059:24
[INFO] [stdout]      |
[INFO] [stdout] 2059 |         let mut root = PolyWord::tagged(0);
[INFO] [stdout]      |                        ^^^^^^^^^^^^^^^^^^^ this value is reassigned later and never used
[INFO] [stdout] ...
[INFO] [stdout] 2068 |             root = PolyWord::from_ptr(leaf.cast_const());
[INFO] [stdout]      |             -------------------------------------------- `root` is overwritten here before the previous value is read
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `root` is never read
[INFO] [stdout]     --> crates/polyml-runtime/src/gc.rs:2103:24
[INFO] [stdout]      |
[INFO] [stdout] 2103 |         let mut root = PolyWord::tagged(0);
[INFO] [stdout]      |                        ^^^^^^^^^^^^^^^^^^^ this value is reassigned later and never used
[INFO] [stdout] ...
[INFO] [stdout] 2111 |             root = PolyWord::from_ptr(leaf.cast_const());
[INFO] [stdout]      |             -------------------------------------------- `root` is overwritten here before the previous value is read
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `block_on_event_timeout` is never used
[INFO] [stdout]     --> crates/polyml-runtime/src/interpreter/mod.rs:2666:8
[INFO] [stdout]      |
[INFO] [stdout] 1226 | impl Interpreter {
[INFO] [stdout]      | ---------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 2666 |     fn block_on_event_timeout(&mut self, millis: u64) {
[INFO] [stdout]      |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1m 19s
[INFO] running `Command { std: "docker" "inspect" "88f7744fb50abf1aaa5f66a75aaf96a244d190b570c0a7db9859510b4c73a9fa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "88f7744fb50abf1aaa5f66a75aaf96a244d190b570c0a7db9859510b4c73a9fa" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr] warning: method `block_on_event_timeout` is never used
[INFO] [stderr]     --> crates/polyml-runtime/src/interpreter/mod.rs:2666:8
[INFO] [stderr]      |
[INFO] [stderr] 1226 | impl Interpreter {
[INFO] [stderr]      | ---------------- method in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 2666 |     fn block_on_event_timeout(&mut self, millis: u64) {
[INFO] [stderr]      |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `polyml-runtime` (lib) generated 1 warning
[INFO] [stderr] warning: value assigned to `root` is never read
[INFO] [stderr]     --> crates/polyml-runtime/src/gc.rs:2059:24
[INFO] [stderr]      |
[INFO] [stderr] 2059 |         let mut root = PolyWord::tagged(0);
[INFO] [stderr]      |                        ^^^^^^^^^^^^^^^^^^^ this value is reassigned later and never used
[INFO] [stderr] ...
[INFO] [stderr] 2068 |             root = PolyWord::from_ptr(leaf.cast_const());
[INFO] [stderr]      |             -------------------------------------------- `root` is overwritten here before the previous value is read
[INFO] [stderr]      |
[INFO] [stderr]      = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `root` is never read
[INFO] [stderr]     --> crates/polyml-runtime/src/gc.rs:2103:24
[INFO] [stderr]      |
[INFO] [stderr] 2103 |         let mut root = PolyWord::tagged(0);
[INFO] [stderr]      |                        ^^^^^^^^^^^^^^^^^^^ this value is reassigned later and never used
[INFO] [stderr] ...
[INFO] [stderr] 2111 |             root = PolyWord::from_ptr(leaf.cast_const());
[INFO] [stderr]      |             -------------------------------------------- `root` is overwritten here before the previous value is read
[INFO] [stderr] 
[INFO] [stderr] warning: `polyml-runtime` (lib test) generated 3 warnings (1 duplicate)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.32s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/poly-6351991d49633bd9)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test tests::heap_bytes_absurdly_small_warns_but_is_honored ... ok
[INFO] [stdout] test tests::heap_bytes_malformed_warns_and_defaults ... ok
[INFO] [stdout] test tests::heap_bytes_valid_value_wins ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/cli_run.rs (/opt/rustwide/target/debug/deps/cli_run-43947d900d753693)
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test bootstrap_can_register_infix_plus_and_compute ... ok
[INFO] [stdout] test bootstrap_compiles_simple_literal_and_exits_cleanly ... ok
[INFO] [stdout] test bootstrap_runs_lambda_application_cleanly ... ok
[INFO] [stdout] test bootstrap_polyml_print_emits_output ... ok
[INFO] [stdout] test bootstrap_use_finds_relative_file_via_minus_i ... ok
[INFO] [stdout] test bicimage_convert_and_run_roundtrips ... ok
[INFO] [stdout] test bootstrap_use_flag_runs_file_one_shot ... ok
[INFO] [stdout] test bootstrap_reports_type_error_on_bad_input ... ok
[INFO] [stdout] test bootstrap_jit_loads_initial_basis ... ok
[INFO] [stdout] test sigint_raises_sml_interrupt ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/concurrency_alloc_storm.rs (/opt/rustwide/target/debug/deps/concurrency_alloc_storm-d1bdd04cf7c14210)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test alloc_storm_exact_total_across_gc_cycles ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/concurrency_exit.rs (/opt/rustwide/target/debug/deps/concurrency_exit-7e4154a9248e595f)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test thread_exit_terminates_the_process ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/concurrency_fuzz.rs (/opt/rustwide/target/debug/deps/concurrency_fuzz-4a09e41dde30c5bb)
[INFO] [stdout] 
[INFO] [stderr]      Running tests/concurrency_interrupt.rs (/opt/rustwide/target/debug/deps/concurrency_interrupt-38c14ddca722f89a)
[INFO] [stdout] running 2 tests
[INFO] [stdout] test fuzz_storms_giant_lock ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stdout] test fuzz_storms_parallel ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test thread_interrupt_attribute_fidelity ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stderr]      Running tests/concurrency_mutex_demo.rs (/opt/rustwide/target/debug/deps/concurrency_mutex_demo-613dfd511538a1a9)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test two_thread_mutex_demo_real_threads ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/concurrency_mutex_hammer.rs (/opt/rustwide/target/debug/deps/concurrency_mutex_hammer-6bba9282e8ae9459)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test two_threads_hammering_one_mutex_lose_no_updates ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/concurrency_parallel.rs (/opt/rustwide/target/debug/deps/concurrency_parallel-6295c7efec42e64e)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test parallel_alloc_storm_exact_total_with_audit ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stdout] test parallel_compute_scaling ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stdout] test parallel_flag_without_real_threads_is_noop ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stdout] test parallel_mutex_hammer_exact_count ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stdout] test parallel_racy_ref_unspecified_value_no_crash ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 5 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/concurrency_preempt.rs (/opt/rustwide/target/debug/deps/concurrency_preempt-a5a826dbe10b9c9e)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test compute_bound_threads_interleave_fairly ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/concurrency_server.rs (/opt/rustwide/target/debug/deps/concurrency_server-be36fc3defac9c85)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test server_giant_lock ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stdout] test server_parallel_speedup ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/concurrency_sockets.rs (/opt/rustwide/target/debug/deps/concurrency_sockets-8286362956a63d96)
[INFO] [stderr]      Running tests/concurrency_stdin_park.rs (/opt/rustwide/target/debug/deps/concurrency_stdin_park-8f1263fbd46e64f9)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test concurrent_socket_echo_real_threads ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test stdin_read_parks_the_giant_lock ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/export_roundtrip_live.rs (/opt/rustwide/target/debug/deps/export_roundtrip_live-773152743039e53e)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test gc_audit_smoke_basis_load ... ignored, slow: loads full basis library (~few minutes) under GC audit; run with `cargo test -- --ignored`
[INFO] [stdout] test live_export_roundtrip_through_basis ... ignored, slow: loads full basis library (~few minutes); run with `cargo test -- --ignored`
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/ffi_calls.rs (/opt/rustwide/target/debug/deps/ffi_calls-a3d72325fcf39d09)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test foreign_calls_real_libc ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stdout] test untrusted_refuses_foreign_call ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/ffi_memory.rs (/opt/rustwide/target/debug/deps/ffi_memory-24574281c1920138)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test c_memory_round_trips ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stdout] test untrusted_refuses_c_memory ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/golden_sml.rs (/opt/rustwide/target/debug/deps/golden_sml-de1e88744d4c901c)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test run_golden_corpus ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/hol4_arith.rs (/opt/rustwide/target/debug/deps/hol4_arith-6d56277de1bab435)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test arithmetic_library_present ... ignored, slow: needs /tmp/hol4_arith (tools/build-hol4-checkpoints.sh arith)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/hol4_datatype.rs (/opt/rustwide/target/debug/deps/hol4_datatype-997f4811a36af098)
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test computelib_reduces_numeral_multiplication ... ignored, needs /tmp/hol4_datatype (tools/build-hol4-checkpoints.sh datatype)
[INFO] [stdout] test datatype_builds_recursive_type_and_registers_it ... ignored, needs /tmp/hol4_datatype (tools/build-hol4-checkpoints.sh datatype)
[INFO] [stdout] test datatype_generates_induction_and_recursion ... ignored, needs /tmp/hol4_datatype (tools/build-hol4-checkpoints.sh datatype)
[INFO] [stdout] test polymorphic_list_theory_by_induction ... ignored, needs /tmp/hol4_datatype (tools/build-hol4-checkpoints.sh datatype)
[INFO] [stdout] test verified_bst ... ignored, needs /tmp/hol4_datatype (tools/build-hol4-checkpoints.sh datatype)
[INFO] [stdout] test verified_compiler ... ignored, needs /tmp/hol4_datatype (tools/build-hol4-checkpoints.sh datatype)
[INFO] [stdout] test verified_euclid_gcd ... ignored, needs /tmp/hol4_datatype (tools/build-hol4-checkpoints.sh datatype)
[INFO] [stdout] test verified_insertion_sort ... ignored, needs /tmp/hol4_datatype (tools/build-hol4-checkpoints.sh datatype)
[INFO] [stdout] test verified_list_function_laws ... ignored, needs /tmp/hol4_datatype (tools/build-hol4-checkpoints.sh datatype)
[INFO] [stdout] test verified_merge_sort ... ignored, needs /tmp/hol4_datatype (tools/build-hol4-checkpoints.sh datatype)
[INFO] [stdout] test verified_quicksort ... ignored, needs /tmp/hol4_datatype (tools/build-hol4-checkpoints.sh datatype)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 11 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/hol4_defn.rs (/opt/rustwide/target/debug/deps/hol4_defn-1245e4e948649790)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test define_nonrecursive ... ignored, needs /tmp/hol4_defn (tools/build-hol4-checkpoints.sh defn)
[INFO] [stdout] test define_recursive_with_termination ... ignored, needs /tmp/hol4_defn (tools/build-hol4-checkpoints.sh defn)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/hol4_fancy.rs (/opt/rustwide/target/debug/deps/hol4_fancy-bb833c35bcd52eb6)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test fancy_theorems_prove ... ignored, slow: needs /tmp/hol4_simp (tools/build-hol4-checkpoints.sh simp)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/hol4_induction.rs (/opt/rustwide/target/debug/deps/hol4_induction-978c176a840f8293)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test arithmetic_induction_n_plus_0 ... ignored, slow: needs /tmp/hol4_num (tools/build-hol4-checkpoints.sh num)
[INFO] [stderr]      Running tests/hol4_list.rs (/opt/rustwide/target/debug/deps/hol4_list-f644f3b765d3d7db)
[INFO] [stdout] test induction_proofs_over_num ... ignored, slow: needs /tmp/hol4_num (tools/build-hol4-checkpoints.sh num)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test append_laws_by_list_induction ... ignored, slow: needs /tmp/hol4_num (tools/build-hol4-checkpoints.sh num)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/hol4_meson.rs (/opt/rustwide/target/debug/deps/hol4_meson-4f850cc67f7c8d2e)
[INFO] [stderr]      Running tests/hol4_metis.rs (/opt/rustwide/target/debug/deps/hol4_metis-bb32952356e5df2c)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test meson_tac_proves_first_order_goals ... ignored, slow: needs /tmp/hol4_meson (tools/build-hol4-checkpoints.sh meson)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test metis_proves_equality_and_first_order ... ignored, slow: needs /tmp/hol4_metis (tools/build-hol4-checkpoints.sh metis)
[INFO] [stdout] test metis_proves_paramodulation_goal ... ignored, slow: needs /tmp/hol4_metis (tools/build-hol4-checkpoints.sh metis)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/hol4_num_prover.rs (/opt/rustwide/target/debug/deps/hol4_num_prover-5d06b7be3fc3b8bf)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test real_num_theory_and_full_bool_ss_coexist ... ignored, slow: needs /tmp/hol4_num on the prover base (build-hol4-checkpoints.sh num)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/hol4_numsimps.rs (/opt/rustwide/target/debug/deps/hol4_numsimps-685fa97ef33ad5e1)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test arith_conv_decides_presburger ... ignored, needs /tmp/hol4_numsimps (tools/build-hol4-checkpoints.sh numsimps)
[INFO] [stdout] test arith_ss_proves_via_simp ... ignored, needs /tmp/hol4_numsimps (tools/build-hol4-checkpoints.sh numsimps)
[INFO] [stdout] test reduce_conv_computes_addition ... ignored, needs /tmp/hol4_numsimps (tools/build-hol4-checkpoints.sh numsimps)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 3 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/hol4_order.rs (/opt/rustwide/target/debug/deps/hol4_order-c4075835d5002c7b)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test ordering_library_present ... ignored, slow: needs /tmp/hol4_order (tools/build-hol4-checkpoints.sh order)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/hol4_pair.rs (/opt/rustwide/target/debug/deps/hol4_pair-def96f4b37a86e81)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test fst_snd_compute ... ignored, needs /tmp/hol4_pair (tools/build-hol4-checkpoints.sh pair)
[INFO] [stdout] test tfl_prerequisites_present ... ignored, needs /tmp/hol4_pair (tools/build-hol4-checkpoints.sh pair)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/hol4_parse.rs (/opt/rustwide/target/debug/deps/hol4_parse-487412fc862faf4c)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test lib_total_swallows_non_interrupt_exceptions ... ignored, slow: needs /tmp/hol4_parse (tools/build-hol4-checkpoints.sh parse)
[INFO] [stdout] test parser_parses_types_terms_and_lambdas ... ignored, slow: needs /tmp/hol4_parse (tools/build-hol4-checkpoints.sh parse)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/hol4_pelletier.rs (/opt/rustwide/target/debug/deps/hol4_pelletier-55bc378a791dedaa)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test meson_proves_pelletier_suite ... ignored, slow: 47 MESON proofs; needs /tmp/hol4_meson (build-hol4-checkpoints.sh meson)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/hol4_prim_rec.rs (/opt/rustwide/target/debug/deps/hol4_prim_rec-d50c4400f876c1f4)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test prim_rec_theory_present_and_functional ... ignored, slow: needs /tmp/hol4_prim_rec (tools/build-hol4-checkpoints.sh prim)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/hol4_recon.rs (/opt/rustwide/target/debug/deps/hol4_recon-c2a5fd7b9bc6e3eb)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test recon_compiles_portable ... ignored, slow: loads HOL4 source through full basis (~5-7 min)
[INFO] [stdout] test recon_compiles_simple_buffer ... ignored, slow: loads HOL4 source through full basis (~3-5 min)
[INFO] [stdout] test recon_via_checkpoint_compiles_prekernel_lib ... ok
[INFO] [stdout] test recon_via_checkpoint_proves_4link_eq_chain ... ignored, slow: needs /tmp/basis_loaded checkpoint (~3-5 min)
[INFO] [stdout] test recon_via_checkpoint_compiles_simple_buffer ... ok
[INFO] [stdout] test recon_via_checkpoint_compiles_portable ... ok
[INFO] [stdout] test recon_via_checkpoint_compiles_hol4_kernel ... ok
[INFO] [stdout] test recon_via_checkpoint_proves_implication_self ... ok
[INFO] [stdout] test recon_via_checkpoint_executes_kernel ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 3 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/hol4_rewrite.rs (/opt/rustwide/target/debug/deps/hol4_rewrite-03cee4dd15ff511c)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test rewrite_tac_simplifies_boolean_goals ... ignored, slow: needs /tmp/hol4_rewrite (tools/build-hol4-checkpoints.sh rewrite)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/hol4_simp.rs (/opt/rustwide/target/debug/deps/hol4_simp-1a3af846160b6beb)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test simp_conv_and_simp_tac_run ... ignored, slow: needs /tmp/hol4_simp (tools/build-hol4-checkpoints.sh simp)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/hol4_summation.rs (/opt/rustwide/target/debug/deps/hol4_summation-d76676fe852655fc)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test gauss_and_sum_of_odds_by_induction ... ignored, slow: needs /tmp/hol4_arith (tools/build-hol4-checkpoints.sh arith)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/hol4_tactic.rs (/opt/rustwide/target/debug/deps/hol4_tactic-7fcf433b1a21665d)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stderr]      Running tests/hol4_taut.rs (/opt/rustwide/target/debug/deps/hol4_taut-a72228ebc5c0886a)
[INFO] [stdout] test tactics_prove_propositional_goals ... ignored, slow: needs /tmp/hol4_tactic (tools/build-hol4-checkpoints.sh tactic)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/hol4_theories.rs (/opt/rustwide/target/debug/deps/hol4_theories-38254d26d1909538)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test tautlib_proves_tautologies_via_dpll ... ignored, slow: needs /tmp/hol4_taut (tools/build-hol4-checkpoints.sh taut)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test combin_theory_built ... ignored, slow: needs /tmp/hol4_combin (tools/build-hol4-checkpoints.sh combin)
[INFO] [stdout] test marker_theory_built ... ignored, slow: needs /tmp/hol4_marker (tools/build-hol4-checkpoints.sh marker)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/hol4_theory.rs (/opt/rustwide/target/debug/deps/hol4_theory-d34c6de4cbe58d29)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test theory_dev_proof ... ignored, slow: needs /tmp/hol4_kernel (tools/build-hol4-checkpoints.sh)
[INFO] [stdout] test theory_new_theory_runs ... ignored, slow: needs /tmp/hol4_kernel (tools/build-hol4-checkpoints.sh)
[INFO] [stdout] test theory_subsystem_loads ... ignored, slow: needs /tmp/hol4_kernel (tools/build-hol4-checkpoints.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 3 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/intflip_basis.rs (/opt/rustwide/target/debug/deps/intflip_basis-b200bd35ef9cb1cc)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test basis_loads_under_arbitrary_precision_int ... ignored, slow ~90s: full basis compile under --intIsIntInf; needs vendor/polyml
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_arithmetic.rs (/opt/rustwide/target/debug/deps/isabelle_arithmetic-7be30a4ec78454e3)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test peano_arithmetic_by_induction ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_bertrand.rs (/opt/rustwide/target/debug/deps/isabelle_bertrand-a18c86986a00d654)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test bertrands_postulate ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh); ~25-35 min, 12 GB heap
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_binom.rs (/opt/rustwide/target/debug/deps/isabelle_binom-5fed091c6098d9c1)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test prime_divides_inner_binomial_coefficients ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_binom_thm.rs (/opt/rustwide/target/debug/deps/isabelle_binom_thm-d1aff413de43f295)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test the_binomial_theorem ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_cassini_lattice.rs (/opt/rustwide/target/debug/deps/isabelle_cassini_lattice-b0fa4a33a058cf67)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test cassini_lattice_closes_in_parallel ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_central_binomial.rs (/opt/rustwide/target/debug/deps/isabelle_central_binomial-e0981680bad55f05)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test central_binomial_identity ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_classical_primes.rs (/opt/rustwide/target/debug/deps/isabelle_classical_primes-82d38372e6d97bab)
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_combinatorics.rs (/opt/rustwide/target/debug/deps/isabelle_combinatorics-d0301050ba482204)
[INFO] [stdout] running 1 test
[INFO] [stdout] test classical_fol_and_genuine_prime_divisor_theorem ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test combinatorial_identities ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_crt.rs (/opt/rustwide/target/debug/deps/isabelle_crt-17d5bf2c0186f79e)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test chinese_remainder_theorem ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_divisibility.rs (/opt/rustwide/target/debug/deps/isabelle_divisibility-cd9a4b2b656bbe83)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test divisibility_is_a_preorder_compatible_with_plus_and_times ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_division.rs (/opt/rustwide/target/debug/deps/isabelle_division-0645d83b643f2a8f)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test division_theorem_existence_and_uniqueness ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_euclid.rs (/opt/rustwide/target/debug/deps/isabelle_euclid-84fa71254c693933)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test euclid_infinitude_of_primes ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_euclid_euler.rs (/opt/rustwide/target/debug/deps/isabelle_euclid_euler-1369cb34f47f3c65)
[INFO] [stderr]      Running tests/isabelle_euclid_lemma.rs (/opt/rustwide/target/debug/deps/isabelle_euclid_lemma-a9461827a592caf0)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test euclid_euler_unconditional ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test euclids_lemma_prime_divides_product ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_euclid_list.rs (/opt/rustwide/target/debug/deps/isabelle_euclid_list-a7b7be16739a4f69)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test prime_dividing_product_of_primes_is_one_of_them ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_euclid_perfect.rs (/opt/rustwide/target/debug/deps/isabelle_euclid_perfect-93aeba41490c9c35)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test euclid_perfect ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh); ~3.0B steps
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_euler.rs (/opt/rustwide/target/debug/deps/isabelle_euler-4378281420161c81)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test eulers_theorem ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_euler_criterion.rs (/opt/rustwide/target/debug/deps/isabelle_euler_criterion-ab95d0fc10822ba4)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test eulers_criterion ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_euler_foundations.rs (/opt/rustwide/target/debug/deps/isabelle_euler_foundations-f8604697453f1724)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test euler_foundations ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_fibonacci.rs (/opt/rustwide/target/debug/deps/isabelle_fibonacci-19866e790f4bd8aa)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stderr]      Running tests/isabelle_flt.rs (/opt/rustwide/target/debug/deps/isabelle_flt-a2e8f775b9968291)
[INFO] [stdout] test fibonacci_sum_addition_cassini ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test fermats_little_theorem ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stderr]      Running tests/isabelle_four_square.rs (/opt/rustwide/target/debug/deps/isabelle_four_square-e5a017dfcf3fa1a8)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test four_square_full_theorem ... ignored, needs /tmp/l4_foursq_star (tools/build-l4-checkpoint.sh)
[INFO] [stdout] test four_square_identity_and_reduction ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_fta.rs (/opt/rustwide/target/debug/deps/isabelle_fta-2316f0cbdc32a77a)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test fundamental_theorem_of_arithmetic_existence ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_fta_unique.rs (/opt/rustwide/target/debug/deps/isabelle_fta_unique-7ba099f2b0de9448)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test fta_uniqueness_prime_factorisations_have_same_multiset ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_gauss.rs (/opt/rustwide/target/debug/deps/isabelle_gauss-f307246b2484d10c)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test gauss_lemma ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_gcd.rs (/opt/rustwide/target/debug/deps/isabelle_gcd-cd6be7a286b266be)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test gcd_bezout_modular_inverse ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_kernel.rs (/opt/rustwide/target/debug/deps/isabelle_kernel-25f67f0ea43d02a9)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stderr]      Running tests/isabelle_list_theory.rs (/opt/rustwide/target/debug/deps/isabelle_list_theory-a5c6d788de68ba7c)
[INFO] [stdout] test term_kernel_constructs_and_reduces ... ignored, needs /tmp/arbint_image (tools/intflip-bootstrap.sh) + vendor/isabelle
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test list_laws_by_structural_induction ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_modular.rs (/opt/rustwide/target/debug/deps/isabelle_modular-ade11086fdcbcdc0)
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_mult_group.rs (/opt/rustwide/target/debug/deps/isabelle_mult_group-7f5a1fd3c297e68e)
[INFO] [stdout] running 1 test
[INFO] [stdout] test congruence_mod_m_is_a_congruence_relation ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test multiplicative_group_mod_p ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_neg1_qr.rs (/opt/rustwide/target/debug/deps/isabelle_neg1_qr-5f8b621927c2b283)
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_ntbase.rs (/opt/rustwide/target/debug/deps/isabelle_ntbase-aa087b1639dbeb7c)
[INFO] [stdout] running 1 test
[INFO] [stdout] test neg_one_is_qr_mod_p ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_number_theory.rs (/opt/rustwide/target/debug/deps/isabelle_number_theory-750dfaa782bf441c)
[INFO] [stdout] running 1 test
[INFO] [stdout] test unified_number_theory_base ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test naturals_form_a_commutative_semiring ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_object_logic.rs (/opt/rustwide/target/debug/deps/isabelle_object_logic-aab4a4e442d03543)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test first_order_object_logic_proofs ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_ordering.rs (/opt/rustwide/target/debug/deps/isabelle_ordering-6705ba70598226c6)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test naturals_with_le_form_a_linear_order ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_parallel.rs (/opt/rustwide/target/debug/deps/isabelle_parallel-ce86e9ae1c7ee1aa)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test futures_scheduler_parallel_speedup ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] test kernel_inference_parallel_gc_audit_clean ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] test kernel_inference_parallel_sound_and_faster ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 3 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_parallel_proving.rs (/opt/rustwide/target/debug/deps/isabelle_parallel_proving-20cdd81b6e2525c4)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test parallel_proving_sound_and_faster ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_power.rs (/opt/rustwide/target/debug/deps/isabelle_power-3360e110a44152a6)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test powers_and_modular_powers ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_primes.rs (/opt/rustwide/target/debug/deps/isabelle_primes-4bc8fbd2e47f5446)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test strong_induction_strict_order_and_primality ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_primes_1mod4.rs (/opt/rustwide/target/debug/deps/isabelle_primes_1mod4-04fb6ba2176b5407)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test infinitely_many_primes_1_mod_4 ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_primes_3mod4.rs (/opt/rustwide/target/debug/deps/isabelle_primes_3mod4-6c69c8ace574a077)
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test primes_three_mod_four ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_prodf.rs (/opt/rustwide/target/debug/deps/isabelle_prodf-273946056d7e030e)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test finite_product_combinator ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_proving.rs (/opt/rustwide/target/debug/deps/isabelle_proving-2b9ae0fd0f02f5e2)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test isabelle_pure_proving_rungs ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_pure.rs (/opt/rustwide/target/debug/deps/isabelle_pure-75fd46e997e5949b)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test pure_phase0_namespace_and_coupling_load ... ignored, needs vendor/isabelle (src/Pure) + /tmp/basis_loaded
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_pure_arbint.rs (/opt/rustwide/target/debug/deps/isabelle_pure_arbint-9746c1f6516de439)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test pure_phase0_all_27_under_arbitrary_int ... ignored, needs /tmp/arbint_image (tools/intflip-bootstrap.sh) + vendor/isabelle
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_pyth.rs (/opt/rustwide/target/debug/deps/isabelle_pyth-cbf7a955eae9e183)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test pythagorean_characterization ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] test pythagorean_generation ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] test pythagorean_key_lemma ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 3 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_quadratic_reciprocity.rs (/opt/rustwide/target/debug/deps/isabelle_quadratic_reciprocity-c188b34661b20ddf)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test quadratic_reciprocity_full_law ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_sigma.rs (/opt/rustwide/target/debug/deps/isabelle_sigma-86d6bd6713efeacb)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test sigma_computational_probe ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] test sigma_floor ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_sound_audit_negative.rs (/opt/rustwide/target/debug/deps/isabelle_sound_audit_negative-e3b35c15e5ff0b8a)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test sound_audit_rejects_smuggled_axiom_and_oracle ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_sqrt2.rs (/opt/rustwide/target/debug/deps/isabelle_sqrt2-fb24e18c7498d614)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test sqrt2_is_irrational_by_infinite_descent ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_sum.rs (/opt/rustwide/target/debug/deps/isabelle_sum-8a2f10e4c9109663)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test summation_operator_and_truncated_subtraction ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_summation.rs (/opt/rustwide/target/debug/deps/isabelle_summation-a5e8cb928dbdae10)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test gauss_summation_and_sum_of_odds_by_induction ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_summation_forms.rs (/opt/rustwide/target/debug/deps/isabelle_summation_forms-61ed88ce533b982b)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test closed_form_summations ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_theorem_kernel.rs (/opt/rustwide/target/debug/deps/isabelle_theorem_kernel-452b05fb22886690)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test lcf_kernel_derives_theorems ... ignored, needs /tmp/arbint_image + vendor/isabelle (patches applied)
[INFO] [stderr]      Running tests/isabelle_thue.rs (/opt/rustwide/target/debug/deps/isabelle_thue-ee80f2a94e3fe1d7)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test thues_lemma ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_twosquare.rs (/opt/rustwide/target/debug/deps/isabelle_twosquare-8afd5ec30f8f4d47)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test fermat_two_square ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_twosquare_full.rs (/opt/rustwide/target/debug/deps/isabelle_twosquare_full-5cff4ef5569ac252)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test brahmagupta_multiplicativity ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] test concrete_soundness_probe ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] test full_iff_merge_seat ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh); ~22.6B steps / ~12 min
[INFO] [stdout] test full_iff_modulo_only_if ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] test full_iff_unconditional ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh); ~22.7B steps / ~12 min
[INFO] [stdout] test if_direction_closed ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] test if_direction_machinery ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] test key_only_if_lemma ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stderr]      Running tests/isabelle_wilson.rs (/opt/rustwide/target/debug/deps/isabelle_wilson-42f25fe0dc464c10)
[INFO] [stdout] test only_if_direction ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 9 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test wilsons_theorem ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_wilson_converse.rs (/opt/rustwide/target/debug/deps/isabelle_wilson_converse-14dbb86da12e67d8)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test wilsons_converse ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_wilson_iff.rs (/opt/rustwide/target/debug/deps/isabelle_wilson_iff-b8546f9c91a168c0)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test wilson_iff_primality_criterion ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_wilson_inverse.rs (/opt/rustwide/target/debug/deps/isabelle_wilson_inverse-0ce6c3e2dd0751f3)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test modular_inverse_function ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_wilson_pairing.rs (/opt/rustwide/target/debug/deps/isabelle_wilson_pairing-caf417a13a0a1b40)
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test involution_pairing_lemma ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_zeckendorf.rs (/opt/rustwide/target/debug/deps/isabelle_zeckendorf-5c2ba595238d725b)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test zeckendorf_existence_and_uniqueness ... ignored, needs /tmp/isabelle_pure (tools/build-isabelle-pure.sh)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/os_sleep_poll.rs (/opt/rustwide/target/debug/deps/os_sleep_poll-23f80715a47d2966)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test sigint_aborts_blocked_stdin_read_with_sml_interrupt ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stdout] test sleep_really_sleeps ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stdout] test upstream_test166_condvars_with_real_threads ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 3 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/overflow.rs (/opt/rustwide/target/debug/deps/overflow-eb5da318bc2163be)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test fixed_and_real_ops_raise_overflow ... ignored, needs /tmp/basis_loaded (tools/build-hol4-checkpoints.sh basis)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/parsetree_introspect.rs (/opt/rustwide/target/debug/deps/parsetree_introspect-eabb554d52b2db5c)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test compiler_parsetree_walk_and_types ... ignored, needs /tmp/basis_loaded (tools/build-hol4-checkpoints.sh basis)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/real_math.rs (/opt/rustwide/target/debug/deps/real_math-fa5c39cabb630967)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test real_unary_binary_and_tolargeint ... ignored, needs /tmp/basis_loaded (tools/build-hol4-checkpoints.sh basis)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/rounding_dns.rs (/opt/rustwide/target/debug/deps/rounding_dns-3f6bed0b344679de)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test dns_localhost_round_trip ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stdout] test real32_from_large_directed ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stdout] test rounding_modes_honored_by_arithmetic ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stdout] test syserror_name_round_trip ... ignored, needs vendor/polyml/polyexport (self-bootstrap the 7-stage chain first)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 4 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/rts_defang.rs (/opt/rustwide/target/debug/deps/rts_defang-4efbecdbba2bbbd1)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test date_local_time_is_real ... ok
[INFO] [stdout] test process_system_really_runs ... ok
[INFO] [stdout] test chdir_raises_catchable_syserr ... ok
[INFO] [stdout] test io_open_error_carries_errno_and_message ... ok
[INFO] [stdout] test repl_still_healthy_after_defanged_raises ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/sockets.rs (/opt/rustwide/target/debug/deps/sockets-b2717f7bf4ed08f8)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test echo_server_roundtrips_real_kernel_sockets ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/untrusted_corpus.rs (/opt/rustwide/target/debug/deps/untrusted_corpus-ba12859c77d91f37)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test untrusted_bootstrap_is_byte_identical ... ok
[INFO] [stdout] test untrusted_mode_catches_every_malicious_image ... FAILED
[INFO] [stdout] test untrusted_mode_catches_fresh_adversarial_images ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- untrusted_mode_catches_every_malicious_image stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'untrusted_mode_catches_every_malicious_image' (3995) panicked at crates/polyml-bin/tests/untrusted_corpus.rs:625:38:
[INFO] [stdout] write corpus image: Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x6342b0c548b1 - std[73adb7dc35730857]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x6342b0c548b1 - std[73adb7dc35730857]::backtrace_rs::backtrace::trace_unsynchronized::<std[73adb7dc35730857]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x6342b0c548b1 - std[73adb7dc35730857]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x6342b0c548b1 - <<std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[6883ba1bc0fe4ed1]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x6342b0c6875a - <core[6883ba1bc0fe4ed1]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x6342b0c6875a - core[6883ba1bc0fe4ed1]::fmt::write
[INFO] [stdout]    6:     0x6342b0c58d8c - std[73adb7dc35730857]::io::default_write_fmt::<alloc[55a36b64bcbf2c0d]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:626:11
[INFO] [stdout]    7:     0x6342b0c58d8c - <alloc[55a36b64bcbf2c0d]::vec::Vec<u8> as std[73adb7dc35730857]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:1730:13
[INFO] [stdout]    8:     0x6342b0c31d16 - <std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x6342b0c31d16 - std[73adb7dc35730857]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x6342b0c4c819 - std[73adb7dc35730857]::panicking::default_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x6342b0be4500 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   12:     0x6342b0be4500 - test[980ffaebd391d06d]::test_main_inner::<test[980ffaebd391d06d]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x6342b0c4c9d2 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   14:     0x6342b0c4c9d2 - std[73adb7dc35730857]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:823:13
[INFO] [stdout]   15:     0x6342b0c31dc2 - std[73adb7dc35730857]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:688:13
[INFO] [stdout]   16:     0x6342b0c29609 - std[73adb7dc35730857]::sys::backtrace::__rust_end_short_backtrace::<std[73adb7dc35730857]::panicking::panic_handler::{closure#0}, !>
[INFO] [stderr] error: test failed, to rerun pass `-p polyml-bin --test untrusted_corpus`
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x6342b0c329bd - __rustc[a7b7b02e776dd976]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:679:5
[INFO] [stdout]   18:     0x6342b0c68eec - core[6883ba1bc0fe4ed1]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x6342b0c68c62 - core[6883ba1bc0fe4ed1]::result::unwrap_failed
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/result.rs:1870:5
[INFO] [stdout]   20:     0x6342b0c1870c - <core[6883ba1bc0fe4ed1]::result::Result<(), core[6883ba1bc0fe4ed1]::io::error::Error>>::expect
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/result.rs:1183:23
[INFO] [stdout]   21:     0x6342b0bceebe - untrusted_corpus[baff3d1cd96a2bc]::materialize_corpus
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/polyml-bin/tests/untrusted_corpus.rs:625:38
[INFO] [stdout]   22:     0x6342b0bd52b1 - untrusted_corpus[baff3d1cd96a2bc]::untrusted_mode_catches_every_malicious_image
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/polyml-bin/tests/untrusted_corpus.rs:659:25
[INFO] [stdout]   23:     0x6342b0bcd037 - untrusted_corpus[baff3d1cd96a2bc]::untrusted_mode_catches_every_malicious_image::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/polyml-bin/tests/untrusted_corpus.rs:657:50
[INFO] [stdout]   24:     0x6342b0bccb56 - <untrusted_corpus[baff3d1cd96a2bc]::untrusted_mode_catches_every_malicious_image::{closure#0} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x6342b0bd783b - <fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x6342b0bd783b - test[980ffaebd391d06d]::__rust_begin_short_backtrace::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:724:18
[INFO] [stdout]   27:     0x6342b0be4e85 - test[980ffaebd391d06d]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:74
[INFO] [stdout]   28:     0x6342b0be4e85 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   29:     0x6342b0be4e85 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   30:     0x6342b0be4e85 - std[73adb7dc35730857]::panicking::catch_unwind::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   31:     0x6342b0be4e85 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x6342b0be4e85 - test[980ffaebd391d06d]::run_test_in_process
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:27
[INFO] [stdout]   33:     0x6342b0be4e85 - test[980ffaebd391d06d]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:668:43
[INFO] [stdout]   34:     0x6342b0bdf934 - test[980ffaebd391d06d]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:698:41
[INFO] [stdout]   35:     0x6342b0bdf934 - std[73adb7dc35730857]::sys::backtrace::__rust_begin_short_backtrace::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   36:     0x6342b0be7fd2 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   37:     0x6342b0be7fd2 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   38:     0x6342b0be7fd2 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   39:     0x6342b0be7fd2 - std[73adb7dc35730857]::panicking::catch_unwind::<(), core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   40:     0x6342b0be7fd2 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x6342b0be7fd2 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   42:     0x6342b0be7fd2 - <std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x6342b0c53f3f - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn core[6883ba1bc0fe4ed1]::ops::function::FnOnce<(), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2319:9
[INFO] [stdout]   44:     0x6342b0c53f3f - <std[73adb7dc35730857]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/thread/unix.rs:123:17
[INFO] [stdout]   45:     0x7709fe7c7aa4 - <unknown>
[INFO] [stdout]   46:     0x7709fe854a64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     untrusted_mode_catches_every_malicious_image
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 2 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.61s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "88f7744fb50abf1aaa5f66a75aaf96a244d190b570c0a7db9859510b4c73a9fa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "88f7744fb50abf1aaa5f66a75aaf96a244d190b570c0a7db9859510b4c73a9fa", kill_on_drop: false }`
[INFO] [stdout] 88f7744fb50abf1aaa5f66a75aaf96a244d190b570c0a7db9859510b4c73a9fa
