[INFO] fetching crate yaspar-ir 2.7.2...
[INFO] testing yaspar-ir-2.7.2 against master#562dee4820c458d823175268e41601d4c060588a for pr-154210-2
[INFO] extracting crate yaspar-ir 2.7.2 into /workspace/builds/worker-4-tc1/source
[INFO] started tweaking crates.io crate yaspar-ir 2.7.2
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate yaspar-ir 2.7.2
[INFO] tweaked toml for crates.io crate yaspar-ir 2.7.2 written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate yaspar-ir 2.7.2 on toolchain 562dee4820c458d823175268e41601d4c060588a
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate yaspar-ir 2.7.2 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded num-modular v0.6.1
[INFO] [stderr]   Downloaded lalrpop-util v0.22.2
[INFO] [stderr]   Downloaded ascii-canvas v4.0.0
[INFO] [stderr]   Downloaded sat-interface v0.1.1
[INFO] [stderr]   Downloaded cvc5-sys v0.2.0
[INFO] [stderr]   Downloaded hashconsing v1.6.0
[INFO] [stderr]   Downloaded cvc5-rs v0.2.0
[INFO] [stderr]   Downloaded yaspar v2.7.0
[INFO] [stderr]   Downloaded dashu-base v0.4.1
[INFO] [stderr]   Downloaded num-order v1.2.0
[INFO] [stderr]   Downloaded dashu-macros v0.4.1
[INFO] [stderr]   Downloaded dashu-float v0.4.3
[INFO] [stderr]   Downloaded dashu v0.4.2
[INFO] [stderr]   Downloaded dashu-int v0.4.1
[INFO] [stderr]   Downloaded petgraph v0.7.1
[INFO] [stderr]   Downloaded lalrpop v0.22.2
[INFO] [stderr]   Downloaded dashu-ratio v0.4.1
[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" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 1b6c74b9e73bec3f6efb89a34cd5ea288273e55ef35122e47dfb23228431bc90
[INFO] running `Command { std: "docker" "start" "-a" "1b6c74b9e73bec3f6efb89a34cd5ea288273e55ef35122e47dfb23228431bc90", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1b6c74b9e73bec3f6efb89a34cd5ea288273e55ef35122e47dfb23228431bc90", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1b6c74b9e73bec3f6efb89a34cd5ea288273e55ef35122e47dfb23228431bc90", kill_on_drop: false }`
[INFO] [stdout] 1b6c74b9e73bec3f6efb89a34cd5ea288273e55ef35122e47dfb23228431bc90
[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" "+562dee4820c458d823175268e41601d4c060588a" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e005a0510bbab09431a81e743d322827eca21463c1c9db6d307409a3bd0800f9
[INFO] running `Command { std: "docker" "start" "-a" "e005a0510bbab09431a81e743d322827eca21463c1c9db6d307409a3bd0800f9", kill_on_drop: false }`
[INFO] [stderr]    Compiling rustversion v1.0.22
[INFO] [stderr]    Compiling siphasher v1.0.2
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling num-modular v0.6.1
[INFO] [stderr]    Compiling typenum v1.19.0
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling libc v0.2.183
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]    Compiling regex-syntax v0.8.10
[INFO] [stderr]    Compiling lock_api v0.4.14
[INFO] [stderr]    Compiling dashu-base v0.4.1
[INFO] [stderr]    Compiling dashu-int v0.4.1
[INFO] [stderr]    Compiling indexmap v2.13.0
[INFO] [stderr]    Compiling parking_lot v0.12.5
[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 num-order v1.2.0
[INFO] [stderr]    Compiling phf_shared v0.11.3
[INFO] [stderr]    Compiling log v0.4.29
[INFO] [stderr]    Compiling fixedbitset v0.5.7
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.6
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling keccak v0.1.6
[INFO] [stderr]    Compiling term v1.2.1
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling paste v1.0.15
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling ascii-canvas v4.0.0
[INFO] [stderr]    Compiling sha3 v0.10.8
[INFO] [stderr]    Compiling anstyle-parse v1.0.0
[INFO] [stderr]    Compiling petgraph v0.7.1
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling string_cache v0.8.9
[INFO] [stderr]    Compiling ena v0.14.4
[INFO] [stderr]    Compiling phf_shared v0.13.1
[INFO] [stderr]    Compiling fastrand v2.3.0
[INFO] [stderr]    Compiling colorchoice v1.0.5
[INFO] [stderr]    Compiling pico-args v0.5.0
[INFO] [stderr]    Compiling anstyle v1.0.14
[INFO] [stderr]    Compiling unicode-xid v0.2.6
[INFO] [stderr]    Compiling anstyle-query v1.1.5
[INFO] [stderr]    Compiling phf_generator v0.13.1
[INFO] [stderr]    Compiling dashu-ratio v0.4.1
[INFO] [stderr]    Compiling anstream v1.0.0
[INFO] [stderr]    Compiling dashu-float v0.4.3
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling clap_lex v1.1.0
[INFO] [stderr]    Compiling clap_derive v4.6.0
[INFO] [stderr]    Compiling phf_macros v0.13.1
[INFO] [stderr]    Compiling clap_builder v4.6.0
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling lalrpop-util v0.22.2
[INFO] [stderr]    Compiling dashu-macros v0.4.1
[INFO] [stderr]    Compiling phf v0.13.1
[INFO] [stderr]    Compiling lalrpop v0.22.2
[INFO] [stderr]    Compiling hashconsing v1.6.0
[INFO] [stderr]    Compiling clap v4.6.0
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling dashu v0.4.2
[INFO] [stderr]    Compiling yaspar v2.7.0
[INFO] [stderr]    Compiling yaspar-ir v2.7.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 27s
[INFO] running `Command { std: "docker" "inspect" "e005a0510bbab09431a81e743d322827eca21463c1c9db6d307409a3bd0800f9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e005a0510bbab09431a81e743d322827eca21463c1c9db6d307409a3bd0800f9", kill_on_drop: false }`
[INFO] [stdout] e005a0510bbab09431a81e743d322827eca21463c1c9db6d307409a3bd0800f9
[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" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 9f1335fd8d01a266977b56e402fe1e56ea908007ccc3103d724fb8aa149f23ae
[INFO] running `Command { std: "docker" "start" "-a" "9f1335fd8d01a266977b56e402fe1e56ea908007ccc3103d724fb8aa149f23ae", kill_on_drop: false }`
[INFO] [stderr]    Compiling yaspar-ir v2.7.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 14.52s
[INFO] running `Command { std: "docker" "inspect" "9f1335fd8d01a266977b56e402fe1e56ea908007ccc3103d724fb8aa149f23ae", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9f1335fd8d01a266977b56e402fe1e56ea908007ccc3103d724fb8aa149f23ae", kill_on_drop: false }`
[INFO] [stdout] 9f1335fd8d01a266977b56e402fe1e56ea908007ccc3103d724fb8aa149f23ae
[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" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 320cca8aeb5d8436d5e6a7d150556c59614a21d5a423f20fcbfca836ee6a3a61
[INFO] running `Command { std: "docker" "start" "-a" "320cca8aeb5d8436d5e6a7d150556c59614a21d5a423f20fcbfca836ee6a3a61", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.24s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/yaspar_ir-194138dd4c36698f)
[INFO] [stdout] running 28 tests
[INFO] [stdout] test ast::ctx::tests::test_builtin_symbols ... ok
[INFO] [stdout] test ast::ctx::tests::test_is_builtin ... ok
[INFO] [stdout] test ast::ctx::tests::test_script1 ... ok
[INFO] [stdout] test ast::ctx::tests::test_script2 ... ok
[INFO] [stdout] test ast::letintro::tests::test_printing3 ... ok
[INFO] [stdout] test ast::ctx::tests::test_script4 ... ok
[INFO] [stdout] test ast::letintro::tests::test_printing_binder1 ... ok
[INFO] [stdout] test ast::letintro::tests::test_printing2 ... ok
[INFO] [stdout] test ast::letintro::tests::test_printing_binder3 ... ok
[INFO] [stdout] test ast::mono::tests::test_term_monomorphize_exists ... ok
[INFO] [stdout] test ast::mono::tests::test_term_monomorphize_forall ... ok
[INFO] [stdout] test ast::mono::tests::test_constructor_monomorphize ... ok
[INFO] [stdout] test ast::letintro::tests::test_printing1 ... ok
[INFO] [stdout] test ast::ctx::tests::test_script3 ... ok
[INFO] [stdout] test ast::mono::tests::test_term_monomorphize_connectives ... 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 raw::alg::tests::test_pattern ... ok
[INFO] [stdout] test raw::instance::tests::symbol_quote2 ... ok
[INFO] [stdout] test ast::letintro::tests::test_printing_binder2 ... ok
[INFO] [stdout] test raw::instance::tests::symbol_quote1 ... ok
[INFO] [stdout] test ast::mono::tests::test_sort_monomorphize ... ok
[INFO] [stdout] test raw::letelim::tests::test_let_elim1 ... ok
[INFO] [stdout] test raw::letelim::tests::test_let_elim2 ... ok
[INFO] [stdout] test raw::letelim::tests::test_let_elim_xor ... ok
[INFO] [stdout] test ast::mono::tests::test_term_monomorphize_let ... ok
[INFO] [stdout] test ast::mono::tests::test_term_monomorphize_app ... ok
[INFO] [stdout] test ast::mono::tests::test_term_monomorphize_matching ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 28 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/allocator.rs (/opt/rustwide/target/debug/deps/allocator-d0fca252b815f80b)
[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.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/checked.rs (/opt/rustwide/target/debug/deps/checked-86cb06d0af75685e)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test test_more_typed_apis ... ok
[INFO] [stdout] test test_typed_match ... ok
[INFO] [stdout] test test_typed_datatypes ... ok
[INFO] [stdout] test test_typed_datatypes_negatives ... 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_wf_sort_more_negatives ... ok
[INFO] [stdout] test test_typed_commands ... ok
[INFO] [stdout] test test_typed_quantifiers ... ok
[INFO] [stdout] test test_typed_quantifiers_bad ... ok
[INFO] [stdout] test test_wf_sort ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/commands.rs (/opt/rustwide/target/debug/deps/commands-c9c3a42e5141b6a7)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test test_check_sat ... ok
[INFO] [stdout] test test_get_model ... ok
[INFO] [stdout] test test_exit ... ok
[INFO] [stdout] test test_get_assertions ... ok
[INFO] [stdout] test test_set_option ... ok
[INFO] [stdout] test test_reset ... ok
[INFO] [stdout] test test_set_info ... ok
[INFO] [stdout] test test_push_pop ... ok
[INFO] [stdout] test test_get_value ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/cvc5.rs (/opt/rustwide/target/debug/deps/cvc5-528c3aa903b4eb7a)
[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-1ab36f92efe54313)
[INFO] [stdout] 
[INFO] [stdout] running 14 tests
[INFO] [stdout] test test_free_vars_distinct ... ok
[INFO] [stdout] test test_free_vars_and_or_xor ... 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_ite ... ok
[INFO] [stdout] test test_let_bindings ... ok
[INFO] [stdout] test test_free_vars_match ... ok
[INFO] [stdout] test test_free_vars_not ... ok
[INFO] [stdout] test test_nested_quantifiers ... 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] test test_is_closed ... ok
[INFO] [stdout] 
[INFO] [stderr]      Running tests/identifier_kinds.rs (/opt/rustwide/target/debug/deps/identifier_kinds-60cd130d806f2610)
[INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[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.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/integration.rs (/opt/rustwide/target/debug/deps/integration-7a8493f14400719b)
[INFO] [stdout] 
[INFO] [stdout] running 69 tests
[INFO] [stdout] test test_array1 ... ok
[INFO] [stdout] test test_array5 ... ok
[INFO] [stdout] test test_array2 ... ok
[INFO] [stdout] test test_array4 ... ok
[INFO] [stdout] test do_test ... ok
[INFO] [stdout] test test_build_fun_with_quantifier ... ok
[INFO] [stdout] test test_bv1 ... ok
[INFO] [stdout] test test_bv5 ... ok
[INFO] [stdout] test test_bv6 ... ok
[INFO] [stdout] test test_bv3 ... ok
[INFO] [stdout] test test_bv2 ... ok
[INFO] [stdout] test test_build_matching_context ... ok
[INFO] [stdout] test test_bv7 ... ok
[INFO] [stdout] test test_check_sat_assuming ... ok
[INFO] [stdout] test test_build_fun_context ... ok
[INFO] [stdout] test test_array3 ... ok
[INFO] [stdout] test test_comparison ... ok
[INFO] [stdout] test test_datatype1 ... ok
[INFO] [stdout] test test_bv8 ... ok
[INFO] [stdout] test test_datatype13 ... ok
[INFO] [stdout] test test_datatype10 ... ok
[INFO] [stdout] test test_datatype2 ... ok
[INFO] [stdout] test test_datatype5 ... ok
[INFO] [stdout] test test_datatype12 ... ok
[INFO] [stdout] test test_datatype3 ... ok
[INFO] [stdout] test test_datatype4 ... ok
[INFO] [stdout] test test_datatype6 ... ok
[INFO] [stdout] test test_datatype7 ... ok
[INFO] [stdout] test test_datatype8 ... ok
[INFO] [stdout] test test_false ... ok
[INFO] [stdout] test test_get_value_basic ... ok
[INFO] [stdout] test test_get_value_empty ... ok
[INFO] [stdout] test test_get_value_exists_term ... ok
[INFO] [stdout] test test_get_value_nested_quantifier ... ok
[INFO] [stdout] test test_fresh_vars ... ok
[INFO] [stdout] test test_fun_context_with_let ... ok
[INFO] [stdout] test test_datatype11 ... ok
[INFO] [stdout] test test_fun_context_with_quantifier ... ok
[INFO] [stdout] test test_get_value_quantified_term ... ok
[INFO] [stdout] test test_is_int ... ok
[INFO] [stdout] test test_is_symbol_rejected ... ok
[INFO] [stdout] test test_fun_context_with_matching ... ok
[INFO] [stdout] test test_datatype9 ... ok
[INFO] [stdout] test test_match_arm_rejects_invalid_symbol_chars ... ok
[INFO] [stdout] test test_matching_get_unseen_constructors ... ok
[INFO] [stdout] test test_get_value_quantified_var ... ok
[INFO] [stdout] test test_int_div ... ok
[INFO] [stdout] test test_matching_get_constructors ... ok
[INFO] [stdout] test test_matching_is_covered ... ok
[INFO] [stdout] test test_minus ... ok
[INFO] [stdout] test test_named_annotations ... ok
[INFO] [stdout] test test_matching_scrutinee_sort ... ok
[INFO] [stdout] test test_rejected_2_7_features ... ok
[INFO] [stdout] test test_special_symbols ... ok
[INFO] [stdout] test test_parse ... ok
[INFO] [stdout] test test_string1 ... ok
[INFO] [stdout] test test_string3 ... ok
[INFO] [stdout] test test_string4 ... ok
[INFO] [stdout] test test_real_int_comparison ... ok
[INFO] [stdout] test test_string5 ... ok
[INFO] [stdout] test test_true ... ok
[INFO] [stdout] test test_quantifier_rejects_invalid_symbol_chars ... ok
[INFO] [stdout] test test_real_division ... ok
[INFO] [stdout] test test_real_int_implicit_conversion ... ok
[INFO] [stdout] test test_sort_rejects_invalid_symbol_chars ... ok
[INFO] [stdout] test test_string2 ... ok
[INFO] [stdout] test test_xor_parsing ... ok
[INFO] [stdout] test test_xor ... ok
[INFO] [stdout] test test_real_int_division ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 69 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/let_elim.rs (/opt/rustwide/target/debug/deps/let_elim-28cc547e1ad4f1ca)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test test_let_elim_simple ... ok
[INFO] [stdout] test test_let_elim_nested ... ok
[INFO] [stdout] test test_let_elim_multiple_bindings ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/substitutions.rs (/opt/rustwide/target/debug/deps/substitutions-4ed3bf53909a93c8)
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test test_gsubst_datatype_tester ... ok
[INFO] [stdout] test test_gsubst_datatype_tester_in_formula ... ok
[INFO] [stdout] test test_gsubst_datatype_tester_with_quantifier ... ok
[INFO] [stdout] test test_gsubst_multiple_definitions ... ok
[INFO] [stdout] test test_gsubst_multiple_datatype_testers ... ok
[INFO] [stdout] test test_gsubst_shadowing_in_let ... ok
[INFO] [stdout] test test_gsubst_nested_definitions ... ok
[INFO] [stdout] test test_gsubst_shadowing_in_quantifier ... ok
[INFO] [stdout] test test_global_substitutions ... ok
[INFO] [stdout] test test_gsubst_with_let ... ok
[INFO] [stdout] test test_substitutions ... ok
[INFO] [stdout] test test_gsubst_nested_binders ... ok
[INFO] [stdout] test test_gsubst_define_fun ... ok
[INFO] [stdout] test test_gsubst_nested_shadowing ... ok
[INFO] [stdout] test test_gsubst_with_quantifier ... ok
[INFO] [stdout] test test_substitutions_shadow ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests yaspar_ir
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test src/ast/ctx/bindings.rs - ast::ctx::bindings::LetContext (line 29) ... ok
[INFO] [stdout] test src/lib.rs - (line 22) ... ok
[INFO] [stdout] test src/ast/subst.rs - ast::subst (line 13) ... ok
[INFO] [stdout] test src/ast/ctx/quantifier.rs - ast::ctx::quantifier::QuantifierContext (line 30) ... ok
[INFO] [stdout] test src/ast/ctx/ds.rs - ast::ctx::ds::DefSortContext (line 22) ... ok
[INFO] [stdout] test src/ast/ctx/checked.rs - ast::ctx::checked (line 35) ... ok
[INFO] [stdout] test src/ast/ctx/matching.rs - ast::ctx::matching::MatchContext (line 35) ... ok
[INFO] [stdout] test src/ast/ctx/fun.rs - ast::ctx::fun::FunctionContext (line 29) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stdout] all doctests ran in 1.46s; merged doctests compilation took 1.36s
[INFO] running `Command { std: "docker" "inspect" "320cca8aeb5d8436d5e6a7d150556c59614a21d5a423f20fcbfca836ee6a3a61", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "320cca8aeb5d8436d5e6a7d150556c59614a21d5a423f20fcbfca836ee6a3a61", kill_on_drop: false }`
[INFO] [stdout] 320cca8aeb5d8436d5e6a7d150556c59614a21d5a423f20fcbfca836ee6a3a61