[INFO] cloning repository https://github.com/edmugabi/flat-narrow
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/edmugabi/flat-narrow" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fedmugabi%2Fflat-narrow", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fedmugabi%2Fflat-narrow'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] acdf32b7a18e194c479f98e2607b2a63b271a540
[INFO] testing edmugabi/flat-narrow against 1.69.0 for beta-1.70-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fedmugabi%2Fflat-narrow" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/edmugabi/flat-narrow on toolchain 1.69.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.69.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/edmugabi/flat-narrow
[INFO] finished tweaking git repo https://github.com/edmugabi/flat-narrow
[INFO] tweaked toml for git repo https://github.com/edmugabi/flat-narrow written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/edmugabi/flat-narrow already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.69.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded disjoint-sets v0.4.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+1.69.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 1652a859dac6600c6aead812f7f1ab07d7961b65c98f42d795ae0e973331b9ce
[INFO] running `Command { std: "docker" "start" "-a" "1652a859dac6600c6aead812f7f1ab07d7961b65c98f42d795ae0e973331b9ce", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1652a859dac6600c6aead812f7f1ab07d7961b65c98f42d795ae0e973331b9ce", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1652a859dac6600c6aead812f7f1ab07d7961b65c98f42d795ae0e973331b9ce", kill_on_drop: false }`
[INFO] [stdout] 1652a859dac6600c6aead812f7f1ab07d7961b65c98f42d795ae0e973331b9ce
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+1.69.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 514bf87bc92c225155ffcc39906c866268e6789c852122826ad66b9e15fe3909
[INFO] running `Command { std: "docker" "start" "-a" "514bf87bc92c225155ffcc39906c866268e6789c852122826ad66b9e15fe3909", kill_on_drop: false }`
[INFO] [stderr]    Compiling memchr v2.3.4
[INFO] [stderr]    Compiling syn v1.0.90
[INFO] [stderr]    Compiling libc v0.2.121
[INFO] [stderr]    Compiling serde_derive v1.0.136
[INFO] [stderr]    Compiling radium v0.5.3
[INFO] [stderr]    Compiling serde v1.0.136
[INFO] [stderr]    Compiling log v0.4.16
[INFO] [stderr]    Compiling lexical-core v0.7.6
[INFO] [stderr]    Compiling arrayvec v0.5.2
[INFO] [stderr]    Compiling static_assertions v1.1.0
[INFO] [stderr]    Compiling funty v1.1.0
[INFO] [stderr]    Compiling nom v6.2.1
[INFO] [stderr]    Compiling wyz v0.2.0
[INFO] [stderr]    Compiling tap v1.0.1
[INFO] [stderr]    Compiling quote v1.0.17
[INFO] [stderr]    Compiling regex-syntax v0.6.25
[INFO] [stderr]    Compiling serde_json v1.0.79
[INFO] [stderr]    Compiling termcolor v1.1.3
[INFO] [stderr]    Compiling disjoint-sets v0.4.2
[INFO] [stderr]    Compiling bitvec v0.19.6
[INFO] [stderr]    Compiling aho-corasick v0.7.15
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling regex v1.4.6
[INFO] [stderr]    Compiling env_logger v0.8.4
[INFO] [stderr]    Compiling limi-prolog-impl v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `std::iter::once`
[INFO] [stdout]  --> src/flat_narrow/mod.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use std::iter::once;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition: `tvar`
[INFO] [stdout]   --> src/flat_narrow/term.rs:52:14
[INFO] [stdout]    |
[INFO] [stdout] 52 | macro_rules! tvar {
[INFO] [stdout]    |              ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_macros)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Symbol::*`
[INFO] [stdout]    --> src/flat_narrow/term.rs:209:13
[INFO] [stdout]     |
[INFO] [stdout] 209 |         use Symbol::*;
[INFO] [stdout]     |             ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::term::Symbol`
[INFO] [stdout]  --> src/flat_narrow/goal.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use super::term::Symbol;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `HashSet`
[INFO] [stdout]  --> src/flat_narrow/env.rs:2:34
[INFO] [stdout]   |
[INFO] [stdout] 2 | use std::collections::{BTreeMap, HashSet};
[INFO] [stdout]   |                                  ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `info`
[INFO] [stdout]  --> src/flat_narrow/cpoint.rs:5:18
[INFO] [stdout]   |
[INFO] [stdout] 5 | use log::{debug, info};
[INFO] [stdout]   |                  ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::term::Term`
[INFO] [stdout]  --> src/flat_narrow/cpoint.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use super::term::Term;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `is_alphanumeric`
[INFO] [stdout]  --> src/flat_narrow/parser/mod.rs:4:22
[INFO] [stdout]   |
[INFO] [stdout] 4 | use nom::character::{is_alphanumeric};
[INFO] [stdout]   |                      ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `alpha1`
[INFO] [stdout]  --> src/flat_narrow/parser/mod.rs:5:32
[INFO] [stdout]   |
[INFO] [stdout] 5 | use nom::character::complete::{alpha1, multispace0, satisfy};
[INFO] [stdout]   |                                ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `alphanumeric0`, `alphanumeric1`
[INFO] [stdout]  --> src/flat_narrow/parser/mod.rs:6:32
[INFO] [stdout]   |
[INFO] [stdout] 6 | use nom::character::complete::{alphanumeric0, alphanumeric1, space0, space1};
[INFO] [stdout]   |                                ^^^^^^^^^^^^^  ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `many_m_n`
[INFO] [stdout]  --> src/flat_narrow/parser/mod.rs:8:32
[INFO] [stdout]   |
[INFO] [stdout] 8 | use nom::multi::{many0, many1, many_m_n, separated_list0, separated_list1};
[INFO] [stdout]   |                                ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `separated_pair`
[INFO] [stdout]   --> src/flat_narrow/parser/mod.rs:10:50
[INFO] [stdout]    |
[INFO] [stdout] 10 | use nom::sequence::{tuple, preceded, terminated, separated_pair};
[INFO] [stdout]    |                                                  ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::fmt`
[INFO] [stdout]   --> src/flat_narrow/mod.rs:42:5
[INFO] [stdout]    |
[INFO] [stdout] 42 | use std::fmt;
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::BTreeSet`
[INFO] [stdout]   --> src/flat_narrow/mod.rs:43:5
[INFO] [stdout]    |
[INFO] [stdout] 43 | use std::collections::BTreeSet;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `json::ProgramItem`
[INFO] [stdout]   --> src/flat_narrow/mod.rs:50:5
[INFO] [stdout]    |
[INFO] [stdout] 50 | use json::ProgramItem;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[macro_use]` only has an effect on `extern crate` and modules
[INFO] [stdout]  --> src/flat_narrow/env.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 | #[macro_use]
[INFO] [stdout]   | ^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_attributes)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `symbols`
[INFO] [stdout]    --> src/flat_narrow/term.rs:119:22
[INFO] [stdout]     |
[INFO] [stdout] 119 |     fn subst_symbols(symbols: &mut [Symbol], env: &Env) {
[INFO] [stdout]     |                      ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_symbols`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `env`
[INFO] [stdout]    --> src/flat_narrow/term.rs:119:46
[INFO] [stdout]     |
[INFO] [stdout] 119 |     fn subst_symbols(symbols: &mut [Symbol], env: &Env) {
[INFO] [stdout]     |                                              ^^^ help: if this is intentional, prefix it with an underscore: `_env`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/flat_narrow/term.rs:159:29
[INFO] [stdout]     |
[INFO] [stdout] 159 |                         let t =  sym1.symbols.iter().cloned();
[INFO] [stdout]     |                             ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val2`
[INFO] [stdout]    --> src/flat_narrow/env.rs:146:39
[INFO] [stdout]     |
[INFO] [stdout] 146 |         w1.union_with(&mut w2, |val1, val2| val1);
[INFO] [stdout]     |                                       ^^^^ help: if this is intentional, prefix it with an underscore: `_val2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `var`
[INFO] [stdout]    --> src/flat_narrow/env.rs:149:36
[INFO] [stdout]     |
[INFO] [stdout] 149 |     fn insert_var_const(&mut self, var: String, cnst: String) {
[INFO] [stdout]     |                                    ^^^ help: if this is intentional, prefix it with an underscore: `_var`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cnst`
[INFO] [stdout]    --> src/flat_narrow/env.rs:149:49
[INFO] [stdout]     |
[INFO] [stdout] 149 |     fn insert_var_const(&mut self, var: String, cnst: String) {
[INFO] [stdout]     |                                                 ^^^^ help: if this is intentional, prefix it with an underscore: `_cnst`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `eq`
[INFO] [stdout]    --> src/flat_narrow/parser/mod.rs:204:13
[INFO] [stdout]     |
[INFO] [stdout] 204 |         let eq = Term { symbols: vec![Symbol::Const(eq.into())] };
[INFO] [stdout]     |             ^^ help: if this is intentional, prefix it with an underscore: `_eq`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/flat_narrow/cpoint.rs:240:20
[INFO] [stdout]     |
[INFO] [stdout] 240 |             .map( |mut cp: CPoint<'_>| cp.narrow())
[INFO] [stdout]     |                    ----^^
[INFO] [stdout]     |                    |
[INFO] [stdout]     |                    help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Left` and `Right` are never constructed
[INFO] [stdout]   --> src/flat_narrow/mod.rs:73:5
[INFO] [stdout]    |
[INFO] [stdout] 72 | enum Pos {
[INFO] [stdout]    |      --- variants in this enum
[INFO] [stdout] 73 |     Left,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 74 |     Right
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Pos` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `index` is never used
[INFO] [stdout]   --> src/flat_narrow/mod.rs:78:8
[INFO] [stdout]    |
[INFO] [stdout] 78 |     fn index(&self) -> usize {
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `alt_index` is never used
[INFO] [stdout]   --> src/flat_narrow/mod.rs:84:8
[INFO] [stdout]    |
[INFO] [stdout] 84 |     fn alt_index(&self) -> usize {
[INFO] [stdout]    |        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `subst_symbols` is never used
[INFO] [stdout]    --> src/flat_narrow/term.rs:119:8
[INFO] [stdout]     |
[INFO] [stdout] 119 |     fn subst_symbols(symbols: &mut [Symbol], env: &Env) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Variable` is never used
[INFO] [stdout]    --> src/flat_narrow/env.rs:133:6
[INFO] [stdout]     |
[INFO] [stdout] 133 | type Variable = disjoint_sets::UnionFindNode<Option<String>>;
[INFO] [stdout]     |      ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Sub` is never constructed
[INFO] [stdout]    --> src/flat_narrow/env.rs:134:8
[INFO] [stdout]     |
[INFO] [stdout] 134 | struct Sub {
[INFO] [stdout]     |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `insert_var_var` is never used
[INFO] [stdout]    --> src/flat_narrow/env.rs:139:8
[INFO] [stdout]     |
[INFO] [stdout] 139 |     fn insert_var_var(&mut self, v1: String, v2: String) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `insert_var_const` is never used
[INFO] [stdout]    --> src/flat_narrow/env.rs:149:8
[INFO] [stdout]     |
[INFO] [stdout] 149 |     fn insert_var_const(&mut self, var: String, cnst: String) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `FACTORIAL` is never used
[INFO] [stdout]    --> src/flat_narrow/cpoint.rs:272:7
[INFO] [stdout]     |
[INFO] [stdout] 272 | const FACTORIAL: &str = 
[INFO] [stdout]     |       ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_top` is never used
[INFO] [stdout]    --> src/flat_narrow/cpoint.rs:282:4
[INFO] [stdout]     |
[INFO] [stdout] 282 | fn parse_top(rules: &str, goal_str: &str) -> (Vec<Clause>, Goal) {
[INFO] [stdout]     |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `RESERVED_ESC` is never used
[INFO] [stdout]   --> src/flat_narrow/parser/mod.rs:38:7
[INFO] [stdout]    |
[INFO] [stdout] 38 | const RESERVED_ESC: [&str; 3] = ["\t", "\r", "\n"];
[INFO] [stdout]    |       ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `pequation` is never used
[INFO] [stdout]    --> src/flat_narrow/parser/mod.rs:247:4
[INFO] [stdout]     |
[INFO] [stdout] 247 | fn pequation(input: &str) -> IResult<&str, [Term;3]>
[INFO] [stdout]     |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `pquery` is never used
[INFO] [stdout]    --> src/flat_narrow/parser/mod.rs:260:4
[INFO] [stdout]     |
[INFO] [stdout] 260 | fn pquery(input: &str) -> IResult<&str, Term> {
[INFO] [stdout]     |    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `pprogram` is never used
[INFO] [stdout]    --> src/flat_narrow/parser/mod.rs:282:4
[INFO] [stdout]     |
[INFO] [stdout] 282 | fn pprogram(input: &str) -> IResult<&str, Vec<[Term;3]>> {
[INFO] [stdout]     |    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `pcond_program` is never used
[INFO] [stdout]    --> src/flat_narrow/parser/mod.rs:295:8
[INFO] [stdout]     |
[INFO] [stdout] 295 | pub fn pcond_program(input: &str) -> IResult<&str, Vec<Clause>> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `QUOTED_CHAR_NO_ESCAPE` should have a snake case name
[INFO] [stdout]   --> src/flat_narrow/parser/mod.rs:52:4
[INFO] [stdout]    |
[INFO] [stdout] 52 | fn QUOTED_CHAR_NO_ESCAPE() -> String {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `quoted_char_no_escape`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_snake_case)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `TRUE` should have a snake case name
[INFO] [stdout]    --> src/flat_narrow/parser/mod.rs:209:13
[INFO] [stdout]     |
[INFO] [stdout] 209 |         let TRUE = Term::from(Symbol::Const("true".into()));
[INFO] [stdout]     |             ^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: rename the identifier or convert it to a snake case raw identifier
[INFO] [stdout]     |
[INFO] [stdout] 209 |         let r#true = Term::from(Symbol::Const("true".into()));
[INFO] [stdout]     |             ~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `TRUE` should have a snake case name
[INFO] [stdout]    --> src/flat_narrow/parser/mod.rs:238:13
[INFO] [stdout]     |
[INFO] [stdout] 238 |         let TRUE = Term::from(Symbol::Const("true".into()));
[INFO] [stdout]     |             ^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: rename the identifier or convert it to a snake case raw identifier
[INFO] [stdout]     |
[INFO] [stdout] 238 |         let r#true = Term::from(Symbol::Const("true".into()));
[INFO] [stdout]     |             ~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 42 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 14.07s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: nom v6.2.1
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 1`
[INFO] running `Command { std: "docker" "inspect" "514bf87bc92c225155ffcc39906c866268e6789c852122826ad66b9e15fe3909", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "514bf87bc92c225155ffcc39906c866268e6789c852122826ad66b9e15fe3909", kill_on_drop: false }`
[INFO] [stdout] 514bf87bc92c225155ffcc39906c866268e6789c852122826ad66b9e15fe3909
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+1.69.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b9527401f014596a6e55f265997d30fae22a2771630a634e80a0757cbcfe982f
[INFO] running `Command { std: "docker" "start" "-a" "b9527401f014596a6e55f265997d30fae22a2771630a634e80a0757cbcfe982f", kill_on_drop: false }`
[INFO] [stderr]    Compiling limi-prolog-impl v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 2.28s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: nom v6.2.1
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 1`
[INFO] running `Command { std: "docker" "inspect" "b9527401f014596a6e55f265997d30fae22a2771630a634e80a0757cbcfe982f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b9527401f014596a6e55f265997d30fae22a2771630a634e80a0757cbcfe982f", kill_on_drop: false }`
[INFO] [stdout] b9527401f014596a6e55f265997d30fae22a2771630a634e80a0757cbcfe982f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+1.69.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 755faeb26eb796eb34d962b79ef7e7c1a0712831a3df794005657e73d95b73a5
[INFO] running `Command { std: "docker" "start" "-a" "755faeb26eb796eb34d962b79ef7e7c1a0712831a3df794005657e73d95b73a5", kill_on_drop: false }`
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.02s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: nom v6.2.1
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 1`
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/limi_prolog_impl-0ef078c647010b49)
[INFO] [stdout] 
[INFO] [stdout] running 33 tests
[INFO] [stdout] test flat_narrow::cpoint::factorial_test ... ok
[INFO] [stdout] test find_subterm::tests::find_subterm_test ... ok
[INFO] [stdout] test flat_narrow::clause::rename_test ... ok
[INFO] [stdout] test flat_narrow::env::tests::env_test ... ok
[INFO] [stdout] test flat_narrow::env::tests::compose_test ... ok
[INFO] [stdout] test flat_narrow::parser::test_parser::consts_test ... ok
[INFO] [stdout] test flat_narrow::json::test_json::json_test ... ok
[INFO] [stdout] test flat_narrow::parser::string_tests::test_pstring ... ok
[INFO] [stdout] test flat_narrow::parser::test_parser::eqn_test ... ok
[INFO] [stdout] test flat_narrow::parser::test_parser::p2cond_test ... ok
[INFO] [stdout] test flat_narrow::parser::test_parser::p1cond_test ... ok
[INFO] [stdout] test flat_narrow::parser::test_parser::plist_pattern_test ... ok
[INFO] [stdout] test flat_narrow::parser::test_parser::var_test ... ok
[INFO] [stdout] test flat_narrow::parser::test_parser::pprogram_test ... ok
[INFO] [stdout] test flat_narrow::pattern::index_tests ... ok
[INFO] [stdout] test flat_narrow::cpoint::program_tests ... ok
[INFO] [stdout] test flat_narrow::term::tests::rename_test ... ok
[INFO] [stdout] test flat_narrow::pattern::patt_term_unify_test ... ok
[INFO] [stdout] test flat_narrow::term::tests::symbol_tests ... ok
[INFO] [stdout] test flat_narrow::term::tests::term_test ... ok
[INFO] [stdout] test flat_narrow::term::tests::unify_lists_test ... ok
[INFO] [stdout] test parser::tests::pconds_test ... ok
[INFO] [stdout] test parser::tests::pdefinite_clause_test1 ... ok
[INFO] [stdout] test parser::tests::puser_input_test ... ok
[INFO] [stdout] test solve1::tests::narrow_test ... ok
[INFO] [stdout] test term::tests::unify1 ... ok
[INFO] [stdout] test term::tests::unify_test1 ... ok
[INFO] [stdout] test parser::tests::pdefinite_clause_test ... ok
[INFO] [stdout] test parser::tests::pterm_test1 ... ok
[INFO] [stdout] test tests::test_sld ... ok
[INFO] [stdout] test tests::sld_test2 ... ok
[INFO] [stdout] test flat_narrow::cpoint::pcond_prog_test ... ok
[INFO] [stdout] test solve::tests::solve_test1 ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- solve::tests::solve_test1 stdout ----
[INFO] [stdout] thread 'solve::tests::solve_test1' panicked at 'called `Result::unwrap()` on an `Err` value: Error(VerboseError { errors: [("> f(X) = a\n\n=> g(a) = a", Nom(Eof))] })', src/solve.rs:82:49
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5634dc4042fa - std::backtrace_rs::backtrace::libunwind::trace::ha9053a9a07ca49cb
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5
[INFO] [stdout]    1:     0x5634dc4042fa - std::backtrace_rs::backtrace::trace_unsynchronized::h9c2852a457ad564e
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x5634dc4042fa - std::sys_common::backtrace::_print_fmt::h457936fbfaa0070f
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/sys_common/backtrace.rs:65:5
[INFO] [stdout]    3:     0x5634dc4042fa - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h5779d7bf7f70cb0c
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stdout]    4:     0x5634dc427d1e - core::fmt::write::h5a4baaff1bcd3eb5
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/core/src/fmt/mod.rs:1232:17
[INFO] [stdout]    5:     0x5634dc401775 - std::io::Write::write_fmt::h478f79c628ef31d1
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/io/mod.rs:1684:15
[INFO] [stdout]    6:     0x5634dc4040c5 - std::sys_common::backtrace::_print::h5fcdc36060f177e8
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stdout]    7:     0x5634dc4040c5 - std::sys_common::backtrace::print::h54ca9458b876c8bf
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stdout]    8:     0x5634dc405e8f - std::panicking::default_hook::{{closure}}::hbe471161c7664ed6
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:271:22
[INFO] [stdout]    9:     0x5634dc405b4f - std::panicking::default_hook::ha3500da57aa4ac4f
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:287:9
[INFO] [stdout]   10:     0x5634dc3d3847 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hdf1b89dd137ece34
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/alloc/src/boxed.rs:2001:9
[INFO] [stdout]   11:     0x5634dc3d3847 - test::test_main::{{closure}}::h9081a79f20e75698
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/test/src/lib.rs:135:21
[INFO] [stdout]   12:     0x5634dc4065bd - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h6507bddc3eebb4a5
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/alloc/src/boxed.rs:2001:9
[INFO] [stdout]   13:     0x5634dc4065bd - std::panicking::rust_panic_with_hook::h50c09d000dc561d2
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:696:13
[INFO] [stdout]   14:     0x5634dc406339 - std::panicking::begin_panic_handler::{{closure}}::h9e2b2176e00e0d9c
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:583:13
[INFO] [stdout]   15:     0x5634dc404766 - std::sys_common::backtrace::__rust_end_short_backtrace::h5739b8e512c09d02
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/sys_common/backtrace.rs:150:18
[INFO] [stdout]   16:     0x5634dc406042 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:579:5
[INFO] [stdout]   17:     0x5634dc266c03 - core::panicking::panic_fmt::hf33a1475b4dc5c3e
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/core/src/panicking.rs:64:14
[INFO] [stdout]   18:     0x5634dc267053 - core::result::unwrap_failed::hdff5465d74574b44
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/core/src/result.rs:1750:5
[INFO] [stdout]   19:     0x5634dc3679a9 - core::result::Result<T,E>::unwrap::h4be4b2df08448158
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/core/src/result.rs:1090:23
[INFO] [stdout]   20:     0x5634dc2fa146 - limi_prolog_impl::solve::tests::solve_test1::hb2b5ca9dd9d56e98
[INFO] [stdout]                                at /opt/rustwide/workdir/src/solve.rs:82:31
[INFO] [stdout]   21:     0x5634dc2fa0e7 - limi_prolog_impl::solve::tests::solve_test1::{{closure}}::hfa7f3a12dcf2a888
[INFO] [stdout]                                at /opt/rustwide/workdir/src/solve.rs:81:22
[INFO] [stdout]   22:     0x5634dc2e4d85 - core::ops::function::FnOnce::call_once::hb6e5074f782db50e
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x5634dc3d8c2f - core::ops::function::FnOnce::call_once::h7d969581be7d0075
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x5634dc3d8c2f - test::__rust_begin_short_backtrace::hca25a52684e56655
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/test/src/lib.rs:656:18
[INFO] [stdout]   25:     0x5634dc3aa24c - test::run_test::{{closure}}::ha8ac744c4af1a4bb
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/test/src/lib.rs:647:30
[INFO] [stdout]   26:     0x5634dc3aa24c - core::ops::function::FnOnce::call_once{{vtable.shim}}::h7b411a9ed45bdecf
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   27:     0x5634dc3d7bf6 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hd05328869a8ed200
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/alloc/src/boxed.rs:1987:9
[INFO] [stdout]   28:     0x5634dc3d7bf6 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h0c601ce20bd5b2be
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/core/src/panic/unwind_safe.rs:271:9
[INFO] [stdout]   29:     0x5634dc3d7bf6 - std::panicking::try::do_call::ha4be5c164fe30854
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:487:40
[INFO] [stdout]   30:     0x5634dc3d7bf6 - std::panicking::try::h604546f3609af05f
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:451:19
[INFO] [stdout]   31:     0x5634dc3d7bf6 - std::panic::catch_unwind::h5bfa8afe44c9c2f9
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panic.rs:140:14
[INFO] [stdout]   32:     0x5634dc3d7bf6 - test::run_test_in_process::hd50dee55dd63e6aa
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/test/src/lib.rs:679:27
[INFO] [stdout]   33:     0x5634dc3d7bf6 - test::run_test::run_test_inner::{{closure}}::h4aa0f433aa85cea8
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/test/src/lib.rs:573:39
[INFO] [stdout]   34:     0x5634dc3a48c1 - test::run_test::run_test_inner::{{closure}}::had56431adf24b4d6
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/test/src/lib.rs:600:37
[INFO] [stdout]   35:     0x5634dc3a48c1 - std::sys_common::backtrace::__rust_begin_short_backtrace::ha8d9890e0c73bf13
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/sys_common/backtrace.rs:134:18
[INFO] [stdout]   36:     0x5634dc3aa2db - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h251832bcb4a95327
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/thread/mod.rs:560:17
[INFO] [stdout]   37:     0x5634dc3aa2db - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h8fdff598fa414831
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/core/src/panic/unwind_safe.rs:271:9
[INFO] [stdout]   38:     0x5634dc3aa2db - std::panicking::try::do_call::h455dd2f7764a950f
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:487:40
[INFO] [stdout]   39:     0x5634dc3aa2db - std::panicking::try::had6f23b7b73ae72a
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panicking.rs:451:19
[INFO] [stdout]   40:     0x5634dc3aa2db - std::panic::catch_unwind::ha6a5ca3915b4dad0
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/panic.rs:140:14
[INFO] [stdout]   41:     0x5634dc3aa2db - std::thread::Builder::spawn_unchecked_::{{closure}}::h883b72ef75da6231
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/thread/mod.rs:559:30
[INFO] [stdout]   42:     0x5634dc3aa2db - core::ops::function::FnOnce::call_once{{vtable.shim}}::hb7dff73dc8bd2ccb
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x5634dc40a923 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h39990b24eedef2ab
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/alloc/src/boxed.rs:1987:9
[INFO] [stdout]   44:     0x5634dc40a923 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h01a027258444143b
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/alloc/src/boxed.rs:1987:9
[INFO] [stdout]   45:     0x5634dc40a923 - std::sys::unix::thread::Thread::new::thread_start::ha4f1cdd9c25884ba
[INFO] [stdout]                                at /rustc/84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc/library/std/src/sys/unix/thread.rs:108:17
[INFO] [stdout]   46:     0x7f44a88f5b43 - <unknown>
[INFO] [stdout]   47:     0x7f44a8986bb4 - __clone
[INFO] [stdout]   48:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     solve::tests::solve_test1
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 32 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--bin limi-prolog-impl`
[INFO] running `Command { std: "docker" "inspect" "755faeb26eb796eb34d962b79ef7e7c1a0712831a3df794005657e73d95b73a5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "755faeb26eb796eb34d962b79ef7e7c1a0712831a3df794005657e73d95b73a5", kill_on_drop: false }`
[INFO] [stdout] 755faeb26eb796eb34d962b79ef7e7c1a0712831a3df794005657e73d95b73a5
