[INFO] updating cached repository https://github.com/hopv/hoice
[INFO] running `"git" "-c" "credential.helper=" "-c" "credential.helper=/big/crater/work/cargo-home/bin/git-credential-null" "-c" "remote.origin.fetch=refs/heads/*:refs/heads/*" "fetch" "origin" "--force" "--prune"`
[INFO] running `"git" "rev-parse" "HEAD"`
[INFO] [stdout] 710f818fe8c58f6372afff85ce98f83b1ad72b5c
[INFO] testing hopv/hoice against beta-2019-09-28 for beta-1.39-1
[INFO] running `"git" "clone" "work/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhopv%2Fhoice" "work/builds/worker-7/source"`
[INFO] [stderr] Cloning into 'work/builds/worker-7/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/hopv/hoice on toolchain beta-2019-09-28
[INFO] running `"/big/crater/work/cargo-home/bin/cargo" "+beta-2019-09-28" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started tweaking git repo https://github.com/hopv/hoice
[INFO] finished tweaking git repo https://github.com/hopv/hoice
[INFO] tweaked toml for git repo https://github.com/hopv/hoice written to work/builds/worker-7/source/Cargo.toml
[INFO] crate git repo https://github.com/hopv/hoice already has a lockfile, it will not be regenerated
[INFO] running `"/big/crater/work/cargo-home/bin/cargo" "+beta-2019-09-28" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"docker" "create" "-v" "/big/crater/work/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/big/crater/work/builds/worker-7/source:/opt/rustwide/workdir:ro,Z" "-v" "/big/crater/work/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/big/crater/work/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2019-09-28" "build" "--frozen"`
[INFO] [stdout] d42d6e9b7b585d3f24286004fd2735ab0f583bca8ffdfe0304fb581569d95595
[INFO] running `"docker" "start" "-a" "d42d6e9b7b585d3f24286004fd2735ab0f583bca8ffdfe0304fb581569d95595"`
[INFO] [stderr]    Compiling mylib v0.1.0 (https://github.com/AdrienChampion/mylib#62fecec9)
[INFO] [stderr]    Compiling hashconsing v1.0.0
[INFO] [stderr]    Compiling error-chain v0.12.0
[INFO] [stderr]    Compiling rsmt2 v0.10.0
[INFO] [stderr]    Compiling hoice v1.8.1 (/opt/rustwide/workdir)
[INFO] [stderr] warning: the item `RefCell` is imported redundantly
[INFO] [stderr]    --> src/common/profiling.rs:263:13
[INFO] [stderr]     |
[INFO] [stderr] 229 | use std::cell::RefCell;
[INFO] [stderr]     |     ------------------ the item `RefCell` is already imported here
[INFO] [stderr] ...
[INFO] [stderr] 263 |         use std::cell::RefCell;
[INFO] [stderr]     |             ^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: the item `Extend` is imported redundantly
[INFO] [stderr]    --> src/instance/clause.rs:757:13
[INFO] [stderr]     |
[INFO] [stderr] 757 |         use std::iter::Extend;
[INFO] [stderr]     |             ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: the item `Extend` is imported redundantly
[INFO] [stderr]    --> src/instance/mod.rs:345:13
[INFO] [stderr]     |
[INFO] [stderr] 345 |         use std::iter::Extend;
[INFO] [stderr]     |             ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: the item `VarTermsSet` is imported redundantly
[INFO] [stderr]     --> src/instance/mod.rs:1436:21
[INFO] [stderr]      |
[INFO] [stderr] 3    | use crate::{common::*, data::Data, info::*, var_to::terms::VarTermsSet};
[INFO] [stderr]      |                                             -------------------------- the item `VarTermsSet` is already imported here
[INFO] [stderr] ...
[INFO] [stderr] 1436 |                 use crate::var_to::terms::VarTermsSet;
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: the item `Extend` is imported redundantly
[INFO] [stderr]   --> src/parse/ptterms.rs:92:13
[INFO] [stderr]    |
[INFO] [stderr] 92 |         use std::iter::Extend;
[INFO] [stderr]    |             ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: the item `Extend` is imported redundantly
[INFO] [stderr]    --> src/parse/ptterms.rs:120:13
[INFO] [stderr]     |
[INFO] [stderr] 120 |         use std::iter::Extend;
[INFO] [stderr]     |             ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: the item `One` is imported redundantly
[INFO] [stderr]    --> src/term/mod.rs:379:13
[INFO] [stderr]     |
[INFO] [stderr] 60  | use crate::common::*;
[INFO] [stderr]     |     ---------------- the item `One` is already imported here
[INFO] [stderr] ...
[INFO] [stderr] 379 |         use num::One;
[INFO] [stderr]     |             ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: the item `SubsumeExt` is imported redundantly
[INFO] [stderr]    --> src/unsat_core/entry_points.rs:182:13
[INFO] [stderr]     |
[INFO] [stderr] 17  | use crate::{common::*, data::sample::Sample};
[INFO] [stderr]     |             --------- the item `SubsumeExt` is already imported here
[INFO] [stderr] ...
[INFO] [stderr] 182 |         use crate::var_to::vals::SubsumeExt;
[INFO] [stderr]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: the item `One` is imported redundantly
[INFO] [stderr]    --> src/val/mod.rs:413:13
[INFO] [stderr]     |
[INFO] [stderr] 5   | use crate::common::*;
[INFO] [stderr]     |     ---------------- the item `One` is already imported here
[INFO] [stderr] ...
[INFO] [stderr] 413 |         use num::One;
[INFO] [stderr]     |             ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: the item `One` is imported redundantly
[INFO] [stderr]    --> src/val/mod.rs:514:13
[INFO] [stderr]     |
[INFO] [stderr] 5   | use crate::common::*;
[INFO] [stderr]     |     ---------------- the item `One` is already imported here
[INFO] [stderr] ...
[INFO] [stderr] 514 |         use num::One;
[INFO] [stderr]     |             ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: the item `One` is imported redundantly
[INFO] [stderr]    --> src/val/mod.rs:535:13
[INFO] [stderr]     |
[INFO] [stderr] 5   | use crate::common::*;
[INFO] [stderr]     |     ---------------- the item `One` is already imported here
[INFO] [stderr] ...
[INFO] [stderr] 535 |         use num::One;
[INFO] [stderr]     |             ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: the item `Zero` is imported redundantly
[INFO] [stderr]    --> src/val/mod.rs:637:13
[INFO] [stderr]     |
[INFO] [stderr] 5   | use crate::common::*;
[INFO] [stderr]     |     ---------------- the item `Zero` is already imported here
[INFO] [stderr] ...
[INFO] [stderr] 637 |         use num::Zero;
[INFO] [stderr]     |             ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: the item `One` is imported redundantly
[INFO] [stderr]    --> src/val/mod.rs:647:13
[INFO] [stderr]     |
[INFO] [stderr] 5   | use crate::common::*;
[INFO] [stderr]     |     ---------------- the item `One` is already imported here
[INFO] [stderr] ...
[INFO] [stderr] 647 |         use num::One;
[INFO] [stderr]     |             ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: the item `One` is imported redundantly
[INFO] [stderr]    --> src/val/mod.rs:657:13
[INFO] [stderr]     |
[INFO] [stderr] 5   | use crate::common::*;
[INFO] [stderr]     |     ---------------- the item `One` is already imported here
[INFO] [stderr] ...
[INFO] [stderr] 657 |         use num::One;
[INFO] [stderr]     |             ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: the item `Zero` is imported redundantly
[INFO] [stderr]    --> src/val/mod.rs:741:13
[INFO] [stderr]     |
[INFO] [stderr] 5   | use crate::common::*;
[INFO] [stderr]     |     ---------------- the item `Zero` is already imported here
[INFO] [stderr] ...
[INFO] [stderr] 741 |         use num::Zero;
[INFO] [stderr]     |             ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: the item `Signed` is imported redundantly
[INFO] [stderr]    --> src/val/mod.rs:825:13
[INFO] [stderr]     |
[INFO] [stderr] 5   | use crate::common::*;
[INFO] [stderr]     |     ---------------- the item `Signed` is already imported here
[INFO] [stderr] ...
[INFO] [stderr] 825 |         use num::Signed;
[INFO] [stderr]     |             ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: the item `Signed` is imported redundantly
[INFO] [stderr]    --> src/val/mod.rs:857:28
[INFO] [stderr]     |
[INFO] [stderr] 5   | use crate::common::*;
[INFO] [stderr]     |     ---------------- the item `Signed` is already imported here
[INFO] [stderr] ...
[INFO] [stderr] 857 |         use num::{Integer, Signed};
[INFO] [stderr]     |                            ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'core::str::<impl str>::trim_left': superseded by `trim_start`
[INFO] [stderr]    --> src/parse/mod.rs:566:32
[INFO] [stderr]     |
[INFO] [stderr] 566 |             let trimmed = rest.trim_left();
[INFO] [stderr]     |                                ^^^^^^^^^ help: replace the use of the deprecated item: `trim_start`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(deprecated)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'std::error::Error::cause': replaced by Error::source, which can support downcasting
[INFO] [stderr]    --> src/errors.rs:126:1
[INFO] [stderr]     |
[INFO] [stderr] 126 | / error_chain::error_chain! {
[INFO] [stderr] 127 | |     types {
[INFO] [stderr] 128 | |         Error, ErrorKind, ResultExt, Res ;
[INFO] [stderr] 129 | |     }
[INFO] [stderr] ...   |
[INFO] [stderr] 177 | |     }
[INFO] [stderr] 178 | | }
[INFO] [stderr]     | |_^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] error: could not compile `hoice`.
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --edition=2018 --crate-name hoice src/hoice.rs --color never --crate-type lib --emit=dep-info,metadata,link -C debuginfo=2 -C metadata=282193edd4b218f5 -C extra-filename=-282193edd4b218f5 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern ansi_term=/opt/rustwide/target/debug/deps/libansi_term-d783327a58311329.rmeta --extern atty=/opt/rustwide/target/debug/deps/libatty-b108b8ba7578514e.rmeta --extern clap=/opt/rustwide/target/debug/deps/libclap-05085d4ab5834c2a.rmeta --extern either=/opt/rustwide/target/debug/deps/libeither-ac6904c7287e7e10.rmeta --extern error_chain=/opt/rustwide/target/debug/deps/liberror_chain-fb9fa148b53db851.rmeta --extern hashconsing=/opt/rustwide/target/debug/deps/libhashconsing-ff39a6d99d802c16.rmeta --extern lazy_static=/opt/rustwide/target/debug/deps/liblazy_static-dc50c07bdb2aa9f0.rmeta --extern libc=/opt/rustwide/target/debug/deps/liblibc-a4d3cc06143ac2bb.rmeta --extern mylib=/opt/rustwide/target/debug/deps/libmylib-4b7f5b7973a9c0ca.rmeta --extern num=/opt/rustwide/target/debug/deps/libnum-1454de9dc4b400ac.rmeta --extern rand=/opt/rustwide/target/debug/deps/librand-f56a8a4615940378.rmeta --extern rand_xorshift=/opt/rustwide/target/debug/deps/librand_xorshift-57eff26591ee1926.rmeta --extern rsmt2=/opt/rustwide/target/debug/deps/librsmt2-c090266f45fa8050.rmeta --cap-lints=warn -L native=/opt/rustwide/target/debug/build/backtrace-sys-9fd26095f0b92246/out` (signal: 9, SIGKILL: kill)
[INFO] running `"docker" "inspect" "d42d6e9b7b585d3f24286004fd2735ab0f583bca8ffdfe0304fb581569d95595"`
[INFO] running `"docker" "rm" "-f" "d42d6e9b7b585d3f24286004fd2735ab0f583bca8ffdfe0304fb581569d95595"`
[INFO] [stdout] d42d6e9b7b585d3f24286004fd2735ab0f583bca8ffdfe0304fb581569d95595