[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 1.90.0 for beta-1.91-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FRobbinBaauw%2FLazy-Linear-Generation" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-3-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-3-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/RobbinBaauw/Lazy-Linear-Generation on toolchain 1.90.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.90.0" "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" "+1.90.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded pyo3-macros v0.23.3
[INFO] [stderr]   Downloaded stringcase v0.3.0
[INFO] [stderr]   Downloaded bitfield-struct v0.9.2
[INFO] [stderr]   Downloaded drcp-format v0.2.0
[INFO] [stderr]   Downloaded serde_json v1.0.137
[INFO] [stderr]   Downloaded pyo3-ffi v0.23.3
[INFO] [stderr]   Downloaded pyo3-macros-backend v0.23.3
[INFO] [stderr]   Downloaded pyo3-build-config v0.23.3
[INFO] [stderr]   Downloaded flatzinc v0.3.21
[INFO] [stderr]   Downloaded pyo3 v0.23.3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+1.90.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 3fa0cd431b30d31180f25a2b416c31dcd0e09ce2524ca92f240c1c7ab8c1049a
[INFO] running `Command { std: "docker" "start" "-a" "3fa0cd431b30d31180f25a2b416c31dcd0e09ce2524ca92f240c1c7ab8c1049a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "3fa0cd431b30d31180f25a2b416c31dcd0e09ce2524ca92f240c1c7ab8c1049a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3fa0cd431b30d31180f25a2b416c31dcd0e09ce2524ca92f240c1c7ab8c1049a", kill_on_drop: false }`
[INFO] [stdout] 3fa0cd431b30d31180f25a2b416c31dcd0e09ce2524ca92f240c1c7ab8c1049a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+1.90.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 44d0d118717e437f6bfd9adf34ad588fe2877e0f808c2611d29087e0abccc690
[INFO] running `Command { std: "docker" "start" "-a" "44d0d118717e437f6bfd9adf34ad588fe2877e0f808c2611d29087e0abccc690", kill_on_drop: false }`
[INFO] [stderr]    Compiling target-lexicon v0.12.16
[INFO] [stderr]    Compiling libc v0.2.161
[INFO] [stderr]    Compiling thiserror v1.0.65
[INFO] [stderr]    Compiling anstyle-query v1.1.2
[INFO] [stderr]    Compiling anstyle v1.0.9
[INFO] [stderr]    Compiling anstyle-parse v0.2.6
[INFO] [stderr]    Compiling is_terminal_polyfill v1.70.1
[INFO] [stderr]    Compiling regex-syntax v0.8.5
[INFO] [stderr]    Compiling colorchoice v1.0.3
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling syn v2.0.85
[INFO] [stderr]    Compiling cc v1.1.31
[INFO] [stderr]    Compiling clap_lex v0.7.2
[INFO] [stderr]    Compiling serde_json v1.0.137
[INFO] [stderr]    Compiling signal-hook v0.3.17
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling num-iter v0.1.45
[INFO] [stderr]    Compiling ryu v1.0.19
[INFO] [stderr]    Compiling winnow v0.6.20
[INFO] [stderr]    Compiling anstream v0.6.17
[INFO] [stderr]    Compiling convert_case v0.6.0
[INFO] [stderr]    Compiling bitfield v0.14.0
[INFO] [stderr]    Compiling indoc v2.0.5
[INFO] [stderr]    Compiling unindent v0.2.3
[INFO] [stderr]    Compiling stringcase v0.3.0
[INFO] [stderr]    Compiling clap_builder v4.5.20
[INFO] [stderr]    Compiling pyo3-build-config v0.23.3
[INFO] [stderr]    Compiling pumpkin-solver v0.1.4 (/opt/rustwide/workdir/pumpkin-solver)
[INFO] [stderr]    Compiling getrandom v0.2.15
[INFO] [stderr]    Compiling regex-automata v0.4.8
[INFO] [stderr]    Compiling signal-hook-registry v1.4.2
[INFO] [stderr]    Compiling is-terminal v0.4.13
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling num v0.4.3
[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 flatzinc v0.3.21
[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 clap v4.5.20
[INFO] [stderr]    Compiling darling v0.20.10
[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 serde v1.0.217
[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<Drain<T>> {
[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<Drain<'_, T>> {
[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 34.77s
[INFO] running `Command { std: "docker" "inspect" "44d0d118717e437f6bfd9adf34ad588fe2877e0f808c2611d29087e0abccc690", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "44d0d118717e437f6bfd9adf34ad588fe2877e0f808c2611d29087e0abccc690", kill_on_drop: false }`
[INFO] [stdout] 44d0d118717e437f6bfd9adf34ad588fe2877e0f808c2611d29087e0abccc690
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+1.90.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a6e23f389666f24c671f3e699ce6baa39db0e2f824052b792af63a7cc234f152
[INFO] running `Command { std: "docker" "start" "-a" "a6e23f389666f24c671f3e699ce6baa39db0e2f824052b792af63a7cc234f152", kill_on_drop: false }`
[INFO] [stderr]    Compiling regex-automata v0.4.8
[INFO] [stderr]    Compiling portable-atomic v1.9.0
[INFO] [stderr]    Compiling stringcase v0.3.0
[INFO] [stderr]    Compiling wait-timeout v0.2.0
[INFO] [stderr]    Compiling console v0.15.10
[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 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<Drain<T>> {
[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<Drain<'_, T>> {
[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<Drain<T>> {
[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<Drain<'_, T>> {
[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 40.05s
[INFO] running `Command { std: "docker" "inspect" "a6e23f389666f24c671f3e699ce6baa39db0e2f824052b792af63a7cc234f152", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a6e23f389666f24c671f3e699ce6baa39db0e2f824052b792af63a7cc234f152", kill_on_drop: false }`
[INFO] [stdout] a6e23f389666f24c671f3e699ce6baa39db0e2f824052b792af63a7cc234f152
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+1.90.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 26e854f87ca3945f21a5f4e1ca5f1ad5071c12a4a7475d301ea23d013653bff5
[INFO] running `Command { std: "docker" "start" "-a" "26e854f87ca3945f21a5f4e1ca5f1ad5071c12a4a7475d301ea23d013653bff5", 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<Drain<T>> {
[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<Drain<'_, T>> {
[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
[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-cfa331bb7f63c905)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test reader::tests::inference_nogood_with_constraint_tag_and_label ... 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 ... ok
[INFO] [stdout] test writer::tests::write_basic_inference ... 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 writer::tests::write_inference_with_constraint_id_and_label ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/pumpkin_macros-b3f985af4bc753f3)
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/pumpkin_py-4ce3b8e51e7b93b4)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 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-02b3c2b3b66d0b04)
[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_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_evaluate_at_trail ... 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_iter ... 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_from_domain_scale ... 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_lb_overflows_any_element_high ... 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_lhs_from_vars_box ... 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_slack ... ok
[INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_lb_eval_linleq ... ok
[INFO] [stdout] test basic_types::moving_averages::windowed_moving_average::tests::test_simple1 ... ok
[INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_ub ... ok
[INFO] [stdout] test basic_types::predicate_id_generator::tests::all_values_removed ... 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_constant_value ... ok
[INFO] [stdout] test basic_types::moving_averages::cumulative_moving_average::tests::test_empty ... 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::initial_values_removed1 ... ok
[INFO] [stdout] test basic_types::predicate_id_generator::tests::holes_in_removed_values ... ok
[INFO] [stdout] test basic_types::moving_averages::windowed_moving_average::tests::test_constant_value ... ok
[INFO] [stdout] test basic_types::moving_averages::cumulative_moving_average::tests::test_simple1 ... ok
[INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_is_conflicting ... ok
[INFO] [stdout] test basic_types::predicate_id_generator::tests::initial_values_removed2 ... ok
[INFO] [stdout] test basic_types::moving_averages::windowed_moving_average::tests::test_empty ... ok
[INFO] [stdout] test basic_types::predicate_id_generator::tests::last_values_removed ... ok
[INFO] [stdout] test basic_types::predicate_id_generator::tests::no_removed_values ... ok
[INFO] [stdout] test basic_types::propositional_conjunction::tests::conjunction_macro_test ... ok
[INFO] [stdout] test basic_types::propositional_conjunction::tests::nested_path_is_forwarded_to_predicate ... ok
[INFO] [stdout] test basic_types::propositional_conjunction::tests::order_is_ignored_for_equality ... ok
[INFO] [stdout] test basic_types::sequence_generators::constant_sequence::tests::test_basic ... ok
[INFO] [stdout] test basic_types::sequence_generators::geometric_sequence::tests::test_2_pow_n ... ok
[INFO] [stdout] test basic_types::sequence_generators::geometric_sequence::tests::test_multiply_50_procent ... ok
[INFO] [stdout] test basic_types::sequence_generators::luby_sequence::tests::test_base_1 ... ok
[INFO] [stdout] test basic_types::sequence_generators::luby_sequence::tests::test_base_100 ... ok
[INFO] [stdout] test basic_types::trail::tests::backtracking_is_nonchronological ... ok
[INFO] [stdout] test basic_types::trail::tests::backtracking_removes_elements_beyond_decision_level ... ok
[INFO] [stdout] test basic_types::trail::tests::elements_at_current_decision_level ... ok
[INFO] [stdout] test branching::branchers::alternating_brancher::tests::test_every_other_solution ... ok
[INFO] [stdout] test branching::branchers::autonomous_search::tests::brancher_picks_bumped_values ... ok
[INFO] [stdout] test branching::branchers::autonomous_search::tests::dormant_values ... ok
[INFO] [stdout] test branching::branchers::alternating_brancher::tests::test_every_solution ... 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::branchers::autonomous_search::tests::uses_fallback ... ok
[INFO] [stdout] test branching::branchers::alternating_brancher::tests::test_switch_to_default_after_first_solution ... ok
[INFO] [stdout] test basic_types::trail::tests::popped_elements_are_given_in_reverse_order_when_backtracking ... ok
[INFO] [stdout] test branching::branchers::autonomous_search::tests::uses_stored_solution ... ok
[INFO] [stdout] test branching::branchers::autonomous_search::tests::value_removed_if_threshold_too_small ... ok
[INFO] [stdout] test branching::branchers::alternating_brancher::tests::test_every_other_restart ... ok
[INFO] [stdout] test basic_types::trail::tests::pushed_values_are_observed_through_indexing ... 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_random_with_seed_first ... 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_interval::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::value_selection::in_domain_max::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::value_selection::in_domain_median::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::value_selection::in_domain_median::tests::test_returns_correct_literal_no_median ... 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_negative_lower_bound ... 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_middle::tests::test_returns_correct_literal_negative_upper_bound ... 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_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::sequence_generators::luby_sequence::tests::test_base_1_long ... 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_max::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::value_selection::in_domain_middle::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::value_selection::in_domain_middle::tests::test_returns_correct_literal_no_middle ... ok
[INFO] [stdout] test branching::value_selection::out_domain_median::tests::test_returns_correct_literal_no_median ... ok
[INFO] [stdout] test branching::value_selection::out_domain_random::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::value_selection::reverse_in_domain_split::tests::test_domain_of_size_two ... ok
[INFO] [stdout] test branching::value_selection::reverse_in_domain_split::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::variable_selection::anti_first_fail::tests::fixed_variables_are_not_selected ... ok
[INFO] [stdout] test branching::variable_selection::anti_first_fail::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::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::input_order::tests::test_correctly_selected ... ok
[INFO] [stdout] test branching::variable_selection::largest::tests::fixed_variables_are_not_selected ... ok
[INFO] [stdout] test branching::variable_selection::largest::tests::test_correctly_selected ... ok
[INFO] [stdout] test branching::value_selection::out_domain_min::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::variable_selection::max_regret::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::most_constrained::tests::fixed_variables_are_not_selected ... ok
[INFO] [stdout] test branching::variable_selection::most_constrained::tests::test_correctly_selected_tie ... ok
[INFO] [stdout] test branching::variable_selection::occurrence::tests::fixed_variables_are_not_selected ... 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::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::failing_test_case ... ok
[INFO] [stdout] test branching::variable_selection::most_constrained::tests::test_correctly_selected ... ok
[INFO] [stdout] test containers::key_value_heap::test::failing_test_case2 ... ok
[INFO] [stdout] test containers::key_value_heap::test::random1 ... ok
[INFO] [stdout] test containers::key_value_heap::test::random2 ... ok
[INFO] [stdout] test containers::key_value_heap::test::random3 ... 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::key_value_heap::test::trivial_sort ... 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::sparse_set::tests::remove_all_elements_leads_to_empty_set ... ok
[INFO] [stdout] test containers::sparse_set::tests::iter2 ... 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_bound2 ... ok
[INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::simple_bound3 ... 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::trivial_conflict_assignment ... 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_holes ... ok
[INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::trivial_nogood ... ok
[INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::trivial_conflict_bounds ... 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::resolvers::llg_conflict_resolver::tests::test_cut_fully_clash ... ok
[INFO] [stdout] test engine::conflict_analysis::resolvers::llg_conflict_resolver::tests::test_cut_simple ... 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_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_contradiction ... ok
[INFO] [stdout] test engine::conflict_analysis::resolvers::llg_conflict_resolver::tests::test_cut_same_coeff ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_2_long_assumptions_with_inconsistency_at_the_end ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_1_core_conflicting ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_2_inconsistent_long_assumptions ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_3_1 ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_3_2 ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_1_infeasible ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::new_domain_with_negative_lower_bound ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::core_extraction_unit_core ... ok
[INFO] [stdout] test engine::conflict_analysis::resolvers::llg_conflict_resolver::tests::test_transform_upper_bound_clause ... 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::constraint_satisfaction_solver::tests::simple_core_extraction_2_1 ... ok
[INFO] [stdout] test engine::cp::assignments::tests::domain_iterator_removed_values_present_beyond_bounds ... ok
[INFO] [stdout] test engine::cp::assignments::tests::domain_iterator_simple ... ok
[INFO] [stdout] test engine::cp::assignments::tests::domain_iterator_skip_holes ... ok
[INFO] [stdout] test engine::cp::assignments::tests::inconsistent_bound_updates ... ok
[INFO] [stdout] test engine::cp::assignments::tests::inconsistent_domain_removals ... ok
[INFO] [stdout] test engine::cp::assignments::tests::jump_in_bound_change_assign_event_backtrack ... 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_lower_bound_event_backtrack ... 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_inbetween_updates ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_change_backtrack ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_beyond_trail_position ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_trail_position_inbetween_value ... 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_trivial ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_at_update ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_change_lower_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::lower_bound_trail_position_beyond_value ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_1_2 ... 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::simple_core_extraction_1_1 ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::core_extraction_equality_assumption ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_trail_position_with_removals ... ok
[INFO] [stdout] test engine::cp::assignments::tests::removal_trail_position_after_lower_bound ... ok
[INFO] [stdout] test engine::cp::assignments::tests::making_assignment_triggers_appropriate_events ... ok
[INFO] [stdout] test engine::cp::assignments::tests::setting_lower_bound_rounds_up_to_nearest_value_in_domain ... 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::setting_upper_bound_rounds_down_to_nearest_value_in_domain ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_at_trail_position_after_removals ... ok
[INFO] [stdout] test engine::cp::assignments::tests::various_tests_evaluate_predicate ... ok
[INFO] [stdout] test engine::cp::assignments::tests::removing_the_lower_bound_updates_that_lower_bound ... ok
[INFO] [stdout] test engine::cp::event_sink::tests::a_captured_event_is_observed_in_the_drain ... ok
[INFO] [stdout] test engine::cp::assignments::tests::removal_trail_position ... ok
[INFO] [stdout] test engine::cp::event_sink::tests::duplicate_events_are_ignored ... ok
[INFO] [stdout] test engine::cp::assignments::tests::removal_triggers_removal_event ... 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::event_sink::tests::after_draining_the_event_sink_is_empty ... ok
[INFO] [stdout] test engine::cp::assignments::tests::upper_bound_change_triggers_upper_bound_event ... ok
[INFO] [stdout] test engine::cp::reason::tests::computing_an_eager_reason_returns_a_reference_to_the_conjunction ... ok
[INFO] [stdout] test engine::cp::assignments::tests::removing_the_upper_bound_updates_the_upper_bound ... ok
[INFO] [stdout] test engine::cp::event_sink::tests::the_default_sink_is_empty ... ok
[INFO] [stdout] test engine::cp::tests::test_no_update_reason_store_if_no_update_remove ... 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::variables::affine_view::tests::scaling_an_affine_view ... 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::predicates::predicate_constructor::tests::macro_local_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 basic_types::sequence_generators::luby_sequence::tests::test_base_50_long ... ok
[INFO] [stdout] test engine::cp::tests::test_no_update_reason_store_if_no_update_upper_bound ... 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::absolute_value::tests::strictly_negative_signed_value_can_propagate_lower_bound_on_absolute ... 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 engine::variables::affine_view::tests::test_negated_variable_has_bounds_rounded_correctly ... 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::integer_multiplication::tests::bounds_of_b_and_c_propagate_bounds_a ... ok
[INFO] [stdout] test engine::variables::affine_view::tests::offsetting_an_affine_view ... ok
[INFO] [stdout] test propagators::arithmetic::absolute_value::tests::absolute_bounds_are_propagated_at_initialise ... ok
[INFO] [stdout] test propagators::arithmetic::linear_not_equal::tests::test_empty_domain_is_detected ... ok
[INFO] [stdout] test propagators::arithmetic::linear_not_equal::tests::test_value_is_removed ... 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::maximum::tests::single_variable_propagate ... ok
[INFO] [stdout] test propagators::arithmetic::absolute_value::tests::absolute_lower_bound_can_be_strictly_positive ... 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::linear_not_equal::tests::explanation_for_propagation ... 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::cumulative::time_table::explanations::big_step::tests::test_big_step_explanation_lower_bound ... 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_lower_bound_sequence ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::big_step::tests::test_big_step_explanation_upper_bound ... 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::big_step::tests::test_conflict_big_step ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::naive::tests::test_naive_explanation_lower_bound ... 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::arithmetic::linear_less_or_equal::tests::test_bounds_are_propagated ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::pointwise::tests::test_conflict_point_wise ... 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::pointwise::tests::test_pointwise_explanation_lower_bound ... 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_sequence ... 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::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_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_example_4_3_schutt ... 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_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_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::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::no_synchronisation_leads_to_different_conflict ... 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::propagator_propagates_after_assignment ... 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::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_from_profile ... 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_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 ... 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_from_profile_reason ... 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_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::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::time_table_over_interval::tests::propagator_detects_conflict ... 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_after_assignment ... 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::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_multiple_profiles ... 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::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_propagates_from_profile ... 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::time_table_over_interval::tests::propagator_propagates_with_holes ... 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_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_after_update ... 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_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_generic_bounds ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_nothing ... 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_from_profile_reason ... 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_util::tests::test_finding_last_index_lower_bound ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_util::tests::test_finding_last_index_upper_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_per_point::tests::propagator_propagates_from_profile ... 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::element::tests::elements_from_array_with_disjoint_domains_to_rhs_are_filtered_from_index ... ok
[INFO] [stdout] test propagators::linear_inequality_literal_propagator::tests::dont_propagate_literal_on_uncertain_inequality ... ok
[INFO] [stdout] test propagators::linear_inequality_literal_propagator::tests::dont_propagate_bounds_on_unfixed_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_false_literal ... ok
[INFO] [stdout] test propagators::nogoods::nogood_propagator::tests::ternary_nogood_propagate ... 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::reified_propagator::tests::a_root_level_conflict_propagates_reification_literal ... ok
[INFO] [stdout] test propagators::reified_propagator::tests::notify_propagator_is_enqueued_if_inconsistency_can_be_detected ... 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::linear_inequality_literal_propagator::tests::propagate_literal_on_negative_inequality ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_after_assignment ... ok
[INFO] [stdout] test propagators::element::tests::fixed_index_propagates_bounds_on_element ... 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 engine::cp::assignments::tests::value_can_be_removed_from_domains ... ok
[INFO] [stdout] test engine::predicates::predicate_constructor::tests::macro_nested_identifiers_are_matched ... ok
[INFO] [stdout] test propagators::arithmetic::division::tests::detects_conflicts ... ok
[INFO] [stdout] test propagators::arithmetic::integer_multiplication::tests::bounds_of_a_and_b_propagate_bounds_c ... ok
[INFO] [stdout] test propagators::arithmetic::integer_multiplication::tests::bounds_of_a_and_c_propagate_bounds_b ... ok
[INFO] [stdout] test engine::variables::affine_view::tests::test_aux_negative ... FAILED
[INFO] [stdout] test engine::variables::affine_view::tests::test_aux_positive ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[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' 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:     0x5f9b55bb11c2 - std::backtrace_rs::backtrace::libunwind::trace::h2d45396358f41939
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5f9b55bb11c2 - std::backtrace_rs::backtrace::trace_unsynchronized::hffcefc0b67f1d6e2
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5f9b55bb11c2 - std::sys::backtrace::_print_fmt::hd72f71d23b436b92
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x5f9b55bb11c2 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hdcfcb6d4c8489523
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x5f9b55bd8e13 - core::fmt::rt::Argument::fmt::h2c56b3114963061a
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x5f9b55bd8e13 - core::fmt::write::h8a494366950f23bb
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/fmt/mod.rs:1468:25
[INFO] [stdout]    6:     0x5f9b55bae0c3 - std::io::default_write_fmt::h7b8824096454f323
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x5f9b55bae0c3 - std::io::Write::write_fmt::h4e71294925c334d0
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x5f9b55bb1012 - std::sys::backtrace::BacktraceLock::print::hb2a626a81e06b2dc
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x5f9b55bb2739 - std::panicking::default_hook::{{closure}}::h4f78485264f12d10
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:300:27
[INFO] [stdout]   10:     0x5f9b55bb256e - std::panicking::default_hook::h2c66fc99e962531d
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:324:9
[INFO] [stdout]   11:     0x5f9b55b570b4 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hb6bd65493727d71a
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/alloc/src/boxed.rs:1985:9
[INFO] [stdout]   12:     0x5f9b55b570b4 - test::test_main_with_exit_callback::{{closure}}::h60217ec76a0ece4a
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x5f9b55bb310e - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h318e4efb8c1a5689
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/alloc/src/boxed.rs:1985:9
[INFO] [stdout]   14:     0x5f9b55bb310e - std::panicking::rust_panic_with_hook::h33ac55f64bbd807d
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:841:13
[INFO] [stdout]   15:     0x5f9b55bb2eda - std::panicking::begin_panic_handler::{{closure}}::h30e7cb89678a57fe
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:706:13
[INFO] [stdout]   16:     0x5f9b55bb16b9 - std::sys::backtrace::__rust_end_short_backtrace::hed60f27456c16ced
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/sys/backtrace.rs:174:18
[INFO] [stdout]   17:     0x5f9b55bb2b6d - __rustc[de2ca18b4c54d5b8]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:697:5
[INFO] [stdout]   18:     0x5f9b55bd6680 - core::panicking::panic_fmt::h62f63d096dd276af
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/panicking.rs:75:14
[INFO] [stdout]   19:     0x5f9b55bd6a8d - core::panicking::assert_failed_inner::h102b4539a88470c2
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/panicking.rs:448:17
[INFO] [stdout]   20:     0x5f9b559971d2 - core::panicking::assert_failed::h3d986a442048d530
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/panicking.rs:403:5
[INFO] [stdout]   21:     0x5f9b55a0f535 - pumpkin_solver::engine::variables::affine_view::tests::test_aux_negative::hed61fff9f92cddad
[INFO] [stdout]                                at /opt/rustwide/workdir/pumpkin-solver/src/engine/variables/affine_view.rs:547:9
[INFO] [stdout]   22:     0x5f9b55a0f2a7 - pumpkin_solver::engine::variables::affine_view::tests::test_aux_negative::{{closure}}::h042eefa08cdbf90a
[INFO] [stdout]                                at /opt/rustwide/workdir/pumpkin-solver/src/engine/variables/affine_view.rs:531:27
[INFO] [stdout]   23:     0x5f9b55a60126 - core::ops::function::FnOnce::call_once::h65fb13daec688494
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/ops/function.rs:253:5
[INFO] [stdout]   24:     0x5f9b55b5c91b - core::ops::function::FnOnce::call_once::h1f9474f1347fff52
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/ops/function.rs:253:5
[INFO] [stdout]   25:     0x5f9b55b5c91b - test::__rust_begin_short_backtrace::ha52ab26e77157f03
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/test/src/lib.rs:648:18
[INFO] [stdout]   26:     0x5f9b55b5ba55 - test::run_test_in_process::{{closure}}::h229c1a11a50b261f
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/test/src/lib.rs:671:74
[INFO] [stdout]   27:     0x5f9b55b5ba55 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h78821afbf97b39a9
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   28:     0x5f9b55b5ba55 - std::panicking::catch_unwind::do_call::h53abf3ed5bd32ba3
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:589:40
[INFO] [stdout]   29:     0x5f9b55b5ba55 - std::panicking::catch_unwind::h6deb5fe1e91873c9
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:552:19
[INFO] [stdout]   30:     0x5f9b55b5ba55 - std::panic::catch_unwind::hea0829b6b565654b
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x5f9b55b5ba55 - test::run_test_in_process::hdc44dfecea3db21b
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/test/src/lib.rs:671:27
[INFO] [stdout]   32:     0x5f9b55b5ba55 - test::run_test::{{closure}}::h0364ba59bf23f652
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/test/src/lib.rs:592:43
[INFO] [stdout]   33:     0x5f9b55b1f654 - test::run_test::{{closure}}::h32730b304eec05da
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/test/src/lib.rs:622:41
[INFO] [stdout]   34:     0x5f9b55b1f654 - std::sys::backtrace::__rust_begin_short_backtrace::h177cb952fc54ad2c
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/sys/backtrace.rs:158:18
[INFO] [stdout]   35:     0x5f9b55b2302a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h119d903520007597
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/thread/mod.rs:559:17
[INFO] [stdout]   36:     0x5f9b55b2302a - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hab88401d606702a6
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   37:     0x5f9b55b2302a - std::panicking::catch_unwind::do_call::h163fe12cca9901c2
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:589:40
[INFO] [stdout]   38:     0x5f9b55b2302a - std::panicking::catch_unwind::he81557d0e17cc1bc
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:552:19
[INFO] [stdout]   39:     0x5f9b55b2302a - std::panic::catch_unwind::hc2b8e79c20593955
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x5f9b55b2302a - std::thread::Builder::spawn_unchecked_::{{closure}}::hfa6b4978e07815cc
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/thread/mod.rs:557:30
[INFO] [stdout]   41:     0x5f9b55b2302a - core::ops::function::FnOnce::call_once{{vtable.shim}}::hddcd7484a13fd793
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/ops/function.rs:253:5
[INFO] [stdout]   42:     0x5f9b55bb608f - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h5924238c754de3b8
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/alloc/src/boxed.rs:1971:9
[INFO] [stdout]   43:     0x5f9b55bb608f - std::sys::pal::unix::thread::Thread::new::thread_start::hb6e99e73da4d28f8
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/sys/pal/unix/thread.rs:107:17
[INFO] [stdout]   44:     0x73b34f20daa4 - <unknown>
[INFO] [stdout]   45:     0x73b34f29aa34 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[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' 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:     0x5f9b55bb11c2 - std::backtrace_rs::backtrace::libunwind::trace::h2d45396358f41939
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5f9b55bb11c2 - std::backtrace_rs::backtrace::trace_unsynchronized::hffcefc0b67f1d6e2
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5f9b55bb11c2 - std::sys::backtrace::_print_fmt::hd72f71d23b436b92
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x5f9b55bb11c2 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hdcfcb6d4c8489523
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x5f9b55bd8e13 - core::fmt::rt::Argument::fmt::h2c56b3114963061a
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x5f9b55bd8e13 - core::fmt::write::h8a494366950f23bb
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/fmt/mod.rs:1468:25
[INFO] [stdout]    6:     0x5f9b55bae0c3 - std::io::default_write_fmt::h7b8824096454f323
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x5f9b55bae0c3 - std::io::Write::write_fmt::h4e71294925c334d0
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x5f9b55bb1012 - std::sys::backtrace::BacktraceLock::print::hb2a626a81e06b2dc
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x5f9b55bb2739 - std::panicking::default_hook::{{closure}}::h4f78485264f12d10
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:300:27
[INFO] [stdout]   10:     0x5f9b55bb256e - std::panicking::default_hook::h2c66fc99e962531d
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:324:9
[INFO] [stdout]   11:     0x5f9b55b570b4 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hb6bd65493727d71a
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/alloc/src/boxed.rs:1985:9
[INFO] [stdout]   12:     0x5f9b55b570b4 - test::test_main_with_exit_callback::{{closure}}::h60217ec76a0ece4a
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x5f9b55bb310e - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h318e4efb8c1a5689
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/alloc/src/boxed.rs:1985:9
[INFO] [stdout]   14:     0x5f9b55bb310e - std::panicking::rust_panic_with_hook::h33ac55f64bbd807d
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:841:13
[INFO] [stdout]   15:     0x5f9b55bb2eda - std::panicking::begin_panic_handler::{{closure}}::h30e7cb89678a57fe
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:706:13
[INFO] [stdout]   16:     0x5f9b55bb16b9 - std::sys::backtrace::__rust_end_short_backtrace::hed60f27456c16ced
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/sys/backtrace.rs:174:18
[INFO] [stdout]   17:     0x5f9b55bb2b6d - __rustc[de2ca18b4c54d5b8]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:697:5
[INFO] [stdout]   18:     0x5f9b55bd6680 - core::panicking::panic_fmt::h62f63d096dd276af
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/panicking.rs:75:14
[INFO] [stdout]   19:     0x5f9b55bd6a8d - core::panicking::assert_failed_inner::h102b4539a88470c2
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/panicking.rs:448:17
[INFO] [stdout]   20:     0x5f9b559971d2 - core::panicking::assert_failed::h3d986a442048d530
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/panicking.rs:403:5
[INFO] [stdout]   21:     0x5f9b55a0ead5 - pumpkin_solver::engine::variables::affine_view::tests::test_aux_positive::hff0716f02f51014d
[INFO] [stdout]                                at /opt/rustwide/workdir/pumpkin-solver/src/engine/variables/affine_view.rs:506:9
[INFO] [stdout]   22:     0x5f9b55a0e847 - pumpkin_solver::engine::variables::affine_view::tests::test_aux_positive::{{closure}}::h6afc4a8fc990d4fd
[INFO] [stdout]                                at /opt/rustwide/workdir/pumpkin-solver/src/engine/variables/affine_view.rs:490:27
[INFO] [stdout]   23:     0x5f9b55a5e876 - core::ops::function::FnOnce::call_once::h2c181558bc2169a3
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/ops/function.rs:253:5
[INFO] [stdout]   24:     0x5f9b55b5c91b - core::ops::function::FnOnce::call_once::h1f9474f1347fff52
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/ops/function.rs:253:5
[INFO] [stdout]   25:     0x5f9b55b5c91b - test::__rust_begin_short_backtrace::ha52ab26e77157f03
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/test/src/lib.rs:648:18
[INFO] [stdout]   26:     0x5f9b55b5ba55 - test::run_test_in_process::{{closure}}::h229c1a11a50b261f
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/test/src/lib.rs:671:74
[INFO] [stdout]   27:     0x5f9b55b5ba55 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h78821afbf97b39a9
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   28:     0x5f9b55b5ba55 - std::panicking::catch_unwind::do_call::h53abf3ed5bd32ba3
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:589:40
[INFO] [stdout]   29:     0x5f9b55b5ba55 - std::panicking::catch_unwind::h6deb5fe1e91873c9
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:552:19
[INFO] [stdout]   30:     0x5f9b55b5ba55 - std::panic::catch_unwind::hea0829b6b565654b
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x5f9b55b5ba55 - test::run_test_in_process::hdc44dfecea3db21b
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/test/src/lib.rs:671:27
[INFO] [stdout]   32:     0x5f9b55b5ba55 - test::run_test::{{closure}}::h0364ba59bf23f652
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/test/src/lib.rs:592:43
[INFO] [stdout]   33:     0x5f9b55b1f654 - test::run_test::{{closure}}::h32730b304eec05da
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/test/src/lib.rs:622:41
[INFO] [stdout]   34:     0x5f9b55b1f654 - std::sys::backtrace::__rust_begin_short_backtrace::h177cb952fc54ad2c
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/sys/backtrace.rs:158:18
[INFO] [stdout]   35:     0x5f9b55b2302a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h119d903520007597
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/thread/mod.rs:559:17
[INFO] [stdout]   36:     0x5f9b55b2302a - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hab88401d606702a6
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   37:     0x5f9b55b2302a - std::panicking::catch_unwind::do_call::h163fe12cca9901c2
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:589:40
[INFO] [stdout]   38:     0x5f9b55b2302a - std::panicking::catch_unwind::he81557d0e17cc1bc
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:552:19
[INFO] [stdout]   39:     0x5f9b55b2302a - std::panic::catch_unwind::hc2b8e79c20593955
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x5f9b55b2302a - std::thread::Builder::spawn_unchecked_::{{closure}}::hfa6b4978e07815cc
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/thread/mod.rs:557:30
[INFO] [stdout]   41:     0x5f9b55b2302a - core::ops::function::FnOnce::call_once{{vtable.shim}}::hddcd7484a13fd793
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/ops/function.rs:253:5
[INFO] [stdout]   42:     0x5f9b55bb608f - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h5924238c754de3b8
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/alloc/src/boxed.rs:1971:9
[INFO] [stdout]   43:     0x5f9b55bb608f - std::sys::pal::unix::thread::Thread::new::thread_start::hb6e99e73da4d28f8
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/sys/pal/unix/thread.rs:107:17
[INFO] [stdout]   44:     0x73b34f20daa4 - <unknown>
[INFO] [stdout]   45:     0x73b34f29aa34 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[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.12s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `-p pumpkin-solver --lib`
[INFO] running `Command { std: "docker" "inspect" "26e854f87ca3945f21a5f4e1ca5f1ad5071c12a4a7475d301ea23d013653bff5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "26e854f87ca3945f21a5f4e1ca5f1ad5071c12a4a7475d301ea23d013653bff5", kill_on_drop: false }`
[INFO] [stdout] 26e854f87ca3945f21a5f4e1ca5f1ad5071c12a4a7475d301ea23d013653bff5
