[INFO] fetching crate yaspar-ir 2.7.3...
[INFO] testing yaspar-ir-2.7.3 against master#ec6f9a5b4413f74386267ef8efc93712c2ce6db6 for pr-155739-1
[INFO] extracting crate yaspar-ir 2.7.3 into /workspace/builds/worker-4-tc1/source
[INFO] started tweaking crates.io crate yaspar-ir 2.7.3
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate yaspar-ir 2.7.3
[INFO] tweaked toml for crates.io crate yaspar-ir 2.7.3 written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate yaspar-ir 2.7.3 on toolchain ec6f9a5b4413f74386267ef8efc93712c2ce6db6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate yaspar-ir 2.7.3 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" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded phf v0.13.1
[INFO] [stderr]   Downloaded siphasher v1.0.3
[INFO] [stderr]   Downloaded phf_shared v0.13.1
[INFO] [stderr]   Downloaded phf_macros v0.13.1
[INFO] [stderr]   Downloaded precomputed-hash v0.1.1
[INFO] [stderr]   Downloaded pico-args v0.5.0
[INFO] [stderr]   Downloaded dashu v0.4.2
[INFO] [stderr]   Downloaded colorchoice v1.0.5
[INFO] [stderr]   Downloaded new_debug_unreachable v1.0.6
[INFO] [stderr]   Downloaded keccak v0.1.6
[INFO] [stderr]   Downloaded ascii-canvas v4.0.0
[INFO] [stderr]   Downloaded rustc-hash v2.1.2
[INFO] [stderr]   Downloaded sat-interface v0.1.1
[INFO] [stderr]   Downloaded string_cache v0.8.9
[INFO] [stderr]   Downloaded redox_syscall v0.5.18
[INFO] [stderr]   Downloaded fixedbitset v0.5.7
[INFO] [stderr]   Downloaded phf_generator v0.13.1
[INFO] [stderr]   Downloaded clap_lex v1.1.0
[INFO] [stderr]   Downloaded lock_api v0.4.14
[INFO] [stderr]   Downloaded bit-set v0.8.0
[INFO] [stderr]   Downloaded delegate v0.13.5
[INFO] [stderr]   Downloaded num-modular v0.6.1
[INFO] [stderr]   Downloaded ena v0.14.4
[INFO] [stderr]   Downloaded bit-vec v0.8.0
[INFO] [stderr]   Downloaded hashconsing v1.7.0
[INFO] [stderr]   Downloaded libloading v0.8.9
[INFO] [stderr]   Downloaded term v1.2.1
[INFO] [stderr]   Downloaded dashu-ratio v0.4.1
[INFO] [stderr]   Downloaded anstyle v1.0.14
[INFO] [stderr]   Downloaded lalrpop-util v0.22.2
[INFO] [stderr]   Downloaded parking_lot v0.12.5
[INFO] [stderr]   Downloaded parking_lot_core v0.9.12
[INFO] [stderr]   Downloaded dashu-base v0.4.1
[INFO] [stderr]   Downloaded dashu-macros v0.4.1
[INFO] [stderr]   Downloaded paste v1.0.15
[INFO] [stderr]   Downloaded fastrand v2.4.1
[INFO] [stderr]   Downloaded convert_case v0.11.0
[INFO] [stderr]   Downloaded num-order v1.2.0
[INFO] [stderr]   Downloaded clap_derive v4.6.1
[INFO] [stderr]   Downloaded clap v4.6.1
[INFO] [stderr]   Downloaded yaspar v2.7.0
[INFO] [stderr]   Downloaded cvc5 v0.4.0
[INFO] [stderr]   Downloaded cvc5-sys v0.4.0
[INFO] [stderr]   Downloaded cc v1.2.61
[INFO] [stderr]   Downloaded dashu-float v0.4.3
[INFO] [stderr]   Downloaded unicode-segmentation v1.13.2
[INFO] [stderr]   Downloaded itertools v0.13.0
[INFO] [stderr]   Downloaded dashu-int v0.4.1
[INFO] [stderr]   Downloaded winnow v0.7.15
[INFO] [stderr]   Downloaded bindgen v0.72.1
[INFO] [stderr]   Downloaded lalrpop v0.22.2
[INFO] [stderr]   Downloaded petgraph v0.7.1
[INFO] [stderr]   Downloaded sha3 v0.10.9
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 2f0c3b139b8f88007e6c768f73d7a8b1c49296b6151a99d0fc4833cb9081d688
[INFO] running `Command { std: "docker" "start" "-a" "2f0c3b139b8f88007e6c768f73d7a8b1c49296b6151a99d0fc4833cb9081d688", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "2f0c3b139b8f88007e6c768f73d7a8b1c49296b6151a99d0fc4833cb9081d688", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2f0c3b139b8f88007e6c768f73d7a8b1c49296b6151a99d0fc4833cb9081d688", kill_on_drop: false }`
[INFO] [stdout] 2f0c3b139b8f88007e6c768f73d7a8b1c49296b6151a99d0fc4833cb9081d688
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e67c07cd4c08488ebfe46b47637d939700dffbf116ecccf01d6aa270f676f018
[INFO] running `Command { std: "docker" "start" "-a" "e67c07cd4c08488ebfe46b47637d939700dffbf116ecccf01d6aa270f676f018", kill_on_drop: false }`
[INFO] [stderr]    Compiling siphasher v1.0.3
[INFO] [stderr]    Compiling num-modular v0.6.1
[INFO] [stderr]    Compiling typenum v1.20.0
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling dashu-base v0.4.1
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling term v1.2.1
[INFO] [stderr]    Compiling keccak v0.1.6
[INFO] [stderr]    Compiling indexmap v2.14.0
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling fixedbitset v0.5.7
[INFO] [stderr]    Compiling lock_api v0.4.14
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.6
[INFO] [stderr]    Compiling anstyle-parse v1.0.0
[INFO] [stderr]    Compiling ena v0.14.4
[INFO] [stderr]    Compiling ascii-canvas v4.0.0
[INFO] [stderr]    Compiling phf_shared v0.11.3
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling phf_shared v0.13.1
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling unicode-xid v0.2.6
[INFO] [stderr]    Compiling pico-args v0.5.0
[INFO] [stderr]    Compiling fastrand v2.4.1
[INFO] [stderr]    Compiling anstream v1.0.0
[INFO] [stderr]    Compiling petgraph v0.7.1
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling strsim v0.11.1
[INFO] [stderr]    Compiling hashconsing v1.7.0
[INFO] [stderr]    Compiling phf_generator v0.13.1
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling dashu-int v0.4.1
[INFO] [stderr]    Compiling num-order v1.2.0
[INFO] [stderr]    Compiling clap_builder v4.6.0
[INFO] [stderr]    Compiling string_cache v0.8.9
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling sha3 v0.10.9
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling lalrpop-util v0.22.2
[INFO] [stderr]    Compiling lalrpop v0.22.2
[INFO] [stderr]    Compiling dashu-float v0.4.3
[INFO] [stderr]    Compiling dashu-ratio v0.4.1
[INFO] [stderr]    Compiling dashu-macros v0.4.1
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling phf_macros v0.13.1
[INFO] [stderr]    Compiling clap_derive v4.6.1
[INFO] [stderr]    Compiling delegate v0.13.5
[INFO] [stderr]    Compiling phf v0.13.1
[INFO] [stderr]    Compiling clap v4.6.1
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling yaspar v2.7.0
[INFO] [stderr]    Compiling dashu v0.4.2
[INFO] [stderr]    Compiling yaspar-ir v2.7.3 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 41.71s
[INFO] running `Command { std: "docker" "inspect" "e67c07cd4c08488ebfe46b47637d939700dffbf116ecccf01d6aa270f676f018", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e67c07cd4c08488ebfe46b47637d939700dffbf116ecccf01d6aa270f676f018", kill_on_drop: false }`
[INFO] [stdout] e67c07cd4c08488ebfe46b47637d939700dffbf116ecccf01d6aa270f676f018
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a0581c6272cef2e6c4cf75bde493e4b0f3d45e82709c50855d20dfa7317ae5b0
[INFO] running `Command { std: "docker" "start" "-a" "a0581c6272cef2e6c4cf75bde493e4b0f3d45e82709c50855d20dfa7317ae5b0", kill_on_drop: false }`
[INFO] [stderr]    Compiling yaspar-ir v2.7.3 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 11.60s
[INFO] running `Command { std: "docker" "inspect" "a0581c6272cef2e6c4cf75bde493e4b0f3d45e82709c50855d20dfa7317ae5b0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a0581c6272cef2e6c4cf75bde493e4b0f3d45e82709c50855d20dfa7317ae5b0", kill_on_drop: false }`
[INFO] [stdout] a0581c6272cef2e6c4cf75bde493e4b0f3d45e82709c50855d20dfa7317ae5b0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 65ecab3fdd4f5171291471adfc08ab23199f247200f0ec05e3465e7ed0aa1d7f
[INFO] running `Command { std: "docker" "start" "-a" "65ecab3fdd4f5171291471adfc08ab23199f247200f0ec05e3465e7ed0aa1d7f", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.14s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/yaspar_ir-1a83a4402f9f55f9)
[INFO] [stdout] 
[INFO] [stdout] running 28 tests
[INFO] [stdout] test ast::ctx::tests::test_is_builtin ... ok
[INFO] [stdout] test ast::ctx::tests::test_builtin_symbols ... ok
[INFO] [stdout] test ast::ctx::tests::test_script4 ... ok
[INFO] [stdout] test ast::mono::tests::test_term_monomorphize_connectives ... ok
[INFO] [stdout] test ast::letintro::tests::test_printing2 ... ok
[INFO] [stdout] test ast::letintro::tests::test_printing3 ... ok
[INFO] [stdout] test ast::ctx::tests::test_script1 ... ok
[INFO] [stdout] test ast::letelim::tests::test_let_elim1 ... ok
[INFO] [stdout] test ast::letelim::tests::test_let_elim2 ... ok
[INFO] [stdout] test ast::ctx::tests::test_script2 ... ok
[INFO] [stdout] test ast::ctx::tests::test_script3 ... ok
[INFO] [stdout] test ast::letintro::tests::test_printing_binder1 ... ok
[INFO] [stdout] test ast::letintro::tests::test_printing_binder2 ... ok
[INFO] [stdout] test ast::mono::tests::test_sort_monomorphize ... ok
[INFO] [stdout] test ast::mono::tests::test_constructor_monomorphize ... ok
[INFO] [stdout] test ast::mono::tests::test_term_monomorphize_app ... ok
[INFO] [stdout] test ast::letelim::tests::test_let_elim_xor ... ok
[INFO] [stdout] test raw::alg::tests::test_pattern ... ok
[INFO] [stdout] test raw::instance::tests::symbol_quote1 ... ok
[INFO] [stdout] test ast::letintro::tests::test_printing_binder3 ... ok
[INFO] [stdout] test raw::instance::tests::symbol_quote2 ... ok
[INFO] [stdout] test ast::mono::tests::test_term_monomorphize_logical_ops ... ok
[INFO] [stdout] test ast::mono::tests::test_term_monomorphize_global ... ok
[INFO] [stdout] test ast::mono::tests::test_term_monomorphize_forall ... ok
[INFO] [stdout] test ast::mono::tests::test_term_monomorphize_exists ... ok
[INFO] [stdout] test ast::letintro::tests::test_printing1 ... ok
[INFO] [stdout] test ast::mono::tests::test_term_monomorphize_let ... ok
[INFO] [stdout] test ast::mono::tests::test_term_monomorphize_matching ... ok
[INFO] [stderr]      Running tests/allocator.rs (/opt/rustwide/target/debug/deps/allocator-2dc42e9618b4eef6)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 28 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test test_sort_equality ... ok
[INFO] [stdout] test test_bitvector_sort ... ok
[INFO] [stdout] test test_string_sort ... ok
[INFO] [stdout] test test_real_sort ... ok
[INFO] [stdout] test test_term_get_sort ... 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/checked.rs (/opt/rustwide/target/debug/deps/checked-f32b9ee3a3244257)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test test_typed_datatypes_negatives ... ok
[INFO] [stdout] test test_wf_sort_more_negatives ... ok
[INFO] [stdout] test test_typed_quantifiers ... ok
[INFO] [stdout] test test_typed_quantifiers_bad ... ok
[INFO] [stdout] test test_more_typed_apis ... ok
[INFO] [stdout] test test_typed_match_negatives ... ok
[INFO] [stdout] test test_typed_apis ... ok
[INFO] [stdout] test test_typed_let_bindings ... ok
[INFO] [stdout] test test_typed_match ... ok
[INFO] [stdout] test test_typed_commands ... ok
[INFO] [stdout] test test_wf_sort ... ok
[INFO] [stdout] test test_typed_datatypes ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/commands.rs (/opt/rustwide/target/debug/deps/commands-16ea54eae91bfcba)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test test_exit ... ok
[INFO] [stdout] test test_check_sat ... ok
[INFO] [stdout] test test_get_assertions ... ok
[INFO] [stdout] test test_get_value ... ok
[INFO] [stdout] test test_reset ... ok
[INFO] [stdout] test test_get_model ... ok
[INFO] [stderr]      Running tests/cvc5.rs (/opt/rustwide/target/debug/deps/cvc5-38a2535f31fe692b)
[INFO] [stdout] test test_set_option ... ok
[INFO] [stdout] test test_set_info ... ok
[INFO] [stdout] test test_push_pop ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[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 tests/fv.rs (/opt/rustwide/target/debug/deps/fv-2e923f6030145d36)
[INFO] [stdout] 
[INFO] [stdout] running 14 tests
[INFO] [stdout] test test_free_vars_ite ... ok
[INFO] [stdout] test test_free_vars_in_let ... ok
[INFO] [stdout] test test_free_vars_implies ... ok
[INFO] [stdout] test test_free_vars_in_quantifier ... ok
[INFO] [stdout] test test_free_vars_not ... ok
[INFO] [stdout] test test_is_closed ... ok
[INFO] [stdout] test test_nested_quantifiers ... ok
[INFO] [stdout] test test_let_bindings ... ok
[INFO] [stdout] test test_free_vars_match ... ok
[INFO] [stdout] test test_free_vars_and_or_xor ... ok
[INFO] [stdout] test test_free_vars_distinct ... ok
[INFO] [stdout] test test_two_free_vars ... ok
[INFO] [stdout] test test_quantifiers ... ok
[INFO] [stdout] test test_three_free_vars ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/identifier_kinds.rs (/opt/rustwide/target/debug/deps/identifier_kinds-fa1c86b479ed30a5)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test test_identifier_kinds ... 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/integration.rs (/opt/rustwide/target/debug/deps/integration-94179722085fbd09)
[INFO] [stdout] 
[INFO] [stdout] running 69 tests
[INFO] [stdout] test test_array2 ... ok
[INFO] [stdout] test test_bv5 ... ok
[INFO] [stdout] test test_array1 ... ok
[INFO] [stdout] test test_array4 ... ok
[INFO] [stdout] test test_array5 ... ok
[INFO] [stdout] test test_datatype1 ... ok
[INFO] [stdout] test test_bv2 ... ok
[INFO] [stdout] test test_bv1 ... ok
[INFO] [stdout] test test_bv6 ... ok
[INFO] [stdout] test test_bv3 ... ok
[INFO] [stdout] test test_datatype10 ... ok
[INFO] [stdout] test test_comparison ... ok
[INFO] [stdout] test test_build_matching_context ... ok
[INFO] [stdout] test test_array3 ... ok
[INFO] [stdout] test test_bv7 ... ok
[INFO] [stdout] test test_datatype2 ... ok
[INFO] [stdout] test test_datatype12 ... ok
[INFO] [stdout] test test_check_sat_assuming ... ok
[INFO] [stdout] test test_build_fun_with_quantifier ... ok
[INFO] [stdout] test do_test ... ok
[INFO] [stdout] test test_build_fun_context ... ok
[INFO] [stdout] test test_datatype13 ... ok
[INFO] [stdout] test test_datatype8 ... ok
[INFO] [stdout] test test_fresh_vars ... ok
[INFO] [stdout] test test_datatype9 ... ok
[INFO] [stdout] test test_datatype11 ... ok
[INFO] [stdout] test test_bv8 ... ok
[INFO] [stdout] test test_get_value_empty ... ok
[INFO] [stdout] test test_get_value_basic ... ok
[INFO] [stdout] test test_get_value_exists_term ... ok
[INFO] [stdout] test test_datatype4 ... ok
[INFO] [stdout] test test_fun_context_with_let ... ok
[INFO] [stdout] test test_datatype6 ... ok
[INFO] [stdout] test test_fun_context_with_quantifier ... ok
[INFO] [stdout] test test_datatype3 ... ok
[INFO] [stdout] test test_datatype5 ... ok
[INFO] [stdout] test test_get_value_nested_quantifier ... ok
[INFO] [stdout] test test_datatype7 ... ok
[INFO] [stdout] test test_fun_context_with_matching ... ok
[INFO] [stdout] test test_false ... ok
[INFO] [stdout] test test_get_value_quantified_var ... ok
[INFO] [stdout] test test_get_value_quantified_term ... ok
[INFO] [stdout] test test_matching_get_unseen_constructors ... ok
[INFO] [stdout] test test_int_div ... ok
[INFO] [stdout] test test_rejected_2_7_features ... ok
[INFO] [stdout] test test_real_int_division ... ok
[INFO] [stdout] test test_matching_get_constructors ... ok
[INFO] [stdout] test test_parse ... ok
[INFO] [stdout] test test_special_symbols ... ok
[INFO] [stdout] test test_is_int ... ok
[INFO] [stdout] test test_named_annotations ... ok
[INFO] [stdout] test test_string1 ... ok
[INFO] [stdout] test test_is_symbol_rejected ... ok
[INFO] [stdout] test test_real_int_implicit_conversion ... ok
[INFO] [stdout] test test_minus ... ok
[INFO] [stdout] test test_matching_is_covered ... ok
[INFO] [stdout] test test_matching_scrutinee_sort ... ok
[INFO] [stdout] test test_sort_rejects_invalid_symbol_chars ... ok
[INFO] [stdout] test test_real_int_comparison ... ok
[INFO] [stdout] test test_match_arm_rejects_invalid_symbol_chars ... ok
[INFO] [stdout] test test_quantifier_rejects_invalid_symbol_chars ... ok
[INFO] [stdout] test test_string2 ... ok
[INFO] [stdout] test test_string3 ... ok
[INFO] [stdout] test test_string5 ... ok
[INFO] [stdout] test test_string4 ... ok
[INFO] [stdout] test test_xor_parsing ... ok
[INFO] [stdout] test test_true ... ok
[INFO] [stdout] test test_real_division ... ok
[INFO] [stdout] test test_xor ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 69 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/let_elim.rs (/opt/rustwide/target/debug/deps/let_elim-ff97021965f683d2)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test test_let_elim_simple ... ok
[INFO] [stdout] test test_let_elim_multiple_bindings ... ok
[INFO] [stdout] test test_let_elim_nested ... 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/rec.rs (/opt/rustwide/target/debug/deps/rec-33dec141cb984047)
[INFO] [stdout] 
[INFO] [stdout] running 24 tests
[INFO] [stdout] test test_empty_and ... ok
[INFO] [stdout] test test_empty_app ... ok
[INFO] [stdout] test test_empty_distinct ... ok
[INFO] [stdout] test test_distinct ... ok
[INFO] [stdout] test test_constant ... ok
[INFO] [stdout] test test_and_or ... ok
[INFO] [stdout] test test_empty_match ... ok
[INFO] [stdout] test test_exists ... ok
[INFO] [stdout] test test_annotated ... ok
[INFO] [stdout] test test_forall ... ok
[INFO] [stdout] test test_global ... ok
[INFO] [stdout] test test_implies ... ok
[INFO] [stdout] test test_empty_xor ... ok
[INFO] [stdout] test test_app ... ok
[INFO] [stdout] test test_empty_implies ... ok
[INFO] [stdout] test test_empty_let ... ok
[INFO] [stdout] test test_ite ... ok
[INFO] [stdout] test test_not ... ok
[INFO] [stdout] test test_eq ... ok
[INFO] [stdout] test test_match ... ok
[INFO] [stdout] test test_empty_or ... ok
[INFO] [stdout] test test_xor ... ok
[INFO] [stdout] test test_nested ... ok
[INFO] [stdout] test test_let ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 24 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/rec_memo.rs (/opt/rustwide/target/debug/deps/rec_memo-b2c066bfc17a279d)
[INFO] [stdout] 
[INFO] [stdout] running 23 tests
[INFO] [stdout] test test_memo_and_or ... ok
[INFO] [stdout] test test_memo_annotated ... ok
[INFO] [stdout] test test_memo_exists ... ok
[INFO] [stdout] test test_memo_deep_let ... ok
[INFO] [stdout] test test_memo_app ... ok
[INFO] [stdout] test test_memo_constant ... ok
[INFO] [stdout] test test_memo_deep_and ... ok
[INFO] [stdout] test test_memo_deep_not ... ok
[INFO] [stdout] test test_memo_deep_ite ... ok
[INFO] [stdout] test test_memo_deep_add ... ok
[INFO] [stdout] test test_memo_global ... ok
[INFO] [stdout] test test_memo_forall ... ok
[INFO] [stdout] test test_memo_ite ... ok
[INFO] [stdout] test test_memo_shared_and ... ok
[INFO] [stdout] test test_memo_shared_ite_branches ... ok
[INFO] [stdout] test test_memo_not ... ok
[INFO] [stdout] test test_memo_let ... ok
[INFO] [stdout] test test_memo_shared_eq ... ok
[INFO] [stdout] test test_memo_eq ... ok
[INFO] [stdout] test test_memo_nested ... ok
[INFO] [stdout] test test_memo_shared_nested ... ok
[INFO] [stdout] test test_memo_shared_deep ... ok
[INFO] [stdout] test test_memo_match ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 23 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.15s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/substitutions.rs (/opt/rustwide/target/debug/deps/substitutions-74eb10491d1fbb04)
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test test_gsubst_datatype_tester_with_quantifier ... ok
[INFO] [stdout] test test_gsubst_nested_definitions ... ok
[INFO] [stdout] test test_gsubst_define_fun ... ok
[INFO] [stdout] test test_gsubst_multiple_definitions ... ok
[INFO] [stdout] test test_gsubst_multiple_datatype_testers ... ok
[INFO] [stdout] test test_substitutions_shadow ... ok
[INFO] [stdout] test test_gsubst_with_quantifier ... ok
[INFO] [stdout] test test_gsubst_with_let ... ok
[INFO] [stdout] test test_gsubst_datatype_tester_in_formula ... ok
[INFO] [stdout] test test_substitutions ... ok
[INFO] [stdout] test test_gsubst_nested_binders ... ok
[INFO] [stdout] test test_global_substitutions ... ok
[INFO] [stdout] test test_gsubst_shadowing_in_quantifier ... ok
[INFO] [stdout] test test_gsubst_nested_shadowing ... ok
[INFO] [stdout] test test_gsubst_shadowing_in_let ... ok
[INFO] [stdout] test test_gsubst_datatype_tester ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests yaspar_ir
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test src/ast/ctx/checked.rs - ast::ctx::checked (line 35) ... ok
[INFO] [stdout] test src/ast/ctx/bindings.rs - ast::ctx::bindings::LetContext (line 29) ... ok
[INFO] [stdout] test src/ast/ctx/fun.rs - ast::ctx::fun::FunctionContext (line 31) ... ok
[INFO] [stdout] test src/lib.rs - (line 22) ... ok
[INFO] [stdout] test src/ast/ctx/ds.rs - ast::ctx::ds::DefSortContext (line 22) ... ok
[INFO] [stdout] test src/ast/ctx/matching.rs - ast::ctx::matching::MatchContext (line 35) ... ok
[INFO] [stdout] test src/ast/subst.rs - ast::subst (line 19) ... ok
[INFO] [stdout] test src/ast/ctx/quantifier.rs - ast::ctx::quantifier::QuantifierContext (line 31) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stdout] all doctests ran in 1.44s; merged doctests compilation took 1.41s
[INFO] running `Command { std: "docker" "inspect" "65ecab3fdd4f5171291471adfc08ab23199f247200f0ec05e3465e7ed0aa1d7f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "65ecab3fdd4f5171291471adfc08ab23199f247200f0ec05e3465e7ed0aa1d7f", kill_on_drop: false }`
[INFO] [stdout] 65ecab3fdd4f5171291471adfc08ab23199f247200f0ec05e3465e7ed0aa1d7f
