[INFO] fetching crate mrs 0.1.9...
[INFO] testing mrs-0.1.9 against 1.97.0-beta.6 for beta-1.98-1
[INFO] extracting crate mrs 0.1.9 into /workspace/builds/worker-5-tc1/source
[INFO] removed /workspace/builds/worker-5-tc1/source/.cargo/config.toml
[INFO] started tweaking crates.io crate mrs 0.1.9
[INFO] finished tweaking crates.io crate mrs 0.1.9
[INFO] tweaked toml for crates.io crate mrs 0.1.9 written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate mrs 0.1.9 on toolchain 1.97.0-beta.6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.97.0-beta.6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate mrs 0.1.9 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.97.0-beta.6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded mrs-unify v0.1.9
[INFO] [stderr]   Downloaded wincode-derive v0.4.6
[INFO] [stderr]   Downloaded wincode v0.5.5
[INFO] [stderr]   Downloaded mrs-core v0.1.9
[INFO] [stderr]   Downloaded darling v0.23.0
[INFO] [stderr]   Downloaded profiling v1.0.18
[INFO] [stderr]   Downloaded jni-sys v0.4.1
[INFO] [stderr]   Downloaded dlib v0.5.3
[INFO] [stderr]   Downloaded jni-sys-macros v0.4.1
[INFO] [stderr]   Downloaded derive-new v0.7.0
[INFO] [stderr]   Downloaded wgpu-naga-bridge v29.0.3
[INFO] [stderr]   Downloaded bit-set v0.9.1
[INFO] [stderr]   Downloaded wayland-sys v0.31.11
[INFO] [stderr]   Downloaded darling_macro v0.23.0
[INFO] [stderr]   Downloaded wgpu-core-deps-windows-linux-android v29.0.3
[INFO] [stderr]   Downloaded range-alloc v0.1.5
[INFO] [stderr]   Downloaded wgpu-core-deps-apple v29.0.3
[INFO] [stderr]   Downloaded wgpu-core-deps-emscripten v29.0.3
[INFO] [stderr]   Downloaded tracel-llvm v20.1.4-7
[INFO] [stderr]   Downloaded document-features v0.2.12
[INFO] [stderr]   Downloaded md5 v0.8.0
[INFO] [stderr]   Downloaded constcat v0.6.1
[INFO] [stderr]   Downloaded wasm-bindgen-macro v0.2.123
[INFO] [stderr]   Downloaded jni-sys v0.3.1
[INFO] [stderr]   Downloaded wasm-bindgen-shared v0.2.123
[INFO] [stderr]   Downloaded sanitize-filename v0.6.0
[INFO] [stderr]   Downloaded darling_macro v0.21.3
[INFO] [stderr]   Downloaded cubecl-macros-internal v0.10.0
[INFO] [stderr]   Downloaded variadics_please v1.1.0
[INFO] [stderr]   Downloaded bit-vec v0.9.1
[INFO] [stderr]   Downloaded raw-window-metal v1.1.0
[INFO] [stderr]   Downloaded convert_case v0.10.0
[INFO] [stderr]   Downloaded libredox v0.1.17
[INFO] [stderr]   Downloaded serde_bytes v0.11.19
[INFO] [stderr]   Downloaded embedded-hal-async v1.0.0
[INFO] [stderr]   Downloaded libloading v0.8.9
[INFO] [stderr]   Downloaded nb v1.1.0
[INFO] [stderr]   Downloaded embassy-time-driver v0.2.2
[INFO] [stderr]   Downloaded embassy-futures v0.1.2
[INFO] [stderr]   Downloaded nb v0.1.3
[INFO] [stderr]   Downloaded inflections v1.1.1
[INFO] [stderr]   Downloaded type-map v0.5.1
[INFO] [stderr]   Downloaded wasm-bindgen-futures v0.4.73
[INFO] [stderr]   Downloaded xattr v1.6.1
[INFO] [stderr]   Downloaded pastey v0.2.3
[INFO] [stderr]   Downloaded spirv v0.4.0+sdk-1.4.341.0
[INFO] [stderr]   Downloaded objc2-quartz-core v0.3.2
[INFO] [stderr]   Downloaded enumset v1.1.13
[INFO] [stderr]   Downloaded cubecl-zspace v0.10.0
[INFO] [stderr]   Downloaded tynm v0.2.0
[INFO] [stderr]   Downloaded embedded-hal v1.0.0
[INFO] [stderr]   Downloaded embedded-hal v0.2.7
[INFO] [stderr]   Downloaded rustc-demangle v0.1.27
[INFO] [stderr]   Downloaded slug v0.1.6
[INFO] [stderr]   Downloaded text_placeholder v0.5.1
[INFO] [stderr]   Downloaded cubecl v0.10.0
[INFO] [stderr]   Downloaded gpu-allocator v0.28.0
[INFO] [stderr]   Downloaded spin v0.10.0
[INFO] [stderr]   Downloaded float8 v0.7.0
[INFO] [stderr]   Downloaded float4 v0.2.0
[INFO] [stderr]   Downloaded embassy-time v0.5.1
[INFO] [stderr]   Downloaded fixedbitset v0.5.7
[INFO] [stderr]   Downloaded typed-arena v2.0.2
[INFO] [stderr]   Downloaded burn-wgpu v0.21.0
[INFO] [stderr]   Downloaded litrs v1.0.0
[INFO] [stderr]   Downloaded constant_time_eq v0.1.5
[INFO] [stderr]   Downloaded bytemuck_derive v1.10.2
[INFO] [stderr]   Downloaded ordered-float v5.3.0
[INFO] [stderr]   Downloaded enumset_derive v0.15.0
[INFO] [stderr]   Downloaded darling v0.21.3
[INFO] [stderr]   Downloaded chacha20 v0.10.0
[INFO] [stderr]   Downloaded oneshot v0.2.1
[INFO] [stderr]   Downloaded tracel-llvm-bundler v20.1.4-7
[INFO] [stderr]   Downloaded filetime v0.2.29
[INFO] [stderr]   Downloaded convert_case v0.8.0
[INFO] [stderr]   Downloaded pulp-wasm-simd-flag v0.1.0
[INFO] [stderr]   Downloaded cubecl-hip v0.10.0
[INFO] [stderr]   Downloaded stable-vec v0.4.2
[INFO] [stderr]   Downloaded libloading v0.9.0
[INFO] [stderr]   Downloaded password-hash v0.4.2
[INFO] [stderr]   Downloaded codespan-reporting v0.13.1
[INFO] [stderr]   Downloaded darling_core v0.21.3
[INFO] [stderr]   Downloaded cubecl-ir v0.10.0
[INFO] [stderr]   Downloaded getrandom v0.4.2
[INFO] [stderr]   Downloaded cubecl-std v0.10.0
[INFO] [stderr]   Downloaded cubecl-opt v0.10.0
[INFO] [stderr]   Downloaded cubecl-cuda v0.10.0
[INFO] [stderr]   Downloaded safetensors v0.3.3
[INFO] [stderr]   Downloaded dary_heap v0.3.9
[INFO] [stderr]   Downloaded burn v0.21.0
[INFO] [stderr]   Downloaded rand_distr v0.5.1
[INFO] [stderr]   Downloaded cubecl-wgpu v0.10.0
[INFO] [stderr]   Downloaded slotmap v1.1.1
[INFO] [stderr]   Downloaded derive_more v2.1.1
[INFO] [stderr]   Downloaded cubecl-macros v0.10.0
[INFO] [stderr]   Downloaded moddef v0.3.0
[INFO] [stderr]   Downloaded macerator-macros v0.1.5
[INFO] [stderr]   Downloaded gemm-f64 v0.19.0
[INFO] [stderr]   Downloaded darling_core v0.23.0
[INFO] [stderr]   Downloaded wasm-bindgen v0.2.123
[INFO] [stderr]   Downloaded wasm-bindgen-macro-support v0.2.123
[INFO] [stderr]   Downloaded cubecl-cpu v0.10.0
[INFO] [stderr]   Downloaded tar v0.4.46
[INFO] [stderr]   Downloaded gemm-f16 v0.19.0
[INFO] [stderr]   Downloaded macro_rules_attribute v0.2.2
[INFO] [stderr]   Downloaded macro_rules_attribute-proc_macro v0.2.2
[INFO] [stderr]   Downloaded derive_more-impl v2.1.1
[INFO] [stderr]   Downloaded unicode-segmentation v1.13.3
[INFO] [stderr]   Downloaded cubecl-runtime v0.10.0
[INFO] [stderr]   Downloaded cubecl-common v0.10.0
[INFO] [stderr]   Downloaded rand v0.10.1
[INFO] [stderr]   Downloaded cubecl-cpp v0.10.0
[INFO] [stderr]   Downloaded unicode_categories v0.1.1
[INFO] [stderr]   Downloaded unty v0.0.4
[INFO] [stderr]   Downloaded atomic_float v1.1.0
[INFO] [stderr]   Downloaded gemm-c64 v0.19.0
[INFO] [stderr]   Downloaded gemm-c32 v0.19.0
[INFO] [stderr]   Downloaded js-sys v0.3.100
[INFO] [stderr]   Downloaded wgpu-types v29.0.3
[INFO] [stderr]   Downloaded dyn-stack-macros v0.1.3
[INFO] [stderr]   Downloaded gemm-f32 v0.19.0
[INFO] [stderr]   Downloaded compact_str v0.9.1
[INFO] [stderr]   Downloaded mrs-szs v0.1.9
[INFO] [stderr]   Downloaded mrs-index v0.1.9
[INFO] [stderr]   Downloaded mrs-cnf v0.1.9
[INFO] [stderr]   Downloaded cubek-quant v0.2.0
[INFO] [stderr]   Downloaded monostate v0.1.18
[INFO] [stderr]   Downloaded monostate-impl v0.1.18
[INFO] [stderr]   Downloaded castaway v0.2.4
[INFO] [stderr]   Downloaded mrs-proof v0.1.9
[INFO] [stderr]   Downloaded glow v0.17.0
[INFO] [stderr]   Downloaded nom v8.0.0
[INFO] [stderr]   Downloaded entities v1.0.1
[INFO] [stderr]   Downloaded caseless v0.2.2
[INFO] [stderr]   Downloaded wgpu v29.0.3
[INFO] [stderr]   Downloaded cubecl-core v0.10.0
[INFO] [stderr]   Downloaded comrak v0.39.1
[INFO] [stderr]   Downloaded pulp v0.22.2
[INFO] [stderr]   Downloaded cubek v0.2.0
[INFO] [stderr]   Downloaded h2 v0.4.14
[INFO] [stderr]   Downloaded safetensors v0.7.0
[INFO] [stderr]   Downloaded objc2-metal v0.3.2
[INFO] [stderr]   Downloaded liblzma v0.4.6
[INFO] [stderr]   Downloaded burn-derive v0.21.0
[INFO] [stderr]   Downloaded gemm v0.19.0
[INFO] [stderr]   Downloaded gemm-common v0.19.0
[INFO] [stderr]   Downloaded time v0.3.48
[INFO] [stderr]   Downloaded burn-rocm v0.21.0
[INFO] [stderr]   Downloaded dyn-stack v0.13.2
[INFO] [stderr]   Downloaded burn-cpu v0.21.0
[INFO] [stderr]   Downloaded rayon-cond v0.4.0
[INFO] [stderr]   Downloaded onig v6.5.3
[INFO] [stderr]   Downloaded mrs-calculus v0.1.9
[INFO] [stderr]   Downloaded tracel-mlir-rs-macros v20.1.4-7
[INFO] [stderr]   Downloaded cubek-random v0.2.0
[INFO] [stderr]   Downloaded burn-cuda v0.21.0
[INFO] [stderr]   Downloaded wgpu-core v29.0.3
[INFO] [stderr]   Downloaded textdistance v1.1.1
[INFO] [stderr]   Downloaded rmp-serde v1.3.1
[INFO] [stderr]   Downloaded ndk-sys v0.6.0+11769913
[INFO] [stderr]   Downloaded cubek-fft v0.2.0
[INFO] [stderr]   Downloaded wgpu-hal v29.0.3
[INFO] [stderr]   Downloaded sysctl v0.6.0
[INFO] [stderr]   Downloaded rmp v0.8.15
[INFO] [stderr]   Downloaded macerator v0.3.3
[INFO] [stderr]   Downloaded tracel-tblgen-rs v20.1.4-7
[INFO] [stderr]   Downloaded burn-ir v0.21.0
[INFO] [stderr]   Downloaded burn-tch v0.21.0
[INFO] [stderr]   Downloaded cubek-attention v0.2.0
[INFO] [stderr]   Downloaded bincode v2.0.1
[INFO] [stderr]   Downloaded burn-router v0.21.0
[INFO] [stderr]   Downloaded burn-autodiff v0.21.0
[INFO] [stderr]   Downloaded burn-dispatch v0.21.0
[INFO] [stderr]   Downloaded burn-candle v0.21.0
[INFO] [stderr]   Downloaded cubek-reduce v0.2.0
[INFO] [stderr]   Downloaded cubek-convolution v0.2.0
[INFO] [stderr]   Downloaded burn-std v0.21.0
[INFO] [stderr]   Downloaded zip v0.6.6
[INFO] [stderr]   Downloaded uuid v1.23.3
[INFO] [stderr]   Downloaded rand_distr v0.6.0
[INFO] [stderr]   Downloaded web-sys v0.3.100
[INFO] [stderr]   Downloaded cubek-std v0.2.0
[INFO] [stderr]   Downloaded burn-optim v0.21.0
[INFO] [stderr]   Downloaded mrs-tptp v0.1.9
[INFO] [stderr]   Downloaded burn-cubecl-fusion v0.21.0
[INFO] [stderr]   Downloaded cubecl-hip-sys v7.2.5321100
[INFO] [stderr]   Downloaded petgraph v0.8.3
[INFO] [stderr]   Downloaded burn-core v0.21.0
[INFO] [stderr]   Downloaded naga v29.0.3
[INFO] [stderr]   Downloaded tracel-mlir-rs v20.1.4-7
[INFO] [stderr]   Downloaded unicode-normalization-alignments v0.1.12
[INFO] [stderr]   Downloaded mrs-search v0.1.9
[INFO] [stderr]   Downloaded burn-fusion v0.21.0
[INFO] [stderr]   Downloaded typed-path v0.12.3
[INFO] [stderr]   Downloaded burn-ndarray v0.21.0
[INFO] [stderr]   Downloaded burn-cubecl v0.21.0
[INFO] [stderr]   Downloaded burn-backend v0.21.0
[INFO] [stderr]   Downloaded burn-tensor v0.21.0
[INFO] [stderr]   Downloaded tracel-mlir-sys v20.1.4-7
[INFO] [stderr]   Downloaded cubek-matmul v0.2.0
[INFO] [stderr]   Downloaded burn-nn v0.21.0
[INFO] [stderr]   Downloaded zip v7.2.0
[INFO] [stderr]   Downloaded deunicode v1.6.2
[INFO] [stderr]   Downloaded esaxx-rs v0.1.10
[INFO] [stderr]   Downloaded tokenizers v0.22.2
[INFO] [stderr]   Downloaded burn-store v0.21.0
[INFO] [stderr]   Downloaded sysinfo v0.38.4
[INFO] [stderr]   Downloaded torch-sys v0.22.0
[INFO] [stderr]   Downloaded ndarray v0.17.2
[INFO] [stderr]   Downloaded ndarray v0.16.1
[INFO] [stderr]   Downloaded burn-flex v0.21.0
[INFO] [stderr]   Downloaded candle-core v0.10.2
[INFO] [stderr]   Downloaded cadical v0.1.16
[INFO] [stderr]   Downloaded tch v0.22.0
[INFO] [stderr]   Downloaded cudarc v0.19.7
[INFO] [stderr]   Downloaded spm_precompiled v0.1.4
[INFO] [stderr]   Downloaded onig_sys v69.9.3
[INFO] [stderr]   Downloaded liblzma-sys v0.4.6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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] 365433e3226f6bc674677aab57fb4f0c505e11deeb90eb6f54be0dca90fded1b
[INFO] running `Command { std: "docker" "start" "365433e3226f6bc674677aab57fb4f0c505e11deeb90eb6f54be0dca90fded1b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "365433e3226f6bc674677aab57fb4f0c505e11deeb90eb6f54be0dca90fded1b", 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" "365433e3226f6bc674677aab57fb4f0c505e11deeb90eb6f54be0dca90fded1b" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "365433e3226f6bc674677aab57fb4f0c505e11deeb90eb6f54be0dca90fded1b", 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" "365433e3226f6bc674677aab57fb4f0c505e11deeb90eb6f54be0dca90fded1b" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.186
[INFO] [stderr]    Compiling rustc-hash v2.1.2
[INFO] [stderr]    Compiling find-msvc-tools v0.1.9
[INFO] [stderr]    Compiling shlex v2.0.1
[INFO] [stderr]    Compiling mrs-szs v0.1.9
[INFO] [stderr]    Compiling winnow v1.0.3
[INFO] [stderr]    Compiling mrs-core v0.1.9
[INFO] [stderr]    Compiling mrs-index v0.1.9
[INFO] [stderr]    Compiling mrs-unify v0.1.9
[INFO] [stderr]    Compiling mrs-proof v0.1.9
[INFO] [stderr]    Compiling mrs-cnf v0.1.9
[INFO] [stderr]    Compiling mrs-calculus v0.1.9
[INFO] [stderr]    Compiling jobserver v0.1.34
[INFO] [stderr]    Compiling cc v1.2.63
[INFO] [stderr]    Compiling mrs-tptp v0.1.9
[INFO] [stderr]    Compiling cadical v0.1.16
[INFO] [stderr]    Compiling mrs-search v0.1.9
[INFO] [stderr]    Compiling mrs v0.1.9 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 59.12s
[INFO] running `Command { std: "docker" "inspect" "365433e3226f6bc674677aab57fb4f0c505e11deeb90eb6f54be0dca90fded1b", 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" "365433e3226f6bc674677aab57fb4f0c505e11deeb90eb6f54be0dca90fded1b" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling mrs v0.1.9 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.99s
[INFO] running `Command { std: "docker" "inspect" "365433e3226f6bc674677aab57fb4f0c505e11deeb90eb6f54be0dca90fded1b", 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" "365433e3226f6bc674677aab57fb4f0c505e11deeb90eb6f54be0dca90fded1b" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.25s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/dump_clauses.rs (/opt/rustwide/target/debug/deps/dump_clauses-d185a46917786e49)
[INFO] [stdout] running 16 tests
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/mrs-437b26395d868db3)
[INFO] [stdout] test lowering::tests::lower_equality ... ok
[INFO] [stdout] test lowering::tests::lower_conjecture ... ok
[INFO] [stdout] test lowering::tests::lower_cnf ... ok
[INFO] [stdout] test lowering::tests::lower_quantified ... ok
[INFO] [stdout] test lowering::tests::lower_simple_axiom ... ok
[INFO] [stdout] test lowering::tests::lower_tcf_clause ... ok
[INFO] [stdout] test lowering::tests::lower_tcf_type_declaration_skipped ... ok
[INFO] [stdout] test lowering::tests::lower_tcf_equality_literal ... ok
[INFO] [stdout] test lowering::tests::lower_tff_conjecture ... ok
[INFO] [stdout] test lowering::tests::lower_tff_equality ... ok
[INFO] [stdout] test lowering::tests::lower_tff_simple_axiom ... ok
[INFO] [stdout] test lowering::tests::lower_cnf_to_clause_direct ... ok
[INFO] [stdout] test lowering::tests::lower_tff_type_declaration_skipped ... ok
[INFO] [stdout] test lowering::tests::lower_tff_typed_variables_ignored ... ok
[INFO] [stdout] test lowering::tests::variable_shadowing ... ok
[INFO] [stdout] test lowering::tests::variable_shadowing_restored ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test lowering::tests::lower_tcf_clause ... ok
[INFO] [stdout] test lowering::tests::lower_cnf_to_clause_direct ... ok
[INFO] [stdout] test lowering::tests::lower_conjecture ... ok
[INFO] [stdout] test lowering::tests::lower_tff_type_declaration_skipped ... ok
[INFO] [stdout] test lowering::tests::lower_simple_axiom ... ok
[INFO] [stdout] test lowering::tests::lower_quantified ... ok
[INFO] [stdout] test lowering::tests::lower_tcf_equality_literal ... ok
[INFO] [stdout] test lowering::tests::lower_tff_typed_variables_ignored ... ok
[INFO] [stdout] test lowering::tests::lower_tff_equality ... ok
[INFO] [stdout] test lowering::tests::lower_cnf ... ok
[INFO] [stdout] test lowering::tests::lower_tcf_type_declaration_skipped ... ok
[INFO] [stdout] test lowering::tests::variable_shadowing ... ok
[INFO] [stdout] test lowering::tests::lower_tff_conjecture ... ok
[INFO] [stdout] test lowering::tests::lower_tff_simple_axiom ... ok
[INFO] [stdout] test lowering::tests::variable_shadowing_restored ... ok
[INFO] [stdout] test lowering::tests::lower_equality ... ok
[INFO] [stderr]      Running unittests src/bin/run_pel27.rs (/opt/rustwide/target/debug/deps/run_pel27-5aa6ecc5852e0198)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[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 unittests src/bin/test_syn.rs (/opt/rustwide/target/debug/deps/test_syn-2b2537f24430cf63)
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test lowering::tests::lower_cnf ... ok
[INFO] [stdout] test lowering::tests::lower_equality ... ok
[INFO] [stdout] test lowering::tests::lower_conjecture ... ok
[INFO] [stdout] test lowering::tests::lower_tcf_equality_literal ... ok
[INFO] [stdout] test lowering::tests::lower_tcf_clause ... ok
[INFO] [stdout] test lowering::tests::lower_quantified ... ok
[INFO] [stdout] test lowering::tests::lower_simple_axiom ... ok
[INFO] [stdout] test lowering::tests::lower_tcf_type_declaration_skipped ... ok
[INFO] [stdout] test lowering::tests::lower_tff_conjecture ... ok
[INFO] [stdout] test lowering::tests::lower_tff_type_declaration_skipped ... ok
[INFO] [stdout] test lowering::tests::lower_tff_equality ... ok
[INFO] [stdout] test lowering::tests::lower_tff_simple_axiom ... ok
[INFO] [stdout] test lowering::tests::variable_shadowing ... ok
[INFO] [stdout] test lowering::tests::variable_shadowing_restored ... ok
[INFO] [stdout] test lowering::tests::lower_tff_typed_variables_ignored ... ok
[INFO] [stdout] test lowering::tests::lower_cnf_to_clause_direct ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "365433e3226f6bc674677aab57fb4f0c505e11deeb90eb6f54be0dca90fded1b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "365433e3226f6bc674677aab57fb4f0c505e11deeb90eb6f54be0dca90fded1b", kill_on_drop: false }`
[INFO] [stdout] 365433e3226f6bc674677aab57fb4f0c505e11deeb90eb6f54be0dca90fded1b
