[INFO] cloning repository https://github.com/RobbinBaauw/Lazy-Linear-Generation
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/RobbinBaauw/Lazy-Linear-Generation" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FRobbinBaauw%2FLazy-Linear-Generation", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FRobbinBaauw%2FLazy-Linear-Generation'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] e51222768da7122c6bc397a2e308209508ea41ce
[INFO] testing RobbinBaauw/Lazy-Linear-Generation against master#0d162b25edd5bf0dba9a22e83b614f1113e90474 for pr-150681
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FRobbinBaauw%2FLazy-Linear-Generation" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-0-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-0-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/RobbinBaauw/Lazy-Linear-Generation on toolchain 0d162b25edd5bf0dba9a22e83b614f1113e90474
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0d162b25edd5bf0dba9a22e83b614f1113e90474" "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" "+0d162b25edd5bf0dba9a22e83b614f1113e90474" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded stringcase v0.3.0
[INFO] [stderr]   Downloaded anstyle v1.0.9
[INFO] [stderr]   Downloaded bitfield v0.14.0
[INFO] [stderr]   Downloaded flatzinc v0.3.21
[INFO] [stderr]   Downloaded anstream v0.6.17
[INFO] [stderr]   Downloaded indicatif v0.17.9
[INFO] [stderr]   Downloaded console v0.15.10
[INFO] [stderr]   Downloaded bitfield-struct v0.9.2
[INFO] [stderr]   Downloaded drcp-format v0.2.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+0d162b25edd5bf0dba9a22e83b614f1113e90474" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 6a14c1dca74ad6efb30c6a31438aa00ad5e96161582c5f09872cad9bedd2ff41
[INFO] running `Command { std: "docker" "start" "-a" "6a14c1dca74ad6efb30c6a31438aa00ad5e96161582c5f09872cad9bedd2ff41", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "6a14c1dca74ad6efb30c6a31438aa00ad5e96161582c5f09872cad9bedd2ff41", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6a14c1dca74ad6efb30c6a31438aa00ad5e96161582c5f09872cad9bedd2ff41", kill_on_drop: false }`
[INFO] [stdout] 6a14c1dca74ad6efb30c6a31438aa00ad5e96161582c5f09872cad9bedd2ff41
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+0d162b25edd5bf0dba9a22e83b614f1113e90474" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] aba3d1c7e869676a65651939547a5c6ef616aa555872a1df2388a7b1336e1d8c
[INFO] running `Command { std: "docker" "start" "-a" "aba3d1c7e869676a65651939547a5c6ef616aa555872a1df2388a7b1336e1d8c", kill_on_drop: false }`
[INFO] [stderr]    Compiling memchr v2.7.4
[INFO] [stderr]    Compiling byteorder v1.5.0
[INFO] [stderr]    Compiling thiserror v1.0.65
[INFO] [stderr]    Compiling serde v1.0.217
[INFO] [stderr]    Compiling anstyle v1.0.9
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling regex-syntax v0.8.5
[INFO] [stderr]    Compiling serde_json v1.0.137
[INFO] [stderr]    Compiling signal-hook v0.3.17
[INFO] [stderr]    Compiling clap_lex v0.7.2
[INFO] [stderr]    Compiling syn v2.0.85
[INFO] [stderr]    Compiling pyo3-build-config v0.23.3
[INFO] [stderr]    Compiling getrandom v0.2.15
[INFO] [stderr]    Compiling pumpkin-solver v0.1.4 (/opt/rustwide/workdir/pumpkin-solver)
[INFO] [stderr]    Compiling is-terminal v0.4.13
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling winnow v0.6.20
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling itoa v1.0.14
[INFO] [stderr]    Compiling ryu v1.0.19
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling anstream v0.6.17
[INFO] [stderr]    Compiling termcolor v1.4.1
[INFO] [stderr]    Compiling convert_case v0.6.0
[INFO] [stderr]    Compiling memoffset v0.9.1
[INFO] [stderr]    Compiling downcast-rs v1.2.1
[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 aho-corasick v1.1.3
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling pyo3-ffi v0.23.3
[INFO] [stderr]    Compiling pyo3-macros-backend v0.23.3
[INFO] [stderr]    Compiling pyo3 v0.23.3
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling num-complex v0.4.6
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling num-iter v0.1.45
[INFO] [stderr]    Compiling flatzinc v0.3.21
[INFO] [stderr]    Compiling regex-automata v0.4.8
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling num v0.4.3
[INFO] [stderr]    Compiling darling_core v0.20.10
[INFO] [stderr]    Compiling 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 regex v1.11.1
[INFO] [stderr]    Compiling env_logger v0.10.2
[INFO] [stderr]    Compiling zerocopy v0.7.35
[INFO] [stderr]    Compiling ppv-lite86 v0.2.20
[INFO] [stderr]    Compiling clap v4.5.20
[INFO] [stderr]    Compiling drcp-format v0.2.0
[INFO] [stderr]    Compiling drcp-format v0.2.0 (/opt/rustwide/workdir/drcp-format)
[INFO] [stderr]    Compiling darling_macro v0.20.10
[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 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 47.57s
[INFO] running `Command { std: "docker" "inspect" "aba3d1c7e869676a65651939547a5c6ef616aa555872a1df2388a7b1336e1d8c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "aba3d1c7e869676a65651939547a5c6ef616aa555872a1df2388a7b1336e1d8c", kill_on_drop: false }`
[INFO] [stdout] aba3d1c7e869676a65651939547a5c6ef616aa555872a1df2388a7b1336e1d8c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+0d162b25edd5bf0dba9a22e83b614f1113e90474" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 77227a393a5f48cc87007f45b2136f89b0542e0d90ff5cf550f6ebea2020ac13
[INFO] running `Command { std: "docker" "start" "-a" "77227a393a5f48cc87007f45b2136f89b0542e0d90ff5cf550f6ebea2020ac13", kill_on_drop: false }`
[INFO] [stderr]    Compiling regex-syntax v0.8.5
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling portable-atomic v1.9.0
[INFO] [stderr]    Compiling stringcase v0.3.0
[INFO] [stderr]    Compiling unicode-width v0.2.0
[INFO] [stderr]    Compiling number_prefix v0.4.0
[INFO] [stderr]    Compiling wait-timeout v0.2.0
[INFO] [stderr]    Compiling drcp-format v0.2.0 (/opt/rustwide/workdir/drcp-format)
[INFO] [stderr]    Compiling console v0.15.10
[INFO] [stderr]    Compiling crossbeam-deque v0.8.6
[INFO] [stderr]    Compiling pumpkin-macros v0.1.0 (/opt/rustwide/workdir/pumpkin-macros)
[INFO] [stderr]    Compiling rayon-core v1.12.1
[INFO] [stderr]    Compiling rayon v1.10.0
[INFO] [stderr]    Compiling regex-automata v0.4.8
[INFO] [stderr]    Compiling indicatif v0.17.9
[INFO] [stderr]    Compiling regex v1.11.1
[INFO] [stderr]    Compiling env_logger v0.10.2
[INFO] [stderr]    Compiling pumpkin-solver v0.1.4 (/opt/rustwide/workdir/pumpkin-solver)
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> pumpkin-solver/src/basic_types/trail.rs:59:31
[INFO] [stdout]    |
[INFO] [stdout] 59 |     pub(crate) fn synchronise(&mut self, new_decision_level: usize) -> Rev<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 39.32s
[INFO] running `Command { std: "docker" "inspect" "77227a393a5f48cc87007f45b2136f89b0542e0d90ff5cf550f6ebea2020ac13", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "77227a393a5f48cc87007f45b2136f89b0542e0d90ff5cf550f6ebea2020ac13", kill_on_drop: false }`
[INFO] [stdout] 77227a393a5f48cc87007f45b2136f89b0542e0d90ff5cf550f6ebea2020ac13
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+0d162b25edd5bf0dba9a22e83b614f1113e90474" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 37cdb0d0fb30b3cdb50e86c46a67c3fb19f079df97412a271aab59102d93a5dd
[INFO] running `Command { std: "docker" "start" "-a" "37cdb0d0fb30b3cdb50e86c46a67c3fb19f079df97412a271aab59102d93a5dd", 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 (run `cargo fix --lib -p pumpkin-solver` to apply 6 suggestions)
[INFO] [stderr] warning: `pumpkin-solver` (lib test) generated 6 warnings (6 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.26s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/drcp_format-bfac87416c685af3)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test reader::tests::inference_nogood_with_constraint_tag_and_label ... ok
[INFO] [stdout] test writer::tests::write_inference_with_constraint_id ... ok
[INFO] [stdout] test writer::tests::write_inference_with_constraint_id_and_label ... ok
[INFO] [stdout] test writer::tests::write_inference_with_label ... ok
[INFO] [stdout] test writer::tests::write_inference_without_conclusion_with_hints ... ok
[INFO] [stdout] test writer::tests::write_basic_inference ... ok
[INFO] [stdout] test writer::tests::write_inference_without_conclusion_without_hints ... ok
[INFO] [stdout] test reader::tests::inference_nogood_without_hints ... ok
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/pumpkin_macros-525de50fcea935e0)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/pumpkin_py-d4c93fd76b0f5757)
[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-2e5cce6dcfc84033)
[INFO] [stdout] 
[INFO] [stdout] running 326 tests
[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_contains_variable ... ok
[INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_find_variable_scale ... ok
[INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_is_conflicting ... ok
[INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_iter_mut ... ok
[INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_lb ... ok
[INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_lb_initial ... ok
[INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_lb_eval_linleq ... ok
[INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_lb_overflows_any_element_low ... ok
[INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_lb_overflows_sum ... ok
[INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_lhs_from_vars_box ... ok
[INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_lhs_from_vars_rc ... ok
[INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_new_less_equal_dedup ... ok
[INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_new_less_equal_offsets ... ok
[INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_ub ... 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_ub_eval_linleq ... 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_lb_overflows_any_element_high ... ok
[INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_iter ... ok
[INFO] [stdout] test basic_types::moving_averages::windowed_moving_average::tests::test_empty ... 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::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::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_multiply_50_procent ... ok
[INFO] [stdout] test basic_types::predicate_id_generator::tests::last_values_removed ... ok
[INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_slack ... ok
[INFO] [stdout] test basic_types::sequence_generators::geometric_sequence::tests::test_2_pow_n ... 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_values_removed1 ... ok
[INFO] [stdout] test basic_types::moving_averages::cumulative_moving_average::tests::test_constant_value ... ok
[INFO] [stdout] test basic_types::moving_averages::windowed_moving_average::tests::test_simple1 ... ok
[INFO] [stdout] test basic_types::predicate_id_generator::tests::all_values_removed ... ok
[INFO] [stdout] test basic_types::sequence_generators::luby_sequence::tests::test_base_1 ... ok
[INFO] [stdout] test basic_types::predicate_id_generator::tests::initial_values_removed2 ... ok
[INFO] [stdout] test basic_types::trail::tests::pushed_values_are_observed_through_indexing ... ok
[INFO] [stdout] test basic_types::trail::tests::backtracking_is_nonchronological ... ok
[INFO] [stdout] test basic_types::predicate_id_generator::tests::holes_in_removed_values ... ok
[INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_lhs_eq ... ok
[INFO] [stdout] test branching::branchers::alternating_brancher::tests::test_every_other_restart ... ok
[INFO] [stdout] test branching::branchers::alternating_brancher::tests::test_every_other_solution ... ok
[INFO] [stdout] test branching::branchers::alternating_brancher::tests::test_every_solution ... ok
[INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_lhs_from_domain_scale ... ok
[INFO] [stdout] test basic_types::trail::tests::backtracking_removes_elements_beyond_decision_level ... ok
[INFO] [stdout] test branching::branchers::autonomous_search::tests::uses_fallback ... ok
[INFO] [stdout] test basic_types::trail::tests::elements_at_current_decision_level ... ok
[INFO] [stdout] test basic_types::predicate_id_generator::tests::initial_and_last_values_removed ... ok
[INFO] [stdout] test branching::branchers::alternating_brancher::tests::test_switch_to_default_after_first_solution ... 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::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::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_minimum ... 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::value_selection::in_domain_interval::tests::test_returns_correct_literal ... 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_median::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_interval::tests::test_no_holes_in_domain_bisects_domain ... 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_middle::tests::test_returns_correct_literal_no_middle ... 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_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_random::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::value_selection::in_domain_middle::tests::test_returns_correct_literal_size_three_domain ... ok
[INFO] [stdout] test branching::value_selection::in_domain_min::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::value_selection::in_domain_middle::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::out_domain_median::tests::test_returns_correct_literal_no_median ... 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 branching::value_selection::reverse_in_domain_split::tests::test_domain_of_size_two ... 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_min::tests::test_returns_correct_literal ... 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::value_selection::reverse_in_domain_split::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::branchers::autonomous_search::tests::brancher_picks_bumped_values ... ok
[INFO] [stdout] test branching::variable_selection::anti_first_fail::tests::fixed_variables_are_not_selected ... ok
[INFO] [stdout] test branching::branchers::autonomous_search::tests::dormant_values ... ok
[INFO] [stdout] test branching::variable_selection::input_order::tests::test_correctly_selected ... ok
[INFO] [stdout] test branching::variable_selection::anti_first_fail::tests::test_correctly_selected ... ok
[INFO] [stdout] test branching::tie_breaking::random_tie_breaker::tests::test_selection_between_values_chooses_maximum ... ok
[INFO] [stdout] test branching::variable_selection::input_order::tests::fixed_variables_are_not_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_random::tests::test_returns_correct_literal ... 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::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::failing_test_case ... ok
[INFO] [stdout] test branching::variable_selection::max_regret::tests::fixed_variables_are_not_selected ... ok
[INFO] [stdout] test containers::key_value_heap::test::failing_test_case2 ... ok
[INFO] [stdout] test branching::variable_selection::max_regret::tests::test_correctly_selected ... ok
[INFO] [stdout] test branching::variable_selection::occurrence::tests::test_correctly_selected ... ok
[INFO] [stdout] test containers::key_value_heap::test::random2 ... ok
[INFO] [stdout] test containers::key_value_heap::test::random1 ... ok
[INFO] [stdout] test containers::key_value_heap::test::random3 ... ok
[INFO] [stdout] test basic_types::sequence_generators::luby_sequence::tests::test_base_100 ... ok
[INFO] [stdout] test containers::key_value_heap::test::simple ... ok
[INFO] [stdout] test containers::key_value_heap::test::trivial ... ok
[INFO] [stdout] test containers::sparse_set::tests::iter1 ... ok
[INFO] [stdout] test containers::key_value_heap::test::trivial_sort ... ok
[INFO] [stdout] test containers::sparse_set::tests::remove_all_elements_leads_to_empty_set ... ok
[INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::hole_lb_override ... ok
[INFO] [stdout] test branching::variable_selection::most_constrained::tests::fixed_variables_are_not_selected ... ok
[INFO] [stdout] test containers::sparse_set::tests::removal ... ok
[INFO] [stdout] test basic_types::trail::tests::popped_elements_are_given_in_reverse_order_when_backtracking ... ok
[INFO] [stdout] test branching::variable_selection::most_constrained::tests::test_correctly_selected ... 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 containers::key_value_heap::test::duplicates ... ok
[INFO] [stdout] test containers::sparse_set::tests::test_len ... 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_bound1 ... ok
[INFO] [stdout] test containers::sparse_set::tests::removal_adjusts_size ... ok
[INFO] [stdout] test containers::sparse_set::tests::iter2 ... 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::trivial_conflict_holes ... 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 ... ok
[INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::trivial_conflict_bounds_reset ... ok
[INFO] [stdout] test engine::conflict_analysis::resolvers::llg_conflict_resolver::tests::test_cut_contradiction ... ok
[INFO] [stdout] test engine::conflict_analysis::resolvers::llg_conflict_resolver::tests::test_cut_fully_clash ... ok
[INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::trivial_nogood ... 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_nothing_learned ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::check_can_compute_1uip_with_propagator_initialisation_conflict ... ok
[INFO] [stdout] test engine::conflict_analysis::resolvers::llg_conflict_resolver::tests::test_transform_upper_bound_clause ... ok
[INFO] [stdout] test engine::conflict_analysis::resolvers::llg_conflict_resolver::tests::test_cut_overflow ... ok
[INFO] [stdout] test engine::conflict_analysis::resolvers::llg_conflict_resolver::tests::test_cut_same_coeff ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::new_domain_with_negative_lower_bound ... ok
[INFO] [stdout] test engine::conflict_analysis::resolvers::llg_conflict_resolver::tests::test_cut_simple ... ok
[INFO] [stdout] test basic_types::sequence_generators::luby_sequence::tests::test_base_50_long ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::core_extraction_unit_core ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_1_1 ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::core_extraction_equality_assumption ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_2_long_assumptions_with_inconsistency_at_the_end ... 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_3_1 ... 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::cp::assignments::tests::bounds_change_can_also_trigger_assign_event ... ok
[INFO] [stdout] test engine::cp::assignments::tests::an_empty_domain_accepts_removal_operations ... ok
[INFO] [stdout] test engine::cp::assignments::tests::domain_iterator_removed_bounds ... ok
[INFO] [stdout] test engine::cp::assignments::tests::domain_iterator_simple ... ok
[INFO] [stdout] test engine::cp::assignments::tests::domain_iterator_removed_values_present_beyond_bounds ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_1_2 ... 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_1 ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_1_infeasible ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_2_inconsistent_long_assumptions ... 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::lower_bound_at_trail_position_after_removals ... ok
[INFO] [stdout] test engine::cp::assignments::tests::jump_in_bound_change_upper_bound_event_backtrack ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_at_trail_position_after_removals_and_bound_update ... 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_at_update ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_trail_position_last_bound ... ok
[INFO] [stdout] test engine::cp::assignments::tests::making_assignment_triggers_appropriate_events ... ok
[INFO] [stdout] test engine::cp::assignments::tests::removal_trail_position ... ok
[INFO] [stdout] test engine::cp::assignments::tests::removal_trail_position_after_lower_bound ... ok
[INFO] [stdout] test engine::cp::assignments::tests::removing_the_lower_bound_updates_that_lower_bound ... ok
[INFO] [stdout] test engine::cp::assignments::tests::removal_triggers_removal_event ... ok
[INFO] [stdout] test engine::cp::assignments::tests::removing_the_upper_bound_updates_the_upper_bound ... ok
[INFO] [stdout] test engine::cp::assignments::tests::setting_lower_bound_rounds_up_to_nearest_value_in_domain ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_trail_position_with_removals ... 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::undo_removal_at_bounds_indexes_into_values_domain_correctly ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_trail_position_trivial ... ok
[INFO] [stdout] test engine::cp::assignments::tests::various_tests_evaluate_predicate ... ok
[INFO] [stdout] test engine::cp::event_sink::tests::after_draining_the_event_sink_is_empty ... ok
[INFO] [stdout] test engine::cp::assignments::tests::domain_iterator_skip_holes ... ok
[INFO] [stdout] test engine::cp::event_sink::tests::a_captured_event_is_observed_in_the_drain ... ok
[INFO] [stdout] test engine::cp::event_sink::tests::the_default_sink_is_empty ... ok
[INFO] [stdout] test engine::cp::reason::tests::computing_an_eager_reason_returns_a_reference_to_the_conjunction ... ok
[INFO] [stdout] test engine::cp::tests::test_no_update_reason_store_if_no_update_upper_bound ... ok
[INFO] [stdout] test engine::cp::reason::tests::pushing_a_reason_gives_a_reason_ref_that_can_be_computed ... ok
[INFO] [stdout] test engine::cp::tests::test_no_update_reason_store_if_no_update_lower_bound ... ok
[INFO] [stdout] test engine::predicates::predicate::test::negating_trivially_false_predicate ... ok
[INFO] [stdout] test engine::cp::event_sink::tests::duplicate_events_are_ignored ... ok
[INFO] [stdout] test engine::predicates::predicate::test::negating_trivially_true_predicate ... ok
[INFO] [stdout] test engine::cp::tests::test_no_update_reason_store_if_no_update_remove ... ok
[INFO] [stdout] test engine::cp::assignments::tests::upper_bound_change_triggers_upper_bound_event ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_change_lower_bound_event ... ok
[INFO] [stdout] test basic_types::sequence_generators::luby_sequence::tests::test_base_1_long ... ok
[INFO] [stdout] test basic_types::linear_less_or_equal::tests::test_invert ... ok
[INFO] [stdout] test engine::predicates::predicate_constructor::tests::macro_index_expressions_are_matched ... ok
[INFO] [stdout] test engine::variables::affine_view::tests::offsetting_an_affine_view ... ok
[INFO] [stdout] test engine::variables::affine_view::tests::scaling_an_affine_view ... ok
[INFO] [stdout] test propagators::arithmetic::absolute_value::tests::absolute_bounds_are_propagated_at_initialise ... ok
[INFO] [stdout] test engine::predicates::predicate_constructor::tests::macro_nested_identifiers_are_matched ... ok
[INFO] [stdout] test engine::variables::affine_view::tests::affine_view_obtaining_a_bound_should_round_optimistically_in_inner_domain ... ok
[INFO] [stdout] test engine::variables::affine_view::tests::test_negated_variable_has_bounds_rounded_correctly ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_trail_position_beyond_value ... ok
[INFO] [stdout] test propagators::arithmetic::absolute_value::tests::absolute_lower_bound_can_be_strictly_positive ... ok
[INFO] [stdout] test engine::cp::assignments::tests::value_can_be_removed_from_domains ... 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 propagators::arithmetic::integer_multiplication::tests::bounds_of_b_and_c_propagate_bounds_a ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_inbetween_updates ... ok
[INFO] [stdout] test propagators::arithmetic::absolute_value::tests::signed_bounds_are_propagated_at_initialise ... ok
[INFO] [stdout] test propagators::arithmetic::absolute_value::tests::lower_bound_on_absolute_can_propagate_positive_lower_bound_on_signed ... ok
[INFO] [stdout] test propagators::arithmetic::linear_less_or_equal::tests::overflow_leads_to_conflict ... 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::linear_less_or_equal::tests::test_bounds_are_propagated ... 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::division::tests::detects_conflicts ... ok
[INFO] [stdout] test propagators::arithmetic::linear_not_equal::tests::satisfied_constraint_does_not_trigger_conflict ... ok
[INFO] [stdout] test propagators::arithmetic::linear_not_equal::tests::explanation_for_propagation ... ok
[INFO] [stdout] test propagators::arithmetic::linear_not_equal::tests::test_value_is_removed ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::big_step::tests::test_big_step_explanation_lower_bound ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::big_step::tests::test_big_step_explanation_lower_bound_sequence ... 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::cumulative::time_table::explanations::big_step::tests::test_big_step_explanation_upper_bound_sequence ... ok
[INFO] [stdout] test propagators::arithmetic::linear_less_or_equal::tests::test_explanations ... 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_conflict_big_step ... ok
[INFO] [stdout] test propagators::arithmetic::maximum::tests::single_variable_propagate ... ok
[INFO] [stdout] test propagators::arithmetic::linear_less_or_equal::tests::underflow_leads_to_no_propagation ... ok
[INFO] [stdout] test propagators::arithmetic::linear_not_equal::tests::test_empty_domain_is_detected ... ok
[INFO] [stdout] test propagators::arithmetic::maximum::tests::upper_bound_of_rhs_matches_maximum_upper_bound_of_array_at_initialise ... ok
[INFO] [stdout] test propagators::arithmetic::maximum::tests::lower_bound_of_rhs_is_maximum_of_lower_bounds_in_array ... 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_lower_bound ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::naive::tests::test_naive_explanation_upper_bound ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::naive::tests::test_naive_explanation_upper_bound_sequence ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::pointwise::tests::test_conflict_point_wise ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::pointwise::tests::test_pointwise_explanation_lower_bound_sequence ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::pointwise::tests::test_pointwise_explanation_lower_bound ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::pointwise::tests::test_pointwise_explanation_upper_bound ... 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 ... 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::per_point_incremental_propagator::time_table_per_point_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_from_profile ... 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::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_generic_bounds ... 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 basic_types::propositional_conjunction::tests::nested_path_is_forwarded_to_predicate ... 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::synchronisation::tests::test_correct_conflict_returned ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::no_synchronisation_leads_to_different_conflict ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::no_synchronisation_leads_to_different_conflict_explanation ... 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_from_profile_reason ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_example_4_3_schutt ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_example_4_3_schutt_after_update ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_example_4_3_schutt_multiple_profiles ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_generic_bounds ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_nothing ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::synchronisation_leads_to_same_conflict ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::synchronisation_leads_to_same_conflict_explanation ... 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::time_table_over_interval::tests::propagator_propagates_end_time ... 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_example_4_3_schutt ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_propagates_example_4_3_schutt_after_update ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_propagates_from_profile_reason ... 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::time_table_over_interval::tests::propagator_propagates_after_assignment ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_detects_conflict ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_propagates_generic_bounds ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_propagates_example_4_3_schutt_multiple_profiles ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_example_4_3_schutt_multiple_profiles ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_from_profile ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_from_profile_reason ... 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_over_interval::tests::propagator_propagates_nothing ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_propagates_with_holes ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_detects_conflict ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_after_assignment ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_generic_bounds ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_util::tests::test_finding_last_index_lower_bound ... ok
[INFO] [stdout] test propagators::linear_inequality_literal_propagator::tests::dont_propagate_bounds_on_unfixed_literal ... 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_nothing ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_util::tests::test_finding_last_index_upper_bound ... ok
[INFO] [stdout] test propagators::element::tests::bounds_of_rhs_are_min_and_max_of_lower_and_upper_in_array ... ok
[INFO] [stdout] test propagators::linear_inequality_literal_propagator::tests::propagate_bounds_on_fixed_true_literal ... ok
[INFO] [stdout] test propagators::element::tests::fixed_index_propagates_bounds_on_element ... ok
[INFO] [stdout] test propagators::linear_inequality_literal_propagator::tests::dont_propagate_literal_on_uncertain_inequality ... ok
[INFO] [stdout] test propagators::linear_inequality_literal_propagator::tests::propagate_bounds_on_fixed_false_literal ... ok
[INFO] [stdout] test propagators::element::tests::index_hole_propagates_bounds_on_rhs ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_end_time ... ok
[INFO] [stdout] test propagators::linear_inequality_literal_propagator::tests::propagate_literal_on_negative_inequality ... ok
[INFO] [stdout] test propagators::element::tests::elements_from_array_with_disjoint_domains_to_rhs_are_filtered_from_index ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_example_4_3_schutt ... ok
[INFO] [stdout] test propagators::linear_inequality_literal_propagator::tests::propagate_literal_on_positive_inequality ... ok
[INFO] [stdout] test propagators::nogoods::nogood_propagator::tests::unsat ... 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::nogoods::nogood_propagator::tests::ternary_nogood_propagate ... ok
[INFO] [stdout] test propagators::reified_propagator::tests::a_root_level_conflict_propagates_reification_literal ... ok
[INFO] [stdout] test propagators::reified_propagator::tests::a_true_literal_is_added_to_a_conflict_conjunction ... ok
[INFO] [stdout] test propagators::reified_propagator::tests::notify_propagator_is_enqueued_if_inconsistency_can_be_detected ... ok
[INFO] [stdout] test propagators::reified_propagator::tests::a_true_literal_is_added_to_reason_for_propagation ... ok
[INFO] [stdout] test engine::predicates::predicate_constructor::tests::macro_local_identifiers_are_matched ... 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::propagator_propagates_after_assignment ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_propagates_from_profile ... ok
[INFO] [stderr] error: test failed, to rerun pass `-p pumpkin-solver --lib`
[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' (250) 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:     0x57583c082092 - std[3b51380354919863]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x57583c082092 - std[3b51380354919863]::backtrace_rs::backtrace::trace_unsynchronized::<std[3b51380354919863]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x57583c082092 - std[3b51380354919863]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x57583c082092 - <<std[3b51380354919863]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[27de1724e4349be2]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x57583c09966a - <core[27de1724e4349be2]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x57583c09966a - core[27de1724e4349be2]::fmt::write
[INFO] [stdout]    6:     0x57583c086fa6 - std[3b51380354919863]::io::default_write_fmt::<alloc[a57f19327c0ad893]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x57583c086fa6 - <alloc[a57f19327c0ad893]::vec::Vec<u8> as std[3b51380354919863]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x57583c0607cf - <std[3b51380354919863]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x57583c0607cf - std[3b51380354919863]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x57583c07a359 - std[3b51380354919863]::panicking::default_hook
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x57583bff3e4e - <alloc[a57f19327c0ad893]::boxed::Box<dyn for<'a, 'b> core[27de1724e4349be2]::ops::function::Fn<(&'a std[3b51380354919863]::panic::PanicHookInfo<'b>,), Output = ()> + core[27de1724e4349be2]::marker::Sync + core[27de1724e4349be2]::marker::Send> as core[27de1724e4349be2]::ops::function::Fn<(&std[3b51380354919863]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x57583bff3e4e - test[182b2e79ecd7bbd9]::test_main_with_exit_callback::<test[182b2e79ecd7bbd9]::test_main::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x57583c07a512 - <alloc[a57f19327c0ad893]::boxed::Box<dyn for<'a, 'b> core[27de1724e4349be2]::ops::function::Fn<(&'a std[3b51380354919863]::panic::PanicHookInfo<'b>,), Output = ()> + core[27de1724e4349be2]::marker::Sync + core[27de1724e4349be2]::marker::Send> as core[27de1724e4349be2]::ops::function::Fn<(&std[3b51380354919863]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x57583c07a512 - std[3b51380354919863]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x57583c060888 - std[3b51380354919863]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x57583c055b09 - std[3b51380354919863]::sys::backtrace::__rust_end_short_backtrace::<std[3b51380354919863]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x57583c0616dd - __rustc[d79c0ace40940972]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x57583c099d6c - core[27de1724e4349be2]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x57583c099bf3 - core[27de1724e4349be2]::panicking::assert_failed_inner
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panicking.rs:439:17
[INFO] [stdout]   20:     0x57583bf6125c - core[27de1724e4349be2]::panicking::assert_failed::<pumpkin_solver[f5f29a9ccd43c437]::basic_types::linear_less_or_equal::LinearLessOrEqual, pumpkin_solver[f5f29a9ccd43c437]::basic_types::linear_less_or_equal::LinearLessOrEqual>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panicking.rs:394:5
[INFO] [stdout]   21:     0x57583bef4d13 - pumpkin_solver[f5f29a9ccd43c437]::engine::variables::affine_view::tests::test_aux_negative
[INFO] [stdout]                                at /opt/rustwide/workdir/pumpkin-solver/src/engine/variables/affine_view.rs:547:9
[INFO] [stdout]   22:     0x57583bee93e7 - pumpkin_solver[f5f29a9ccd43c437]::engine::variables::affine_view::tests::test_aux_negative::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/pumpkin-solver/src/engine/variables/affine_view.rs:531:27
[INFO] [stdout]   23:     0x57583beaf206 - <pumpkin_solver[f5f29a9ccd43c437]::engine::variables::affine_view::tests::test_aux_negative::{closure#0} as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x57583bfe81fb - <fn() -> core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x57583bfe81fb - test[182b2e79ecd7bbd9]::__rust_begin_short_backtrace::<core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>, fn() -> core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:663:18
[INFO] [stdout]   26:     0x57583bff4a5a - test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:686:74
[INFO] [stdout]   27:     0x57583bff4a5a - <core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   28:     0x57583bff4a5a - std[3b51380354919863]::panicking::catch_unwind::do_call::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}>, core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:581:40
[INFO] [stdout]   29:     0x57583bff4a5a - std[3b51380354919863]::panicking::catch_unwind::<core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>, core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x57583bff4a5a - std[3b51380354919863]::panic::catch_unwind::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}>, core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x57583bff4a5a - test[182b2e79ecd7bbd9]::run_test_in_process
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:686:27
[INFO] [stdout]   32:     0x57583bff4a5a - test[182b2e79ecd7bbd9]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:607:43
[INFO] [stdout]   33:     0x57583bff0004 - test[182b2e79ecd7bbd9]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:637:41
[INFO] [stdout]   34:     0x57583bff0004 - std[3b51380354919863]::sys::backtrace::__rust_begin_short_backtrace::<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x57583bff7552 - std[3b51380354919863]::thread::lifecycle::spawn_unchecked::<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   36:     0x57583bff7552 - <core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   37:     0x57583bff7552 - std[3b51380354919863]::panicking::catch_unwind::do_call::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:581:40
[INFO] [stdout]   38:     0x57583bff7552 - std[3b51380354919863]::panicking::catch_unwind::<(), core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x57583bff7552 - std[3b51380354919863]::panic::catch_unwind::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x57583bff7552 - std[3b51380354919863]::thread::lifecycle::spawn_unchecked::<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   41:     0x57583bff7552 - <std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1} as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x57583c08193f - <alloc[a57f19327c0ad893]::boxed::Box<dyn core[27de1724e4349be2]::ops::function::FnOnce<(), Output = ()> + core[27de1724e4349be2]::marker::Send> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   43:     0x57583c08193f - <std[3b51380354919863]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/thread/unix.rs:119:17
[INFO] [stdout]   44:     0x790b0cdd7aa4 - <unknown>
[INFO] [stdout]   45:     0x790b0ce64a64 - 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' (251) 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:     0x57583c082092 - std[3b51380354919863]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x57583c082092 - std[3b51380354919863]::backtrace_rs::backtrace::trace_unsynchronized::<std[3b51380354919863]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x57583c082092 - std[3b51380354919863]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x57583c082092 - <<std[3b51380354919863]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[27de1724e4349be2]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x57583c09966a - <core[27de1724e4349be2]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x57583c09966a - core[27de1724e4349be2]::fmt::write
[INFO] [stdout]    6:     0x57583c086fa6 - std[3b51380354919863]::io::default_write_fmt::<alloc[a57f19327c0ad893]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x57583c086fa6 - <alloc[a57f19327c0ad893]::vec::Vec<u8> as std[3b51380354919863]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x57583c0607cf - <std[3b51380354919863]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x57583c0607cf - std[3b51380354919863]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x57583c07a359 - std[3b51380354919863]::panicking::default_hook
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x57583bff3e4e - <alloc[a57f19327c0ad893]::boxed::Box<dyn for<'a, 'b> core[27de1724e4349be2]::ops::function::Fn<(&'a std[3b51380354919863]::panic::PanicHookInfo<'b>,), Output = ()> + core[27de1724e4349be2]::marker::Sync + core[27de1724e4349be2]::marker::Send> as core[27de1724e4349be2]::ops::function::Fn<(&std[3b51380354919863]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x57583bff3e4e - test[182b2e79ecd7bbd9]::test_main_with_exit_callback::<test[182b2e79ecd7bbd9]::test_main::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x57583c07a512 - <alloc[a57f19327c0ad893]::boxed::Box<dyn for<'a, 'b> core[27de1724e4349be2]::ops::function::Fn<(&'a std[3b51380354919863]::panic::PanicHookInfo<'b>,), Output = ()> + core[27de1724e4349be2]::marker::Sync + core[27de1724e4349be2]::marker::Send> as core[27de1724e4349be2]::ops::function::Fn<(&std[3b51380354919863]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x57583c07a512 - std[3b51380354919863]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x57583c060888 - std[3b51380354919863]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x57583c055b09 - std[3b51380354919863]::sys::backtrace::__rust_end_short_backtrace::<std[3b51380354919863]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x57583c0616dd - __rustc[d79c0ace40940972]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x57583c099d6c - core[27de1724e4349be2]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x57583c099bf3 - core[27de1724e4349be2]::panicking::assert_failed_inner
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panicking.rs:439:17
[INFO] [stdout]   20:     0x57583bf6125c - core[27de1724e4349be2]::panicking::assert_failed::<pumpkin_solver[f5f29a9ccd43c437]::basic_types::linear_less_or_equal::LinearLessOrEqual, pumpkin_solver[f5f29a9ccd43c437]::basic_types::linear_less_or_equal::LinearLessOrEqual>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panicking.rs:394:5
[INFO] [stdout]   21:     0x57583bef5613 - pumpkin_solver[f5f29a9ccd43c437]::engine::variables::affine_view::tests::test_aux_positive
[INFO] [stdout]                                at /opt/rustwide/workdir/pumpkin-solver/src/engine/variables/affine_view.rs:506:9
[INFO] [stdout]   22:     0x57583bee9417 - pumpkin_solver[f5f29a9ccd43c437]::engine::variables::affine_view::tests::test_aux_positive::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/pumpkin-solver/src/engine/variables/affine_view.rs:490:27
[INFO] [stdout]   23:     0x57583beaf246 - <pumpkin_solver[f5f29a9ccd43c437]::engine::variables::affine_view::tests::test_aux_positive::{closure#0} as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x57583bfe81fb - <fn() -> core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x57583bfe81fb - test[182b2e79ecd7bbd9]::__rust_begin_short_backtrace::<core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>, fn() -> core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:663:18
[INFO] [stdout]   26:     0x57583bff4a5a - test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:686:74
[INFO] [stdout]   27:     0x57583bff4a5a - <core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   28:     0x57583bff4a5a - std[3b51380354919863]::panicking::catch_unwind::do_call::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}>, core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:581:40
[INFO] [stdout]   29:     0x57583bff4a5a - std[3b51380354919863]::panicking::catch_unwind::<core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>, core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x57583bff4a5a - std[3b51380354919863]::panic::catch_unwind::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}>, core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x57583bff4a5a - test[182b2e79ecd7bbd9]::run_test_in_process
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:686:27
[INFO] [stdout]   32:     0x57583bff4a5a - test[182b2e79ecd7bbd9]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:607:43
[INFO] [stdout]   33:     0x57583bff0004 - test[182b2e79ecd7bbd9]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:637:41
[INFO] [stdout]   34:     0x57583bff0004 - std[3b51380354919863]::sys::backtrace::__rust_begin_short_backtrace::<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x57583bff7552 - std[3b51380354919863]::thread::lifecycle::spawn_unchecked::<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   36:     0x57583bff7552 - <core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   37:     0x57583bff7552 - std[3b51380354919863]::panicking::catch_unwind::do_call::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:581:40
[INFO] [stdout]   38:     0x57583bff7552 - std[3b51380354919863]::panicking::catch_unwind::<(), core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x57583bff7552 - std[3b51380354919863]::panic::catch_unwind::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x57583bff7552 - std[3b51380354919863]::thread::lifecycle::spawn_unchecked::<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   41:     0x57583bff7552 - <std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1} as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x57583c08193f - <alloc[a57f19327c0ad893]::boxed::Box<dyn core[27de1724e4349be2]::ops::function::FnOnce<(), Output = ()> + core[27de1724e4349be2]::marker::Send> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   43:     0x57583c08193f - <std[3b51380354919863]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/thread/unix.rs:119:17
[INFO] [stdout]   44:     0x790b0cdd7aa4 - <unknown>
[INFO] [stdout]   45:     0x790b0ce64a64 - 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.13s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "37cdb0d0fb30b3cdb50e86c46a67c3fb19f079df97412a271aab59102d93a5dd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "37cdb0d0fb30b3cdb50e86c46a67c3fb19f079df97412a271aab59102d93a5dd", kill_on_drop: false }`
[INFO] [stdout] 37cdb0d0fb30b3cdb50e86c46a67c3fb19f079df97412a271aab59102d93a5dd
