[INFO] cloning repository https://github.com/bpandreotti/verit-proof-checker [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/bpandreotti/verit-proof-checker" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbpandreotti%2Fverit-proof-checker", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbpandreotti%2Fverit-proof-checker'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 597d1bac08a2ece245e2e3de7bbf6fd1b3da586f [INFO] testing bpandreotti/verit-proof-checker/597d1bac08a2ece245e2e3de7bbf6fd1b3da586f against master#e9385f9eea0221ef295a188d49d16f8f5189abf1 for pr-146098 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbpandreotti%2Fverit-proof-checker" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'... [INFO] [stderr] done. [INFO] removed /workspace/builds/worker-6-tc1/source/rust-toolchain.toml [INFO] started tweaking git repo https://github.com/bpandreotti/verit-proof-checker [INFO] finished tweaking git repo https://github.com/bpandreotti/verit-proof-checker [INFO] tweaked toml for git repo https://github.com/bpandreotti/verit-proof-checker written to /workspace/builds/worker-6-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/bpandreotti/verit-proof-checker on toolchain e9385f9eea0221ef295a188d49d16f8f5189abf1 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+e9385f9eea0221ef295a188d49d16f8f5189abf1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/bpandreotti/verit-proof-checker 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" "+e9385f9eea0221ef295a188d49d16f8f5189abf1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded git-version-macro v0.3.9 [INFO] [stderr] Downloaded clap_derive v3.2.25 [INFO] [stderr] Downloaded git-version v0.3.9 [INFO] [stderr] Downloaded rug v1.27.0 [INFO] [stderr] Downloaded gmp-mpfr-sys v1.6.7 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+e9385f9eea0221ef295a188d49d16f8f5189abf1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 7de79becdd31e9a67140aa0d868bbb31f24eed95111d98263730f7ed63505550 [INFO] running `Command { std: "docker" "start" "-a" "7de79becdd31e9a67140aa0d868bbb31f24eed95111d98263730f7ed63505550", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "7de79becdd31e9a67140aa0d868bbb31f24eed95111d98263730f7ed63505550", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7de79becdd31e9a67140aa0d868bbb31f24eed95111d98263730f7ed63505550", kill_on_drop: false }` [INFO] [stdout] 7de79becdd31e9a67140aa0d868bbb31f24eed95111d98263730f7ed63505550 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+e9385f9eea0221ef295a188d49d16f8f5189abf1" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 7ae6a647ee7e2851edb1c79d346f126baa641955c6c3915251ac00809e018bc8 [INFO] running `Command { std: "docker" "start" "-a" "7ae6a647ee7e2851edb1c79d346f126baa641955c6c3915251ac00809e018bc8", kill_on_drop: false }` [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling gmp-mpfr-sys v1.6.7 [INFO] [stderr] Compiling az v1.2.1 [INFO] [stderr] Compiling rug v1.27.0 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Compiling os_str_bytes v6.6.1 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Compiling indexmap v2.10.0 [INFO] [stderr] Compiling same-file v1.0.6 [INFO] [stderr] Compiling syn v2.0.106 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling const_format_proc_macros v0.2.34 [INFO] [stderr] Compiling textwrap v0.16.2 [INFO] [stderr] Compiling walkdir v2.5.0 [INFO] [stderr] Compiling clap_lex v0.2.4 [INFO] [stderr] Compiling const_format v0.2.34 [INFO] [stderr] Compiling crossbeam-queue v0.3.12 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling git-version-macro v0.3.9 [INFO] [stderr] Compiling git-version v0.3.9 [INFO] [stderr] Compiling thiserror v1.0.69 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Compiling clap_derive v3.2.25 [INFO] [stderr] Compiling test-generator v0.1.0 (/opt/rustwide/workdir/test-generator) [INFO] [stderr] Compiling clap v3.2.25 [INFO] [stderr] Compiling carcara v1.1.0 (/opt/rustwide/workdir/carcara) [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/context.rs:80:17 [INFO] [stdout] | [INFO] [stdout] 80 | pub fn last(&self) -> Option>> { [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] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 80 | pub fn last(&self) -> Option>> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/context.rs:86:21 [INFO] [stdout] | [INFO] [stdout] 86 | pub fn last_mut(&mut self) -> Option>> { [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] 86 | pub fn last_mut(&mut self) -> Option>> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/printer.rs:438:25 [INFO] [stdout] | [INFO] [stdout] 438 | fn quote_symbol(symbol: &str) -> Cow { [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] 438 | fn quote_symbol(symbol: &str) -> Cow<'_, str> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/printer.rs:461:26 [INFO] [stdout] | [INFO] [stdout] 461 | fn escape_string(string: &str) -> Cow { [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] 461 | fn escape_string(string: &str) -> Cow<'_, str> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/proof.rs:87:17 [INFO] [stdout] | [INFO] [stdout] 87 | pub fn iter(&self) -> ProofIter { [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] 87 | pub fn iter(&self) -> ProofIter<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/checker/rules/cutting_planes.rs:490:22 [INFO] [stdout] | [INFO] [stdout] 490 | fn term_to_ctv(term: &Rc) -> Result { [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] 490 | fn term_to_ctv(term: &Rc) -> Result, Integer> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/checker/rules/cutting_planes.rs:517:32 [INFO] [stdout] | [INFO] [stdout] 517 | fn collect_addition_list(term: &Rc) -> Result, CheckerError> { [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] 517 | fn collect_addition_list(term: &Rc) -> Result>, CheckerError> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/checker/rules/cutting_planes.rs:559:32 [INFO] [stdout] | [INFO] [stdout] 559 | fn flatten_addition_tree(term: &Rc) -> Result<(Vec, Integer), CheckerError> { [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] 559 | fn flatten_addition_tree(term: &Rc) -> Result<(Vec>, Integer), CheckerError> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling carcara-cli v1.1.0 (/opt/rustwide/workdir/cli) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 2m 20s [INFO] running `Command { std: "docker" "inspect" "7ae6a647ee7e2851edb1c79d346f126baa641955c6c3915251ac00809e018bc8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7ae6a647ee7e2851edb1c79d346f126baa641955c6c3915251ac00809e018bc8", kill_on_drop: false }` [INFO] [stdout] 7ae6a647ee7e2851edb1c79d346f126baa641955c6c3915251ac00809e018bc8 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+e9385f9eea0221ef295a188d49d16f8f5189abf1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] dd661405d699d57b56c285624171bcf564fdeba3080c78328e022de6ebc73cca [INFO] running `Command { std: "docker" "start" "-a" "dd661405d699d57b56c285624171bcf564fdeba3080c78328e022de6ebc73cca", kill_on_drop: false }` [INFO] [stderr] Compiling colored v2.2.0 [INFO] [stderr] Compiling getrandom v0.2.16 [INFO] [stderr] Compiling test-generator v0.1.0 (/opt/rustwide/workdir/test-generator) [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/context.rs:80:17 [INFO] [stdout] | [INFO] [stdout] 80 | pub fn last(&self) -> Option>> { [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] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 80 | pub fn last(&self) -> Option>> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/context.rs:86:21 [INFO] [stdout] | [INFO] [stdout] 86 | pub fn last_mut(&mut self) -> Option>> { [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] 86 | pub fn last_mut(&mut self) -> Option>> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/printer.rs:438:25 [INFO] [stdout] | [INFO] [stdout] 438 | fn quote_symbol(symbol: &str) -> Cow { [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] 438 | fn quote_symbol(symbol: &str) -> Cow<'_, str> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/printer.rs:461:26 [INFO] [stdout] | [INFO] [stdout] 461 | fn escape_string(string: &str) -> Cow { [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] 461 | fn escape_string(string: &str) -> Cow<'_, str> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/proof.rs:87:17 [INFO] [stdout] | [INFO] [stdout] 87 | pub fn iter(&self) -> ProofIter { [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] 87 | pub fn iter(&self) -> ProofIter<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/checker/rules/cutting_planes.rs:490:22 [INFO] [stdout] | [INFO] [stdout] 490 | fn term_to_ctv(term: &Rc) -> Result { [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] 490 | fn term_to_ctv(term: &Rc) -> Result, Integer> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/checker/rules/cutting_planes.rs:517:32 [INFO] [stdout] | [INFO] [stdout] 517 | fn collect_addition_list(term: &Rc) -> Result, CheckerError> { [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] 517 | fn collect_addition_list(term: &Rc) -> Result>, CheckerError> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling carcara-cli v1.1.0 (/opt/rustwide/workdir/cli) [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/checker/rules/cutting_planes.rs:559:32 [INFO] [stdout] | [INFO] [stdout] 559 | fn flatten_addition_tree(term: &Rc) -> Result<(Vec, Integer), CheckerError> { [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] 559 | fn flatten_addition_tree(term: &Rc) -> Result<(Vec>, Integer), CheckerError> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling carcara v1.1.0 (/opt/rustwide/workdir/carcara) [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/context.rs:80:17 [INFO] [stdout] | [INFO] [stdout] 80 | pub fn last(&self) -> Option>> { [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] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 80 | pub fn last(&self) -> Option>> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/context.rs:86:21 [INFO] [stdout] | [INFO] [stdout] 86 | pub fn last_mut(&mut self) -> Option>> { [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] 86 | pub fn last_mut(&mut self) -> Option>> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/printer.rs:438:25 [INFO] [stdout] | [INFO] [stdout] 438 | fn quote_symbol(symbol: &str) -> Cow { [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] 438 | fn quote_symbol(symbol: &str) -> Cow<'_, str> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/printer.rs:461:26 [INFO] [stdout] | [INFO] [stdout] 461 | fn escape_string(string: &str) -> Cow { [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] 461 | fn escape_string(string: &str) -> Cow<'_, str> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/proof.rs:87:17 [INFO] [stdout] | [INFO] [stdout] 87 | pub fn iter(&self) -> ProofIter { [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] 87 | pub fn iter(&self) -> ProofIter<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/checker/rules/cutting_planes.rs:490:22 [INFO] [stdout] | [INFO] [stdout] 490 | fn term_to_ctv(term: &Rc) -> Result { [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] 490 | fn term_to_ctv(term: &Rc) -> Result, Integer> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/checker/rules/cutting_planes.rs:517:32 [INFO] [stdout] | [INFO] [stdout] 517 | fn collect_addition_list(term: &Rc) -> Result, CheckerError> { [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] 517 | fn collect_addition_list(term: &Rc) -> Result>, CheckerError> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/checker/rules/cutting_planes.rs:559:32 [INFO] [stdout] | [INFO] [stdout] 559 | fn flatten_addition_tree(term: &Rc) -> Result<(Vec, Integer), CheckerError> { [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] 559 | fn flatten_addition_tree(term: &Rc) -> Result<(Vec>, Integer), CheckerError> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 4.95s [INFO] running `Command { std: "docker" "inspect" "dd661405d699d57b56c285624171bcf564fdeba3080c78328e022de6ebc73cca", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "dd661405d699d57b56c285624171bcf564fdeba3080c78328e022de6ebc73cca", kill_on_drop: false }` [INFO] [stdout] dd661405d699d57b56c285624171bcf564fdeba3080c78328e022de6ebc73cca [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+e9385f9eea0221ef295a188d49d16f8f5189abf1" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 85ab16a40d96413d06c3242e38d43ebeb02a8fbfb531009c51a15c0aa651acb8 [INFO] running `Command { std: "docker" "start" "-a" "85ab16a40d96413d06c3242e38d43ebeb02a8fbfb531009c51a15c0aa651acb8", kill_on_drop: false }` [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> carcara/src/ast/context.rs:80:17 [INFO] [stderr] | [INFO] [stderr] 80 | pub fn last(&self) -> Option>> { [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] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 80 | pub fn last(&self) -> Option>> { [INFO] [stderr] | +++ [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> carcara/src/ast/context.rs:86:21 [INFO] [stderr] | [INFO] [stderr] 86 | pub fn last_mut(&mut self) -> Option>> { [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] 86 | pub fn last_mut(&mut self) -> Option>> { [INFO] [stderr] | +++ [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> carcara/src/ast/printer.rs:438:25 [INFO] [stderr] | [INFO] [stderr] 438 | fn quote_symbol(symbol: &str) -> Cow { [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] 438 | fn quote_symbol(symbol: &str) -> Cow<'_, str> { [INFO] [stderr] | +++ [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> carcara/src/ast/printer.rs:461:26 [INFO] [stderr] | [INFO] [stderr] 461 | fn escape_string(string: &str) -> Cow { [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] 461 | fn escape_string(string: &str) -> Cow<'_, str> { [INFO] [stderr] | +++ [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> carcara/src/ast/proof.rs:87:17 [INFO] [stderr] | [INFO] [stderr] 87 | pub fn iter(&self) -> ProofIter { [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] 87 | pub fn iter(&self) -> ProofIter<'_> { [INFO] [stderr] | ++++ [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> carcara/src/checker/rules/cutting_planes.rs:490:22 [INFO] [stderr] | [INFO] [stderr] 490 | fn term_to_ctv(term: &Rc) -> Result { [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] 490 | fn term_to_ctv(term: &Rc) -> Result, Integer> { [INFO] [stderr] | ++++ [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> carcara/src/checker/rules/cutting_planes.rs:517:32 [INFO] [stderr] | [INFO] [stderr] 517 | fn collect_addition_list(term: &Rc) -> Result, CheckerError> { [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] 517 | fn collect_addition_list(term: &Rc) -> Result>, CheckerError> { [INFO] [stderr] | ++++ [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> carcara/src/checker/rules/cutting_planes.rs:559:32 [INFO] [stderr] | [INFO] [stderr] 559 | fn flatten_addition_tree(term: &Rc) -> Result<(Vec, Integer), CheckerError> { [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] 559 | fn flatten_addition_tree(term: &Rc) -> Result<(Vec>, Integer), CheckerError> { [INFO] [stderr] | ++++ [INFO] [stderr] [INFO] [stderr] warning: `carcara` (lib) generated 8 warnings (run `cargo fix --lib -p carcara` to apply 8 suggestions) [INFO] [stderr] warning: `carcara` (lib test) generated 8 warnings (8 duplicates) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.05s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/carcara-47d3eac4c4bb533e) [INFO] [stdout] [INFO] [stdout] running 48 tests [INFO] [stdout] test ast::macros::tests::test_match_term ... ok [INFO] [stdout] test ast::printer::tests::test_sharing ... ok [INFO] [stdout] test ast::macros::tests::test_build_term ... ok [INFO] [stdout] test ast::tests::test_free_vars ... ok [INFO] [stdout] test checker::rules::cutting_planes::tests::flatten_addition_tree_single_constant ... ok [INFO] [stdout] test checker::rules::cutting_planes::tests::flatten_addition_tree_single_double_variable ... ok [INFO] [stdout] test checker::rules::cutting_planes::tests::flatten_addition_tree_single_negated_variable ... ok [INFO] [stdout] test ast::tests::test_node ... ok [INFO] [stdout] test checker::rules::cutting_planes::tests::flatten_addition_tree_single_plain_variable ... ok [INFO] [stdout] test parser::lexer::tests::test_bitvectors ... ok [INFO] [stdout] test parser::lexer::tests::test_comments ... ok [INFO] [stdout] test parser::lexer::tests::test_empty_input ... ok [INFO] [stdout] test parser::lexer::tests::test_quoted_symbols ... ok [INFO] [stdout] test parser::lexer::tests::test_numerals_and_decimals ... ok [INFO] [stdout] test parser::lexer::tests::test_reserved_words ... ok [INFO] [stdout] test parser::lexer::tests::test_simple_symbols_and_keywords ... ok [INFO] [stdout] test parser::lexer::tests::test_weird_unicode_escape_sequences ... ok [INFO] [stdout] test parser::lexer::tests::test_strings ... ok [INFO] [stdout] test parser::tests::test_assumes_after_steps_in_subproofs ... ok [INFO] [stdout] test parser::tests::test_arithmetic_ops ... ok [INFO] [stdout] test parser::tests::test_assume ... ok [INFO] [stdout] test parser::tests::test_annotated_terms ... ok [INFO] [stdout] test parser::tests::test_choice_terms ... ok [INFO] [stdout] test parser::tests::test_declare_sort ... ok [INFO] [stdout] test elaborator::uncrowding::tests::test_uncrowd_resolution ... ok [INFO] [stdout] test parser::tests::test_constant_terms ... ok [INFO] [stdout] test parser::tests::test_bitvectors ... ok [INFO] [stdout] test ast::substitution::tests::test_substitutions ... ok [INFO] [stdout] test parser::tests::test_declare_fun ... ok [INFO] [stdout] test parser::tests::test_hash_consing ... ok [INFO] [stdout] test parser::tests::test_ite ... ok [INFO] [stdout] test parser::tests::test_lambda_terms ... ok [INFO] [stdout] test parser::tests::test_premises_in_subproofs ... ok [INFO] [stdout] test parser::tests::test_define_fun ... ok [INFO] [stdout] test parser::tests::test_define_fun_rec ... ok [INFO] [stdout] test parser::tests::test_define_sort ... ok [INFO] [stdout] test parser::tests::test_proofs_with_extra_parens ... ok [INFO] [stdout] test parser::tests::test_let_terms ... ok [INFO] [stdout] test parser::tests::test_indexed_operators ... ok [INFO] [stdout] test parser::tests::test_qualified_operators ... ok [INFO] [stdout] test parser::tests::test_step ... ok [INFO] [stdout] test ast::tests::test_polyeq ... ok [INFO] [stdout] test parser::tests::test_quantifiers ... ok [INFO] [stdout] test parser::tests::test_logic_ops ... ok [INFO] [stdout] test checker::rules::quantifier::tests::conjunctive_normal_form ... ok [INFO] [stdout] test slice::tests::test_slice ... ok [INFO] [stdout] test benchmarking::tests::test_metrics_combine ... ok [INFO] [stdout] test benchmarking::tests::test_metrics_add ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 48 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 8.77s [INFO] [stdout] [INFO] [stderr] Running tests/test_example_files.rs (/opt/rustwide/target/debug/deps/test_example_files-d0527faa4144d4c6) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/test_proof.rs (/opt/rustwide/target/debug/deps/test_proof-61a28da9247a54e4) [INFO] [stdout] [INFO] [stdout] running 1 test [INFO] [stdout] test test_reached_empty_clause ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/test_rules.rs (/opt/rustwide/target/debug/deps/test_rules-c9cdff5c931fd4f2) [INFO] [stdout] [INFO] [stdout] running 178 tests [INFO] [stdout] test rules::clausification::implies ... ok [INFO] [stdout] test rules::clausification::not_implies1 ... ok [INFO] [stdout] test rules::clausification::xor1 ... ok [INFO] [stdout] test rules::clausification::not_xor1 ... ok [INFO] [stdout] test rules::clausification::not_implies2 ... ok [INFO] [stdout] test rules::clausification::not_and ... ok [INFO] [stdout] test rules::clausification::not_xor2 ... ok [INFO] [stdout] test rules::clausification::and ... ok [INFO] [stdout] test rules::clausification::distinct_elim ... ok [INFO] [stdout] test rules::clausification::xor2 ... ok [INFO] [stdout] test rules::clausification::not_or ... ok [INFO] [stdout] test rules::clausification::or ... ok [INFO] [stdout] test rules::bitvectors::extract ... ok [INFO] [stdout] test rules::bitvectors::ult ... ok [INFO] [stdout] test rules::clausification::nary_elim ... ok [INFO] [stdout] test rules::congruence::ho_cong ... ok [INFO] [stdout] test rules::clausification::bfun_elim ... ok [INFO] [stdout] test rules::cutting_planes::cp_literal ... ok [INFO] [stdout] test rules::extras::la_mult_pos ... ok [INFO] [stdout] test rules::drup::drup ... ok [INFO] [stdout] test rules::congruence::eq_congruent ... ok [INFO] [stdout] test rules::bitvectors::add ... ok [INFO] [stdout] test rules::congruence::cong ... ok [INFO] [stdout] test rules::extras::not_symm ... ok [INFO] [stdout] test rules::cutting_planes::cp_division ... ok [INFO] [stdout] test rules::congruence::eq_congruent_pred ... ok [INFO] [stdout] test rules::extras::symm ... ok [INFO] [stdout] test rules::extras::reordering ... ok [INFO] [stdout] test rules::extras::weakening ... ok [INFO] [stdout] test rules::extras::eq_symmetric ... ok [INFO] [stdout] test rules::linear_arithmetic::la_disequality ... ok [INFO] [stdout] test rules::extras::bind_let ... ok [INFO] [stdout] test rules::extras::mod_simplify ... ok [INFO] [stdout] test rules::linear_arithmetic::la_rw_eq ... ok [INFO] [stdout] test rules::linear_arithmetic::la_totality ... ok [INFO] [stdout] test rules::extras::la_mult_neg ... ok [INFO] [stdout] test rules::cutting_planes::cp_multiplication ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvand_2_short_circuit ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvand_2 ... ok [INFO] [stdout] test rules::linear_arithmetic::la_tautology ... ok [INFO] [stdout] test rules::cutting_planes::cp_addition ... ok [INFO] [stdout] test rules::cutting_planes::cp_saturation ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvand_1 ... ok [INFO] [stdout] test rules::linear_arithmetic::la_generic ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bveq_2_short_circuit ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bveq_2 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bveq_1 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bveq_1_short_circuit ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvand_8 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvand_ith_bit ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bveq_8_short_circuit ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bveq_8 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvsge_2_short_circuit ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvsgt_4 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvsge_2 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvuge_2 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvuge_1 ... ok [INFO] [stdout] test rules::cutting_planes::cp_normalize ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvsle_2 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvuge_2_short_circuit ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvsle_2_short_circuit ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvslt_2 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvsle_4 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvslt_2_short_circuit ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvugt_2_short_circuit ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvugt_2 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvugt_1 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvslt_4 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvule_2_short_circuit ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvsge_4 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvsgt_2_short_circuit ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvult_2_short_circuit ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvsgt_2 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvule_1 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvult_1 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvxor_1 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvuge_8 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvule_2 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvult_2 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_pbbconst_1 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_pbbconst_4 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_pbbconst_8 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_pbbvar_1 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_pbbvar_8 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvxor_2_short_circuit ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_pbbvar_2 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_pbbconst_2 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvule_8 ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvxor_2 ... ok [INFO] [stdout] test rules::quantifier::qnt_rm_unused ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvult_8 ... ok [INFO] [stdout] test rules::quantifier::qnt_cnf ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvugt_8 ... ok [INFO] [stdout] test rules::reflexivity::refl ... ok [INFO] [stdout] test rules::reflexivity::eq_reflexive ... ok [INFO] [stdout] test rules::resolution::strict_resolution ... ok [INFO] [stdout] test rules::quantifier::qnt_join ... ok [INFO] [stdout] test rules::quantifier::forall_inst ... ok [INFO] [stdout] test rules::resolution::tautology ... ok [INFO] [stdout] test rules::resolution::contraction ... ok [INFO] [stdout] test rules::simplification::ac_simp ... ok [INFO] [stdout] test rules::simplification::bool_simplify ... ok [INFO] [stdout] test rules::simplification::not_simplify ... ok [INFO] [stdout] test rules::simplification::equiv_simplify ... ok [INFO] [stdout] test rules::simplification::qnt_simplify ... ok [INFO] [stdout] test rules::simplification::implies_simplify ... ok [INFO] [stdout] test rules::simplification::ite_simplify ... ok [INFO] [stdout] test rules::simplification::eq_simplify ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvxor_ith_bit ... ok [INFO] [stdout] test rules::simplification::div_simplify ... ok [INFO] [stdout] test rules::resolution::resolution ... ok [INFO] [stdout] test rules::simplification::comp_simplify ... ok [INFO] [stdout] test rules::simplification::and_simplify ... ok [INFO] [stdout] test rules::pb_blasting::pbblast_bvxor_8 ... ok [INFO] [stdout] test rules::simplification::minus_simplify ... ok [INFO] [stdout] test rules::simplification::or_simplify ... ok [INFO] [stdout] test rules::simplification::prod_simplify ... ok [INFO] [stdout] test rules::simplification::sum_simplify ... ok [INFO] [stdout] test rules::strings::re_concat_unfold_pos ... ok [INFO] [stdout] test rules::strings::concat_csplit_prefix ... ok [INFO] [stdout] test rules::strings::re_inter ... ok [INFO] [stdout] test rules::strings::concat_csplit_suffix ... ok [INFO] [stdout] test rules::strings::concat_conflict ... ok [INFO] [stdout] test rules::strings::concat_cprop_prefix ... ok [INFO] [stdout] test rules::strings::concat_unify ... ok [INFO] [stdout] test rules::strings::concat_cprop_suffix ... ok [INFO] [stdout] test rules::strings::string_length_pos ... ok [INFO] [stdout] test rules::strings::re_kleene_star_unfold_pos ... ok [INFO] [stdout] test rules::subproof::sko_ex ... ok [INFO] [stdout] test rules::subproof::sko_forall ... ok [INFO] [stdout] test rules::subproof::r#let ... ok [INFO] [stdout] test rules::subproof::subproof ... ok [INFO] [stdout] test rules::subproof::bind ... ok [INFO] [stdout] test rules::tautology::and_neg ... ok [INFO] [stdout] test rules::tautology::equiv1 ... ok [INFO] [stdout] test rules::strings::concat_eq ... ok [INFO] [stdout] test rules::tautology::and_pos ... ok [INFO] [stdout] test rules::tautology::equiv_neg1 ... ok [INFO] [stdout] test rules::tautology::equiv_neg2 ... ok [INFO] [stdout] test rules::tautology::equiv2 ... ok [INFO] [stdout] test rules::strings::concat_lprop_suffix ... ok [INFO] [stdout] test rules::strings::string_length_non_empty ... ok [INFO] [stdout] test rules::subproof::onepoint ... ok [INFO] [stdout] test rules::tautology::connective_def ... ok [INFO] [stdout] test rules::strings::concat_split_suffix ... ok [INFO] [stdout] test rules::tautology::implies_neg1 ... ok [INFO] [stdout] test rules::tautology::equiv_pos1 ... ok [INFO] [stdout] test rules::tautology::equiv_pos2 ... ok [INFO] [stdout] test rules::tautology::ite1 ... ok [INFO] [stdout] test rules::tautology::implies_neg2 ... ok [INFO] [stdout] test rules::tautology::ite_neg1 ... ok [INFO] [stdout] test rules::tautology::implies_pos ... ok [INFO] [stdout] test rules::tautology::ite2 ... ok [INFO] [stdout] test rules::strings::concat_lprop_prefix ... ok [INFO] [stdout] test rules::strings::concat_split_prefix ... ok [INFO] [stdout] test rules::tautology::not_ite1 ... ok [INFO] [stdout] test rules::tautology::not_equiv2 ... ok [INFO] [stdout] test rules::tautology::ite_pos1 ... ok [INFO] [stdout] test rules::tautology::ite_neg2 ... ok [INFO] [stdout] test rules::strings::re_unfold_neg_concat_fixed_prefix ... ok [INFO] [stdout] test rules::tautology::ite_pos2 ... ok [INFO] [stdout] test rules::tautology::r#false ... ok [INFO] [stdout] test rules::tautology::not_equiv1 ... ok [INFO] [stdout] test rules::tautology::r#true ... ok [INFO] [stdout] test rules::tautology::not_ite2 ... ok [INFO] [stdout] test rules::tautology::or_neg ... ok [INFO] [stdout] test rules::strings::string_decompose ... ok [INFO] [stdout] test rules::tautology::not_not ... ok [INFO] [stdout] test rules::tautology::xor_pos1 ... ok [INFO] [stdout] test rules::tautology::or_pos ... ok [INFO] [stdout] test rules::tautology::xor_neg1 ... ok [INFO] [stdout] test rules::tautology::xor_pos2 ... ok [INFO] [stdout] test rules::tautology::xor_neg2 ... ok [INFO] [stdout] test rules::strings::re_unfold_neg_concat_fixed_suffix ... ok [INFO] [stdout] test rules::tautology::ite_intro ... ok [INFO] [stdout] test rules::transitivity::eq_transitive ... ok [INFO] [stdout] test rules::transitivity::trans ... ok [INFO] [stdout] test rules::strings::re_unfold_neg ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 178 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s [INFO] [stdout] [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/carcara-c0415985318331d3) [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/test_generator-37ba6354862080e7) [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] Doc-tests carcara [INFO] [stdout] [INFO] [stdout] running 9 tests [INFO] [stdout] test carcara/src/ast/macros.rs - ast::macros::match_term (line 23) ... ok [INFO] [stdout] test carcara/src/ast/macros.rs - ast::macros::build_term (line 270) ... ok [INFO] [stdout] test carcara/src/ast/macros.rs - ast::macros::match_term (line 63) ... ok [INFO] [stdout] test carcara/src/ast/macros.rs - ast::macros::match_term (line 43) ... ok [INFO] [stdout] test carcara/src/ast/macros.rs - ast::macros::match_term (line 31) ... ok [INFO] [stdout] test carcara/src/ast/rc.rs - ast::rc::Rc (line 33) ... ok [INFO] [stdout] test carcara/src/ast/iter.rs - ast::iter::ProofIter (line 16) ... ok [INFO] [stdout] test carcara/src/ast/rc.rs - ast::rc::Rc (line 47) ... ok [INFO] [stdout] test carcara/src/ast/macros.rs - ast::macros::match_term (line 51) ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.28s [INFO] [stdout] [INFO] [stderr] Doc-tests test_generator [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] running `Command { std: "docker" "inspect" "85ab16a40d96413d06c3242e38d43ebeb02a8fbfb531009c51a15c0aa651acb8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "85ab16a40d96413d06c3242e38d43ebeb02a8fbfb531009c51a15c0aa651acb8", kill_on_drop: false }` [INFO] [stdout] 85ab16a40d96413d06c3242e38d43ebeb02a8fbfb531009c51a15c0aa651acb8