[INFO] fetching crate proto-vulcan 0.1.6... [INFO] testing proto-vulcan-0.1.6 against try#8de4c7234dd9b97c9d76b58671343fdbbc9a433e+target=x86_64-unknown-linux-musl for musl_upgrade_1_2_5_with_libc_patch_0 [INFO] extracting crate proto-vulcan 0.1.6 into /workspace/builds/worker-1-tc1/source [INFO] started tweaking crates.io crate proto-vulcan 0.1.6 [INFO] removed 0 missing examples [INFO] finished tweaking crates.io crate proto-vulcan 0.1.6 [INFO] tweaked toml for crates.io crate proto-vulcan 0.1.6 written to /workspace/builds/worker-1-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate proto-vulcan 0.1.6 on toolchain 8de4c7234dd9b97c9d76b58671343fdbbc9a433e [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate proto-vulcan 0.1.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" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded serde_derive v1.0.128 [INFO] [stderr] Downloaded proto-vulcan-macros v0.1.6 [INFO] [stderr] Downloaded serde v1.0.128 [INFO] [stderr] Downloaded tui v0.14.0 [INFO] [stderr] Downloaded libc v0.2.100 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] c27d099297cb0801e206cdfcbb7877f7f9135a64e82a547e0662074ef3bed287 [INFO] running `Command { std: "docker" "start" "-a" "c27d099297cb0801e206cdfcbb7877f7f9135a64e82a547e0662074ef3bed287", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "c27d099297cb0801e206cdfcbb7877f7f9135a64e82a547e0662074ef3bed287", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c27d099297cb0801e206cdfcbb7877f7f9135a64e82a547e0662074ef3bed287", kill_on_drop: false }` [INFO] [stdout] c27d099297cb0801e206cdfcbb7877f7f9135a64e82a547e0662074ef3bed287 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "build" "--frozen" "--message-format=json" "--target" "x86_64-unknown-linux-musl", kill_on_drop: false }` [INFO] [stdout] 0124f5ac91853444091d9a08a8ddbe8ce9b4381ae1e8c8497d2cc3c164b719af [INFO] running `Command { std: "docker" "start" "-a" "0124f5ac91853444091d9a08a8ddbe8ce9b4381ae1e8c8497d2cc3c164b719af", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.26 [INFO] [stderr] Compiling unicode-xid v0.2.2 [INFO] [stderr] Compiling syn v1.0.72 [INFO] [stderr] Compiling quote v1.0.9 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling proto-vulcan-macros v0.1.6 [INFO] [stderr] Compiling proto-vulcan v0.1.6 (/opt/rustwide/workdir) [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/relation/clpfd/distinctfd.rs:187:13 [INFO] [stdout] | [INFO] [stdout] 187 | let mut mself = Rc::make_mut(&mut self); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> src/state/fd.rs:211:17 [INFO] [stdout] | [INFO] [stdout] 211 | pub fn iter(&self) -> FiniteDomainIter { [INFO] [stdout] | ^^^^^ ---------------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 211 | pub fn iter(&self) -> FiniteDomainIter<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 11.03s [INFO] running `Command { std: "docker" "inspect" "0124f5ac91853444091d9a08a8ddbe8ce9b4381ae1e8c8497d2cc3c164b719af", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0124f5ac91853444091d9a08a8ddbe8ce9b4381ae1e8c8497d2cc3c164b719af", kill_on_drop: false }` [INFO] [stdout] 0124f5ac91853444091d9a08a8ddbe8ce9b4381ae1e8c8497d2cc3c164b719af [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "test" "--frozen" "--no-run" "--message-format=json" "--target" "x86_64-unknown-linux-musl", kill_on_drop: false }` [INFO] [stdout] 3124a630d17909dc525e48478e37b8c3185b213d1fd78b18447a8292396e4e08 [INFO] running `Command { std: "docker" "start" "-a" "3124a630d17909dc525e48478e37b8c3185b213d1fd78b18447a8292396e4e08", kill_on_drop: false }` [INFO] [stderr] Compiling either v1.6.1 [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/relation/clpfd/distinctfd.rs:187:13 [INFO] [stdout] | [INFO] [stdout] 187 | let mut mself = Rc::make_mut(&mut self); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> src/state/fd.rs:211:17 [INFO] [stdout] | [INFO] [stdout] 211 | pub fn iter(&self) -> FiniteDomainIter { [INFO] [stdout] | ^^^^^ ---------------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 211 | pub fn iter(&self) -> FiniteDomainIter<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling itertools v0.9.0 [INFO] [stderr] Compiling proto-vulcan v0.1.6 (/opt/rustwide/workdir) [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/relation/clpfd/distinctfd.rs:187:13 [INFO] [stdout] | [INFO] [stdout] 187 | let mut mself = Rc::make_mut(&mut self); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> src/state/fd.rs:211:17 [INFO] [stdout] | [INFO] [stdout] 211 | pub fn iter(&self) -> FiniteDomainIter { [INFO] [stdout] | ^^^^^ ---------------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 211 | pub fn iter(&self) -> FiniteDomainIter<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 9.15s [INFO] running `Command { std: "docker" "inspect" "3124a630d17909dc525e48478e37b8c3185b213d1fd78b18447a8292396e4e08", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3124a630d17909dc525e48478e37b8c3185b213d1fd78b18447a8292396e4e08", kill_on_drop: false }` [INFO] [stdout] 3124a630d17909dc525e48478e37b8c3185b213d1fd78b18447a8292396e4e08 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "test" "--frozen" "--target" "x86_64-unknown-linux-musl", kill_on_drop: false }` [INFO] [stdout] 38c9240ca42371dc365de903f82a7cadaadd5a75083500b3df786c34ae80608e [INFO] running `Command { std: "docker" "start" "-a" "38c9240ca42371dc365de903f82a7cadaadd5a75083500b3df786c34ae80608e", kill_on_drop: false }` [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/relation/clpfd/distinctfd.rs:187:13 [INFO] [stderr] | [INFO] [stderr] 187 | let mut mself = Rc::make_mut(&mut self); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` on by default [INFO] [stderr] [INFO] [stderr] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stderr] --> src/state/fd.rs:211:17 [INFO] [stderr] | [INFO] [stderr] 211 | pub fn iter(&self) -> FiniteDomainIter { [INFO] [stderr] | ^^^^^ ---------------- the lifetime gets resolved as `'_` [INFO] [stderr] | | [INFO] [stderr] | this lifetime flows to the output [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stderr] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stderr] | [INFO] [stderr] 211 | pub fn iter(&self) -> FiniteDomainIter<'_> { [INFO] [stderr] | ++++ [INFO] [stderr] [INFO] [stderr] warning: `proto-vulcan` (lib) generated 2 warnings (run `cargo fix --lib -p proto-vulcan` to apply 2 suggestions) [INFO] [stderr] warning: `proto-vulcan` (lib test) generated 2 warnings (2 duplicates) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.04s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/proto_vulcan-a07bc16b4f4727df) [INFO] [stdout] [INFO] [stdout] running 183 tests [INFO] [stdout] test goal::test::test_goal_fail ... ok [INFO] [stdout] test goal::test::test_goal_succeed ... ok [INFO] [stdout] test goal::test::test_goal_inner ... ok [INFO] [stdout] test lterm::test::test_lterm_eq_3 ... ok [INFO] [stdout] test lterm::test::test_lterm_eq_1 ... ok [INFO] [stdout] test lterm::test::test_lterm_eq_2 ... ok [INFO] [stdout] test lterm::test::test_lterm_display ... ok [INFO] [stdout] test lterm::test::test_lterm_extend_1 ... ok [INFO] [stdout] test lterm::test::test_lterm_from_iter_1 ... ok [INFO] [stdout] test lterm::test::test_lterm_iter_1 ... ok [INFO] [stdout] test lterm::test::test_lterm_extend_2 ... ok [INFO] [stdout] test lterm::test::test_lterm_index_mut_1 ... ok [INFO] [stdout] test lterm::test::test_lterm_iter_3 ... ok [INFO] [stdout] test lterm::test::test_lterm_index_1 ... ok [INFO] [stdout] test lterm::test::test_lterm_iter_2 ... ok [INFO] [stdout] test lterm::test::test_lterm_iter_4 ... ok [INFO] [stdout] test lterm::test::test_lterm_iter_5 ... ok [INFO] [stdout] test lterm::test::test_lterm_iter_mut_1 ... ok [INFO] [stdout] test lterm::test::test_lterm_iter_mut_2 ... ok [INFO] [stdout] test lterm::test::test_lterm_val_2 ... ok [INFO] [stdout] test lterm::test::test_lterm_var_1 ... ok [INFO] [stdout] test lterm::test::test_lterm_val_1 ... ok [INFO] [stdout] test lvalue::test::test_lvalue_bool ... ok [INFO] [stdout] test lvalue::test::test_lvalue_char ... ok [INFO] [stdout] test lvalue::test::test_lvalue_display ... ok [INFO] [stdout] test lvalue::test::test_lvalue_number ... ok [INFO] [stdout] test lvalue::test::test_lvalue_string ... ok [INFO] [stdout] test operator::anyo::tests::test_anyo_1 ... ok [INFO] [stdout] test operator::anyo::tests::test_anyo_3 ... ok [INFO] [stdout] test operator::conda::tests::test_conda_4 ... ok [INFO] [stdout] test operator::conda::tests::test_conda_1 ... ok [INFO] [stdout] test operator::conda::tests::test_conda_3 ... ok [INFO] [stdout] test operator::anyo::tests::test_anyo_2 ... ok [INFO] [stdout] test operator::conda::tests::test_conda_2 ... ok [INFO] [stdout] test operator::project::tests::test_project_1 ... ok [INFO] [stdout] test operator::condu::tests::test_conda_1 ... ok [INFO] [stdout] test operator::conde::test::test_conde_1 ... ok [INFO] [stdout] test operator::project::tests::test_project_2 ... ok [INFO] [stdout] test operator::condu::tests::test_conda_2 ... ok [INFO] [stdout] test operator::project::tests::test_project_3 ... ok [INFO] [stdout] test relation::clpfd::diseqfd::tests::test_diseqfd_2 ... ok [INFO] [stdout] test relation::clpfd::diseqfd::tests::test_diseqfd_1 ... ok [INFO] [stdout] test relation::clpfd::diseqfd::tests::test_diseqfd_3 ... ok [INFO] [stdout] test relation::append::test::test_append_1 ... ok [INFO] [stdout] test relation::clpfd::distinctfd::tests::test_distinctfd_4 ... ok [INFO] [stdout] test relation::always::tests::test_always_1 ... ok [INFO] [stdout] test relation::clpfd::infd::tests::test_infd_3 ... ok [INFO] [stdout] test relation::clpfd::distinctfd::tests::test_distinctfd_7 ... ok [INFO] [stdout] test relation::clpfd::infd::tests::test_infd_4 ... ok [INFO] [stdout] test relation::clpfd::distinctfd::tests::test_distinctfd_6 ... ok [INFO] [stdout] test relation::clpfd::distinctfd::tests::test_distinctfd_2 ... ok [INFO] [stdout] test relation::clpfd::infd::tests::test_infd_1 ... ok [INFO] [stdout] test relation::clpfd::infd::tests::test_infd_9 ... ok [INFO] [stdout] test relation::clpfd::infd::tests::test_infd_8 ... ok [INFO] [stdout] test relation::clpfd::distinctfd::tests::test_distinctfd_1 ... ok [INFO] [stdout] test relation::clpfd::infd::tests::test_infd_6 ... ok [INFO] [stdout] test relation::clpfd::diseqfd::tests::test_diseqfd_4 ... ok [INFO] [stdout] test relation::clpfd::distinctfd::tests::test_distinctfd_3 ... ok [INFO] [stdout] test relation::clpfd::infd::tests::test_infd_2 ... ok [INFO] [stdout] test relation::clpfd::infd::tests::test_infd_5 ... ok [INFO] [stdout] test relation::clpfd::infd::tests::test_infd_7 ... ok [INFO] [stdout] test relation::clpz::plusz::test::test_plusz_2 ... ok [INFO] [stdout] test relation::clpfd::ltefd::tests::test_ltefd_2 ... ok [INFO] [stdout] test relation::clpfd::ltefd::tests::test_ltefd_1 ... ok [INFO] [stdout] test relation::clpfd::timesfd::tests::test_timesfd_1 ... ok [INFO] [stdout] test relation::clpfd::distinctfd::tests::test_distinctfd_5 ... ok [INFO] [stdout] test relation::clpfd::ltfd::tests::test_ltfd_2 ... ok [INFO] [stdout] test relation::clpfd::ltefd::tests::test_ltefd_4 ... ok [INFO] [stdout] test relation::cons::test::test_cons_1 ... ok [INFO] [stdout] test relation::clpz::plusz::test::test_plusz_1 ... ok [INFO] [stdout] test relation::clpz::timesz::test::test_timesz_2 ... ok [INFO] [stdout] test relation::clpfd::plusfd::tests::test_plusfd_1 ... ok [INFO] [stdout] test relation::clpfd::ltfd::tests::test_ltfd_1 ... ok [INFO] [stdout] test relation::cons::test::test_cons_2 ... ok [INFO] [stdout] test relation::clpz::timesz::test::test_timesz_1 ... ok [INFO] [stdout] test relation::clpfd::ltefd::tests::test_ltefd_3 ... ok [INFO] [stdout] test relation::clpfd::plusfd::tests::test_plusfd_2 ... ok [INFO] [stdout] test relation::cons::test::test_cons_3 ... ok [INFO] [stdout] test relation::cons::test::test_cons_4 ... ok [INFO] [stdout] test relation::cons::test::test_cons_5 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_13 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_17 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_2 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_18 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_10 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_22 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_23 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_12 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_11 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_1 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_14 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_16 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_21 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_15 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_20 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_19 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_26 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_25 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_3 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_29 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_30 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_28 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_27 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_5 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_4 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_24 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_6 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_7 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_9 ... ok [INFO] [stdout] test relation::diseq::tests::test_subsumes_1 ... ok [INFO] [stdout] test relation::empty::test::test_empty_1 ... ok [INFO] [stdout] test relation::empty::test::test_empty_2 ... ok [INFO] [stdout] test relation::eq::test::test_eq_1 ... ok [INFO] [stdout] test relation::diseq::tests::test_diseq_8 ... ok [INFO] [stdout] test relation::eq::test::test_eq_2 ... ok [INFO] [stdout] test relation::fail::test::test_fail_1 ... ok [INFO] [stdout] test relation::distinct::test::test_distinct_1 ... ok [INFO] [stdout] test relation::eq::test::test_eq_3 ... ok [INFO] [stdout] test relation::first::test::test_first_1 ... ok [INFO] [stdout] test relation::eq::test::test_eq_4 ... ok [INFO] [stdout] test relation::fail::test::test_fail_2 ... ok [INFO] [stdout] test relation::first::test::test_first_2 ... ok [INFO] [stdout] test relation::first::test::test_first_4 ... ok [INFO] [stdout] test relation::first::test::test_first_3 ... ok [INFO] [stdout] test relation::member1::tests::test_member1_7 ... ok [INFO] [stdout] test relation::member::test::test_member_3 ... ok [INFO] [stdout] test relation::member1::tests::test_member1_1 ... ok [INFO] [stdout] test relation::member1::tests::test_member1_9 ... ok [INFO] [stdout] test relation::member1::tests::test_member1_10 ... ok [INFO] [stdout] test relation::member::test::test_member_2 ... ok [INFO] [stdout] test relation::rest::test::test_rest_1 ... ok [INFO] [stdout] test relation::rember::test::test_rember_1 ... ok [INFO] [stdout] test relation::member1::tests::test_member1_6 ... ok [INFO] [stdout] test relation::rest::test::test_rest_2 ... ok [INFO] [stdout] test relation::permute::test::test_permute_1 ... ok [INFO] [stdout] test relation::member1::tests::test_member1_4 ... ok [INFO] [stdout] test relation::rest::test::test_rest_3 ... ok [INFO] [stdout] test relation::member::test::test_member_1 ... ok [INFO] [stdout] test relation::member1::tests::test_member1_8 ... ok [INFO] [stdout] test relation::rest::test::test_rest_4 ... ok [INFO] [stdout] test relation::succeed::test::test_succeed_1 ... ok [INFO] [stdout] test relation::member1::tests::test_member1_5 ... ok [INFO] [stdout] test relation::succeed::test::test_succeed_2 ... ok [INFO] [stdout] test relation::member1::tests::test_member1_3 ... ok [INFO] [stdout] test relation::member1::tests::test_member1_2 ... ok [INFO] [stdout] test state::fd::test::test_finitedomain_1 ... ok [INFO] [stdout] test state::fd::test::test_finitedomain_2 ... ok [INFO] [stdout] test state::fd::test::test_finitedomain_4 ... ok [INFO] [stdout] test state::fd::test::test_finitedomain_3 ... ok [INFO] [stdout] test state::fd::test::test_finitedomain_5 ... ok [INFO] [stdout] test state::fd::test::test_finitedomain_6 ... ok [INFO] [stdout] test state::fd::test::test_finitedomain_7 ... ok [INFO] [stdout] test state::substitution::tests::test_smap_new ... ok [INFO] [stdout] test state::substitution::tests::test_smap_extend ... ok [INFO] [stdout] test state::fd::test::test_finitedomain_8 ... ok [INFO] [stdout] test state::substitution::tests::test_smap_occurs_check_1 ... ok [INFO] [stdout] test state::substitution::tests::test_smap_occurs_check_2 ... ok [INFO] [stdout] test state::substitution::tests::test_smap_reify ... ok [INFO] [stdout] test state::substitution::tests::test_smap_walk_1 ... ok [INFO] [stdout] test state::substitution::tests::test_smap_walk_4 ... ok [INFO] [stdout] test state::substitution::tests::test_smap_walk_star_1 ... ok [INFO] [stdout] test state::substitution::tests::test_smap_walk_star_2 ... ok [INFO] [stdout] test state::substitution::tests::test_smap_walk_star_3 ... ok [INFO] [stdout] test state::unification::tests::test_unify_10 ... ok [INFO] [stdout] test state::substitution::tests::test_smap_walk_2 ... ok [INFO] [stdout] test state::unification::tests::test_unify_1 ... ok [INFO] [stdout] test state::unification::tests::test_unify_12 ... ok [INFO] [stdout] test state::substitution::tests::test_smap_walk_3 ... ok [INFO] [stdout] test state::unification::tests::test_unify_11 ... ok [INFO] [stdout] test state::unification::tests::test_unify_13 ... ok [INFO] [stdout] test state::unification::tests::test_unify_2 ... ok [INFO] [stdout] test state::unification::tests::test_unify_3 ... ok [INFO] [stdout] test state::substitution::tests::test_smap_walk_star_4 ... ok [INFO] [stdout] test state::unification::tests::test_unify_5 ... ok [INFO] [stdout] test state::unification::tests::test_unify_6 ... ok [INFO] [stdout] test state::unification::tests::test_unify_4 ... ok [INFO] [stdout] test state::unification::tests::test_unify_8 ... ok [INFO] [stdout] test state::unification::tests::test_unify_9 ... ok [INFO] [stdout] test state::unification::tests::test_unify_7 ... ok [INFO] [stdout] test lterm::test::test_lterm_projection_1 - should panic ... ok [INFO] [stdout] test lterm::test::test_lterm_projection_2 - should panic ... ok [INFO] [stdout] test lterm::test::test_lterm_projection_3 - should panic ... ok [INFO] [stdout] test lterm::test::test_lterm_var_2 - should panic ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 183 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.12s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "38c9240ca42371dc365de903f82a7cadaadd5a75083500b3df786c34ae80608e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "38c9240ca42371dc365de903f82a7cadaadd5a75083500b3df786c34ae80608e", kill_on_drop: false }` [INFO] [stdout] 38c9240ca42371dc365de903f82a7cadaadd5a75083500b3df786c34ae80608e