[INFO] cloning repository https://github.com/RobbinBaauw/Lazy-Linear-Generation [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/RobbinBaauw/Lazy-Linear-Generation" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FRobbinBaauw%2FLazy-Linear-Generation", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FRobbinBaauw%2FLazy-Linear-Generation'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] e51222768da7122c6bc397a2e308209508ea41ce [INFO] testing RobbinBaauw/Lazy-Linear-Generation against master#160e7623e8cbbf1feab2b6e2a24733a98c7bde9c for pr-145628-retry-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FRobbinBaauw%2FLazy-Linear-Generation" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'... [INFO] [stderr] done. [INFO] removed /workspace/builds/worker-2-tc1/source/rust-toolchain.toml [INFO] started tweaking git repo https://github.com/RobbinBaauw/Lazy-Linear-Generation [INFO] finished tweaking git repo https://github.com/RobbinBaauw/Lazy-Linear-Generation [INFO] tweaked toml for git repo https://github.com/RobbinBaauw/Lazy-Linear-Generation written to /workspace/builds/worker-2-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/RobbinBaauw/Lazy-Linear-Generation on toolchain 160e7623e8cbbf1feab2b6e2a24733a98c7bde9c [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+160e7623e8cbbf1feab2b6e2a24733a98c7bde9c" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/RobbinBaauw/Lazy-Linear-Generation 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" "+160e7623e8cbbf1feab2b6e2a24733a98c7bde9c" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Updating crates.io index [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded unindent v0.2.3 [INFO] [stderr] Downloaded anstream v0.6.17 [INFO] [stderr] Downloaded clap_builder v4.5.20 [INFO] [stderr] Downloaded pyo3-macros-backend v0.23.3 [INFO] [stderr] Downloaded flatzinc v0.3.21 [INFO] [stderr] Downloaded pyo3 v0.23.3 [INFO] [stderr] Downloaded anstyle v1.0.9 [INFO] [stderr] Downloaded clap_lex v0.7.2 [INFO] [stderr] Downloaded drcp-format v0.2.0 [INFO] [stderr] Downloaded console v0.15.10 [INFO] [stderr] Downloaded is-terminal v0.4.13 [INFO] [stderr] Downloaded pyo3-macros v0.23.3 [INFO] [stderr] Downloaded clap v4.5.20 [INFO] [stderr] Downloaded bitfield-struct v0.9.2 [INFO] [stderr] Downloaded env_logger v0.10.2 [INFO] [stderr] Downloaded pyo3-ffi v0.23.3 [INFO] [stderr] Downloaded bitfield v0.14.0 [INFO] [stderr] Downloaded stringcase v0.3.0 [INFO] [stderr] Downloaded pyo3-build-config v0.23.3 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+160e7623e8cbbf1feab2b6e2a24733a98c7bde9c" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 52f399a6f736aded512ec063b748b0b7c0b675366b049b7850101a38a6c0dda2 [INFO] running `Command { std: "docker" "start" "-a" "52f399a6f736aded512ec063b748b0b7c0b675366b049b7850101a38a6c0dda2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "52f399a6f736aded512ec063b748b0b7c0b675366b049b7850101a38a6c0dda2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "52f399a6f736aded512ec063b748b0b7c0b675366b049b7850101a38a6c0dda2", kill_on_drop: false }` [INFO] [stdout] 52f399a6f736aded512ec063b748b0b7c0b675366b049b7850101a38a6c0dda2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+160e7623e8cbbf1feab2b6e2a24733a98c7bde9c" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 79ec483fa6a567417f912d79ac27cb5c87a2e391dfcbf22e76de64a04d18234d [INFO] running `Command { std: "docker" "start" "-a" "79ec483fa6a567417f912d79ac27cb5c87a2e391dfcbf22e76de64a04d18234d", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.89 [INFO] [stderr] Compiling unicode-ident v1.0.13 [INFO] [stderr] Compiling target-lexicon v0.12.16 [INFO] [stderr] Compiling libc v0.2.161 [INFO] [stderr] Compiling memchr v2.7.4 [INFO] [stderr] Compiling byteorder v1.5.0 [INFO] [stderr] Compiling thiserror v1.0.65 [INFO] [stderr] Compiling utf8parse v0.2.2 [INFO] [stderr] Compiling regex-syntax v0.8.5 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling anstyle v1.0.9 [INFO] [stderr] Compiling colorchoice v1.0.3 [INFO] [stderr] Compiling anstyle-query v1.1.2 [INFO] [stderr] Compiling is_terminal_polyfill v1.70.1 [INFO] [stderr] Compiling serde v1.0.217 [INFO] [stderr] Compiling cc v1.1.31 [INFO] [stderr] Compiling anstyle-parse v0.2.6 [INFO] [stderr] Compiling clap_lex v0.7.2 [INFO] [stderr] Compiling strsim v0.11.1 [INFO] [stderr] Compiling serde_json v1.0.137 [INFO] [stderr] Compiling either v1.13.0 [INFO] [stderr] Compiling anstream v0.6.17 [INFO] [stderr] Compiling signal-hook v0.3.17 [INFO] [stderr] Compiling ryu v1.0.19 [INFO] [stderr] Compiling itertools v0.13.0 [INFO] [stderr] Compiling unicode-segmentation v1.12.0 [INFO] [stderr] Compiling humantime v2.1.0 [INFO] [stderr] Compiling flatzinc v0.3.21 [INFO] [stderr] Compiling memoffset v0.9.1 [INFO] [stderr] Compiling bitfield v0.14.0 [INFO] [stderr] Compiling downcast-rs v1.2.1 [INFO] [stderr] Compiling convert_case v0.6.0 [INFO] [stderr] Compiling indoc v2.0.5 [INFO] [stderr] Compiling quote v1.0.37 [INFO] [stderr] Compiling clap_builder v4.5.20 [INFO] [stderr] Compiling unindent v0.2.3 [INFO] [stderr] Compiling stringcase v0.3.0 [INFO] [stderr] Compiling pyo3-build-config v0.23.3 [INFO] [stderr] Compiling syn v2.0.85 [INFO] [stderr] Compiling getrandom v0.2.15 [INFO] [stderr] Compiling is-terminal v0.4.13 [INFO] [stderr] Compiling signal-hook-registry v1.4.2 [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Compiling nom v7.1.3 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling pumpkin-solver v0.1.4 (/opt/rustwide/workdir/pumpkin-solver) [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling num-complex v0.4.6 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Compiling num-iter v0.1.45 [INFO] [stderr] Compiling regex-automata v0.4.8 [INFO] [stderr] Compiling pyo3-macros-backend v0.23.3 [INFO] [stderr] Compiling pyo3-ffi v0.23.3 [INFO] [stderr] Compiling pyo3 v0.23.3 [INFO] [stderr] Compiling num-rational v0.4.2 [INFO] [stderr] Compiling num v0.4.3 [INFO] [stderr] Compiling darling_core v0.20.10 [INFO] [stderr] Compiling regex v1.11.1 [INFO] [stderr] Compiling zerocopy-derive v0.7.35 [INFO] [stderr] Compiling thiserror-impl v1.0.65 [INFO] [stderr] Compiling serde_derive v1.0.217 [INFO] [stderr] Compiling clap_derive v4.5.18 [INFO] [stderr] Compiling bitfield-struct v0.9.2 [INFO] [stderr] Compiling pumpkin-macros v0.1.0 (/opt/rustwide/workdir/pumpkin-macros) [INFO] [stderr] Compiling env_logger v0.10.2 [INFO] [stderr] Compiling zerocopy v0.7.35 [INFO] [stderr] Compiling drcp-format v0.2.0 [INFO] [stderr] Compiling drcp-format v0.2.0 (/opt/rustwide/workdir/drcp-format) [INFO] [stderr] Compiling ppv-lite86 v0.2.20 [INFO] [stderr] Compiling darling_macro v0.20.10 [INFO] [stderr] Compiling darling v0.20.10 [INFO] [stderr] Compiling clap v4.5.20 [INFO] [stderr] Compiling enumset_derive v0.10.0 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling enumset v1.1.5 [INFO] [stderr] Compiling pyo3-macros v0.23.3 [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> pumpkin-solver/src/basic_types/trail.rs:59:31 [INFO] [stdout] | [INFO] [stdout] 59 | pub(crate) fn synchronise(&mut self, new_decision_level: usize) -> Rev> { [INFO] [stdout] | ^^^^^^^^^ the lifetime is elided here ^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 59 | pub(crate) fn synchronise(&mut self, new_decision_level: usize) -> Rev> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> pumpkin-solver/src/engine/cp/assignments.rs:435:39 [INFO] [stdout] | [INFO] [stdout] 435 | pub(crate) fn get_domain_iterator(&self, domain_id: DomainId) -> IntegerDomainIterator { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 435 | pub(crate) fn get_domain_iterator(&self, domain_id: DomainId) -> IntegerDomainIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> pumpkin-solver/src/engine/cp/assignments.rs:1072:24 [INFO] [stdout] | [INFO] [stdout] 1072 | fn domain_iterator(&self) -> IntegerDomainIterator { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 1072 | fn domain_iterator(&self) -> IntegerDomainIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> pumpkin-solver/src/engine/cp/assignments.rs:1488:20 [INFO] [stdout] | [INFO] [stdout] 1488 | fn new(domain: &IntegerDomain) -> IntegerDomainIterator { [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 1488 | fn new(domain: &IntegerDomain) -> IntegerDomainIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> pumpkin-solver/src/engine/cp/propagation/propagator.rs:191:9 [INFO] [stdout] | [INFO] [stdout] 191 | &mut self, [INFO] [stdout] | ^^^^^^^^^ the lifetime is elided here [INFO] [stdout] ... [INFO] [stdout] 194 | ) -> PropagationReasonRef { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 194 | ) -> PropagationReasonRef<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> pumpkin-solver/src/engine/cp/propagation/propagator_initialisation_context.rs:43:31 [INFO] [stdout] | [INFO] [stdout] 43 | pub(crate) fn as_readonly(&self) -> PropagationContext { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 43 | pub(crate) fn as_readonly(&self) -> PropagationContext<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling pumpkin-py v0.1.0 (/opt/rustwide/workdir/pumpkin-py) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 07s [INFO] running `Command { std: "docker" "inspect" "79ec483fa6a567417f912d79ac27cb5c87a2e391dfcbf22e76de64a04d18234d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "79ec483fa6a567417f912d79ac27cb5c87a2e391dfcbf22e76de64a04d18234d", kill_on_drop: false }` [INFO] [stdout] 79ec483fa6a567417f912d79ac27cb5c87a2e391dfcbf22e76de64a04d18234d [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+160e7623e8cbbf1feab2b6e2a24733a98c7bde9c" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 86938600c9f85e0417d6e38a340a0fb2724620be3f08d5a925c1724b149bdf74 [INFO] running `Command { std: "docker" "start" "-a" "86938600c9f85e0417d6e38a340a0fb2724620be3f08d5a925c1724b149bdf74", kill_on_drop: false }` [INFO] [stderr] Compiling regex-syntax v0.8.5 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Compiling portable-atomic v1.9.0 [INFO] [stderr] Compiling stringcase v0.3.0 [INFO] [stderr] Compiling unicode-width v0.2.0 [INFO] [stderr] Compiling number_prefix v0.4.0 [INFO] [stderr] Compiling wait-timeout v0.2.0 [INFO] [stderr] Compiling drcp-format v0.2.0 (/opt/rustwide/workdir/drcp-format) [INFO] [stderr] Compiling pumpkin-macros v0.1.0 (/opt/rustwide/workdir/pumpkin-macros) [INFO] [stderr] Compiling console v0.15.10 [INFO] [stderr] Compiling crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling crossbeam-deque v0.8.6 [INFO] [stderr] Compiling rayon v1.10.0 [INFO] [stderr] Compiling regex-automata v0.4.8 [INFO] [stderr] Compiling indicatif v0.17.9 [INFO] [stderr] Compiling regex v1.11.1 [INFO] [stderr] Compiling env_logger v0.10.2 [INFO] [stderr] Compiling pumpkin-solver v0.1.4 (/opt/rustwide/workdir/pumpkin-solver) [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> pumpkin-solver/src/basic_types/trail.rs:59:31 [INFO] [stdout] | [INFO] [stdout] 59 | pub(crate) fn synchronise(&mut self, new_decision_level: usize) -> Rev> { [INFO] [stdout] | ^^^^^^^^^ the lifetime is elided here ^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 59 | pub(crate) fn synchronise(&mut self, new_decision_level: usize) -> Rev> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> pumpkin-solver/src/engine/cp/assignments.rs:435:39 [INFO] [stdout] | [INFO] [stdout] 435 | pub(crate) fn get_domain_iterator(&self, domain_id: DomainId) -> IntegerDomainIterator { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 435 | pub(crate) fn get_domain_iterator(&self, domain_id: DomainId) -> IntegerDomainIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> pumpkin-solver/src/engine/cp/assignments.rs:1072:24 [INFO] [stdout] | [INFO] [stdout] 1072 | fn domain_iterator(&self) -> IntegerDomainIterator { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 1072 | fn domain_iterator(&self) -> IntegerDomainIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> pumpkin-solver/src/engine/cp/assignments.rs:1488:20 [INFO] [stdout] | [INFO] [stdout] 1488 | fn new(domain: &IntegerDomain) -> IntegerDomainIterator { [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 1488 | fn new(domain: &IntegerDomain) -> IntegerDomainIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> pumpkin-solver/src/engine/cp/propagation/propagator.rs:191:9 [INFO] [stdout] | [INFO] [stdout] 191 | &mut self, [INFO] [stdout] | ^^^^^^^^^ the lifetime is elided here [INFO] [stdout] ... [INFO] [stdout] 194 | ) -> PropagationReasonRef { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 194 | ) -> PropagationReasonRef<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> pumpkin-solver/src/engine/cp/propagation/propagator_initialisation_context.rs:43:31 [INFO] [stdout] | [INFO] [stdout] 43 | pub(crate) fn as_readonly(&self) -> PropagationContext { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 43 | pub(crate) fn as_readonly(&self) -> PropagationContext<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> pumpkin-solver/src/basic_types/trail.rs:59:31 [INFO] [stdout] | [INFO] [stdout] 59 | pub(crate) fn synchronise(&mut self, new_decision_level: usize) -> Rev> { [INFO] [stdout] | ^^^^^^^^^ the lifetime is elided here ^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 59 | pub(crate) fn synchronise(&mut self, new_decision_level: usize) -> Rev> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> pumpkin-solver/src/engine/cp/assignments.rs:435:39 [INFO] [stdout] | [INFO] [stdout] 435 | pub(crate) fn get_domain_iterator(&self, domain_id: DomainId) -> IntegerDomainIterator { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 435 | pub(crate) fn get_domain_iterator(&self, domain_id: DomainId) -> IntegerDomainIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> pumpkin-solver/src/engine/cp/assignments.rs:1072:24 [INFO] [stdout] | [INFO] [stdout] 1072 | fn domain_iterator(&self) -> IntegerDomainIterator { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 1072 | fn domain_iterator(&self) -> IntegerDomainIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> pumpkin-solver/src/engine/cp/assignments.rs:1488:20 [INFO] [stdout] | [INFO] [stdout] 1488 | fn new(domain: &IntegerDomain) -> IntegerDomainIterator { [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 1488 | fn new(domain: &IntegerDomain) -> IntegerDomainIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> pumpkin-solver/src/engine/cp/propagation/propagator.rs:191:9 [INFO] [stdout] | [INFO] [stdout] 191 | &mut self, [INFO] [stdout] | ^^^^^^^^^ the lifetime is elided here [INFO] [stdout] ... [INFO] [stdout] 194 | ) -> PropagationReasonRef { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 194 | ) -> PropagationReasonRef<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> pumpkin-solver/src/engine/cp/propagation/propagator_initialisation_context.rs:43:31 [INFO] [stdout] | [INFO] [stdout] 43 | pub(crate) fn as_readonly(&self) -> PropagationContext { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 43 | pub(crate) fn as_readonly(&self) -> PropagationContext<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling pumpkin-py v0.1.0 (/opt/rustwide/workdir/pumpkin-py) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 48.84s [INFO] running `Command { std: "docker" "inspect" "86938600c9f85e0417d6e38a340a0fb2724620be3f08d5a925c1724b149bdf74", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "86938600c9f85e0417d6e38a340a0fb2724620be3f08d5a925c1724b149bdf74", kill_on_drop: false }` [INFO] [stdout] 86938600c9f85e0417d6e38a340a0fb2724620be3f08d5a925c1724b149bdf74 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+160e7623e8cbbf1feab2b6e2a24733a98c7bde9c" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 238e43cf36e423a279ded8f776141ac797aa5075f27d5a3122fdd8d48f04cc18 [INFO] running `Command { std: "docker" "start" "-a" "238e43cf36e423a279ded8f776141ac797aa5075f27d5a3122fdd8d48f04cc18", kill_on_drop: false }` [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> pumpkin-solver/src/basic_types/trail.rs:59:31 [INFO] [stderr] | [INFO] [stderr] 59 | pub(crate) fn synchronise(&mut self, new_decision_level: usize) -> Rev> { [INFO] [stderr] | ^^^^^^^^^ the lifetime is elided here ^^^^^^^^ the same lifetime is hidden here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 59 | pub(crate) fn synchronise(&mut self, new_decision_level: usize) -> Rev> { [INFO] [stderr] | +++ [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> pumpkin-solver/src/engine/cp/assignments.rs:435:39 [INFO] [stderr] | [INFO] [stderr] 435 | pub(crate) fn get_domain_iterator(&self, domain_id: DomainId) -> IntegerDomainIterator { [INFO] [stderr] | ^^^^^ ^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stderr] | | [INFO] [stderr] | the lifetime is elided here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 435 | pub(crate) fn get_domain_iterator(&self, domain_id: DomainId) -> IntegerDomainIterator<'_> { [INFO] [stderr] | ++++ [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> pumpkin-solver/src/engine/cp/assignments.rs:1072:24 [INFO] [stderr] | [INFO] [stderr] 1072 | fn domain_iterator(&self) -> IntegerDomainIterator { [INFO] [stderr] | ^^^^^ ^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stderr] | | [INFO] [stderr] | the lifetime is elided here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 1072 | fn domain_iterator(&self) -> IntegerDomainIterator<'_> { [INFO] [stderr] | ++++ [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> pumpkin-solver/src/engine/cp/assignments.rs:1488:20 [INFO] [stderr] | [INFO] [stderr] 1488 | fn new(domain: &IntegerDomain) -> IntegerDomainIterator { [INFO] [stderr] | ^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stderr] | | [INFO] [stderr] | the lifetime is elided here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 1488 | fn new(domain: &IntegerDomain) -> IntegerDomainIterator<'_> { [INFO] [stderr] | ++++ [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> pumpkin-solver/src/engine/cp/propagation/propagator.rs:191:9 [INFO] [stderr] | [INFO] [stderr] 191 | &mut self, [INFO] [stderr] | ^^^^^^^^^ the lifetime is elided here [INFO] [stderr] ... [INFO] [stderr] 194 | ) -> PropagationReasonRef { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 194 | ) -> PropagationReasonRef<'_> { [INFO] [stderr] | ++++ [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> pumpkin-solver/src/engine/cp/propagation/propagator_initialisation_context.rs:43:31 [INFO] [stderr] | [INFO] [stderr] 43 | pub(crate) fn as_readonly(&self) -> PropagationContext { [INFO] [stderr] | ^^^^^ ^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stderr] | | [INFO] [stderr] | the lifetime is elided here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 43 | pub(crate) fn as_readonly(&self) -> PropagationContext<'_> { [INFO] [stderr] | ++++ [INFO] [stderr] [INFO] [stderr] warning: `pumpkin-solver` (lib) generated 6 warnings (run `cargo fix --lib -p pumpkin-solver` to apply 6 suggestions) [INFO] [stderr] warning: `pumpkin-solver` (lib test) generated 6 warnings (6 duplicates) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.26s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/drcp_format-9f7c44ac9471299c) [INFO] [stdout] [INFO] [stdout] running 8 tests [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/pumpkin_macros-c7d243f8078d8a5d) [INFO] [stdout] test writer::tests::write_inference_with_constraint_id ... ok [INFO] [stdout] test writer::tests::write_basic_inference ... ok [INFO] [stdout] test reader::tests::inference_nogood_without_hints ... ok [INFO] [stdout] test writer::tests::write_inference_with_label ... ok [INFO] [stdout] test writer::tests::write_inference_with_constraint_id_and_label ... ok [INFO] [stdout] test writer::tests::write_inference_without_conclusion_with_hints ... ok [INFO] [stdout] test writer::tests::write_inference_without_conclusion_without_hints ... ok [INFO] [stdout] test reader::tests::inference_nogood_with_constraint_tag_and_label ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/pumpkin_py-68d0d0ec2d1978b0) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/pumpkin_solver-e84db4a21b3c3b83) [INFO] [stdout] [INFO] [stdout] running 326 tests [INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_contains_variable ... ok [INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_evaluate_at_trail ... ok [INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_invert ... ok [INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_find_variable_scale ... ok [INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_is_conflicting ... ok [INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_iter_mut ... ok [INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_lb ... ok [INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_lb_initial ... ok [INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_lb_overflows_any_element_high ... ok [INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_lb_overflows_any_element_low ... ok [INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_lb_eval_linleq ... ok [INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_lb_overflows_sum ... ok [INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_lhs_eq ... ok [INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_lhs_from_vars_box ... ok [INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_lhs_from_vars_rc ... ok [INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_new_less_equal_dedup ... ok [INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_new_less_equal_offsets ... ok [INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_overflows ... ok [INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_slack ... ok [INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_ub ... ok [INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_ub_eval_linleq ... ok [INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_ub_initial ... ok [INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_variables_propagating ... ok [INFO] [stdout] test basic_types::moving_averages::cumulative_moving_average::tests::test_empty ... ok [INFO] [stdout] test basic_types::moving_averages::cumulative_moving_average::tests::test_simple1 ... ok [INFO] [stdout] test basic_types::moving_averages::cumulative_moving_average::tests::test_constant_value ... ok [INFO] [stdout] test basic_types::moving_averages::windowed_moving_average::tests::test_empty ... ok [INFO] [stdout] test basic_types::moving_averages::windowed_moving_average::tests::test_simple1 ... ok [INFO] [stdout] test basic_types::moving_averages::windowed_moving_average::tests::test_constant_value ... ok [INFO] [stdout] test basic_types::predicate_id_generator::tests::all_values_removed ... ok [INFO] [stdout] test basic_types::predicate_id_generator::tests::holes_in_removed_values ... ok [INFO] [stdout] test basic_types::predicate_id_generator::tests::initial_values_removed2 ... ok [INFO] [stdout] test basic_types::predicate_id_generator::tests::initial_and_last_values_removed ... ok [INFO] [stdout] test basic_types::predicate_id_generator::tests::last_values_removed ... ok [INFO] [stdout] test basic_types::propositional_conjunction::tests::order_is_ignored_for_equality ... ok [INFO] [stdout] test basic_types::predicate_id_generator::tests::initial_values_removed1 ... ok [INFO] [stdout] test basic_types::propositional_conjunction::tests::nested_path_is_forwarded_to_predicate ... ok [INFO] [stdout] test basic_types::sequence_generators::luby_sequence::tests::test_base_100 ... ok [INFO] [stdout] test basic_types::propositional_conjunction::tests::conjunction_macro_test ... ok [INFO] [stdout] test basic_types::sequence_generators::geometric_sequence::tests::test_multiply_50_procent ... ok [INFO] [stdout] test basic_types::trail::tests::elements_at_current_decision_level ... ok [INFO] [stdout] test basic_types::trail::tests::popped_elements_are_given_in_reverse_order_when_backtracking ... ok [INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_lhs_from_domain_scale ... ok [INFO] [stdout] test basic_types::trail::tests::pushed_values_are_observed_through_indexing ... ok [INFO] [stdout] test basic_types::trail::tests::backtracking_is_nonchronological ... ok [INFO] [stdout] test branching::branchers::alternating_brancher::tests::test_every_other_solution ... ok [INFO] [stdout] test branching::branchers::autonomous_search::tests::value_removed_if_threshold_too_small ... ok [INFO] [stdout] test basic_types::trail::tests::backtracking_removes_elements_beyond_decision_level ... ok [INFO] [stdout] test branching::branchers::alternating_brancher::tests::test_switch_to_default_after_first_solution ... ok [INFO] [stdout] test branching::branchers::alternating_brancher::tests::test_every_solution ... ok [INFO] [stdout] test branching::tie_breaking::in_order_tie_breaker::tests::test_selection_first_value ... ok [INFO] [stdout] test branching::tie_breaking::in_order_tie_breaker::tests::test_selection_picks_lowest_value ... ok [INFO] [stdout] test branching::tie_breaking::random_tie_breaker::tests::test_selection_between_values_chooses_maximum ... ok [INFO] [stdout] test branching::tie_breaking::random_tie_breaker::tests::test_selection_between_values_chooses_minimum ... ok [INFO] [stdout] test branching::tie_breaking::random_tie_breaker::tests::test_selection_between_values_chooses_random_with_seed_second ... ok [INFO] [stdout] test branching::tie_breaking::random_tie_breaker::tests::test_selection_new_value ... ok [INFO] [stdout] test branching::value_selection::in_domain_interval::tests::test_domain_of_size_two ... ok [INFO] [stdout] test branching::value_selection::in_domain_interval::tests::test_no_holes_in_domain_bisects_domain ... ok [INFO] [stdout] test branching::value_selection::in_domain_max::tests::test_returns_correct_literal ... ok [INFO] [stdout] test branching::value_selection::in_domain_interval::tests::test_returns_correct_literal ... ok [INFO] [stdout] test branching::branchers::autonomous_search::tests::brancher_picks_bumped_values ... ok [INFO] [stdout] test branching::value_selection::in_domain_median::tests::test_returns_correct_literal ... ok [INFO] [stdout] test branching::branchers::autonomous_search::tests::dormant_values ... ok [INFO] [stdout] test branching::value_selection::in_domain_median::tests::test_returns_correct_literal_removed_median ... ok [INFO] [stdout] test branching::value_selection::in_domain_middle::tests::test_returns_correct_literal ... ok [INFO] [stdout] test branching::branchers::alternating_brancher::tests::test_every_other_restart ... ok [INFO] [stdout] test branching::branchers::autonomous_search::tests::uses_stored_solution ... ok [INFO] [stdout] test branching::value_selection::in_domain_middle::tests::test_returns_correct_literal_negative_lower_bound ... ok [INFO] [stdout] test branching::value_selection::in_domain_median::tests::test_returns_correct_literal_no_median ... ok [INFO] [stdout] test basic_types::sequence_generators::constant_sequence::tests::test_basic ... ok [INFO] [stdout] test branching::value_selection::in_domain_middle::tests::test_returns_correct_literal_no_middle ... ok [INFO] [stdout] test basic_types::sequence_generators::geometric_sequence::tests::test_2_pow_n ... ok [INFO] [stdout] test basic_types::sequence_generators::luby_sequence::tests::test_base_1 ... ok [INFO] [stdout] test branching::branchers::autonomous_search::tests::uses_fallback ... ok [INFO] [stdout] test branching::value_selection::in_domain_middle::tests::test_returns_correct_literal_size_two_domain ... ok [INFO] [stdout] test branching::value_selection::in_domain_middle::tests::test_returns_correct_literal_size_three_domain ... ok [INFO] [stdout] test branching::value_selection::in_domain_min::tests::test_returns_correct_literal ... ok [INFO] [stdout] test branching::value_selection::in_domain_random::tests::test_returns_correct_literal ... ok [INFO] [stdout] test branching::value_selection::in_domain_split::tests::test_domain_of_size_two ... ok [INFO] [stdout] test branching::value_selection::in_domain_split::tests::test_returns_correct_literal ... ok [INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_iter ... ok [INFO] [stdout] test branching::value_selection::out_domain_max::tests::test_returns_correct_literal ... ok [INFO] [stdout] test branching::value_selection::out_domain_min::tests::test_returns_correct_literal ... ok [INFO] [stdout] test branching::value_selection::out_domain_median::tests::test_returns_correct_literal ... ok [INFO] [stdout] test branching::variable_selection::anti_first_fail::tests::test_correctly_selected ... ok [INFO] [stdout] test branching::value_selection::in_domain_middle::tests::test_returns_correct_literal_negative_upper_bound ... ok [INFO] [stdout] test branching::value_selection::in_domain_split_random::tests::test_returns_correct_literal ... ok [INFO] [stdout] test branching::value_selection::out_domain_median::tests::test_returns_correct_literal_no_median ... ok [INFO] [stdout] test branching::value_selection::reverse_in_domain_split::tests::test_returns_correct_literal ... ok [INFO] [stdout] test branching::variable_selection::largest::tests::fixed_variables_are_not_selected ... ok [INFO] [stdout] test branching::variable_selection::input_order::tests::test_correctly_selected ... ok [INFO] [stdout] test branching::variable_selection::first_fail::tests::fixed_variables_are_not_selected ... ok [INFO] [stdout] test branching::variable_selection::max_regret::tests::test_correctly_selected ... ok [INFO] [stdout] test branching::variable_selection::first_fail::tests::test_correctly_selected ... ok [INFO] [stdout] test branching::variable_selection::input_order::tests::fixed_variables_are_not_selected ... ok [INFO] [stdout] test branching::variable_selection::largest::tests::test_correctly_selected ... ok [INFO] [stdout] test branching::variable_selection::max_regret::tests::fixed_variables_are_not_selected ... ok [INFO] [stdout] test branching::variable_selection::occurrence::tests::fixed_variables_are_not_selected ... ok [INFO] [stdout] test branching::variable_selection::most_constrained::tests::fixed_variables_are_not_selected ... ok [INFO] [stdout] test branching::variable_selection::most_constrained::tests::test_correctly_selected ... ok [INFO] [stdout] test branching::variable_selection::most_constrained::tests::test_correctly_selected_tie ... ok [INFO] [stdout] test containers::key_value_heap::test::failing_test_case2 ... ok [INFO] [stdout] test containers::key_value_heap::test::failing_test_case ... ok [INFO] [stdout] test branching::variable_selection::occurrence::tests::test_correctly_selected ... ok [INFO] [stdout] test branching::variable_selection::smallest::tests::fixed_variables_are_not_selected ... ok [INFO] [stdout] test branching::value_selection::reverse_in_domain_split::tests::test_domain_of_size_two ... ok [INFO] [stdout] test branching::value_selection::out_domain_random::tests::test_returns_correct_literal ... ok [INFO] [stdout] test containers::key_value_heap::test::random1 ... ok [INFO] [stdout] test branching::variable_selection::smallest::tests::test_correctly_selected ... ok [INFO] [stdout] test containers::key_value_heap::test::duplicates ... ok [INFO] [stdout] test containers::key_value_heap::test::random2 ... ok [INFO] [stdout] test containers::key_value_heap::test::trivial_sort ... ok [INFO] [stdout] test containers::sparse_set::tests::iter2 ... ok [INFO] [stdout] test containers::sparse_set::tests::iter1 ... ok [INFO] [stdout] test containers::sparse_set::tests::removal ... ok [INFO] [stdout] test containers::sparse_set::tests::removal_adjusts_size ... ok [INFO] [stdout] test containers::key_value_heap::test::random3 ... ok [INFO] [stdout] test containers::sparse_set::tests::remove_all_elements_leads_to_empty_set ... ok [INFO] [stdout] test containers::key_value_heap::test::simple ... ok [INFO] [stdout] test containers::key_value_heap::test::trivial ... ok [INFO] [stdout] test containers::sparse_set::tests::test_len ... ok [INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::hole_lb_override ... ok [INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::hole_push_lb ... ok [INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::simple_assign ... ok [INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::simple_assign_no_equality ... ok [INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::simple_bound1 ... ok [INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::simple_lb_override1 ... ok [INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::simple_bound2 ... ok [INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::trivial_nogood ... ok [INFO] [stdout] test engine::conflict_analysis::resolvers::llg_conflict_resolver::tests::test_cut_contradiction ... ok [INFO] [stdout] test engine::conflict_analysis::resolvers::llg_conflict_resolver::tests::test_cut_fully_clash ... ok [INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::simple_bound3 ... ok [INFO] [stdout] test engine::conflict_analysis::resolvers::llg_conflict_resolver::tests::test_cut_nothing_learned ... ok [INFO] [stdout] test engine::conflict_analysis::resolvers::llg_conflict_resolver::tests::test_cut_no_clash ... ok [INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::trivial_conflict_bounds ... ok [INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::trivial_conflict_bounds_reset ... ok [INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::trivial_conflict_assignment ... ok [INFO] [stdout] test engine::conflict_analysis::resolvers::llg_conflict_resolver::tests::test_cut_overflow ... ok [INFO] [stdout] test engine::conflict_analysis::resolvers::llg_conflict_resolver::tests::test_cut_same_coeff ... ok [INFO] [stdout] test engine::conflict_analysis::resolvers::llg_conflict_resolver::tests::test_transform_full_clause ... ok [INFO] [stdout] test engine::conflict_analysis::resolvers::llg_conflict_resolver::tests::test_transform_lower_bound_clause ... ok [INFO] [stdout] test engine::conflict_analysis::resolvers::llg_conflict_resolver::tests::test_cut_simple ... ok [INFO] [stdout] test basic_types::predicate_id_generator::tests::no_removed_values ... ok [INFO] [stdout] test branching::tie_breaking::random_tie_breaker::tests::test_selection_between_values_chooses_random_with_seed_first ... ok [INFO] [stdout] test engine::constraint_satisfaction_solver::tests::check_can_compute_1uip_with_propagator_initialisation_conflict ... ok [INFO] [stdout] test engine::constraint_satisfaction_solver::tests::core_extraction_unit_core ... ok [INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_2_1 ... ok [INFO] [stdout] test engine::conflict_analysis::resolvers::llg_conflict_resolver::tests::test_transform_upper_bound_clause ... ok [INFO] [stdout] test engine::constraint_satisfaction_solver::tests::new_domain_with_negative_lower_bound ... ok [INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_1_1 ... ok [INFO] [stdout] test engine::constraint_satisfaction_solver::tests::core_extraction_equality_assumption ... ok [INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_1_2 ... ok [INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_1_core_conflicting ... ok [INFO] [stdout] test engine::cp::assignments::tests::an_empty_domain_accepts_removal_operations ... ok [INFO] [stdout] test engine::cp::assignments::tests::bounds_change_can_also_trigger_assign_event ... ok [INFO] [stdout] test engine::cp::assignments::tests::domain_iterator_removed_bounds ... ok [INFO] [stdout] test engine::cp::assignments::tests::inconsistent_domain_removals ... ok [INFO] [stdout] test engine::cp::assignments::tests::domain_iterator_simple ... ok [INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_2_inconsistent_long_assumptions ... ok [INFO] [stdout] test engine::cp::assignments::tests::domain_iterator_skip_holes ... ok [INFO] [stdout] test engine::cp::assignments::tests::jump_in_bound_change_lower_and_upper_bound_event_backtrack ... ok [INFO] [stdout] test engine::cp::assignments::tests::jump_in_bound_change_assign_event_backtrack ... ok [INFO] [stdout] test engine::cp::assignments::tests::inconsistent_bound_updates ... ok [INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_2_long_assumptions_with_inconsistency_at_the_end ... ok [INFO] [stdout] test branching::variable_selection::anti_first_fail::tests::fixed_variables_are_not_selected ... ok [INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_3_1 ... ok [INFO] [stdout] test engine::cp::assignments::tests::lower_bound_at_trail_position_after_removals ... ok [INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_1_infeasible ... ok [INFO] [stdout] test engine::cp::assignments::tests::domain_iterator_removed_values_present_beyond_bounds ... ok [INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_3_2 ... ok [INFO] [stdout] test engine::cp::assignments::tests::jump_in_bound_change_lower_bound_event_backtrack ... ok [INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::trivial_conflict_holes ... ok [INFO] [stdout] test engine::cp::assignments::tests::jump_in_bound_change_upper_bound_event_backtrack ... ok [INFO] [stdout] test engine::cp::assignments::tests::lower_bound_at_update ... ok [INFO] [stdout] test engine::cp::assignments::tests::lower_bound_beyond_trail_position ... ok [INFO] [stdout] test engine::cp::assignments::tests::lower_bound_change_backtrack ... ok [INFO] [stdout] test engine::cp::assignments::tests::lower_bound_inbetween_updates ... ok [INFO] [stdout] test engine::cp::assignments::tests::lower_bound_change_lower_bound_event ... ok [INFO] [stdout] test engine::cp::assignments::tests::lower_bound_trail_position_last_bound ... ok [INFO] [stdout] test engine::cp::assignments::tests::lower_bound_trail_position_with_removals ... ok [INFO] [stdout] test engine::cp::assignments::tests::making_assignment_triggers_appropriate_events ... ok [INFO] [stdout] test engine::cp::assignments::tests::removal_trail_position ... ok [INFO] [stdout] test engine::cp::assignments::tests::lower_bound_trail_position_inbetween_value ... ok [INFO] [stdout] test engine::cp::assignments::tests::removing_the_lower_bound_updates_that_lower_bound ... ok [INFO] [stdout] test engine::cp::assignments::tests::lower_bound_trail_position_trivial ... ok [INFO] [stdout] test engine::cp::assignments::tests::removing_the_upper_bound_updates_the_upper_bound ... ok [INFO] [stdout] test engine::cp::assignments::tests::setting_upper_bound_rounds_down_to_nearest_value_in_domain ... ok [INFO] [stdout] test engine::cp::assignments::tests::value_can_be_removed_from_domains ... ok [INFO] [stdout] test engine::cp::assignments::tests::undo_removal_at_bounds_indexes_into_values_domain_correctly ... ok [INFO] [stdout] test engine::cp::assignments::tests::lower_bound_trail_position_beyond_value ... ok [INFO] [stdout] test engine::cp::assignments::tests::removal_trail_position_after_lower_bound ... ok [INFO] [stdout] test engine::cp::assignments::tests::removal_triggers_removal_event ... ok [INFO] [stdout] test engine::cp::assignments::tests::upper_bound_change_triggers_upper_bound_event ... ok [INFO] [stdout] test engine::cp::assignments::tests::lower_bound_at_trail_position_after_removals_and_bound_update ... ok [INFO] [stdout] test engine::cp::assignments::tests::setting_lower_bound_rounds_up_to_nearest_value_in_domain ... ok [INFO] [stdout] test engine::cp::event_sink::tests::a_captured_event_is_observed_in_the_drain ... ok [INFO] [stdout] test engine::cp::event_sink::tests::after_draining_the_event_sink_is_empty ... ok [INFO] [stdout] test engine::cp::event_sink::tests::the_default_sink_is_empty ... ok [INFO] [stdout] test engine::cp::reason::tests::computing_an_eager_reason_returns_a_reference_to_the_conjunction ... ok [INFO] [stdout] test engine::cp::reason::tests::pushing_a_reason_gives_a_reason_ref_that_can_be_computed ... ok [INFO] [stdout] test engine::cp::tests::test_no_update_reason_store_if_no_update_lower_bound ... ok [INFO] [stdout] test engine::predicates::predicate::test::negating_trivially_false_predicate ... ok [INFO] [stdout] test engine::predicates::predicate_constructor::tests::macro_index_expressions_are_matched ... ok [INFO] [stdout] test engine::predicates::predicate::test::negating_trivially_true_predicate ... ok [INFO] [stdout] test engine::cp::tests::test_no_update_reason_store_if_no_update_upper_bound ... ok [INFO] [stdout] test engine::cp::event_sink::tests::duplicate_events_are_ignored ... ok [INFO] [stdout] test engine::predicates::predicate_constructor::tests::macro_nested_identifiers_are_matched ... ok [INFO] [stdout] test engine::variables::affine_view::tests::affine_view_obtaining_a_bound_should_round_optimistically_in_inner_domain ... ok [INFO] [stdout] test engine::cp::assignments::tests::various_tests_evaluate_predicate ... ok [INFO] [stdout] test propagators::arithmetic::absolute_value::tests::strictly_negative_signed_value_can_propagate_lower_bound_on_absolute ... ok [INFO] [stdout] test propagators::arithmetic::division::tests::detects_conflicts ... ok [INFO] [stdout] test engine::predicates::predicate_constructor::tests::macro_local_identifiers_are_matched ... ok [INFO] [stdout] test engine::cp::tests::test_no_update_reason_store_if_no_update_remove ... ok [INFO] [stdout] test engine::variables::affine_view::tests::offsetting_an_affine_view ... ok [INFO] [stdout] test engine::variables::affine_view::tests::scaling_an_affine_view ... ok [INFO] [stdout] test engine::variables::affine_view::tests::test_negated_variable_has_bounds_rounded_correctly ... ok [INFO] [stdout] test propagators::arithmetic::integer_multiplication::tests::bounds_of_a_and_c_propagate_bounds_b ... ok [INFO] [stdout] test propagators::arithmetic::integer_multiplication::tests::bounds_of_a_and_b_propagate_bounds_c ... ok [INFO] [stdout] test propagators::arithmetic::absolute_value::tests::absolute_bounds_are_propagated_at_initialise ... ok [INFO] [stdout] test propagators::arithmetic::integer_multiplication::tests::bounds_of_b_and_c_propagate_bounds_a ... ok [INFO] [stdout] test propagators::arithmetic::absolute_value::tests::absolute_lower_bound_can_be_strictly_positive ... ok [INFO] [stdout] test propagators::arithmetic::absolute_value::tests::lower_bound_on_absolute_can_propagate_negative_upper_bound_on_signed ... ok [INFO] [stdout] test propagators::arithmetic::absolute_value::tests::lower_bound_on_absolute_can_propagate_positive_lower_bound_on_signed ... ok [INFO] [stdout] test propagators::arithmetic::linear_less_or_equal::tests::test_bounds_are_propagated ... ok [INFO] [stdout] test propagators::arithmetic::linear_less_or_equal::tests::test_explanations ... ok [INFO] [stdout] test propagators::arithmetic::linear_less_or_equal::tests::underflow_leads_to_no_propagation ... ok [INFO] [stdout] test propagators::arithmetic::linear_not_equal::tests::explanation_for_propagation ... ok [INFO] [stdout] test propagators::arithmetic::linear_not_equal::tests::test_empty_domain_is_detected ... ok [INFO] [stdout] test propagators::arithmetic::maximum::tests::single_variable_propagate ... ok [INFO] [stdout] test propagators::cumulative::time_table::explanations::big_step::tests::test_big_step_explanation_lower_bound_sequence ... ok [INFO] [stdout] test propagators::arithmetic::maximum::tests::lower_bound_of_rhs_is_maximum_of_lower_bounds_in_array ... ok [INFO] [stdout] test propagators::arithmetic::linear_not_equal::tests::test_value_is_removed ... ok [INFO] [stdout] test propagators::cumulative::time_table::explanations::big_step::tests::test_big_step_explanation_lower_bound ... ok [INFO] [stdout] test propagators::arithmetic::maximum::tests::upper_bound_of_all_array_elements_at_most_rhs_max_at_initialise ... ok [INFO] [stdout] test propagators::arithmetic::maximum::tests::upper_bound_of_rhs_matches_maximum_upper_bound_of_array_at_initialise ... ok [INFO] [stdout] test propagators::arithmetic::linear_not_equal::tests::satisfied_constraint_does_not_trigger_conflict ... ok [INFO] [stdout] test propagators::cumulative::time_table::explanations::big_step::tests::test_big_step_explanation_upper_bound ... ok [INFO] [stdout] test propagators::arithmetic::absolute_value::tests::signed_bounds_are_propagated_at_initialise ... ok [INFO] [stdout] test propagators::arithmetic::linear_less_or_equal::tests::overflow_leads_to_conflict ... ok [INFO] [stdout] test propagators::cumulative::time_table::explanations::big_step::tests::test_conflict_big_step ... ok [INFO] [stdout] test propagators::cumulative::time_table::explanations::big_step::tests::test_big_step_explanation_upper_bound_sequence ... ok [INFO] [stdout] test propagators::cumulative::time_table::explanations::naive::tests::test_conflict_naive ... ok [INFO] [stdout] test propagators::cumulative::time_table::explanations::naive::tests::test_naive_explanation_lower_bound_sequence ... ok [INFO] [stdout] test propagators::cumulative::time_table::explanations::naive::tests::test_naive_explanation_upper_bound ... ok [INFO] [stdout] test propagators::cumulative::time_table::explanations::pointwise::tests::test_pointwise_explanation_lower_bound ... ok [INFO] [stdout] test propagators::cumulative::time_table::explanations::pointwise::tests::test_conflict_point_wise ... ok [INFO] [stdout] test propagators::cumulative::time_table::explanations::pointwise::tests::test_pointwise_explanation_lower_bound_sequence ... ok [INFO] [stdout] test propagators::cumulative::time_table::explanations::pointwise::tests::test_pointwise_explanation_upper_bound ... ok [INFO] [stdout] test propagators::cumulative::time_table::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_detects_conflict ... ok [INFO] [stdout] test propagators::cumulative::time_table::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_propagates_after_assignment ... ok [INFO] [stdout] test propagators::cumulative::time_table::explanations::naive::tests::test_naive_explanation_upper_bound_sequence ... ok [INFO] [stdout] test propagators::cumulative::time_table::explanations::naive::tests::test_naive_explanation_lower_bound ... ok [INFO] [stdout] test propagators::cumulative::time_table::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_propagates_example_4_3_schutt ... ok [INFO] [stdout] test propagators::cumulative::time_table::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_propagates_end_time ... ok [INFO] [stdout] test propagators::cumulative::time_table::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_propagates_from_profile ... ok [INFO] [stdout] test propagators::cumulative::time_table::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_propagates_from_profile_reason ... ok [INFO] [stdout] test propagators::cumulative::time_table::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_propagates_example_4_3_schutt_after_update ... ok [INFO] [stdout] test propagators::cumulative::time_table::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_propagates_nothing ... ok [INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::synchronisation::tests::test_correct_conflict_returned ... ok [INFO] [stdout] test propagators::cumulative::time_table::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_propagates_generic_bounds ... ok [INFO] [stdout] test propagators::cumulative::time_table::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_propagates_example_4_3_schutt_multiple_profiles ... ok [INFO] [stdout] test propagators::cumulative::time_table::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_propagates_with_holes ... ok [INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::no_synchronisation_leads_to_different_conflict ... ok [INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::no_synchronisation_leads_to_different_explanation ... ok [INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::no_synchronisation_leads_to_different_conflict_explanation ... ok [INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_after_assignment ... ok [INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_detects_conflict ... ok [INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_end_time ... ok [INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_example_4_3_schutt ... ok [INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_example_4_3_schutt_after_update ... ok [INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_example_4_3_schutt_multiple_profiles ... ok [INFO] [stdout] test propagators::cumulative::time_table::explanations::pointwise::tests::test_pointwise_explanation_upper_bound_sequence ... ok [INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_from_profile ... ok [INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_from_profile_reason ... ok [INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_generic_bounds ... ok [INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_nothing ... ok [INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_with_holes ... ok [INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::synchronisation_leads_to_same_conflict ... ok [INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::synchronisation_leads_to_same_conflict_after_propagating ... ok [INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::synchronisation_leads_to_same_conflict_explanation ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_propagates_after_assignment ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_propagates_end_time ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_propagates_example_4_3_schutt ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_propagates_example_4_3_schutt_after_update ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_propagates_from_profile ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_propagates_example_4_3_schutt_multiple_profiles ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_propagates_from_profile_reason ... ok [INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::synchronisation_leads_to_same_explanation ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_detects_conflict ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_propagates_generic_bounds ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_propagates_nothing ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_end_time ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_propagates_with_holes ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_detects_conflict ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_example_4_3_schutt ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_after_assignment ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_example_4_3_schutt_multiple_profiles ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_from_profile ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_example_4_3_schutt_after_update ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_from_profile_reason ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_generic_bounds ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_util::tests::test_finding_last_index_lower_bound ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_with_holes ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_util::tests::test_finding_last_index_upper_bound ... ok [INFO] [stdout] test propagators::element::tests::bounds_of_rhs_are_min_and_max_of_lower_and_upper_in_array ... ok [INFO] [stdout] test propagators::element::tests::index_hole_propagates_bounds_on_rhs ... ok [INFO] [stdout] test propagators::linear_inequality_literal_propagator::tests::propagate_bounds_on_fixed_false_literal ... ok [INFO] [stdout] test propagators::linear_inequality_literal_propagator::tests::propagate_literal_on_positive_inequality ... ok [INFO] [stdout] test propagators::linear_inequality_literal_propagator::tests::propagate_bounds_on_fixed_true_literal ... ok [INFO] [stdout] test propagators::nogoods::nogood_propagator::tests::unsat ... ok [INFO] [stdout] test propagators::linear_inequality_literal_propagator::tests::propagate_literal_on_negative_inequality ... ok [INFO] [stdout] test propagators::nogoods::nogood_propagator::tests::ternary_nogood_propagate ... ok [INFO] [stdout] test propagators::linear_inequality_literal_propagator::tests::dont_propagate_literal_on_uncertain_inequality ... ok [INFO] [stdout] test propagators::element::tests::elements_from_array_with_disjoint_domains_to_rhs_are_filtered_from_index ... ok [INFO] [stdout] test propagators::reified_propagator::tests::a_detected_inconsistency_is_given_as_reason_for_propagating_reification_literal_to_false ... ok [INFO] [stdout] test propagators::reified_propagator::tests::a_root_level_conflict_propagates_reification_literal ... ok [INFO] [stdout] test propagators::reified_propagator::tests::a_true_literal_is_added_to_a_conflict_conjunction ... ok [INFO] [stdout] test propagators::reified_propagator::tests::a_true_literal_is_added_to_reason_for_propagation ... ok [INFO] [stdout] test propagators::reified_propagator::tests::notify_propagator_is_enqueued_if_inconsistency_can_be_detected ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_nothing ... ok [INFO] [stdout] test propagators::element::tests::fixed_index_propagates_bounds_on_element ... ok [INFO] [stdout] test propagators::linear_inequality_literal_propagator::tests::dont_propagate_bounds_on_unfixed_literal ... ok [INFO] [stdout] test basic_types::sequence_generators::luby_sequence::tests::test_base_50_long ... ok [INFO] [stdout] test basic_types::sequence_generators::luby_sequence::tests::test_base_1_long ... ok [INFO] [stdout] test engine::variables::affine_view::tests::test_aux_positive ... FAILED [INFO] [stdout] test engine::variables::affine_view::tests::test_aux_negative ... FAILED [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- engine::variables::affine_view::tests::test_aux_positive stdout ---- [INFO] [stdout] [INFO] [stdout] thread 'engine::variables::affine_view::tests::test_aux_positive' (253) panicked at pumpkin-solver/src/engine/variables/affine_view.rs:506:9: [INFO] [stdout] assertion `left == right` failed [INFO] [stdout] left: LinearLessOrEqual { lhs: LinearLessOrEqualLhs([-3 * (x0)]), rhs: -5, explanation_id: None } [INFO] [stdout] right: LinearLessOrEqual { lhs: LinearLessOrEqualLhs([-(x0)]), rhs: -2, explanation_id: None } [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x58f8b6204202 - std::backtrace_rs::backtrace::libunwind::trace::hf3086ff3c8ddfec7 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x58f8b6204202 - std::backtrace_rs::backtrace::trace_unsynchronized::h6caf11542219ebc3 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x58f8b6204202 - std::sys::backtrace::_print_fmt::hfd9f352edf0ef63b [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x58f8b6204202 - ::fmt::h746cb25d4c2f20bf [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x58f8b6216b5f - core::fmt::rt::Argument::fmt::h7e560d1a4260d0bd [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/core/src/fmt/rt.rs:173:76 [INFO] [stdout] 5: 0x58f8b6216b5f - core::fmt::write::h51c104753c8435b2 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/core/src/fmt/mod.rs:1468:25 [INFO] [stdout] 6: 0x58f8b61d1833 - std::io::default_write_fmt::h7681766be9629d2f [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x58f8b61d1833 - std::io::Write::write_fmt::h41771a141bf0adb2 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/io/mod.rs:1954:13 [INFO] [stdout] 8: 0x58f8b61dd892 - std::sys::backtrace::BacktraceLock::print::heee726a1c5b4a2c3 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 9: 0x58f8b61e22cf - std::panicking::default_hook::{{closure}}::h938489fbb79d30ee [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/panicking.rs:301:27 [INFO] [stdout] 10: 0x58f8b61e2161 - std::panicking::default_hook::hf7e155db98319366 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/panicking.rs:325:9 [INFO] [stdout] 11: 0x58f8b617c26e - as core::ops::function::Fn>::call::h8041688d09537997 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/alloc/src/boxed.rs:1999:9 [INFO] [stdout] 12: 0x58f8b617c26e - test::test_main_with_exit_callback::{{closure}}::hc8a7ea1f38432726 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x58f8b61e296e - as core::ops::function::Fn>::call::h688488cd0fff9b17 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/alloc/src/boxed.rs:1999:9 [INFO] [stdout] 14: 0x58f8b61e296e - std::panicking::panic_with_hook::h78bb7329978b77c8 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/panicking.rs:842:13 [INFO] [stdout] 15: 0x58f8b61e273a - std::panicking::panic_handler::{{closure}}::h306ab6080b8e304c [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/panicking.rs:707:13 [INFO] [stdout] 16: 0x58f8b61dd9c9 - std::sys::backtrace::__rust_end_short_backtrace::hab10906eec9c5584 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/sys/backtrace.rs:174:18 [INFO] [stdout] 17: 0x58f8b61c5c9d - __rustc[31cdaa5515be9d95]::rust_begin_unwind [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/panicking.rs:698:5 [INFO] [stdout] 18: 0x58f8b621f4b0 - core::panicking::panic_fmt::h8cb2938d8e2b0e7b [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/core/src/panicking.rs:75:14 [INFO] [stdout] 19: 0x58f8b621f263 - core::panicking::assert_failed_inner::h2f80963f12b08acb [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/core/src/panicking.rs:439:17 [INFO] [stdout] 20: 0x58f8b60bd514 - core::panicking::assert_failed::h4d0bac62f273cacf [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/core/src/panicking.rs:394:5 [INFO] [stdout] 21: 0x58f8b601dfb5 - pumpkin_solver::engine::variables::affine_view::tests::test_aux_positive::hc4d294f850a7a943 [INFO] [stdout] at /opt/rustwide/workdir/pumpkin-solver/src/engine/variables/affine_view.rs:506:9 [INFO] [stdout] 22: 0x58f8b601e757 - pumpkin_solver::engine::variables::affine_view::tests::test_aux_positive::{{closure}}::h3786400e74b87d07 [INFO] [stdout] at /opt/rustwide/workdir/pumpkin-solver/src/engine/variables/affine_view.rs:490:27 [INFO] [stdout] 23: 0x58f8b608f216 - core::ops::function::FnOnce::call_once::h5e527d1aabda6367 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/core/src/ops/function.rs:253:5 [INFO] [stdout] 24: 0x58f8b617c02b - core::ops::function::FnOnce::call_once::ha1081c2f5558e6c0 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/core/src/ops/function.rs:253:5 [INFO] [stdout] 25: 0x58f8b617c02b - test::__rust_begin_short_backtrace::h42034e8abb013a4c [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/test/src/lib.rs:663:18 [INFO] [stdout] 26: 0x58f8b6191b35 - test::run_test_in_process::{{closure}}::hf6d2134f58bf7650 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/test/src/lib.rs:686:74 [INFO] [stdout] 27: 0x58f8b6191b35 - as core::ops::function::FnOnce<()>>::call_once::hecbf148a08d929b4 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 28: 0x58f8b6191b35 - std::panicking::catch_unwind::do_call::hdd8f84f296c52439 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/panicking.rs:590:40 [INFO] [stdout] 29: 0x58f8b6191b35 - std::panicking::catch_unwind::h3fd77bcad74bf69c [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/panicking.rs:553:19 [INFO] [stdout] 30: 0x58f8b6191b35 - std::panic::catch_unwind::h512ad17f65705767 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/panic.rs:359:14 [INFO] [stdout] 31: 0x58f8b6191b35 - test::run_test_in_process::h2b79c7cc828fafad [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/test/src/lib.rs:686:27 [INFO] [stdout] 32: 0x58f8b6191b35 - test::run_test::{{closure}}::hc287323e9e7aa380 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/test/src/lib.rs:607:43 [INFO] [stdout] 33: 0x58f8b6168504 - test::run_test::{{closure}}::h26852bc3095664f0 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/test/src/lib.rs:637:41 [INFO] [stdout] 34: 0x58f8b6168504 - std::sys::backtrace::__rust_begin_short_backtrace::he88c7ba58706034f [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/sys/backtrace.rs:158:18 [INFO] [stdout] 35: 0x58f8b616bd3a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hff63832735ca5300 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/thread/mod.rs:559:17 [INFO] [stdout] 36: 0x58f8b616bd3a - as core::ops::function::FnOnce<()>>::call_once::h5618784f23b8bacb [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 37: 0x58f8b616bd3a - std::panicking::catch_unwind::do_call::hd103d0697f7d2f72 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/panicking.rs:590:40 [INFO] [stdout] 38: 0x58f8b616bd3a - std::panicking::catch_unwind::h947b18413ee60fc2 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/panicking.rs:553:19 [INFO] [stdout] 39: 0x58f8b616bd3a - std::panic::catch_unwind::h51f47dbca8916fbf [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/panic.rs:359:14 [INFO] [stdout] 40: 0x58f8b616bd3a - std::thread::Builder::spawn_unchecked_::{{closure}}::h92bd4fc7ba1a8896 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/thread/mod.rs:557:30 [INFO] [stdout] 41: 0x58f8b616bd3a - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1edf6ba5edb7a202 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/core/src/ops/function.rs:253:5 [INFO] [stdout] 42: 0x58f8b61d7c4f - as core::ops::function::FnOnce>::call_once::h6765fcdde4c5daa4 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/alloc/src/boxed.rs:1985:9 [INFO] [stdout] 43: 0x58f8b61d7c4f - std::sys::pal::unix::thread::Thread::new::thread_start::h448c4dadc391362b [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/sys/pal/unix/thread.rs:118:17 [INFO] [stdout] 44: 0x7f3c8d1a0aa4 - [INFO] [stdout] 45: 0x7f3c8d22da34 - clone [INFO] [stdout] 46: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- engine::variables::affine_view::tests::test_aux_negative stdout ---- [INFO] [stdout] [INFO] [stdout] thread 'engine::variables::affine_view::tests::test_aux_negative' (252) panicked at pumpkin-solver/src/engine/variables/affine_view.rs:547:9: [INFO] [stdout] assertion `left == right` failed [INFO] [stdout] left: LinearLessOrEqual { lhs: LinearLessOrEqualLhs([3 * (x0)]), rhs: -5, explanation_id: None } [INFO] [stdout] right: LinearLessOrEqual { lhs: LinearLessOrEqualLhs([-(x0)]), rhs: 1, explanation_id: None } [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x58f8b6204202 - std::backtrace_rs::backtrace::libunwind::trace::hf3086ff3c8ddfec7 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x58f8b6204202 - std::backtrace_rs::backtrace::trace_unsynchronized::h6caf11542219ebc3 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x58f8b6204202 - std::sys::backtrace::_print_fmt::hfd9f352edf0ef63b [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x58f8b6204202 - ::fmt::h746cb25d4c2f20bf [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x58f8b6216b5f - core::fmt::rt::Argument::fmt::h7e560d1a4260d0bd [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/core/src/fmt/rt.rs:173:76 [INFO] [stdout] 5: 0x58f8b6216b5f - core::fmt::write::h51c104753c8435b2 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/core/src/fmt/mod.rs:1468:25 [INFO] [stdout] 6: 0x58f8b61d1833 - std::io::default_write_fmt::h7681766be9629d2f [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x58f8b61d1833 - std::io::Write::write_fmt::h41771a141bf0adb2 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/io/mod.rs:1954:13 [INFO] [stdout] 8: 0x58f8b61dd892 - std::sys::backtrace::BacktraceLock::print::heee726a1c5b4a2c3 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 9: 0x58f8b61e22cf - std::panicking::default_hook::{{closure}}::h938489fbb79d30ee [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/panicking.rs:301:27 [INFO] [stdout] 10: 0x58f8b61e2161 - std::panicking::default_hook::hf7e155db98319366 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/panicking.rs:325:9 [INFO] [stdout] 11: 0x58f8b617c26e - as core::ops::function::Fn>::call::h8041688d09537997 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/alloc/src/boxed.rs:1999:9 [INFO] [stdout] 12: 0x58f8b617c26e - test::test_main_with_exit_callback::{{closure}}::hc8a7ea1f38432726 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x58f8b61e296e - as core::ops::function::Fn>::call::h688488cd0fff9b17 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/alloc/src/boxed.rs:1999:9 [INFO] [stdout] 14: 0x58f8b61e296e - std::panicking::panic_with_hook::h78bb7329978b77c8 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/panicking.rs:842:13 [INFO] [stdout] 15: 0x58f8b61e273a - std::panicking::panic_handler::{{closure}}::h306ab6080b8e304c [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/panicking.rs:707:13 [INFO] [stdout] 16: 0x58f8b61dd9c9 - std::sys::backtrace::__rust_end_short_backtrace::hab10906eec9c5584 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/sys/backtrace.rs:174:18 [INFO] [stdout] 17: 0x58f8b61c5c9d - __rustc[31cdaa5515be9d95]::rust_begin_unwind [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/panicking.rs:698:5 [INFO] [stdout] 18: 0x58f8b621f4b0 - core::panicking::panic_fmt::h8cb2938d8e2b0e7b [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/core/src/panicking.rs:75:14 [INFO] [stdout] 19: 0x58f8b621f263 - core::panicking::assert_failed_inner::h2f80963f12b08acb [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/core/src/panicking.rs:439:17 [INFO] [stdout] 20: 0x58f8b60bd514 - core::panicking::assert_failed::h4d0bac62f273cacf [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/core/src/panicking.rs:394:5 [INFO] [stdout] 21: 0x58f8b601d555 - pumpkin_solver::engine::variables::affine_view::tests::test_aux_negative::h9436e36ee990ae4b [INFO] [stdout] at /opt/rustwide/workdir/pumpkin-solver/src/engine/variables/affine_view.rs:547:9 [INFO] [stdout] 22: 0x58f8b601dc47 - pumpkin_solver::engine::variables::affine_view::tests::test_aux_negative::{{closure}}::h8dd4f612801a5e1a [INFO] [stdout] at /opt/rustwide/workdir/pumpkin-solver/src/engine/variables/affine_view.rs:531:27 [INFO] [stdout] 23: 0x58f8b6091a26 - core::ops::function::FnOnce::call_once::hc8c63a67c5aa1fae [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/core/src/ops/function.rs:253:5 [INFO] [stdout] 24: 0x58f8b617c02b - core::ops::function::FnOnce::call_once::ha1081c2f5558e6c0 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/core/src/ops/function.rs:253:5 [INFO] [stdout] 25: 0x58f8b617c02b - test::__rust_begin_short_backtrace::h42034e8abb013a4c [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/test/src/lib.rs:663:18 [INFO] [stdout] 26: 0x58f8b6191b35 - test::run_test_in_process::{{closure}}::hf6d2134f58bf7650 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/test/src/lib.rs:686:74 [INFO] [stdout] 27: 0x58f8b6191b35 - as core::ops::function::FnOnce<()>>::call_once::hecbf148a08d929b4 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 28: 0x58f8b6191b35 - std::panicking::catch_unwind::do_call::hdd8f84f296c52439 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/panicking.rs:590:40 [INFO] [stdout] 29: 0x58f8b6191b35 - std::panicking::catch_unwind::h3fd77bcad74bf69c [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/panicking.rs:553:19 [INFO] [stdout] 30: 0x58f8b6191b35 - std::panic::catch_unwind::h512ad17f65705767 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/panic.rs:359:14 [INFO] [stdout] 31: 0x58f8b6191b35 - test::run_test_in_process::h2b79c7cc828fafad [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/test/src/lib.rs:686:27 [INFO] [stdout] 32: 0x58f8b6191b35 - test::run_test::{{closure}}::hc287323e9e7aa380 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/test/src/lib.rs:607:43 [INFO] [stdout] 33: 0x58f8b6168504 - test::run_test::{{closure}}::h26852bc3095664f0 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/test/src/lib.rs:637:41 [INFO] [stdout] 34: 0x58f8b6168504 - std::sys::backtrace::__rust_begin_short_backtrace::he88c7ba58706034f [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/sys/backtrace.rs:158:18 [INFO] [stdout] 35: 0x58f8b616bd3a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hff63832735ca5300 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/thread/mod.rs:559:17 [INFO] [stdout] 36: 0x58f8b616bd3a - as core::ops::function::FnOnce<()>>::call_once::h5618784f23b8bacb [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 37: 0x58f8b616bd3a - std::panicking::catch_unwind::do_call::hd103d0697f7d2f72 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/panicking.rs:590:40 [INFO] [stdout] 38: 0x58f8b616bd3a - std::panicking::catch_unwind::h947b18413ee60fc2 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/panicking.rs:553:19 [INFO] [stdout] 39: 0x58f8b616bd3a - std::panic::catch_unwind::h51f47dbca8916fbf [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/panic.rs:359:14 [INFO] [stdout] 40: 0x58f8b616bd3a - std::thread::Builder::spawn_unchecked_::{{closure}}::h92bd4fc7ba1a8896 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/thread/mod.rs:557:30 [INFO] [stdout] 41: 0x58f8b616bd3a - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1edf6ba5edb7a202 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/core/src/ops/function.rs:253:5 [INFO] [stdout] 42: 0x58f8b61d7c4f - as core::ops::function::FnOnce>::call_once::h6765fcdde4c5daa4 [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/alloc/src/boxed.rs:1985:9 [INFO] [stdout] 43: 0x58f8b61d7c4f - std::sys::pal::unix::thread::Thread::new::thread_start::h448c4dadc391362b [INFO] [stdout] at /rustc/160e7623e8cbbf1feab2b6e2a24733a98c7bde9c/library/std/src/sys/pal/unix/thread.rs:118:17 [INFO] [stdout] 44: 0x7f3c8d1a0aa4 - [INFO] [stdout] 45: 0x7f3c8d22da34 - clone [INFO] [stdout] 46: 0x0 - [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] engine::variables::affine_view::tests::test_aux_negative [INFO] [stdout] engine::variables::affine_view::tests::test_aux_positive [INFO] [stdout] [INFO] [stdout] test result: FAILED. 324 passed; 2 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.15s [INFO] [stdout] [INFO] [stderr] error: test failed, to rerun pass `-p pumpkin-solver --lib` [INFO] running `Command { std: "docker" "inspect" "238e43cf36e423a279ded8f776141ac797aa5075f27d5a3122fdd8d48f04cc18", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "238e43cf36e423a279ded8f776141ac797aa5075f27d5a3122fdd8d48f04cc18", kill_on_drop: false }` [INFO] [stdout] 238e43cf36e423a279ded8f776141ac797aa5075f27d5a3122fdd8d48f04cc18