[INFO] fetching crate yaspar-ir 2.7.6...
[INFO] testing yaspar-ir-2.7.6 against 1.100.0-beta.1 for beta-1.100-2
[INFO] extracting crate yaspar-ir 2.7.6 into /workspace/builds/worker-7-tc2/source
[INFO] started tweaking crates.io crate yaspar-ir 2.7.6
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate yaspar-ir 2.7.6
[INFO] tweaked toml for crates.io crate yaspar-ir 2.7.6 written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate yaspar-ir 2.7.6 on toolchain 1.100.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate yaspar-ir 2.7.6 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.100.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:89:12
[INFO] [stderr]    |
[INFO] [stderr] 89 | homepage = "https://github.com/yaspar-org/yaspar-ir"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 94 | repository = "https://github.com/yaspar-org/yaspar-ir"
[INFO] [stderr]    |              -----------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `yaspar-ir` (manifest) generated 1 warning
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:3111399a4047eeb3a02b7a90e478d715f38a8c6669b5c4b49d30a17385265909" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] d51fc9bbcad93f5f983118d0d66680efd6c196384e99bb258ac21a403bab98f9
[INFO] running `Command { std: "docker" "start" "d51fc9bbcad93f5f983118d0d66680efd6c196384e99bb258ac21a403bab98f9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d51fc9bbcad93f5f983118d0d66680efd6c196384e99bb258ac21a403bab98f9", 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" "d51fc9bbcad93f5f983118d0d66680efd6c196384e99bb258ac21a403bab98f9" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d51fc9bbcad93f5f983118d0d66680efd6c196384e99bb258ac21a403bab98f9", 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" "d51fc9bbcad93f5f983118d0d66680efd6c196384e99bb258ac21a403bab98f9" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:89:12
[INFO] [stderr]    |
[INFO] [stderr] 89 | homepage = "https://github.com/yaspar-org/yaspar-ir"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 94 | repository = "https://github.com/yaspar-org/yaspar-ir"
[INFO] [stderr]    |              -----------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `yaspar-ir` (manifest) generated 1 warning
[INFO] [stderr]    Compiling proc-macro2 v1.0.107
[INFO] [stderr]    Compiling quote v1.0.47
[INFO] [stderr]    Compiling unicode-ident v1.0.24
[INFO] [stderr]    Compiling rustversion v1.0.23
[INFO] [stderr]    Compiling cfg-if v1.0.4
[INFO] [stderr]    Compiling siphasher v1.0.3
[INFO] [stderr]    Compiling memchr v2.8.3
[INFO] [stderr]    Compiling version_check v0.9.5
[INFO] [stderr]    Compiling num-modular v0.6.5
[INFO] [stderr]    Compiling typenum v1.20.1
[INFO] [stderr]    Compiling static_assertions v1.1.0
[INFO] [stderr]    Compiling libc v0.2.189
[INFO] [stderr]    Compiling autocfg v1.5.1
[INFO] [stderr]    Compiling serde_core v1.0.229
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling serde v1.0.229
[INFO] [stderr]    Compiling regex-syntax v0.8.11
[INFO] [stderr]    Compiling dashu-int v0.4.3
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]    Compiling smallvec v1.15.2
[INFO] [stderr]    Compiling lock_api v0.4.14
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling dashu-base v0.4.3
[INFO] [stderr]    Compiling hashbrown v0.17.1
[INFO] [stderr]    Compiling equivalent v1.0.2
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling log v0.4.33
[INFO] [stderr]    Compiling phf_shared v0.11.3
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling either v1.17.0
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling utf8parse v0.2.2
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.6
[INFO] [stderr]    Compiling keccak v0.1.6
[INFO] [stderr]    Compiling fixedbitset v0.5.7
[INFO] [stderr]    Compiling term v1.2.1
[INFO] [stderr]    Compiling aho-corasick v1.1.5
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling anstyle-parse v1.0.0
[INFO] [stderr]    Compiling num-order v1.2.0
[INFO] [stderr]    Compiling indexmap v2.14.0
[INFO] [stderr]    Compiling ena v0.14.4
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]    Compiling phf_shared v0.13.1
[INFO] [stderr]    Compiling unicode-xid v0.2.6
[INFO] [stderr]    Compiling pico-args v0.5.0
[INFO] [stderr]    Compiling syn v3.0.3
[INFO] [stderr]    Compiling syn v2.0.119
[INFO] [stderr]    Compiling ascii-canvas v4.0.0
[INFO] [stderr]    Compiling anstyle v1.0.14
[INFO] [stderr]    Compiling fastrand v2.5.0
[INFO] [stderr]    Compiling anstyle-query v1.1.5
[INFO] [stderr]    Compiling colorchoice v1.0.5
[INFO] [stderr]    Compiling is_terminal_polyfill v1.70.2
[INFO] [stderr]    Compiling phf_generator v0.13.1
[INFO] [stderr]    Compiling anstream v1.0.0
[INFO] [stderr]    Compiling heck v0.5.0
[INFO] [stderr]    Compiling pastey v0.2.3
[INFO] [stderr]    Compiling clap_lex v1.1.0
[INFO] [stderr]    Compiling strsim v0.11.1
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]    Compiling petgraph v0.7.1
[INFO] [stderr]    Compiling paste v1.0.15
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling clap_builder v4.6.6
[INFO] [stderr]    Compiling hashconsing v1.7.0
[INFO] [stderr]    Compiling bimap v0.6.3
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling sha3 v0.10.9
[INFO] [stderr]    Compiling string_cache v0.8.9
[INFO] [stderr]    Compiling regex-automata v0.4.18
[INFO] [stderr]    Compiling dashu-ratio v0.4.4
[INFO] [stderr]    Compiling dashu-float v0.4.5
[INFO] [stderr]    Compiling dashu-macros v0.4.2
[INFO] [stderr]    Compiling lalrpop-util v0.22.2
[INFO] [stderr]    Compiling regex v1.13.1
[INFO] [stderr]    Compiling phf_macros v0.13.1
[INFO] [stderr]    Compiling delegate v0.13.5
[INFO] [stderr]    Compiling serde_derive v1.0.229
[INFO] [stderr]    Compiling clap_derive v4.6.4
[INFO] [stderr]    Compiling lalrpop v0.22.2
[INFO] [stderr]    Compiling phf v0.13.1
[INFO] [stderr]    Compiling clap v4.6.6
[INFO] [stderr]    Compiling dashu v0.4.4
[INFO] [stderr]    Compiling yaspar v2.7.2
[INFO] [stderr]    Compiling yaspar-ir v2.7.6 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 02s
[INFO] running `Command { std: "docker" "inspect" "d51fc9bbcad93f5f983118d0d66680efd6c196384e99bb258ac21a403bab98f9", 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" "d51fc9bbcad93f5f983118d0d66680efd6c196384e99bb258ac21a403bab98f9" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:89:12
[INFO] [stderr]    |
[INFO] [stderr] 89 | homepage = "https://github.com/yaspar-org/yaspar-ir"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 94 | repository = "https://github.com/yaspar-org/yaspar-ir"
[INFO] [stderr]    |              -----------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `yaspar-ir` (manifest) generated 1 warning
[INFO] [stderr]    Compiling zmij v1.0.23
[INFO] [stderr]    Compiling serde_json v1.0.151
[INFO] [stderr]    Compiling itoa v1.0.18
[INFO] [stderr]    Compiling yaspar-ir v2.7.6 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 16.56s
[INFO] running `Command { std: "docker" "inspect" "d51fc9bbcad93f5f983118d0d66680efd6c196384e99bb258ac21a403bab98f9", 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" "d51fc9bbcad93f5f983118d0d66680efd6c196384e99bb258ac21a403bab98f9" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:89:12
[INFO] [stderr]    |
[INFO] [stderr] 89 | homepage = "https://github.com/yaspar-org/yaspar-ir"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 94 | repository = "https://github.com/yaspar-org/yaspar-ir"
[INFO] [stderr]    |              -----------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `yaspar-ir` (manifest) generated 1 warning
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.11s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/build/yaspar-ir/c041b1dd99dfbad9/out/yaspar_ir-c041b1dd99dfbad9)
[INFO] [stdout] 
[INFO] [stdout] running 67 tests
[INFO] [stdout] test ast::alpha_eq::tests::test_aeq_free_locals_not_renamed ... ok
[INFO] [stdout] test ast::alpha_eq::tests::test_aeq_permissive_extracted_body_is_free ... ok
[INFO] [stdout] test ast::alpha_eq::tests::test_aeq_permissive_bijective_renaming ... ok
[INFO] [stdout] test ast::alpha_eq::tests::test_aeq_let_is_parallel ... ok
[INFO] [stdout] test ast::alpha_eq::tests::test_aeq_permissive_free_locals ... ok
[INFO] [stdout] test ast::alpha_eq::tests::test_aeq_permissive_sort_mismatch ... ok
[INFO] [stdout] test ast::alpha_eq::tests::test_aeq_quantifier_distinct_ids ... ok
[INFO] [stdout] test ast::ctx::tests::test_builtin_symbols ... ok
[INFO] [stdout] test ast::ctx::tests::test_script2 ... ok
[INFO] [stdout] test ast::ctx::tests::test_script3 ... ok
[INFO] [stdout] test ast::alpha_eq::tests::test_aeq_permissive_agrees_with_aeq_on_closed_terms ... ok
[INFO] [stdout] test ast::ctx::tests::test_script4 ... ok
[INFO] [stdout] test ast::ctx::tests::test_is_builtin ... ok
[INFO] [stdout] test ast::alpha_eq::tests::test_aeq_match ... ok
[INFO] [stdout] test ast::letelim::tests::test_let_elim2 ... 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_printing3 ... ok
[INFO] [stdout] test ast::letelim::tests::test_let_elim_xor ... ok
[INFO] [stdout] test ast::mono::tests::test_constructor_monomorphize ... ok
[INFO] [stdout] test ast::alpha_eq::tests::test_aeq_permissive_under_binders ... 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::alpha_eq::tests::test_aeq_let ... ok
[INFO] [stdout] test ast::ctx::tests::test_script1 ... ok
[INFO] [stdout] test ast::alpha_eq::tests::test_aeq_quantifier_renaming ... ok
[INFO] [stdout] test ast::mono::tests::test_term_monomorphize_app ... ok
[INFO] [stdout] test ast::mono::tests::test_term_monomorphize_connectives ... ok
[INFO] [stdout] test ast::letelim::tests::test_let_elim1 ... ok
[INFO] [stdout] test ast::alpha_eq::tests::test_aeq_shadowing ... 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::mono::tests::test_term_monomorphize_global ... ok
[INFO] [stdout] test ast::mono::tests::test_term_monomorphize_logical_ops ... ok
[INFO] [stdout] test ast::mono::tests::test_term_monomorphize_let ... ok
[INFO] [stdout] test ast::rename::tests::test_rename_annotated ... ok
[INFO] [stdout] test ast::rename::tests::test_rename_clash_in_one_binder_list ... ok
[INFO] [stdout] test ast::mono::tests::test_term_monomorphize_matching ... ok
[INFO] [stdout] test ast::letintro::tests::test_printing_binder3 ... ok
[INFO] [stdout] test ast::alpha_eq::tests::test_aeq_annotated ... ok
[INFO] [stdout] test ast::alpha_eq::tests::test_aeq_leaves ... ok
[INFO] [stdout] test ast::alpha_eq::tests::test_aeq_connectives ... ok
[INFO] [stdout] test ast::rename::tests::test_rename_ignores_global_names ... ok
[INFO] [stdout] test ast::rename::tests::test_no_binder_no_rename ... ok
[INFO] [stdout] test ast::rename::tests::test_rename_enables_print_roundtrip ... ok
[INFO] [stdout] test ast::rename::tests::test_rename_let_is_parallel ... ok
[INFO] [stdout] test ast::rename::tests::test_rename_match ... ok
[INFO] [stdout] test ast::rename::tests::test_rename_leaves_free_and_global_alone ... ok
[INFO] [stdout] test ast::rename::tests::test_rename_prefix_with_dash ... ok
[INFO] [stdout] test ast::rename::tests::test_rename_nested_shadowing ... ok
[INFO] [stdout] test ast::letintro::tests::test_printing1 ... ok
[INFO] [stdout] test ast::alpha_eq::tests::test_aeq_quantifier_permuted_uses ... ok
[INFO] [stdout] test ast::rename::tests::test_rename_shared_subterm_under_clashing_binders ... ok
[INFO] [stdout] test ast::rename::tests::test_rename_repairs_ambiguous_closed_term ... ok
[INFO] [stdout] test raw::alg::tests::test_pattern ... ok
[INFO] [stdout] test ast::rename::tests::test_rename_shadowing ... ok
[INFO] [stdout] test raw::instance::tests::symbol_quote1 ... ok
[INFO] [stdout] test ast::rename::tests::test_rename_preserves_ids ... ok
[INFO] [stdout] test ast::rename::tests::test_rename_sibling_scopes ... ok
[INFO] [stdout] test ast::rename::tests::test_rename_strips_numeric_trailer ... ok
[INFO] [stdout] test ast::rename::tests::test_rename_shared_subterm_stays_shared ... ok
[INFO] [stdout] test ast::rename::tests::test_rename_twice_mints_new_names ... ok
[INFO] [stdout] test raw::instance::tests::symbol_quote2 ... ok
[INFO] [stdout] test ast::rename::tests::test_rename_closed_term_is_alpha_eq ... ok
[INFO] [stdout] test ast::rename::tests::test_every_binder_is_renamed ... ok
[INFO] [stdout] test ast::rename::tests::test_repeated_rename_of_closed_term_stays_alpha_eq ... ok
[INFO] [stdout] test ast::rename::tests::test_rename_closed_term_roundtrips_alpha_eq ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 67 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.16s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/allocator.rs (/opt/rustwide/target/debug/build/yaspar-ir/3e8dddb2dbd450cd/out/allocator-3e8dddb2dbd450cd)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test test_term_get_sort ... ok
[INFO] [stderr]      Running tests/checked.rs (/opt/rustwide/target/debug/build/yaspar-ir/75fed6333d9f0a6b/out/checked-75fed6333d9f0a6b)
[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] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test test_typed_quantifiers ... ok
[INFO] [stdout] test test_typed_match_negatives ... ok
[INFO] [stdout] test test_more_typed_apis ... ok
[INFO] [stdout] test test_typed_let_bindings ... ok
[INFO] [stdout] test test_wf_sort ... ok
[INFO] [stdout] test test_typed_commands ... ok
[INFO] [stdout] test test_wf_sort_more_negatives ... ok
[INFO] [stdout] test test_typed_match ... ok
[INFO] [stderr]      Running tests/commands.rs (/opt/rustwide/target/debug/build/yaspar-ir/d33c8cfc9fa5efbc/out/commands-d33c8cfc9fa5efbc)
[INFO] [stdout] test test_typed_datatypes_negatives ... ok
[INFO] [stdout] test test_typed_datatypes ... ok
[INFO] [stdout] test test_typed_apis ... ok
[INFO] [stdout] test test_typed_quantifiers_bad ... 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] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test test_push_pop ... ok
[INFO] [stdout] test test_get_assertions ... ok
[INFO] [stdout] test test_get_value ... ok
[INFO] [stdout] test test_get_model ... ok
[INFO] [stdout] test test_reset ... ok
[INFO] [stdout] test test_exit ... ok
[INFO] [stdout] test test_check_sat ... ok
[INFO] [stdout] test test_set_info ... ok
[INFO] [stdout] test test_set_option ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/cvc5.rs (/opt/rustwide/target/debug/build/yaspar-ir/4ce171812cc507d3/out/cvc5-4ce171812cc507d3)
[INFO] [stderr]      Running tests/cvc5_finite_sets.rs (/opt/rustwide/target/debug/build/yaspar-ir/180a0edd671f3ac6/out/cvc5_finite_sets-180a0edd671f3ac6)
[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] [stdout] 
[INFO] [stderr]      Running tests/finite_sets.rs (/opt/rustwide/target/debug/build/yaspar-ir/e7028b6de563a5a9/out/finite_sets-e7028b6de563a5a9)
[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/build/yaspar-ir/b2ebe2b633c9ddc3/out/fv-b2ebe2b633c9ddc3)
[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] [stdout] 
[INFO] [stdout] running 14 tests
[INFO] [stdout] test test_free_vars_distinct ... ok
[INFO] [stdout] test test_nested_quantifiers ... ok
[INFO] [stdout] test test_free_vars_implies ... ok
[INFO] [stdout] test test_free_vars_ite ... ok
[INFO] [stdout] test test_two_free_vars ... ok
[INFO] [stdout] test test_free_vars_in_quantifier ... ok
[INFO] [stdout] test test_free_vars_not ... ok
[INFO] [stdout] test test_free_vars_in_let ... ok
[INFO] [stdout] test test_quantifiers ... ok
[INFO] [stdout] test test_is_closed ... ok
[INFO] [stdout] test test_let_bindings ... ok
[INFO] [stdout] test test_free_vars_and_or_xor ... ok
[INFO] [stdout] test test_three_free_vars ... ok
[INFO] [stdout] test test_free_vars_match ... 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/gen_ops_contexts.rs (/opt/rustwide/target/debug/build/yaspar-ir/771310513486a531/out/gen_ops_contexts-771310513486a531)
[INFO] [stdout] 
[INFO] [stdout] running 14 tests
[INFO] [stdout] test test_gsubst_in_rc_refcell ... ok
[INFO] [stdout] test test_gsubst_in_context_mut_ref ... ok
[INFO] [stdout] test test_ops_in_context ... ok
[INFO] [stdout] test test_gsubst_in_context_with_shadowing_local ... ok
[INFO] [stdout] test test_ops_in_rec_funs_and_each_rec_fun_context ... ok
[INFO] [stdout] test test_gsubst_in_arc_mutex ... ok
[INFO] [stdout] test test_ops_in_quantifier_context ... ok
[INFO] [stdout] test test_let_elim_in_typed_builder ... ok
[INFO] [stdout] test test_ops_in_match_and_arm_context ... ok
[INFO] [stdout] test test_ops_in_nested_contexts ... ok
[INFO] [stdout] test test_ops_in_let_context ... ok
[INFO] [stdout] test test_ops_in_function_context ... ok
[INFO] [stdout] test test_ops_in_def_sort_context ... ok
[INFO] [stdout] test test_ops_in_datatype_and_dt_decl_context ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/identifier_kinds.rs (/opt/rustwide/target/debug/build/yaspar-ir/3ef07feed0da8054/out/identifier_kinds-3ef07feed0da8054)
[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/build/yaspar-ir/32cd3b9594846e0b/out/integration-32cd3b9594846e0b)
[INFO] [stdout] 
[INFO] [stdout] running 70 tests
[INFO] [stdout] test test_array3 ... ok
[INFO] [stdout] test test_bv2 ... ok
[INFO] [stdout] test test_array1 ... ok
[INFO] [stdout] test test_bv7 ... ok
[INFO] [stdout] test test_array2 ... ok
[INFO] [stdout] test test_build_matching_context ... ok
[INFO] [stdout] test test_build_fun_context ... ok
[INFO] [stdout] test test_bv5 ... ok
[INFO] [stdout] test test_bv3 ... ok
[INFO] [stdout] test test_array4 ... ok
[INFO] [stdout] test test_array5 ... ok
[INFO] [stdout] test test_datatype1 ... ok
[INFO] [stdout] test test_bv8 ... ok
[INFO] [stdout] test test_datatype3 ... ok
[INFO] [stdout] test test_datatype10 ... ok
[INFO] [stdout] test test_check_sat_assuming ... ok
[INFO] [stdout] test test_bv6 ... ok
[INFO] [stdout] test test_datatype13 ... ok
[INFO] [stdout] test test_datatype8 ... ok
[INFO] [stdout] test test_comparison ... ok
[INFO] [stdout] test test_bv1 ... ok
[INFO] [stdout] test test_datatype2 ... ok
[INFO] [stdout] test test_datatype9 ... ok
[INFO] [stdout] test test_datatype4 ... ok
[INFO] [stdout] test test_datatype7 ... ok
[INFO] [stdout] test test_datatype6 ... ok
[INFO] [stdout] test test_build_fun_with_quantifier ... ok
[INFO] [stdout] test test_datatype5 ... ok
[INFO] [stdout] test test_datatype11 ... ok
[INFO] [stdout] test test_datatype12 ... ok
[INFO] [stdout] test test_int_div ... ok
[INFO] [stdout] test test_match_arm_rejects_invalid_symbol_chars ... ok
[INFO] [stdout] test test_get_value_nested_quantifier ... ok
[INFO] [stdout] test test_fun_context_with_let ... ok
[INFO] [stdout] test test_get_value_basic ... ok
[INFO] [stdout] test test_fun_context_with_quantifier ... ok
[INFO] [stdout] test test_matching_get_constructors ... ok
[INFO] [stdout] test test_get_value_quantified_term ... ok
[INFO] [stdout] test test_get_value_empty ... ok
[INFO] [stdout] test test_get_value_exists_term ... ok
[INFO] [stdout] test test_matching_get_unseen_constructors ... ok
[INFO] [stdout] test test_matching_is_covered ... ok
[INFO] [stdout] test test_fun_context_with_matching ... ok
[INFO] [stdout] test test_get_value_quantified_var ... ok
[INFO] [stdout] test test_matching_scrutinee_sort ... ok
[INFO] [stdout] test test_is_symbol_rejected ... ok
[INFO] [stdout] test test_rejected_2_7_features ... ok
[INFO] [stdout] test test_parse ... ok
[INFO] [stdout] test test_sort_rejects_invalid_symbol_chars ... ok
[INFO] [stdout] test test_minus ... ok
[INFO] [stdout] test test_real_int_comparison ... ok
[INFO] [stdout] test test_real_int_implicit_conversion ... ok
[INFO] [stdout] test test_quantifier_rejects_invalid_symbol_chars ... ok
[INFO] [stdout] test test_real_int_division ... ok
[INFO] [stdout] test test_real_division ... ok
[INFO] [stdout] test test_string3 ... ok
[INFO] [stdout] test test_special_symbols ... ok
[INFO] [stdout] test test_string2 ... ok
[INFO] [stdout] test test_string1 ... ok
[INFO] [stdout] test test_string5 ... ok
[INFO] [stdout] test test_xor_parsing ... ok
[INFO] [stdout] test test_string4 ... ok
[INFO] [stdout] test test_xor ... ok
[INFO] [stdout] test test_named_annotations ... ok
[INFO] [stdout] test test_true ... ok
[INFO] [stdout] test do_test ... ok
[INFO] [stdout] test test_fresh_vars ... ok
[INFO] [stdout] test test_is_int ... ok
[INFO] [stdout] test test_false ... ok
[INFO] [stdout] test test_mutual_datatype_emptiness_order_independent ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 70 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.56s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/let_elim.rs (/opt/rustwide/target/debug/build/yaspar-ir/e24ffefdbedf8c37/out/let_elim-e24ffefdbedf8c37)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test test_let_elim_nested ... ok
[INFO] [stdout] test test_let_elim_multiple_bindings ... ok
[INFO] [stdout] test test_let_elim_simple ... 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/no_pattern.rs (/opt/rustwide/target/debug/build/yaspar-ir/465f38a13eddc774/out/no_pattern-465f38a13eddc774)
[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/nullary_constructor.rs (/opt/rustwide/target/debug/build/yaspar-ir/fe9a0e1f32a01357/out/nullary_constructor-fe9a0e1f32a01357)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test nullary_constructor ... 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/rec.rs (/opt/rustwide/target/debug/build/yaspar-ir/5d40608bc9cfa2ad/out/rec-5d40608bc9cfa2ad)
[INFO] [stdout] 
[INFO] [stdout] running 24 tests
[INFO] [stdout] test test_empty_xor ... ok
[INFO] [stdout] test test_empty_let ... ok
[INFO] [stdout] test test_forall ... ok
[INFO] [stdout] test test_distinct ... ok
[INFO] [stdout] test test_exists ... ok
[INFO] [stdout] test test_empty_or ... ok
[INFO] [stdout] test test_annotated ... ok
[INFO] [stdout] test test_app ... ok
[INFO] [stdout] test test_constant ... ok
[INFO] [stdout] test test_empty_match ... ok
[INFO] [stdout] test test_global ... ok
[INFO] [stdout] test test_and_or ... ok
[INFO] [stdout] test test_empty_and ... ok
[INFO] [stdout] test test_empty_implies ... ok
[INFO] [stdout] test test_empty_app ... ok
[INFO] [stdout] test test_implies ... ok
[INFO] [stdout] test test_eq ... ok
[INFO] [stdout] test test_empty_distinct ... ok
[INFO] [stdout] test test_ite ... ok
[INFO] [stdout] test test_xor ... ok
[INFO] [stdout] test test_match ... ok
[INFO] [stdout] test test_not ... ok
[INFO] [stdout] test test_let ... ok
[INFO] [stdout] test test_nested ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 24 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/rec_memo.rs (/opt/rustwide/target/debug/build/yaspar-ir/1eecc84132dbd2d8/out/rec_memo-1eecc84132dbd2d8)
[INFO] [stdout] 
[INFO] [stdout] running 23 tests
[INFO] [stdout] test test_memo_deep_and ... ok
[INFO] [stdout] test test_memo_and_or ... ok
[INFO] [stdout] test test_memo_annotated ... ok
[INFO] [stdout] test test_memo_deep_let ... ok
[INFO] [stdout] test test_memo_constant ... ok
[INFO] [stdout] test test_memo_deep_add ... ok
[INFO] [stdout] test test_memo_deep_ite ... ok
[INFO] [stdout] test test_memo_eq ... ok
[INFO] [stdout] test test_memo_global ... ok
[INFO] [stdout] test test_memo_app ... ok
[INFO] [stdout] test test_memo_ite ... ok
[INFO] [stdout] test test_memo_deep_not ... ok
[INFO] [stdout] test test_memo_match ... ok
[INFO] [stdout] test test_memo_exists ... ok
[INFO] [stdout] test test_memo_forall ... ok
[INFO] [stdout] test test_memo_shared_deep ... ok
[INFO] [stdout] test test_memo_shared_ite_branches ... ok
[INFO] [stdout] test test_memo_shared_eq ... ok
[INFO] [stdout] test test_memo_nested ... ok
[INFO] [stdout] test test_memo_not ... ok
[INFO] [stdout] test test_memo_let ... ok
[INFO] [stdout] test test_memo_shared_nested ... ok
[INFO] [stdout] test test_memo_shared_and ... ok
[INFO] [stderr]      Running tests/substitutions.rs (/opt/rustwide/target/debug/build/yaspar-ir/93453a560c78dfd3/out/substitutions-93453a560c78dfd3)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 23 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test test_gsubst_nested_binders ... ok
[INFO] [stdout] test test_gsubst_multiple_definitions ... ok
[INFO] [stdout] test test_gsubst_shadowing_in_let ... ok
[INFO] [stdout] test test_gsubst_shadowing_in_quantifier ... ok
[INFO] [stdout] test test_gsubst_with_let ... ok
[INFO] [stdout] test test_gsubst_datatype_tester ... ok
[INFO] [stdout] test test_gsubst_define_fun ... ok
[INFO] [stdout] test test_substitutions ... ok
[INFO] [stdout] test test_gsubst_with_quantifier ... ok
[INFO] [stdout] test test_gsubst_datatype_tester_in_formula ... ok
[INFO] [stdout] test test_global_substitutions ... ok
[INFO] [stdout] test test_gsubst_nested_definitions ... ok
[INFO] [stdout] test test_gsubst_nested_shadowing ... ok
[INFO] [stdout] test test_gsubst_datatype_tester_with_quantifier ... ok
[INFO] [stdout] test test_substitutions_shadow ... ok
[INFO] [stdout] test test_gsubst_multiple_datatype_testers ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests yaspar_ir
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[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/lib.rs - (line 22) ... ok
[INFO] [stdout] test src/ast/ctx/bindings.rs - ast::ctx::bindings::LetContext (line 29) ... ok
[INFO] [stdout] test src/ast/subst.rs - ast::subst (line 13) ... ok
[INFO] [stdout] test src/ast/ctx/fun.rs - ast::ctx::fun::FunctionContext (line 31) ... ok
[INFO] [stdout] test src/ast/ctx/quantifier.rs - ast::ctx::quantifier::QuantifierContext (line 31) ... ok
[INFO] [stdout] test src/ast/ctx/checked.rs - ast::ctx::checked (line 35) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stdout] all doctests ran in 1.18s; merged doctests compilation took 1.11s
[INFO] running `Command { std: "docker" "inspect" "d51fc9bbcad93f5f983118d0d66680efd6c196384e99bb258ac21a403bab98f9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d51fc9bbcad93f5f983118d0d66680efd6c196384e99bb258ac21a403bab98f9", kill_on_drop: false }`
[INFO] [stdout] d51fc9bbcad93f5f983118d0d66680efd6c196384e99bb258ac21a403bab98f9
