[INFO] cloning repository https://github.com/hopv/hoice
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/hopv/hoice" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhopv%2Fhoice", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhopv%2Fhoice'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 1c9a5d1975affdcf819bf1526f936142564266f4
[INFO] testing hopv/hoice against beta-2022-04-10 for beta-1.61-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhopv%2Fhoice" "/workspace/builds/worker-20/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-20/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/hopv/hoice on toolchain beta-2022-04-10
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-04-10" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[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 /workspace/builds/worker-20/source/Cargo.toml
[INFO] crate git repo https://github.com/hopv/hoice already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-04-10" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-20/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-20/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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 60431da553b5d7944f370454475f5d608885fbad50c5d68d2569088f4bf4e6d7
[INFO] running `Command { std: "docker" "start" "-a" "60431da553b5d7944f370454475f5d608885fbad50c5d68d2569088f4bf4e6d7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "60431da553b5d7944f370454475f5d608885fbad50c5d68d2569088f4bf4e6d7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "60431da553b5d7944f370454475f5d608885fbad50c5d68d2569088f4bf4e6d7", kill_on_drop: false }`
[INFO] [stdout] 60431da553b5d7944f370454475f5d608885fbad50c5d68d2569088f4bf4e6d7
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-20/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-20/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" "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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7d21f8de901a09cb1cad8ffdb7dbaedfec395f36e88ebc51cfd2b7ca9fb5245a
[INFO] running `Command { std: "docker" "start" "-a" "7d21f8de901a09cb1cad8ffdb7dbaedfec395f36e88ebc51cfd2b7ca9fb5245a", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]    Compiling libc v0.2.93
[INFO] [stderr]    Compiling getrandom v0.2.2
[INFO] [stderr]    Compiling object v0.23.0
[INFO] [stderr]    Compiling unicode-width v0.1.8
[INFO] [stderr]    Compiling ansi_term v0.12.1
[INFO] [stderr]    Compiling num-traits v0.2.14
[INFO] [stderr]    Compiling num-integer v0.1.44
[INFO] [stderr]    Compiling num-bigint v0.4.0
[INFO] [stderr]    Compiling num-rational v0.4.0
[INFO] [stderr]    Compiling num-iter v0.1.42
[INFO] [stderr]    Compiling error-chain v0.12.4
[INFO] [stderr]    Compiling addr2line v0.14.1
[INFO] [stderr]    Compiling hashconsing v1.3.0
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling mylib v0.1.0 (https://github.com/AdrienChampion/mylib#62fecec9)
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling clap v2.33.3
[INFO] [stderr]    Compiling rand_core v0.6.2
[INFO] [stderr]    Compiling rand_chacha v0.3.0
[INFO] [stderr]    Compiling rand_xorshift v0.3.0
[INFO] [stderr]    Compiling num-complex v0.4.0
[INFO] [stderr]    Compiling rand v0.8.3
[INFO] [stderr]    Compiling backtrace v0.3.56
[INFO] [stderr]    Compiling rsmt2 v0.12.0
[INFO] [stderr]    Compiling num v0.4.0
[INFO] [stderr]    Compiling hoice v1.9.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/common/macros.rs:362:38
[INFO] [stdout]     |
[INFO] [stdout] 362 |       $slf.msg( format!( $($tt)* ) ) ? ;
[INFO] [stdout]     |                                        ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/learning/ice.rs:359:9
[INFO] [stdout]     |
[INFO] [stdout] 359 | /         msg! { @verb
[INFO] [stdout] 360 | |             self =>
[INFO] [stdout] 361 | |             "starting learning\n  \
[INFO] [stdout] 362 | |             simple:      {},\n  \
[INFO] [stdout] ...   |
[INFO] [stdout] 365 | |             simple, sorted, skip_prelim
[INFO] [stdout] 366 | |         }
[INFO] [stdout]     | |_________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(semicolon_in_expressions_from_macros)]` on by default
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stdout]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/common/macros.rs:362:38
[INFO] [stdout]     |
[INFO] [stdout] 362 |       $slf.msg( format!( $($tt)* ) ) ? ;
[INFO] [stdout]     |                                        ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/learning/ice.rs:381:13
[INFO] [stdout]     |
[INFO] [stdout] 381 | /             msg! {
[INFO] [stdout] 382 | |                 debug self =>
[INFO] [stdout] 383 | |                 "{}: {} unclassified, {} classified",
[INFO] [stdout] 384 | |                 self.instance[pred], _unc, _cla
[INFO] [stdout] 385 | |             }
[INFO] [stdout]     | |_____________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stdout]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/common/macros.rs:359:20
[INFO] [stdout]     |
[INFO] [stdout] 359 |     $slf.msg($e) ? ;
[INFO] [stdout]     |                    ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/learning/ice.rs:430:25
[INFO] [stdout]     |
[INFO] [stdout] 430 |                         msg! { debug self => "legal_pred (1)" }
[INFO] [stdout]     |                         --------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stdout]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/common/macros.rs:362:38
[INFO] [stdout]     |
[INFO] [stdout] 362 |       $slf.msg( format!( $($tt)* ) ) ? ;
[INFO] [stdout]     |                                        ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/learning/ice.rs:433:29
[INFO] [stdout]     |
[INFO] [stdout] 433 | / ...                   msg! { @verb
[INFO] [stdout] 434 | | ...                       self =>
[INFO] [stdout] 435 | | ...                       "{} only has negative ({}) and unclassified ({}) data\n\
[INFO] [stdout] 436 | | ...                       legal check ok, assuming everything negative",
[INFO] [stdout] 437 | | ...                       self.instance[pred], neg_len, unc_len
[INFO] [stdout] 438 | | ...                   }
[INFO] [stdout]     | |_______________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stdout]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/common/macros.rs:359:20
[INFO] [stdout]     |
[INFO] [stdout] 359 |     $slf.msg($e) ? ;
[INFO] [stdout]     |                    ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/learning/ice.rs:455:25
[INFO] [stdout]     |
[INFO] [stdout] 455 |                         msg! { debug self => "legal_pred (2)" }
[INFO] [stdout]     |                         --------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stdout]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/common/macros.rs:362:38
[INFO] [stdout]     |
[INFO] [stdout] 362 |       $slf.msg( format!( $($tt)* ) ) ? ;
[INFO] [stdout]     |                                        ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/learning/ice.rs:458:29
[INFO] [stdout]     |
[INFO] [stdout] 458 | / ...                   msg! { @verb
[INFO] [stdout] 459 | | ...                       self =>
[INFO] [stdout] 460 | | ...                       "{} only has positive ({}) and unclassified ({}) data\n\
[INFO] [stdout] 461 | | ...                       legal check ok, assuming everything positive",
[INFO] [stdout] 462 | | ...                       self.instance[pred], pos_len, unc_len
[INFO] [stdout] 463 | | ...                   }
[INFO] [stdout]     | |_______________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stdout]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/common/macros.rs:362:38
[INFO] [stdout]     |
[INFO] [stdout] 362 |       $slf.msg( format!( $($tt)* ) ) ? ;
[INFO] [stdout]     |                                        ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/learning/ice.rs:559:9
[INFO] [stdout]     |
[INFO] [stdout] 559 | /         msg! { @verb
[INFO] [stdout] 560 | |             self =>
[INFO] [stdout] 561 | |             "working on predicate {} (pos: {}, neg: {}, unc: {})",
[INFO] [stdout] 562 | |             self.instance[pred], data.pos().len(), data.neg().len(), data.unc().len()
[INFO] [stdout] 563 | |         }
[INFO] [stdout]     | |_________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stdout]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/term/eval.rs:43:46
[INFO] [stdout]     |
[INFO] [stdout] 43  |         return Ok(ZipDo::Dwn { nu_term: $e });
[INFO] [stdout]     |                                              ^
[INFO] [stdout] ...
[INFO] [stdout] 237 |                                 go!(down t)
[INFO] [stdout]     |                                 ----------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stdout]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/term/eval.rs:43:46
[INFO] [stdout]     |
[INFO] [stdout] 43  |         return Ok(ZipDo::Dwn { nu_term: $e });
[INFO] [stdout]     |                                              ^
[INFO] [stdout] ...
[INFO] [stdout] 239 |                                 go!(down e)
[INFO] [stdout]     |                                 ----------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stdout]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/term/eval.rs:40:46
[INFO] [stdout]     |
[INFO] [stdout] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stdout]     |                                              ^
[INFO] [stdout] ...
[INFO] [stdout] 252 |                             go!(up val::none(t.typ()))
[INFO] [stdout]     |                             -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stdout]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/term/eval.rs:40:46
[INFO] [stdout]     |
[INFO] [stdout] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stdout]     |                                              ^
[INFO] [stdout] ...
[INFO] [stdout] 267 |                     Some(false) => go!( up val::bool(false) ),
[INFO] [stdout]     |                                    -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/term/eval.rs:40:46
[INFO] [stdout]     |
[INFO] [stdout] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stdout]     |                                              ^
[INFO] [stdout] ...
[INFO] [stdout] 280 |                     Some(true) => go!( up val::bool(true) ),
[INFO] [stdout]     |                                   ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/term/eval.rs:40:46
[INFO] [stdout]     |
[INFO] [stdout] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stdout]     |                                              ^
[INFO] [stdout] ...
[INFO] [stdout] 292 |                     go!( up last.clone() )
[INFO] [stdout]     |                     ---------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stdout]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/term/eval.rs:40:46
[INFO] [stdout]     |
[INFO] [stdout] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stdout]     |                                              ^
[INFO] [stdout] ...
[INFO] [stdout] 301 |                     go!( up last.clone() )
[INFO] [stdout]     |                     ---------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stdout]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/term/eval.rs:40:46
[INFO] [stdout]     |
[INFO] [stdout] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stdout]     |                                              ^
[INFO] [stdout] ...
[INFO] [stdout] 310 |                     go!( up val::bool(true) )
[INFO] [stdout]     |                     ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stdout]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/term/eval.rs:40:46
[INFO] [stdout]     |
[INFO] [stdout] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stdout]     |                                              ^
[INFO] [stdout] ...
[INFO] [stdout] 320 |                             go!( up val::bool(false) )
[INFO] [stdout]     |                             -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stdout]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused attribute `allow`
[INFO] [stdout]    --> src/val.rs:899:9
[INFO] [stdout]     |
[INFO] [stdout] 899 |         #[allow(unused_parens)]
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_attributes)]` on by default
[INFO] [stdout] note: the built-in attribute `allow` will be ignored, since it's applied to the macro invocation `arith_bin_rel`
[INFO] [stdout]    --> src/val.rs:900:9
[INFO] [stdout]     |
[INFO] [stdout] 900 |         arith_bin_rel! { * self, gt, * other.get() }
[INFO] [stdout]     |         ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 17 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 31.99s
[INFO] running `Command { std: "docker" "inspect" "7d21f8de901a09cb1cad8ffdb7dbaedfec395f36e88ebc51cfd2b7ca9fb5245a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7d21f8de901a09cb1cad8ffdb7dbaedfec395f36e88ebc51cfd2b7ca9fb5245a", kill_on_drop: false }`
[INFO] [stdout] 7d21f8de901a09cb1cad8ffdb7dbaedfec395f36e88ebc51cfd2b7ca9fb5245a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-20/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-20/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" "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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c3b6d6d525b8ad40621b49c7c6bebc116a58ea397a04ab93b3d07030f5320d5a
[INFO] running `Command { std: "docker" "start" "-a" "c3b6d6d525b8ad40621b49c7c6bebc116a58ea397a04ab93b3d07030f5320d5a", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/common/macros.rs:362:38
[INFO] [stdout]     |
[INFO] [stdout] 362 |       $slf.msg( format!( $($tt)* ) ) ? ;
[INFO] [stdout]     |                                        ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/learning/ice.rs:359:9
[INFO] [stdout]     |
[INFO] [stdout] 359 | /         msg! { @verb
[INFO] [stdout] 360 | |             self =>
[INFO] [stdout] 361 | |             "starting learning\n  \
[INFO] [stdout] 362 | |             simple:      {},\n  \
[INFO] [stdout] ...   |
[INFO] [stdout] 365 | |             simple, sorted, skip_prelim
[INFO] [stdout] 366 | |         }
[INFO] [stdout]     | |_________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(semicolon_in_expressions_from_macros)]` on by default
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stdout]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/common/macros.rs:362:38
[INFO] [stdout]     |
[INFO] [stdout] 362 |       $slf.msg( format!( $($tt)* ) ) ? ;
[INFO] [stdout]     |                                        ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/learning/ice.rs:381:13
[INFO] [stdout]     |
[INFO] [stdout] 381 | /             msg! {
[INFO] [stdout] 382 | |                 debug self =>
[INFO] [stdout] 383 | |                 "{}: {} unclassified, {} classified",
[INFO] [stdout] 384 | |                 self.instance[pred], _unc, _cla
[INFO] [stdout] 385 | |             }
[INFO] [stdout]     | |_____________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stdout]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/common/macros.rs:359:20
[INFO] [stdout]     |
[INFO] [stdout] 359 |     $slf.msg($e) ? ;
[INFO] [stdout]     |                    ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/learning/ice.rs:430:25
[INFO] [stdout]     |
[INFO] [stdout] 430 |                         msg! { debug self => "legal_pred (1)" }
[INFO] [stdout]     |                         --------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stdout]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/common/macros.rs:362:38
[INFO] [stdout]     |
[INFO] [stdout] 362 |       $slf.msg( format!( $($tt)* ) ) ? ;
[INFO] [stdout]     |                                        ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/learning/ice.rs:433:29
[INFO] [stdout]     |
[INFO] [stdout] 433 | / ...                   msg! { @verb
[INFO] [stdout] 434 | | ...                       self =>
[INFO] [stdout] 435 | | ...                       "{} only has negative ({}) and unclassified ({}) data\n\
[INFO] [stdout] 436 | | ...                       legal check ok, assuming everything negative",
[INFO] [stdout] 437 | | ...                       self.instance[pred], neg_len, unc_len
[INFO] [stdout] 438 | | ...                   }
[INFO] [stdout]     | |_______________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stdout]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/common/macros.rs:359:20
[INFO] [stdout]     |
[INFO] [stdout] 359 |     $slf.msg($e) ? ;
[INFO] [stdout]     |                    ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/learning/ice.rs:455:25
[INFO] [stdout]     |
[INFO] [stdout] 455 |                         msg! { debug self => "legal_pred (2)" }
[INFO] [stdout]     |                         --------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stdout]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/common/macros.rs:362:38
[INFO] [stdout]     |
[INFO] [stdout] 362 |       $slf.msg( format!( $($tt)* ) ) ? ;
[INFO] [stdout]     |                                        ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/learning/ice.rs:458:29
[INFO] [stdout]     |
[INFO] [stdout] 458 | / ...                   msg! { @verb
[INFO] [stdout] 459 | | ...                       self =>
[INFO] [stdout] 460 | | ...                       "{} only has positive ({}) and unclassified ({}) data\n\
[INFO] [stdout] 461 | | ...                       legal check ok, assuming everything positive",
[INFO] [stdout] 462 | | ...                       self.instance[pred], pos_len, unc_len
[INFO] [stdout] 463 | | ...                   }
[INFO] [stdout]     | |_______________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stdout]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/common/macros.rs:362:38
[INFO] [stdout]     |
[INFO] [stdout] 362 |       $slf.msg( format!( $($tt)* ) ) ? ;
[INFO] [stdout]     |                                        ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/learning/ice.rs:559:9
[INFO] [stdout]     |
[INFO] [stdout] 559 | /         msg! { @verb
[INFO] [stdout] 560 | |             self =>
[INFO] [stdout] 561 | |             "working on predicate {} (pos: {}, neg: {}, unc: {})",
[INFO] [stdout] 562 | |             self.instance[pred], data.pos().len(), data.neg().len(), data.unc().len()
[INFO] [stdout] 563 | |         }
[INFO] [stdout]     | |_________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stdout]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/term/eval.rs:43:46
[INFO] [stdout]     |
[INFO] [stdout] 43  |         return Ok(ZipDo::Dwn { nu_term: $e });
[INFO] [stdout]     |                                              ^
[INFO] [stdout] ...
[INFO] [stdout] 237 |                                 go!(down t)
[INFO] [stdout]     |                                 ----------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stdout]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/term/eval.rs:43:46
[INFO] [stdout]     |
[INFO] [stdout] 43  |         return Ok(ZipDo::Dwn { nu_term: $e });
[INFO] [stdout]     |                                              ^
[INFO] [stdout] ...
[INFO] [stdout] 239 |                                 go!(down e)
[INFO] [stdout]     |                                 ----------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stdout]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/term/eval.rs:40:46
[INFO] [stdout]     |
[INFO] [stdout] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stdout]     |                                              ^
[INFO] [stdout] ...
[INFO] [stdout] 252 |                             go!(up val::none(t.typ()))
[INFO] [stdout]     |                             -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stdout]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/term/eval.rs:40:46
[INFO] [stdout]     |
[INFO] [stdout] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stdout]     |                                              ^
[INFO] [stdout] ...
[INFO] [stdout] 267 |                     Some(false) => go!( up val::bool(false) ),
[INFO] [stdout]     |                                    -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/term/eval.rs:40:46
[INFO] [stdout]     |
[INFO] [stdout] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stdout]     |                                              ^
[INFO] [stdout] ...
[INFO] [stdout] 280 |                     Some(true) => go!( up val::bool(true) ),
[INFO] [stdout]     |                                   ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/term/eval.rs:40:46
[INFO] [stdout]     |
[INFO] [stdout] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stdout]     |                                              ^
[INFO] [stdout] ...
[INFO] [stdout] 292 |                     go!( up last.clone() )
[INFO] [stdout]     |                     ---------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stdout]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/term/eval.rs:40:46
[INFO] [stdout]     |
[INFO] [stdout] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stdout]     |                                              ^
[INFO] [stdout] ...
[INFO] [stdout] 301 |                     go!( up last.clone() )
[INFO] [stdout]     |                     ---------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stdout]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/term/eval.rs:40:46
[INFO] [stdout]     |
[INFO] [stdout] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stdout]     |                                              ^
[INFO] [stdout] ...
[INFO] [stdout] 310 |                     go!( up val::bool(true) )
[INFO] [stdout]     |                     ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stdout]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling hoice v1.9.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/term/eval.rs:40:46
[INFO] [stdout]     |
[INFO] [stdout] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stdout]     |                                              ^
[INFO] [stdout] ...
[INFO] [stdout] 320 |                             go!( up val::bool(false) )
[INFO] [stdout]     |                             -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stdout]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused attribute `allow`
[INFO] [stdout]    --> src/val.rs:899:9
[INFO] [stdout]     |
[INFO] [stdout] 899 |         #[allow(unused_parens)]
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_attributes)]` on by default
[INFO] [stdout] note: the built-in attribute `allow` will be ignored, since it's applied to the macro invocation `arith_bin_rel`
[INFO] [stdout]    --> src/val.rs:900:9
[INFO] [stdout]     |
[INFO] [stdout] 900 |         arith_bin_rel! { * self, gt, * other.get() }
[INFO] [stdout]     |         ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 17 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/common/macros.rs:362:38
[INFO] [stdout]     |
[INFO] [stdout] 362 |       $slf.msg( format!( $($tt)* ) ) ? ;
[INFO] [stdout]     |                                        ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/learning/ice.rs:359:9
[INFO] [stdout]     |
[INFO] [stdout] 359 | /         msg! { @verb
[INFO] [stdout] 360 | |             self =>
[INFO] [stdout] 361 | |             "starting learning\n  \
[INFO] [stdout] 362 | |             simple:      {},\n  \
[INFO] [stdout] ...   |
[INFO] [stdout] 365 | |             simple, sorted, skip_prelim
[INFO] [stdout] 366 | |         }
[INFO] [stdout]     | |_________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(semicolon_in_expressions_from_macros)]` on by default
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stdout]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/common/macros.rs:362:38
[INFO] [stdout]     |
[INFO] [stdout] 362 |       $slf.msg( format!( $($tt)* ) ) ? ;
[INFO] [stdout]     |                                        ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/learning/ice.rs:381:13
[INFO] [stdout]     |
[INFO] [stdout] 381 | /             msg! {
[INFO] [stdout] 382 | |                 debug self =>
[INFO] [stdout] 383 | |                 "{}: {} unclassified, {} classified",
[INFO] [stdout] 384 | |                 self.instance[pred], _unc, _cla
[INFO] [stdout] 385 | |             }
[INFO] [stdout]     | |_____________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stdout]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/common/macros.rs:359:20
[INFO] [stdout]     |
[INFO] [stdout] 359 |     $slf.msg($e) ? ;
[INFO] [stdout]     |                    ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/learning/ice.rs:430:25
[INFO] [stdout]     |
[INFO] [stdout] 430 |                         msg! { debug self => "legal_pred (1)" }
[INFO] [stdout]     |                         --------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stdout]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/common/macros.rs:362:38
[INFO] [stdout]     |
[INFO] [stdout] 362 |       $slf.msg( format!( $($tt)* ) ) ? ;
[INFO] [stdout]     |                                        ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/learning/ice.rs:433:29
[INFO] [stdout]     |
[INFO] [stdout] 433 | / ...                   msg! { @verb
[INFO] [stdout] 434 | | ...                       self =>
[INFO] [stdout] 435 | | ...                       "{} only has negative ({}) and unclassified ({}) data\n\
[INFO] [stdout] 436 | | ...                       legal check ok, assuming everything negative",
[INFO] [stdout] 437 | | ...                       self.instance[pred], neg_len, unc_len
[INFO] [stdout] 438 | | ...                   }
[INFO] [stdout]     | |_______________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stdout]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/common/macros.rs:359:20
[INFO] [stdout]     |
[INFO] [stdout] 359 |     $slf.msg($e) ? ;
[INFO] [stdout]     |                    ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/learning/ice.rs:455:25
[INFO] [stdout]     |
[INFO] [stdout] 455 |                         msg! { debug self => "legal_pred (2)" }
[INFO] [stdout]     |                         --------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stdout]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/common/macros.rs:362:38
[INFO] [stdout]     |
[INFO] [stdout] 362 |       $slf.msg( format!( $($tt)* ) ) ? ;
[INFO] [stdout]     |                                        ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/learning/ice.rs:458:29
[INFO] [stdout]     |
[INFO] [stdout] 458 | / ...                   msg! { @verb
[INFO] [stdout] 459 | | ...                       self =>
[INFO] [stdout] 460 | | ...                       "{} only has positive ({}) and unclassified ({}) data\n\
[INFO] [stdout] 461 | | ...                       legal check ok, assuming everything positive",
[INFO] [stdout] 462 | | ...                       self.instance[pred], pos_len, unc_len
[INFO] [stdout] 463 | | ...                   }
[INFO] [stdout]     | |_______________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stdout]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/common/macros.rs:362:38
[INFO] [stdout]     |
[INFO] [stdout] 362 |       $slf.msg( format!( $($tt)* ) ) ? ;
[INFO] [stdout]     |                                        ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/learning/ice.rs:559:9
[INFO] [stdout]     |
[INFO] [stdout] 559 | /         msg! { @verb
[INFO] [stdout] 560 | |             self =>
[INFO] [stdout] 561 | |             "working on predicate {} (pos: {}, neg: {}, unc: {})",
[INFO] [stdout] 562 | |             self.instance[pred], data.pos().len(), data.neg().len(), data.unc().len()
[INFO] [stdout] 563 | |         }
[INFO] [stdout]     | |_________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stdout]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/term/eval.rs:43:46
[INFO] [stdout]     |
[INFO] [stdout] 43  |         return Ok(ZipDo::Dwn { nu_term: $e });
[INFO] [stdout]     |                                              ^
[INFO] [stdout] ...
[INFO] [stdout] 237 |                                 go!(down t)
[INFO] [stdout]     |                                 ----------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stdout]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/term/eval.rs:43:46
[INFO] [stdout]     |
[INFO] [stdout] 43  |         return Ok(ZipDo::Dwn { nu_term: $e });
[INFO] [stdout]     |                                              ^
[INFO] [stdout] ...
[INFO] [stdout] 239 |                                 go!(down e)
[INFO] [stdout]     |                                 ----------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stdout]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/term/eval.rs:40:46
[INFO] [stdout]     |
[INFO] [stdout] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stdout]     |                                              ^
[INFO] [stdout] ...
[INFO] [stdout] 252 |                             go!(up val::none(t.typ()))
[INFO] [stdout]     |                             -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stdout]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/term/eval.rs:40:46
[INFO] [stdout]     |
[INFO] [stdout] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stdout]     |                                              ^
[INFO] [stdout] ...
[INFO] [stdout] 267 |                     Some(false) => go!( up val::bool(false) ),
[INFO] [stdout]     |                                    -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/term/eval.rs:40:46
[INFO] [stdout]     |
[INFO] [stdout] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stdout]     |                                              ^
[INFO] [stdout] ...
[INFO] [stdout] 280 |                     Some(true) => go!( up val::bool(true) ),
[INFO] [stdout]     |                                   ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/term/eval.rs:40:46
[INFO] [stdout]     |
[INFO] [stdout] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stdout]     |                                              ^
[INFO] [stdout] ...
[INFO] [stdout] 292 |                     go!( up last.clone() )
[INFO] [stdout]     |                     ---------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stdout]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/term/eval.rs:40:46
[INFO] [stdout]     |
[INFO] [stdout] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stdout]     |                                              ^
[INFO] [stdout] ...
[INFO] [stdout] 301 |                     go!( up last.clone() )
[INFO] [stdout]     |                     ---------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stdout]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/term/eval.rs:40:46
[INFO] [stdout]     |
[INFO] [stdout] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stdout]     |                                              ^
[INFO] [stdout] ...
[INFO] [stdout] 310 |                     go!( up val::bool(true) )
[INFO] [stdout]     |                     ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stdout]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> src/term/eval.rs:40:46
[INFO] [stdout]     |
[INFO] [stdout] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stdout]     |                                              ^
[INFO] [stdout] ...
[INFO] [stdout] 320 |                             go!( up val::bool(false) )
[INFO] [stdout]     |                             -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stdout]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused attribute `allow`
[INFO] [stdout]    --> src/val.rs:899:9
[INFO] [stdout]     |
[INFO] [stdout] 899 |         #[allow(unused_parens)]
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_attributes)]` on by default
[INFO] [stdout] note: the built-in attribute `allow` will be ignored, since it's applied to the macro invocation `arith_bin_rel`
[INFO] [stdout]    --> src/val.rs:900:9
[INFO] [stdout]     |
[INFO] [stdout] 900 |         arith_bin_rel! { * self, gt, * other.get() }
[INFO] [stdout]     |         ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 17 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 12.22s
[INFO] [stderr]   Executable unittests src/hoice.rs (/opt/rustwide/target/debug/deps/hoice-1ab7d5101f154081)
[INFO] [stderr]   Executable unittests src/bin/main.rs (/opt/rustwide/target/debug/deps/hoice-1f615e8cc9fb4404)
[INFO] [stderr]   Executable tests/tests.rs (/opt/rustwide/target/debug/deps/tests-c848f41c23b292b3)
[INFO] running `Command { std: "docker" "inspect" "c3b6d6d525b8ad40621b49c7c6bebc116a58ea397a04ab93b3d07030f5320d5a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c3b6d6d525b8ad40621b49c7c6bebc116a58ea397a04ab93b3d07030f5320d5a", kill_on_drop: false }`
[INFO] [stdout] c3b6d6d525b8ad40621b49c7c6bebc116a58ea397a04ab93b3d07030f5320d5a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-20/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-20/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" "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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 0a34d3457332aab90bdd0adb037f58c6751f6572fdb3518cd9ddc8f957682c4f
[INFO] running `Command { std: "docker" "start" "-a" "0a34d3457332aab90bdd0adb037f58c6751f6572fdb3518cd9ddc8f957682c4f", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr] warning: trailing semicolon in macro used in expression position
[INFO] [stderr]    --> src/common/macros.rs:362:38
[INFO] [stderr]     |
[INFO] [stderr] 362 |       $slf.msg( format!( $($tt)* ) ) ? ;
[INFO] [stderr]     |                                        ^
[INFO] [stderr]     |
[INFO] [stderr]    ::: src/learning/ice.rs:359:9
[INFO] [stderr]     |
[INFO] [stderr] 359 | /         msg! { @verb
[INFO] [stderr] 360 | |             self =>
[INFO] [stderr] 361 | |             "starting learning\n  \
[INFO] [stderr] 362 | |             simple:      {},\n  \
[INFO] [stderr] ...   |
[INFO] [stderr] 365 | |             simple, sorted, skip_prelim
[INFO] [stderr] 366 | |         }
[INFO] [stderr]     | |_________- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(semicolon_in_expressions_from_macros)]` on by default
[INFO] [stderr]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stderr]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stderr]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stderr]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stderr]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: trailing semicolon in macro used in expression position
[INFO] [stderr]    --> src/common/macros.rs:362:38
[INFO] [stderr]     |
[INFO] [stderr] 362 |       $slf.msg( format!( $($tt)* ) ) ? ;
[INFO] [stderr]     |                                        ^
[INFO] [stderr]     |
[INFO] [stderr]    ::: src/learning/ice.rs:381:13
[INFO] [stderr]     |
[INFO] [stderr] 381 | /             msg! {
[INFO] [stderr] 382 | |                 debug self =>
[INFO] [stderr] 383 | |                 "{}: {} unclassified, {} classified",
[INFO] [stderr] 384 | |                 self.instance[pred], _unc, _cla
[INFO] [stderr] 385 | |             }
[INFO] [stderr]     | |_____________- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stderr]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stderr]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stderr]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stderr]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: trailing semicolon in macro used in expression position
[INFO] [stderr]    --> src/common/macros.rs:359:20
[INFO] [stderr]     |
[INFO] [stderr] 359 |     $slf.msg($e) ? ;
[INFO] [stderr]     |                    ^
[INFO] [stderr]     |
[INFO] [stderr]    ::: src/learning/ice.rs:430:25
[INFO] [stderr]     |
[INFO] [stderr] 430 |                         msg! { debug self => "legal_pred (1)" }
[INFO] [stderr]     |                         --------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stderr]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stderr]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stderr]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stderr]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: trailing semicolon in macro used in expression position
[INFO] [stderr]    --> src/common/macros.rs:362:38
[INFO] [stderr]     |
[INFO] [stderr] 362 |       $slf.msg( format!( $($tt)* ) ) ? ;
[INFO] [stderr]     |                                        ^
[INFO] [stderr]     |
[INFO] [stderr]    ::: src/learning/ice.rs:433:29
[INFO] [stderr]     |
[INFO] [stderr] 433 | / ...                   msg! { @verb
[INFO] [stderr] 434 | | ...                       self =>
[INFO] [stderr] 435 | | ...                       "{} only has negative ({}) and unclassified ({}) data\n\
[INFO] [stderr] 436 | | ...                       legal check ok, assuming everything negative",
[INFO] [stderr] 437 | | ...                       self.instance[pred], neg_len, unc_len
[INFO] [stderr] 438 | | ...                   }
[INFO] [stderr]     | |_______________________- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stderr]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stderr]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stderr]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stderr]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: trailing semicolon in macro used in expression position
[INFO] [stderr]    --> src/common/macros.rs:359:20
[INFO] [stderr]     |
[INFO] [stderr] 359 |     $slf.msg($e) ? ;
[INFO] [stderr]     |                    ^
[INFO] [stderr]     |
[INFO] [stderr]    ::: src/learning/ice.rs:455:25
[INFO] [stderr]     |
[INFO] [stderr] 455 |                         msg! { debug self => "legal_pred (2)" }
[INFO] [stderr]     |                         --------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stderr]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stderr]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stderr]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stderr]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: trailing semicolon in macro used in expression position
[INFO] [stderr]    --> src/common/macros.rs:362:38
[INFO] [stderr]     |
[INFO] [stderr] 362 |       $slf.msg( format!( $($tt)* ) ) ? ;
[INFO] [stderr]     |                                        ^
[INFO] [stderr]     |
[INFO] [stderr]    ::: src/learning/ice.rs:458:29
[INFO] [stderr]     |
[INFO] [stderr] 458 | / ...                   msg! { @verb
[INFO] [stderr] 459 | | ...                       self =>
[INFO] [stderr] 460 | | ...                       "{} only has positive ({}) and unclassified ({}) data\n\
[INFO] [stderr] 461 | | ...                       legal check ok, assuming everything positive",
[INFO] [stderr] 462 | | ...                       self.instance[pred], pos_len, unc_len
[INFO] [stderr] 463 | | ...                   }
[INFO] [stderr]     | |_______________________- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stderr]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stderr]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stderr]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stderr]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: trailing semicolon in macro used in expression position
[INFO] [stderr]    --> src/common/macros.rs:362:38
[INFO] [stderr]     |
[INFO] [stderr] 362 |       $slf.msg( format!( $($tt)* ) ) ? ;
[INFO] [stderr]     |                                        ^
[INFO] [stderr]     |
[INFO] [stderr]    ::: src/learning/ice.rs:559:9
[INFO] [stderr]     |
[INFO] [stderr] 559 | /         msg! { @verb
[INFO] [stderr] 560 | |             self =>
[INFO] [stderr] 561 | |             "working on predicate {} (pos: {}, neg: {}, unc: {})",
[INFO] [stderr] 562 | |             self.instance[pred], data.pos().len(), data.neg().len(), data.unc().len()
[INFO] [stderr] 563 | |         }
[INFO] [stderr]     | |_________- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stderr]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stderr]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stderr]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg`
[INFO] [stderr]     = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: trailing semicolon in macro used in expression position
[INFO] [stderr]    --> src/term/eval.rs:43:46
[INFO] [stderr]     |
[INFO] [stderr] 43  |         return Ok(ZipDo::Dwn { nu_term: $e });
[INFO] [stderr]     |                                              ^
[INFO] [stderr] ...
[INFO] [stderr] 237 |                                 go!(down t)
[INFO] [stderr]     |                                 ----------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stderr]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stderr]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stderr]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stderr]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: trailing semicolon in macro used in expression position
[INFO] [stderr]    --> src/term/eval.rs:43:46
[INFO] [stderr]     |
[INFO] [stderr] 43  |         return Ok(ZipDo::Dwn { nu_term: $e });
[INFO] [stderr]     |                                              ^
[INFO] [stderr] ...
[INFO] [stderr] 239 |                                 go!(down e)
[INFO] [stderr]     |                                 ----------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stderr]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stderr]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stderr]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stderr]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: trailing semicolon in macro used in expression position
[INFO] [stderr]    --> src/term/eval.rs:40:46
[INFO] [stderr]     |
[INFO] [stderr] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stderr]     |                                              ^
[INFO] [stderr] ...
[INFO] [stderr] 252 |                             go!(up val::none(t.typ()))
[INFO] [stderr]     |                             -------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stderr]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stderr]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stderr]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stderr]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: trailing semicolon in macro used in expression position
[INFO] [stderr]    --> src/term/eval.rs:40:46
[INFO] [stderr]     |
[INFO] [stderr] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stderr]     |                                              ^
[INFO] [stderr] ...
[INFO] [stderr] 267 |                     Some(false) => go!( up val::bool(false) ),
[INFO] [stderr]     |                                    -------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stderr]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stderr]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: trailing semicolon in macro used in expression position
[INFO] [stderr]    --> src/term/eval.rs:40:46
[INFO] [stderr]     |
[INFO] [stderr] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stderr]     |                                              ^
[INFO] [stderr] ...
[INFO] [stderr] 280 |                     Some(true) => go!( up val::bool(true) ),
[INFO] [stderr]     |                                   ------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stderr]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stderr]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: trailing semicolon in macro used in expression position
[INFO] [stderr]    --> src/term/eval.rs:40:46
[INFO] [stderr]     |
[INFO] [stderr] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stderr]     |                                              ^
[INFO] [stderr] ...
[INFO] [stderr] 292 |                     go!( up last.clone() )
[INFO] [stderr]     |                     ---------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stderr]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stderr]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stderr]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stderr]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: trailing semicolon in macro used in expression position
[INFO] [stderr]    --> src/term/eval.rs:40:46
[INFO] [stderr]     |
[INFO] [stderr] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stderr]     |                                              ^
[INFO] [stderr] ...
[INFO] [stderr] 301 |                     go!( up last.clone() )
[INFO] [stderr]     |                     ---------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stderr]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stderr]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stderr]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stderr]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: trailing semicolon in macro used in expression position
[INFO] [stderr]    --> src/term/eval.rs:40:46
[INFO] [stderr]     |
[INFO] [stderr] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stderr]     |                                              ^
[INFO] [stderr] ...
[INFO] [stderr] 310 |                     go!( up val::bool(true) )
[INFO] [stderr]     |                     ------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stderr]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stderr]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stderr]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stderr]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: trailing semicolon in macro used in expression position
[INFO] [stderr]    --> src/term/eval.rs:40:46
[INFO] [stderr]     |
[INFO] [stderr] 40  |         return Ok(ZipDo::Upp { yielded: $e });
[INFO] [stderr]     |                                              ^
[INFO] [stderr] ...
[INFO] [stderr] 320 |                             go!( up val::bool(false) )
[INFO] [stderr]     |                             -------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stderr]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stderr]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stderr]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go`
[INFO] [stderr]     = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused attribute `allow`
[INFO] [stderr]    --> src/val.rs:899:9
[INFO] [stderr]     |
[INFO] [stderr] 899 |         #[allow(unused_parens)]
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_attributes)]` on by default
[INFO] [stderr] note: the built-in attribute `allow` will be ignored, since it's applied to the macro invocation `arith_bin_rel`
[INFO] [stderr]    --> src/val.rs:900:9
[INFO] [stderr]     |
[INFO] [stderr] 900 |         arith_bin_rel! { * self, gt, * other.get() }
[INFO] [stderr]     |         ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `hoice` (lib) generated 17 warnings
[INFO] [stderr] warning: `hoice` (lib test) generated 17 warnings (17 duplicates)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.07s
[INFO] [stderr]      Running unittests src/hoice.rs (/opt/rustwide/target/debug/deps/hoice-1ab7d5101f154081)
[INFO] [stdout] 
[INFO] [stdout] running 40 tests
[INFO] [stdout] test dtyp::dtyp_write_dec ... ok
[INFO] [stdout] test term::test::cst_ge_2 ... ok
[INFO] [stdout] test term::test::cst_and_3 ... ok
[INFO] [stdout] test term::test::cst_impl_1 ... ok
[INFO] [stdout] test term::test::cst_gt_1 ... ok
[INFO] [stdout] test term::test::cst_mod ... ok
[INFO] [stdout] test term::test::cst_impl_2 ... ok
[INFO] [stdout] test term::test::cst_or_3 ... ok
[INFO] [stdout] test term::test::cst_not_2 ... ok
[INFO] [stdout] test term::test::cst_gt_2 ... ok
[INFO] [stdout] test term::test::add_real_1 ... ok
[INFO] [stdout] test term::test::cst_impl_4 ... ok
[INFO] [stdout] test term::test::cst_eq_1 ... ok
[INFO] [stdout] test term::test::cst_eq_3 ... ok
[INFO] [stdout] test term::test::cst_and_2 ... ok
[INFO] [stdout] test term::test::cst_or_4 ... ok
[INFO] [stdout] test term::test::cst_lt_1 ... ok
[INFO] [stdout] test term::test::cst_ge_1 ... ok
[INFO] [stdout] test term::test::cst_and_4 ... ok
[INFO] [stdout] test term::test::cst_not_1 ... ok
[INFO] [stdout] test term::test::cst_eq_4 ... ok
[INFO] [stdout] test term::test::lazy_4 ... ok
[INFO] [stdout] test term::test::cst_sub_2 ... ok
[INFO] [stdout] test term::test::cst_or_2 ... ok
[INFO] [stdout] test term::test::cst_lt_2 ... ok
[INFO] [stdout] test term::test::cst_div ... ok
[INFO] [stdout] test term::test::cst_le_1 ... ok
[INFO] [stdout] test term::test::cst_and_1 ... ok
[INFO] [stdout] test term::test::cst_or_5 ... ok
[INFO] [stdout] test term::test::cst_add ... ok
[INFO] [stdout] test term::test::cst_impl_3 ... ok
[INFO] [stdout] test term::test::lazy_3 ... ok
[INFO] [stdout] test term::test::cst_le_2 ... ok
[INFO] [stdout] test term::test::cst_mul ... ok
[INFO] [stdout] test term::test::cst_eq_2 ... ok
[INFO] [stdout] test term::test::cst_or_1 ... ok
[INFO] [stdout] test term::test::lazy_2 ... ok
[INFO] [stdout] test term::test::cst_sub_1 ... ok
[INFO] [stdout] test term::test::ite_1 ... ok
[INFO] [stdout] test term::test::lazy_1 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 40 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/main.rs (/opt/rustwide/target/debug/deps/hoice-1f615e8cc9fb4404)
[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/tests.rs (/opt/rustwide/target/debug/deps/tests-c848f41c23b292b3)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test sat ... FAILED
[INFO] [stdout] test sat_file ... FAILED
[INFO] [stdout] test err ... ok
[INFO] [stdout] test sat_ackermann ... FAILED
[INFO] [stdout] test unsat ... FAILED
[INFO] [stdout] test sat_rec_simpl ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- sat stdout ----
[INFO] [stdout] looking at `rsc/sat/issue_52_4.smt2`
[INFO] [stdout] Error:
[INFO] [stdout] > while reading file and getting model
[INFO] [stdout] > While spawning child process with z3
[INFO] [stdout] > No such file or directory (os error 2)
[INFO] [stdout] thread 'sat' panicked at 'failure', tests/tests.rs:34:5
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5560367cd4cd - std::backtrace_rs::backtrace::libunwind::trace::ha359b7f0090e2792
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5
[INFO] [stdout]    1:     0x5560367cd4cd - std::backtrace_rs::backtrace::trace_unsynchronized::h0584631f25c1d70e
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x5560367cd4cd - std::sys_common::backtrace::_print_fmt::hdadffd97d279ff14
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:66:5
[INFO] [stdout]    3:     0x5560367cd4cd - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h26f189e611080a74
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:45:22
[INFO] [stdout]    4:     0x5560367f17cc - core::fmt::write::hfb5d11dfe037e8b7
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/fmt/mod.rs:1194:17
[INFO] [stdout]    5:     0x5560367c9331 - std::io::Write::write_fmt::h6a24ec64406df9e2
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/io/mod.rs:1655:15
[INFO] [stdout]    6:     0x5560367cf265 - std::sys_common::backtrace::_print::h7a0e44402913ba60
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:48:5
[INFO] [stdout]    7:     0x5560367cf265 - std::sys_common::backtrace::print::h9767dc455a84e728
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:35:9
[INFO] [stdout]    8:     0x5560367cf265 - std::panicking::default_hook::{{closure}}::h60afd6c8b12988ad
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:295:22
[INFO] [stdout]    9:     0x5560367cef54 - std::panicking::default_hook::ha7b9bac6813f9d21
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:311:9
[INFO] [stdout]   10:     0x5560367cf7b2 - std::panicking::rust_panic_with_hook::h7b117a162a6f8664
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:698:17
[INFO] [stdout]   11:     0x5560366fbd08 - std::panicking::begin_panic::{{closure}}::he53549978ce63704
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:617:9
[INFO] [stdout]   12:     0x5560366fb839 - std::sys_common::backtrace::__rust_end_short_backtrace::h4318a10b5e046572
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:138:18
[INFO] [stdout]   13:     0x5560366fbaa8 - std::panicking::begin_panic::h957f82959b522a85
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:616:12
[INFO] [stdout]   14:     0x556035c8963d - tests::sat::hd3b44c34d37b37ef
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/tests.rs:34:5
[INFO] [stdout]   15:     0x556035c8948a - tests::sat::{{closure}}::h1e21683476b4b0a2
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/tests.rs:33:1
[INFO] [stdout]   16:     0x556035ca1d1e - core::ops::function::FnOnce::call_once::h8335867f84984dec
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   17:     0x556035cd7e33 - core::ops::function::FnOnce::call_once::h018fc248431ce8de
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   18:     0x556035cd7e33 - test::__rust_begin_short_backtrace::h293b982b6069d6e3
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5
[INFO] [stdout]   19:     0x556035cd6be9 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h4fc1be1a762c7a46
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9
[INFO] [stdout]   20:     0x556035cd6be9 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hd44623ec51b9e897
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9
[INFO] [stdout]   21:     0x556035cd6be9 - std::panicking::try::do_call::ha8cfa4b025f5b832
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40
[INFO] [stdout]   22:     0x556035cd6be9 - std::panicking::try::h664f75e41c112145
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19
[INFO] [stdout]   23:     0x556035cd6be9 - std::panic::catch_unwind::h4932ec05cd60558e
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14
[INFO] [stdout]   24:     0x556035cd6be9 - test::run_test_in_process::ha14a47756671755c
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18
[INFO] [stdout]   25:     0x556035cd6be9 - test::run_test::run_test_inner::{{closure}}::h0ec9e37c8f67b62d
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39
[INFO] [stdout]   26:     0x556035ca2d9e - test::run_test::run_test_inner::{{closure}}::hd9d2e7f26d4f59e6
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37
[INFO] [stdout]   27:     0x556035ca2d9e - std::sys_common::backtrace::__rust_begin_short_backtrace::h41c0a39fac5123f8
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18
[INFO] [stdout]   28:     0x556035ca8308 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h69a02ca0bebb6eeb
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17
[INFO] [stdout]   29:     0x556035ca8308 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hdd05632920ce689b
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9
[INFO] [stdout]   30:     0x556035ca8308 - std::panicking::try::do_call::hb4947142729b90fd
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40
[INFO] [stdout]   31:     0x556035ca8308 - std::panicking::try::h15a7e9b8394e6878
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19
[INFO] [stdout]   32:     0x556035ca8308 - std::panic::catch_unwind::hbd3f4a3f9df49b85
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14
[INFO] [stdout]   33:     0x556035ca8308 - std::thread::Builder::spawn_unchecked_::{{closure}}::h880b5d5f1b9799f4
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30
[INFO] [stdout]   34:     0x556035ca8308 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h304d5eaf401f5061
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   35:     0x5560367d45e3 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hdba7f2afed0c35b3
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9
[INFO] [stdout]   36:     0x5560367d45e3 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h38b0832765bf7961
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9
[INFO] [stdout]   37:     0x5560367d45e3 - std::sys::unix::thread::Thread::new::thread_start::h70236dc17753425e
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17
[INFO] [stdout]   38:     0x7f0c21fea609 - start_thread
[INFO] [stdout]   39:     0x7f0c21dba163 - clone
[INFO] [stdout]   40:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- sat_file stdout ----
[INFO] [stdout] looking at `rsc/sat/long/file.smt2`
[INFO] [stdout] Error:
[INFO] [stdout] > while reading file and getting model
[INFO] [stdout] > While spawning child process with z3
[INFO] [stdout] > No such file or directory (os error 2)
[INFO] [stdout] thread 'sat_file' panicked at 'failure', tests/tests.rs:44:5
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5560367cd4cd - std::backtrace_rs::backtrace::libunwind::trace::ha359b7f0090e2792
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5
[INFO] [stdout]    1:     0x5560367cd4cd - std::backtrace_rs::backtrace::trace_unsynchronized::h0584631f25c1d70e
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x5560367cd4cd - std::sys_common::backtrace::_print_fmt::hdadffd97d279ff14
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:66:5
[INFO] [stdout]    3:     0x5560367cd4cd - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h26f189e611080a74
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:45:22
[INFO] [stdout]    4:     0x5560367f17cc - core::fmt::write::hfb5d11dfe037e8b7
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/fmt/mod.rs:1194:17
[INFO] [stdout]    5:     0x5560367c9331 - std::io::Write::write_fmt::h6a24ec64406df9e2
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/io/mod.rs:1655:15
[INFO] [stdout]    6:     0x5560367cf265 - std::sys_common::backtrace::_print::h7a0e44402913ba60
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:48:5
[INFO] [stdout]    7:     0x5560367cf265 - std::sys_common::backtrace::print::h9767dc455a84e728
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:35:9
[INFO] [stdout]    8:     0x5560367cf265 - std::panicking::default_hook::{{closure}}::h60afd6c8b12988ad
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:295:22
[INFO] [stdout]    9:     0x5560367cef54 - std::panicking::default_hook::ha7b9bac6813f9d21
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:311:9
[INFO] [stdout]   10:     0x5560367cf7b2 - std::panicking::rust_panic_with_hook::h7b117a162a6f8664
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:698:17
[INFO] [stdout]   11:     0x5560366fbd08 - std::panicking::begin_panic::{{closure}}::he53549978ce63704
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:617:9
[INFO] [stdout]   12:     0x5560366fb839 - std::sys_common::backtrace::__rust_end_short_backtrace::h4318a10b5e046572
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:138:18
[INFO] [stdout]   13:     0x5560366fbaa8 - std::panicking::begin_panic::h957f82959b522a85
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:616:12
[INFO] [stdout]   14:     0x556035c89fa9 - tests::sat_file::h681fc28047796fd5
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/tests.rs:44:5
[INFO] [stdout]   15:     0x556035c89dea - tests::sat_file::{{closure}}::h25ba3be41d4fb7e4
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/tests.rs:43:1
[INFO] [stdout]   16:     0x556035ca1e0e - core::ops::function::FnOnce::call_once::hfb9ef712b3ef05b5
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   17:     0x556035cd7e33 - core::ops::function::FnOnce::call_once::h018fc248431ce8de
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   18:     0x556035cd7e33 - test::__rust_begin_short_backtrace::h293b982b6069d6e3
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5
[INFO] [stdout]   19:     0x556035cd6be9 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h4fc1be1a762c7a46
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9
[INFO] [stdout]   20:     0x556035cd6be9 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hd44623ec51b9e897
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9
[INFO] [stdout]   21:     0x556035cd6be9 - std::panicking::try::do_call::ha8cfa4b025f5b832
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40
[INFO] [stdout]   22:     0x556035cd6be9 - std::panicking::try::h664f75e41c112145
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19
[INFO] [stdout]   23:     0x556035cd6be9 - std::panic::catch_unwind::h4932ec05cd60558e
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14
[INFO] [stdout]   24:     0x556035cd6be9 - test::run_test_in_process::ha14a47756671755c
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18
[INFO] [stdout]   25:     0x556035cd6be9 - test::run_test::run_test_inner::{{closure}}::h0ec9e37c8f67b62d
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39
[INFO] [stdout]   26:     0x556035ca2d9e - test::run_test::run_test_inner::{{closure}}::hd9d2e7f26d4f59e6
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37
[INFO] [stdout]   27:     0x556035ca2d9e - std::sys_common::backtrace::__rust_begin_short_backtrace::h41c0a39fac5123f8
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18
[INFO] [stdout]   28:     0x556035ca8308 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h69a02ca0bebb6eeb
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17
[INFO] [stdout]   29:     0x556035ca8308 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hdd05632920ce689b
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9
[INFO] [stdout]   30:     0x556035ca8308 - std::panicking::try::do_call::hb4947142729b90fd
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40
[INFO] [stdout]   31:     0x556035ca8308 - std::panicking::try::h15a7e9b8394e6878
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19
[INFO] [stdout]   32:     0x556035ca8308 - std::panic::catch_unwind::hbd3f4a3f9df49b85
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14
[INFO] [stdout]   33:     0x556035ca8308 - std::thread::Builder::spawn_unchecked_::{{closure}}::h880b5d5f1b9799f4
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30
[INFO] [stdout]   34:     0x556035ca8308 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h304d5eaf401f5061
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   35:     0x5560367d45e3 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hdba7f2afed0c35b3
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9
[INFO] [stdout]   36:     0x5560367d45e3 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h38b0832765bf7961
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9
[INFO] [stdout]   37:     0x5560367d45e3 - std::sys::unix::thread::Thread::new::thread_start::h70236dc17753425e
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17
[INFO] [stdout]   38:     0x7f0c21fea609 - start_thread
[INFO] [stdout]   39:     0x7f0c21dba163 - clone
[INFO] [stdout]   40:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- sat_ackermann stdout ----
[INFO] [stdout] looking at `rsc/sat/long/Ackermann00.smt2`
[INFO] [stdout] Error:
[INFO] [stdout] > while reading file and getting model
[INFO] [stdout] > While spawning child process with z3
[INFO] [stdout] > No such file or directory (os error 2)
[INFO] [stdout] thread 'sat_ackermann' panicked at 'failure', tests/tests.rs:39:5
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5560367cd4cd - std::backtrace_rs::backtrace::libunwind::trace::ha359b7f0090e2792
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5
[INFO] [stdout]    1:     0x5560367cd4cd - std::backtrace_rs::backtrace::trace_unsynchronized::h0584631f25c1d70e
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x5560367cd4cd - std::sys_common::backtrace::_print_fmt::hdadffd97d279ff14
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:66:5
[INFO] [stdout]    3:     0x5560367cd4cd - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h26f189e611080a74
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:45:22
[INFO] [stdout]    4:     0x5560367f17cc - core::fmt::write::hfb5d11dfe037e8b7
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/fmt/mod.rs:1194:17
[INFO] [stdout]    5:     0x5560367c9331 - std::io::Write::write_fmt::h6a24ec64406df9e2
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/io/mod.rs:1655:15
[INFO] [stdout]    6:     0x5560367cf265 - std::sys_common::backtrace::_print::h7a0e44402913ba60
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:48:5
[INFO] [stdout]    7:     0x5560367cf265 - std::sys_common::backtrace::print::h9767dc455a84e728
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:35:9
[INFO] [stdout]    8:     0x5560367cf265 - std::panicking::default_hook::{{closure}}::h60afd6c8b12988ad
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:295:22
[INFO] [stdout]    9:     0x5560367cef54 - std::panicking::default_hook::ha7b9bac6813f9d21
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:311:9
[INFO] [stdout]   10:     0x5560367cf7b2 - std::panicking::rust_panic_with_hook::h7b117a162a6f8664
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:698:17
[INFO] [stdout]   11:     0x5560366fbd08 - std::panicking::begin_panic::{{closure}}::he53549978ce63704
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:617:9
[INFO] [stdout]   12:     0x5560366fb839 - std::sys_common::backtrace::__rust_end_short_backtrace::h4318a10b5e046572
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:138:18
[INFO] [stdout]   13:     0x5560366fbaa8 - std::panicking::begin_panic::h957f82959b522a85
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:616:12
[INFO] [stdout]   14:     0x556035c89af9 - tests::sat_ackermann::h77a9f73e7087df1e
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/tests.rs:39:5
[INFO] [stdout]   15:     0x556035c8993a - tests::sat_ackermann::{{closure}}::h9c792e3789c87b10
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/tests.rs:38:1
[INFO] [stdout]   16:     0x556035ca1dce - core::ops::function::FnOnce::call_once::hef6e36d4005f642f
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   17:     0x556035cd7e33 - core::ops::function::FnOnce::call_once::h018fc248431ce8de
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   18:     0x556035cd7e33 - test::__rust_begin_short_backtrace::h293b982b6069d6e3
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5
[INFO] [stdout]   19:     0x556035cd6be9 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h4fc1be1a762c7a46
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9
[INFO] [stdout]   20:     0x556035cd6be9 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hd44623ec51b9e897
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9
[INFO] [stdout]   21:     0x556035cd6be9 - std::panicking::try::do_call::ha8cfa4b025f5b832
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40
[INFO] [stdout]   22:     0x556035cd6be9 - std::panicking::try::h664f75e41c112145
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19
[INFO] [stdout]   23:     0x556035cd6be9 - std::panic::catch_unwind::h4932ec05cd60558e
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14
[INFO] [stdout]   24:     0x556035cd6be9 - test::run_test_in_process::ha14a47756671755c
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18
[INFO] [stdout]   25:     0x556035cd6be9 - test::run_test::run_test_inner::{{closure}}::h0ec9e37c8f67b62d
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39
[INFO] [stdout]   26:     0x556035ca2d9e - test::run_test::run_test_inner::{{closure}}::hd9d2e7f26d4f59e6
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37
[INFO] [stdout]   27:     0x556035ca2d9e - std::sys_common::backtrace::__rust_begin_short_backtrace::h41c0a39fac5123f8
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18
[INFO] [stdout]   28:     0x556035ca8308 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h69a02ca0bebb6eeb
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17
[INFO] [stdout]   29:     0x556035ca8308 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hdd05632920ce689b
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9
[INFO] [stdout]   30:     0x556035ca8308 - std::panicking::try::do_call::hb4947142729b90fd
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40
[INFO] [stdout]   31:     0x556035ca8308 - std::panicking::try::h15a7e9b8394e6878
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19
[INFO] [stdout]   32:     0x556035ca8308 - std::panic::catch_unwind::hbd3f4a3f9df49b85
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14
[INFO] [stdout]   33:     0x556035ca8308 - std::thread::Builder::spawn_unchecked_::{{closure}}::h880b5d5f1b9799f4
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30
[INFO] [stdout]   34:     0x556035ca8308 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h304d5eaf401f5061
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   35:     0x5560367d45e3 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hdba7f2afed0c35b3
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9
[INFO] [stdout]   36:     0x5560367d45e3 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h38b0832765bf7961
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9
[INFO] [stdout]   37:     0x5560367d45e3 - std::sys::unix::thread::Thread::new::thread_start::h70236dc17753425e
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17
[INFO] [stdout]   38:     0x7f0c21fea609 - start_thread
[INFO] [stdout]   39:     0x7f0c21dba163 - clone
[INFO] [stdout]   40:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- unsat stdout ----
[INFO] [stdout] looking at `proof_unroll.smt2`
[INFO] [stdout] Error:
[INFO] [stdout] > While spawning child process with z3
[INFO] [stdout] > No such file or directory (os error 2)
[INFO] [stdout] thread 'unsat' panicked at 'failure', tests/tests.rs:54:5
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5560367cd4cd - std::backtrace_rs::backtrace::libunwind::trace::ha359b7f0090e2792
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5
[INFO] [stdout]    1:     0x5560367cd4cd - std::backtrace_rs::backtrace::trace_unsynchronized::h0584631f25c1d70e
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x5560367cd4cd - std::sys_common::backtrace::_print_fmt::hdadffd97d279ff14
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:66:5
[INFO] [stdout]    3:     0x5560367cd4cd - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h26f189e611080a74
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:45:22
[INFO] [stdout]    4:     0x5560367f17cc - core::fmt::write::hfb5d11dfe037e8b7
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/fmt/mod.rs:1194:17
[INFO] [stdout]    5:     0x5560367c9331 - std::io::Write::write_fmt::h6a24ec64406df9e2
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/io/mod.rs:1655:15
[INFO] [stdout]    6:     0x5560367cf265 - std::sys_common::backtrace::_print::h7a0e44402913ba60
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:48:5
[INFO] [stdout]    7:     0x5560367cf265 - std::sys_common::backtrace::print::h9767dc455a84e728
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:35:9
[INFO] [stdout]    8:     0x5560367cf265 - std::panicking::default_hook::{{closure}}::h60afd6c8b12988ad
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:295:22
[INFO] [stdout]    9:     0x5560367cef54 - std::panicking::default_hook::ha7b9bac6813f9d21
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:311:9
[INFO] [stdout]   10:     0x5560367cf7b2 - std::panicking::rust_panic_with_hook::h7b117a162a6f8664
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:698:17
[INFO] [stdout]   11:     0x5560366fbd08 - std::panicking::begin_panic::{{closure}}::he53549978ce63704
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:617:9
[INFO] [stdout]   12:     0x5560366fb839 - std::sys_common::backtrace::__rust_end_short_backtrace::h4318a10b5e046572
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:138:18
[INFO] [stdout]   13:     0x5560366fbaa8 - std::panicking::begin_panic::h957f82959b522a85
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:616:12
[INFO] [stdout]   14:     0x556035c8a8fd - tests::unsat::h64d70ffc6486260a
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/tests.rs:54:5
[INFO] [stdout]   15:     0x556035c8a74a - tests::unsat::{{closure}}::h30aced52e2b6cd3f
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/tests.rs:53:1
[INFO] [stdout]   16:     0x556035ca1c8e - core::ops::function::FnOnce::call_once::h40d6c00213aba2b7
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   17:     0x556035cd7e33 - core::ops::function::FnOnce::call_once::h018fc248431ce8de
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   18:     0x556035cd7e33 - test::__rust_begin_short_backtrace::h293b982b6069d6e3
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5
[INFO] [stdout]   19:     0x556035cd6be9 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h4fc1be1a762c7a46
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9
[INFO] [stdout]   20:     0x556035cd6be9 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hd44623ec51b9e897
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9
[INFO] [stdout]   21:     0x556035cd6be9 - std::panicking::try::do_call::ha8cfa4b025f5b832
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40
[INFO] [stdout]   22:     0x556035cd6be9 - std::panicking::try::h664f75e41c112145
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19
[INFO] [stdout]   23:     0x556035cd6be9 - std::panic::catch_unwind::h4932ec05cd60558e
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14
[INFO] [stdout]   24:     0x556035cd6be9 - test::run_test_in_process::ha14a47756671755c
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18
[INFO] [stdout]   25:     0x556035cd6be9 - test::run_test::run_test_inner::{{closure}}::h0ec9e37c8f67b62d
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39
[INFO] [stdout]   26:     0x556035ca2d9e - test::run_test::run_test_inner::{{closure}}::hd9d2e7f26d4f59e6
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37
[INFO] [stdout]   27:     0x556035ca2d9e - std::sys_common::backtrace::__rust_begin_short_backtrace::h41c0a39fac5123f8
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18
[INFO] [stdout]   28:     0x556035ca8308 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h69a02ca0bebb6eeb
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17
[INFO] [stdout]   29:     0x556035ca8308 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hdd05632920ce689b
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9
[INFO] [stdout]   30:     0x556035ca8308 - std::panicking::try::do_call::hb4947142729b90fd
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40
[INFO] [stdout]   31:     0x556035ca8308 - std::panicking::try::h15a7e9b8394e6878
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19
[INFO] [stdout]   32:     0x556035ca8308 - std::panic::catch_unwind::hbd3f4a3f9df49b85
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14
[INFO] [stdout]   33:     0x556035ca8308 - std::thread::Builder::spawn_unchecked_::{{closure}}::h880b5d5f1b9799f4
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30
[INFO] [stdout]   34:     0x556035ca8308 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h304d5eaf401f5061
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   35:     0x5560367d45e3 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hdba7f2afed0c35b3
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9
[INFO] [stdout]   36:     0x5560367d45e3 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h38b0832765bf7961
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9
[INFO] [stdout]   37:     0x5560367d45e3 - std::sys::unix::thread::Thread::new::thread_start::h70236dc17753425e
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17
[INFO] [stdout]   38:     0x7f0c21fea609 - start_thread
[INFO] [stdout]   39:     0x7f0c21dba163 - clone
[INFO] [stdout]   40:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- sat_rec_simpl stdout ----
[INFO] [stdout] looking at `rsc/sat/long/recursive_simplifications.smt2`
[INFO] [stdout] Error:
[INFO] [stdout] > while reading file and getting model
[INFO] [stdout] > While spawning child process with z3
[INFO] [stdout] > No such file or directory (os error 2)
[INFO] [stdout] thread 'sat_rec_simpl' panicked at 'failure', tests/tests.rs:49:5
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5560367cd4cd - std::backtrace_rs::backtrace::libunwind::trace::ha359b7f0090e2792
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5
[INFO] [stdout]    1:     0x5560367cd4cd - std::backtrace_rs::backtrace::trace_unsynchronized::h0584631f25c1d70e
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x5560367cd4cd - std::sys_common::backtrace::_print_fmt::hdadffd97d279ff14
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:66:5
[INFO] [stdout]    3:     0x5560367cd4cd - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h26f189e611080a74
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:45:22
[INFO] [stdout]    4:     0x5560367f17cc - core::fmt::write::hfb5d11dfe037e8b7
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/fmt/mod.rs:1194:17
[INFO] [stdout]    5:     0x5560367c9331 - std::io::Write::write_fmt::h6a24ec64406df9e2
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/io/mod.rs:1655:15
[INFO] [stdout]    6:     0x5560367cf265 - std::sys_common::backtrace::_print::h7a0e44402913ba60
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:48:5
[INFO] [stdout]    7:     0x5560367cf265 - std::sys_common::backtrace::print::h9767dc455a84e728
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:35:9
[INFO] [stdout]    8:     0x5560367cf265 - std::panicking::default_hook::{{closure}}::h60afd6c8b12988ad
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:295:22
[INFO] [stdout]    9:     0x5560367cef54 - std::panicking::default_hook::ha7b9bac6813f9d21
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:311:9
[INFO] [stdout]   10:     0x5560367cf7b2 - std::panicking::rust_panic_with_hook::h7b117a162a6f8664
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:698:17
[INFO] [stdout]   11:     0x5560366fbd08 - std::panicking::begin_panic::{{closure}}::he53549978ce63704
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:617:9
[INFO] [stdout]   12:     0x5560366fb839 - std::sys_common::backtrace::__rust_end_short_backtrace::h4318a10b5e046572
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:138:18
[INFO] [stdout]   13:     0x5560366fbaa8 - std::panicking::begin_panic::h957f82959b522a85
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:616:12
[INFO] [stdout]   14:     0x556035c8a459 - tests::sat_rec_simpl::h44c3e3580e17279b
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/tests.rs:49:5
[INFO] [stdout]   15:     0x556035c8a29a - tests::sat_rec_simpl::{{closure}}::h66efd4fb81a07e43
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/tests.rs:48:1
[INFO] [stdout]   16:     0x556035ca1c4e - core::ops::function::FnOnce::call_once::h0d584ba116e62288
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   17:     0x556035cd7e33 - core::ops::function::FnOnce::call_once::h018fc248431ce8de
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   18:     0x556035cd7e33 - test::__rust_begin_short_backtrace::h293b982b6069d6e3
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5
[INFO] [stdout]   19:     0x556035cd6be9 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h4fc1be1a762c7a46
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9
[INFO] [stdout]   20:     0x556035cd6be9 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hd44623ec51b9e897
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9
[INFO] [stdout]   21:     0x556035cd6be9 - std::panicking::try::do_call::ha8cfa4b025f5b832
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40
[INFO] [stdout]   22:     0x556035cd6be9 - std::panicking::try::h664f75e41c112145
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19
[INFO] [stdout]   23:     0x556035cd6be9 - std::panic::catch_unwind::h4932ec05cd60558e
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14
[INFO] [stdout]   24:     0x556035cd6be9 - test::run_test_in_process::ha14a47756671755c
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18
[INFO] [stdout]   25:     0x556035cd6be9 - test::run_test::run_test_inner::{{closure}}::h0ec9e37c8f67b62d
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39
[INFO] [stdout]   26:     0x556035ca2d9e - test::run_test::run_test_inner::{{closure}}::hd9d2e7f26d4f59e6
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37
[INFO] [stdout]   27:     0x556035ca2d9e - std::sys_common::backtrace::__rust_begin_short_backtrace::h41c0a39fac5123f8
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18
[INFO] [stdout]   28:     0x556035ca8308 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h69a02ca0bebb6eeb
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17
[INFO] [stdout]   29:     0x556035ca8308 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hdd05632920ce689b
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9
[INFO] [stdout]   30:     0x556035ca8308 - std::panicking::try::do_call::hb4947142729b90fd
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40
[INFO] [stdout]   31:     0x556035ca8308 - std::panicking::try::h15a7e9b8394e6878
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19
[INFO] [stdout]   32:     0x556035ca8308 - std::panic::catch_unwind::hbd3f4a3f9df49b85
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14
[INFO] [stdout]   33:     0x556035ca8308 - std::thread::Builder::spawn_unchecked_::{{closure}}::h880b5d5f1b9799f4
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30
[INFO] [stdout]   34:     0x556035ca8308 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h304d5eaf401f5061
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   35:     0x5560367d45e3 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hdba7f2afed0c35b3
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9
[INFO] [stdout]   36:     0x5560367d45e3 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h38b0832765bf7961
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9
[INFO] [stdout]   37:     0x5560367d45e3 - std::sys::unix::thread::Thread::new::thread_start::h70236dc17753425e
[INFO] [stdout]                                at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17
[INFO] [stdout]   38:     0x7f0c21fea609 - start_thread
[INFO] [stdout]   39:     0x7f0c21dba163 - clone
[INFO] [stdout]   40:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     sat
[INFO] [stdout]     sat_ackermann
[INFO] [stdout]     sat_file
[INFO] [stdout]     sat_rec_simpl
[INFO] [stdout]     unsat
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 1 passed; 5 failed; 0 ignored; 0 measured; 0 filtered out; finished in 17.44s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass '--test tests'
[INFO] running `Command { std: "docker" "inspect" "0a34d3457332aab90bdd0adb037f58c6751f6572fdb3518cd9ddc8f957682c4f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0a34d3457332aab90bdd0adb037f58c6751f6572fdb3518cd9ddc8f957682c4f", kill_on_drop: false }`
[INFO] [stdout] 0a34d3457332aab90bdd0adb037f58c6751f6572fdb3518cd9ddc8f957682c4f