[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 1.60.0 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 1.60.0 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.60.0" "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" "+1.60.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Updating git repository `https://github.com/AdrienChampion/mylib` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded hashconsing v1.3.0 [INFO] [stderr] Downloaded rsmt2 v0.12.0 [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" "+1.60.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] ad76faf2e5a7ac226b3761030371464c2e8cd1006f44db6dbec288d77da8e351 [INFO] running `Command { std: "docker" "start" "-a" "ad76faf2e5a7ac226b3761030371464c2e8cd1006f44db6dbec288d77da8e351", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "ad76faf2e5a7ac226b3761030371464c2e8cd1006f44db6dbec288d77da8e351", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ad76faf2e5a7ac226b3761030371464c2e8cd1006f44db6dbec288d77da8e351", kill_on_drop: false }` [INFO] [stdout] ad76faf2e5a7ac226b3761030371464c2e8cd1006f44db6dbec288d77da8e351 [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" "+1.60.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 248b2845bfb13149196b5665d38a2c83b8e24ac559ca4ee26a9adb9d2d75bc95 [INFO] running `Command { std: "docker" "start" "-a" "248b2845bfb13149196b5665d38a2c83b8e24ac559ca4ee26a9adb9d2d75bc95", kill_on_drop: false }` [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 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 mylib v0.1.0 (https://github.com/AdrienChampion/mylib#62fecec9) [INFO] [stderr] Compiling textwrap v0.11.0 [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 num-complex v0.4.0 [INFO] [stderr] Compiling rand_chacha v0.3.0 [INFO] [stderr] Compiling rand_xorshift v0.3.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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 28.88s [INFO] running `Command { std: "docker" "inspect" "248b2845bfb13149196b5665d38a2c83b8e24ac559ca4ee26a9adb9d2d75bc95", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "248b2845bfb13149196b5665d38a2c83b8e24ac559ca4ee26a9adb9d2d75bc95", kill_on_drop: false }` [INFO] [stdout] 248b2845bfb13149196b5665d38a2c83b8e24ac559ca4ee26a9adb9d2d75bc95 [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" "+1.60.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 69c4fd0b71d2259c458940a490d7c662adbd1baaba24c67600b94f8925f55657 [INFO] running `Command { std: "docker" "start" "-a" "69c4fd0b71d2259c458940a490d7c662adbd1baaba24c67600b94f8925f55657", 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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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] 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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 13.95s [INFO] running `Command { std: "docker" "inspect" "69c4fd0b71d2259c458940a490d7c662adbd1baaba24c67600b94f8925f55657", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "69c4fd0b71d2259c458940a490d7c662adbd1baaba24c67600b94f8925f55657", kill_on_drop: false }` [INFO] [stdout] 69c4fd0b71d2259c458940a490d7c662adbd1baaba24c67600b94f8925f55657 [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" "+1.60.0" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 71d5aed408a2a24cc5b9483cf3bf4415f8db843e9b18b9325fe8940d57e4a85c [INFO] running `Command { std: "docker" "start" "-a" "71d5aed408a2a24cc5b9483cf3bf4415f8db843e9b18b9325fe8940d57e4a85c", 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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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.14s [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/hoice-7aacecc5929dc994) [INFO] [stdout] [INFO] [stdout] running 40 tests [INFO] [stdout] test dtyp::dtyp_write_dec ... ok [INFO] [stdout] test term::test::cst_eq_4 ... ok [INFO] [stdout] test term::test::cst_and_3 ... ok [INFO] [stdout] test term::test::cst_and_2 ... ok [INFO] [stdout] test term::test::cst_and_1 ... ok [INFO] [stdout] test term::test::cst_div ... ok [INFO] [stdout] test term::test::cst_eq_1 ... ok [INFO] [stdout] test term::test::cst_gt_2 ... ok [INFO] [stdout] test term::test::cst_or_1 ... ok [INFO] [stdout] test term::test::cst_ge_1 ... ok [INFO] [stdout] test term::test::cst_mod ... ok [INFO] [stdout] test term::test::cst_gt_1 ... ok [INFO] [stdout] test term::test::cst_lt_2 ... ok [INFO] [stdout] test term::test::cst_mul ... ok [INFO] [stdout] test term::test::cst_sub_2 ... ok [INFO] [stdout] test term::test::cst_or_4 ... ok [INFO] [stdout] test term::test::add_real_1 ... ok [INFO] [stdout] test term::test::cst_or_3 ... ok [INFO] [stdout] test term::test::cst_or_2 ... ok [INFO] [stdout] test term::test::cst_impl_1 ... ok [INFO] [stdout] test term::test::cst_le_2 ... ok [INFO] [stdout] test term::test::cst_add ... ok [INFO] [stdout] test term::test::cst_le_1 ... ok [INFO] [stdout] test term::test::cst_ge_2 ... ok [INFO] [stdout] test term::test::cst_impl_4 ... ok [INFO] [stdout] test term::test::cst_not_2 ... ok [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/hoice-ee40b668f513b68b) [INFO] [stdout] test term::test::cst_eq_3 ... ok [INFO] [stdout] test term::test::cst_not_1 ... ok [INFO] [stdout] test term::test::cst_sub_1 ... ok [INFO] [stdout] test term::test::lazy_3 ... ok [INFO] [stdout] test term::test::cst_impl_3 ... ok [INFO] [stdout] test term::test::cst_impl_2 ... ok [INFO] [stdout] test term::test::cst_lt_1 ... ok [INFO] [stdout] test term::test::cst_and_4 ... ok [INFO] [stdout] test term::test::lazy_4 ... ok [INFO] [stdout] test term::test::cst_or_5 ... ok [INFO] [stdout] test term::test::lazy_2 ... ok [INFO] [stdout] test term::test::ite_1 ... ok [INFO] [stdout] test term::test::cst_eq_2 ... 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.01s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/tests.rs (/opt/rustwide/target/debug/deps/tests-b5b51ecd777cf256) [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: 0x557bd6001cad - std::backtrace_rs::backtrace::libunwind::trace::hee598835bc88d35b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x557bd6001cad - std::backtrace_rs::backtrace::trace_unsynchronized::h9cdc730ba5cf5d72 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x557bd6001cad - std::sys_common::backtrace::_print_fmt::h75aeaf7ed30e43fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x557bd6001cad - ::fmt::h606862f787600875 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x557bd6028a9c - core::fmt::write::he803f0f418caf762 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/fmt/mod.rs:1190:17 [INFO] [stdout] 5: 0x557bd5ffcab8 - std::io::Write::write_fmt::hbe7c1a63616291e2 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/io/mod.rs:1657:15 [INFO] [stdout] 6: 0x557bd6003fd7 - std::sys_common::backtrace::_print::h64d038cf8ac3e13e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x557bd6003fd7 - std::sys_common::backtrace::print::h359300b4a7fccf65 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x557bd6003fd7 - std::panicking::default_hook::{{closure}}::hf51be35e2f510149 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x557bd6003d0c - std::panicking::default_hook::h03ca0f22e1d2d25e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x557bd6004729 - std::panicking::rust_panic_with_hook::h3b7380e99b825b63 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x557bd5e10848 - std::panicking::begin_panic::{{closure}}::h29ee5b2bfa701197 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:617:9 [INFO] [stdout] 12: 0x557bd5e10659 - std::sys_common::backtrace::__rust_end_short_backtrace::h0766cbd62f1e94f6 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x557bd5e107c3 - std::panicking::begin_panic::h87b4a736760fd449 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:616:12 [INFO] [stdout] 14: 0x557bd54e2aea - tests::sat::hf2177d3e85490b4f [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:34:5 [INFO] [stdout] 15: 0x557bd54e293a - tests::sat::{{closure}}::hcf3ca5a7c9bf7021 [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:33:1 [INFO] [stdout] 16: 0x557bd54fad8e - core::ops::function::FnOnce::call_once::h28d070aa6fc834b8 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 17: 0x557bd5527353 - core::ops::function::FnOnce::call_once::h2a47b4b927cb6ca5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: 0x557bd5527353 - test::__rust_begin_short_backtrace::h594ef8055a183b9b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:575:5 [INFO] [stdout] 19: 0x557bd5526034 - as core::ops::function::FnOnce>::call_once::hb40cbb8bc3e1be15 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 20: 0x557bd5526034 - as core::ops::function::FnOnce<()>>::call_once::ha4f2bd3b806745a0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 21: 0x557bd5526034 - std::panicking::try::do_call::h92af9f8bc77a5987 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 22: 0x557bd5526034 - std::panicking::try::h9df49eeae42572b7 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 23: 0x557bd5526034 - std::panic::catch_unwind::h101dbadc82bbe0fd [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 24: 0x557bd5526034 - test::run_test_in_process::h2ad7bffb068e750a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:598:18 [INFO] [stdout] 25: 0x557bd5526034 - test::run_test::run_test_inner::{{closure}}::h384faf46554c5acb [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:492:39 [INFO] [stdout] 26: 0x557bd552f951 - test::run_test::run_test_inner::{{closure}}::h17cfe94835a46685 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:519:37 [INFO] [stdout] 27: 0x557bd552f951 - std::sys_common::backtrace::__rust_begin_short_backtrace::h82709e5086312627 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 28: 0x557bd54fbfcf - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hdfea66a201b39571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 29: 0x557bd54fbfcf - as core::ops::function::FnOnce<()>>::call_once::h4912df03598e67fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 30: 0x557bd54fbfcf - std::panicking::try::do_call::h6d5dc1045d0eade8 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 31: 0x557bd54fbfcf - std::panicking::try::hbc897fc717ec6571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 32: 0x557bd54fbfcf - std::panic::catch_unwind::h27f1e958c91391ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 33: 0x557bd54fbfcf - std::thread::Builder::spawn_unchecked_::{{closure}}::h1b42e48537edc3c0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 34: 0x557bd54fbfcf - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9137b3d6d2a88354 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 35: 0x557bd600aa53 - as core::ops::function::FnOnce>::call_once::hf70ac038171e3e1a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 36: 0x557bd600aa53 - as core::ops::function::FnOnce>::call_once::he6690128792365ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 37: 0x557bd600aa53 - std::sys::unix::thread::Thread::new::thread_start::ha07928d93d5a5ec9 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 38: 0x7ff5806fa609 - start_thread [INFO] [stdout] 39: 0x7ff5804ca163 - clone [INFO] [stdout] 40: 0x0 - [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: 0x557bd6001cad - std::backtrace_rs::backtrace::libunwind::trace::hee598835bc88d35b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x557bd6001cad - std::backtrace_rs::backtrace::trace_unsynchronized::h9cdc730ba5cf5d72 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x557bd6001cad - std::sys_common::backtrace::_print_fmt::h75aeaf7ed30e43fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x557bd6001cad - ::fmt::h606862f787600875 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x557bd6028a9c - core::fmt::write::he803f0f418caf762 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/fmt/mod.rs:1190:17 [INFO] [stdout] 5: 0x557bd5ffcab8 - std::io::Write::write_fmt::hbe7c1a63616291e2 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/io/mod.rs:1657:15 [INFO] [stdout] 6: 0x557bd6003fd7 - std::sys_common::backtrace::_print::h64d038cf8ac3e13e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x557bd6003fd7 - std::sys_common::backtrace::print::h359300b4a7fccf65 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x557bd6003fd7 - std::panicking::default_hook::{{closure}}::hf51be35e2f510149 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x557bd6003d0c - std::panicking::default_hook::h03ca0f22e1d2d25e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x557bd6004729 - std::panicking::rust_panic_with_hook::h3b7380e99b825b63 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x557bd5e10848 - std::panicking::begin_panic::{{closure}}::h29ee5b2bfa701197 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:617:9 [INFO] [stdout] 12: 0x557bd5e10659 - std::sys_common::backtrace::__rust_end_short_backtrace::h0766cbd62f1e94f6 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x557bd5e107c3 - std::panicking::begin_panic::h87b4a736760fd449 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:616:12 [INFO] [stdout] 14: 0x557bd54e3436 - tests::sat_file::h8c54775bc0b8604f [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:44:5 [INFO] [stdout] 15: 0x557bd54e327a - tests::sat_file::{{closure}}::h923490886f3f4135 [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:43:1 [INFO] [stdout] 16: 0x557bd54fae6e - core::ops::function::FnOnce::call_once::h8f535366780a1fa6 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 17: 0x557bd5527353 - core::ops::function::FnOnce::call_once::h2a47b4b927cb6ca5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: 0x557bd5527353 - test::__rust_begin_short_backtrace::h594ef8055a183b9b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:575:5 [INFO] [stdout] 19: 0x557bd5526034 - as core::ops::function::FnOnce>::call_once::hb40cbb8bc3e1be15 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 20: 0x557bd5526034 - as core::ops::function::FnOnce<()>>::call_once::ha4f2bd3b806745a0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 21: 0x557bd5526034 - std::panicking::try::do_call::h92af9f8bc77a5987 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 22: 0x557bd5526034 - std::panicking::try::h9df49eeae42572b7 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 23: 0x557bd5526034 - std::panic::catch_unwind::h101dbadc82bbe0fd [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 24: 0x557bd5526034 - test::run_test_in_process::h2ad7bffb068e750a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:598:18 [INFO] [stdout] 25: 0x557bd5526034 - test::run_test::run_test_inner::{{closure}}::h384faf46554c5acb [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:492:39 [INFO] [stdout] 26: 0x557bd552f951 - test::run_test::run_test_inner::{{closure}}::h17cfe94835a46685 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:519:37 [INFO] [stdout] 27: 0x557bd552f951 - std::sys_common::backtrace::__rust_begin_short_backtrace::h82709e5086312627 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 28: 0x557bd54fbfcf - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hdfea66a201b39571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 29: 0x557bd54fbfcf - as core::ops::function::FnOnce<()>>::call_once::h4912df03598e67fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 30: 0x557bd54fbfcf - std::panicking::try::do_call::h6d5dc1045d0eade8 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 31: 0x557bd54fbfcf - std::panicking::try::hbc897fc717ec6571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 32: 0x557bd54fbfcf - std::panic::catch_unwind::h27f1e958c91391ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 33: 0x557bd54fbfcf - std::thread::Builder::spawn_unchecked_::{{closure}}::h1b42e48537edc3c0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 34: 0x557bd54fbfcf - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9137b3d6d2a88354 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 35: 0x557bd600aa53 - as core::ops::function::FnOnce>::call_once::hf70ac038171e3e1a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 36: 0x557bd600aa53 - as core::ops::function::FnOnce>::call_once::he6690128792365ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 37: 0x557bd600aa53 - std::sys::unix::thread::Thread::new::thread_start::ha07928d93d5a5ec9 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 38: 0x7ff5806fa609 - start_thread [INFO] [stdout] 39: 0x7ff5804ca163 - clone [INFO] [stdout] 40: 0x0 - [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: 0x557bd6001cad - std::backtrace_rs::backtrace::libunwind::trace::hee598835bc88d35b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x557bd6001cad - std::backtrace_rs::backtrace::trace_unsynchronized::h9cdc730ba5cf5d72 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x557bd6001cad - std::sys_common::backtrace::_print_fmt::h75aeaf7ed30e43fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x557bd6001cad - ::fmt::h606862f787600875 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x557bd6028a9c - core::fmt::write::he803f0f418caf762 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/fmt/mod.rs:1190:17 [INFO] [stdout] 5: 0x557bd5ffcab8 - std::io::Write::write_fmt::hbe7c1a63616291e2 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/io/mod.rs:1657:15 [INFO] [stdout] 6: 0x557bd6003fd7 - std::sys_common::backtrace::_print::h64d038cf8ac3e13e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x557bd6003fd7 - std::sys_common::backtrace::print::h359300b4a7fccf65 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x557bd6003fd7 - std::panicking::default_hook::{{closure}}::hf51be35e2f510149 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x557bd6003d0c - std::panicking::default_hook::h03ca0f22e1d2d25e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x557bd6004729 - std::panicking::rust_panic_with_hook::h3b7380e99b825b63 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x557bd5e10848 - std::panicking::begin_panic::{{closure}}::h29ee5b2bfa701197 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:617:9 [INFO] [stdout] 12: 0x557bd5e10659 - std::sys_common::backtrace::__rust_end_short_backtrace::h0766cbd62f1e94f6 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x557bd5e107c3 - std::panicking::begin_panic::h87b4a736760fd449 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:616:12 [INFO] [stdout] 14: 0x557bd54e2f96 - tests::sat_ackermann::h0c86e82cae9d6cdd [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:39:5 [INFO] [stdout] 15: 0x557bd54e2dda - tests::sat_ackermann::{{closure}}::h03af2b84f8c07257 [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:38:1 [INFO] [stdout] 16: 0x557bd54faf0e - core::ops::function::FnOnce::call_once::hcbc60b2d1d152fb0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 17: 0x557bd5527353 - core::ops::function::FnOnce::call_once::h2a47b4b927cb6ca5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: 0x557bd5527353 - test::__rust_begin_short_backtrace::h594ef8055a183b9b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:575:5 [INFO] [stdout] 19: 0x557bd5526034 - as core::ops::function::FnOnce>::call_once::hb40cbb8bc3e1be15 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 20: 0x557bd5526034 - as core::ops::function::FnOnce<()>>::call_once::ha4f2bd3b806745a0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 21: 0x557bd5526034 - std::panicking::try::do_call::h92af9f8bc77a5987 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 22: 0x557bd5526034 - std::panicking::try::h9df49eeae42572b7 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 23: 0x557bd5526034 - std::panic::catch_unwind::h101dbadc82bbe0fd [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 24: 0x557bd5526034 - test::run_test_in_process::h2ad7bffb068e750a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:598:18 [INFO] [stdout] 25: 0x557bd5526034 - test::run_test::run_test_inner::{{closure}}::h384faf46554c5acb [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:492:39 [INFO] [stdout] 26: 0x557bd552f951 - test::run_test::run_test_inner::{{closure}}::h17cfe94835a46685 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:519:37 [INFO] [stdout] 27: 0x557bd552f951 - std::sys_common::backtrace::__rust_begin_short_backtrace::h82709e5086312627 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 28: 0x557bd54fbfcf - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hdfea66a201b39571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 29: 0x557bd54fbfcf - as core::ops::function::FnOnce<()>>::call_once::h4912df03598e67fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 30: 0x557bd54fbfcf - std::panicking::try::do_call::h6d5dc1045d0eade8 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 31: 0x557bd54fbfcf - std::panicking::try::hbc897fc717ec6571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 32: 0x557bd54fbfcf - std::panic::catch_unwind::h27f1e958c91391ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 33: 0x557bd54fbfcf - std::thread::Builder::spawn_unchecked_::{{closure}}::h1b42e48537edc3c0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 34: 0x557bd54fbfcf - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9137b3d6d2a88354 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 35: 0x557bd600aa53 - as core::ops::function::FnOnce>::call_once::hf70ac038171e3e1a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 36: 0x557bd600aa53 - as core::ops::function::FnOnce>::call_once::he6690128792365ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 37: 0x557bd600aa53 - std::sys::unix::thread::Thread::new::thread_start::ha07928d93d5a5ec9 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 38: 0x7ff5806fa609 - start_thread [INFO] [stdout] 39: 0x7ff5804ca163 - clone [INFO] [stdout] 40: 0x0 - [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: 0x557bd6001cad - std::backtrace_rs::backtrace::libunwind::trace::hee598835bc88d35b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x557bd6001cad - std::backtrace_rs::backtrace::trace_unsynchronized::h9cdc730ba5cf5d72 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x557bd6001cad - std::sys_common::backtrace::_print_fmt::h75aeaf7ed30e43fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x557bd6001cad - ::fmt::h606862f787600875 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x557bd6028a9c - core::fmt::write::he803f0f418caf762 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/fmt/mod.rs:1190:17 [INFO] [stdout] 5: 0x557bd5ffcab8 - std::io::Write::write_fmt::hbe7c1a63616291e2 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/io/mod.rs:1657:15 [INFO] [stdout] 6: 0x557bd6003fd7 - std::sys_common::backtrace::_print::h64d038cf8ac3e13e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x557bd6003fd7 - std::sys_common::backtrace::print::h359300b4a7fccf65 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x557bd6003fd7 - std::panicking::default_hook::{{closure}}::hf51be35e2f510149 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x557bd6003d0c - std::panicking::default_hook::h03ca0f22e1d2d25e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x557bd6004729 - std::panicking::rust_panic_with_hook::h3b7380e99b825b63 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x557bd5e10848 - std::panicking::begin_panic::{{closure}}::h29ee5b2bfa701197 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:617:9 [INFO] [stdout] 12: 0x557bd5e10659 - std::sys_common::backtrace::__rust_end_short_backtrace::h0766cbd62f1e94f6 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x557bd5e107c3 - std::panicking::begin_panic::h87b4a736760fd449 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:616:12 [INFO] [stdout] 14: 0x557bd54e3d6a - tests::unsat::hecf39241c7bf8951 [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:54:5 [INFO] [stdout] 15: 0x557bd54e3bba - tests::unsat::{{closure}}::h749c413d63fddebb [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:53:1 [INFO] [stdout] 16: 0x557bd54fad4e - core::ops::function::FnOnce::call_once::h1c22050c0b25fffd [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 17: 0x557bd5527353 - core::ops::function::FnOnce::call_once::h2a47b4b927cb6ca5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: 0x557bd5527353 - test::__rust_begin_short_backtrace::h594ef8055a183b9b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:575:5 [INFO] [stdout] 19: 0x557bd5526034 - as core::ops::function::FnOnce>::call_once::hb40cbb8bc3e1be15 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 20: 0x557bd5526034 - as core::ops::function::FnOnce<()>>::call_once::ha4f2bd3b806745a0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 21: 0x557bd5526034 - std::panicking::try::do_call::h92af9f8bc77a5987 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 22: 0x557bd5526034 - std::panicking::try::h9df49eeae42572b7 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 23: 0x557bd5526034 - std::panic::catch_unwind::h101dbadc82bbe0fd [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 24: 0x557bd5526034 - test::run_test_in_process::h2ad7bffb068e750a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:598:18 [INFO] [stdout] 25: 0x557bd5526034 - test::run_test::run_test_inner::{{closure}}::h384faf46554c5acb [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:492:39 [INFO] [stdout] 26: 0x557bd552f951 - test::run_test::run_test_inner::{{closure}}::h17cfe94835a46685 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:519:37 [INFO] [stdout] 27: 0x557bd552f951 - std::sys_common::backtrace::__rust_begin_short_backtrace::h82709e5086312627 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 28: 0x557bd54fbfcf - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hdfea66a201b39571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 29: 0x557bd54fbfcf - as core::ops::function::FnOnce<()>>::call_once::h4912df03598e67fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 30: 0x557bd54fbfcf - std::panicking::try::do_call::h6d5dc1045d0eade8 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 31: 0x557bd54fbfcf - std::panicking::try::hbc897fc717ec6571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 32: 0x557bd54fbfcf - std::panic::catch_unwind::h27f1e958c91391ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 33: 0x557bd54fbfcf - std::thread::Builder::spawn_unchecked_::{{closure}}::h1b42e48537edc3c0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 34: 0x557bd54fbfcf - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9137b3d6d2a88354 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 35: 0x557bd600aa53 - as core::ops::function::FnOnce>::call_once::hf70ac038171e3e1a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 36: 0x557bd600aa53 - as core::ops::function::FnOnce>::call_once::he6690128792365ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 37: 0x557bd600aa53 - std::sys::unix::thread::Thread::new::thread_start::ha07928d93d5a5ec9 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 38: 0x7ff5806fa609 - start_thread [INFO] [stdout] 39: 0x7ff5804ca163 - clone [INFO] [stdout] 40: 0x0 - [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: 0x557bd6001cad - std::backtrace_rs::backtrace::libunwind::trace::hee598835bc88d35b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x557bd6001cad - std::backtrace_rs::backtrace::trace_unsynchronized::h9cdc730ba5cf5d72 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x557bd6001cad - std::sys_common::backtrace::_print_fmt::h75aeaf7ed30e43fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x557bd6001cad - ::fmt::h606862f787600875 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x557bd6028a9c - core::fmt::write::he803f0f418caf762 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/fmt/mod.rs:1190:17 [INFO] [stdout] 5: 0x557bd5ffcab8 - std::io::Write::write_fmt::hbe7c1a63616291e2 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/io/mod.rs:1657:15 [INFO] [stdout] 6: 0x557bd6003fd7 - std::sys_common::backtrace::_print::h64d038cf8ac3e13e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x557bd6003fd7 - std::sys_common::backtrace::print::h359300b4a7fccf65 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x557bd6003fd7 - std::panicking::default_hook::{{closure}}::hf51be35e2f510149 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x557bd6003d0c - std::panicking::default_hook::h03ca0f22e1d2d25e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x557bd6004729 - std::panicking::rust_panic_with_hook::h3b7380e99b825b63 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x557bd5e10848 - std::panicking::begin_panic::{{closure}}::h29ee5b2bfa701197 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:617:9 [INFO] [stdout] 12: 0x557bd5e10659 - std::sys_common::backtrace::__rust_end_short_backtrace::h0766cbd62f1e94f6 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x557bd5e107c3 - std::panicking::begin_panic::h87b4a736760fd449 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:616:12 [INFO] [stdout] 14: 0x557bd54e38d6 - tests::sat_rec_simpl::h2eeba903e7ead7f5 [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:49:5 [INFO] [stdout] 15: 0x557bd54e371a - tests::sat_rec_simpl::{{closure}}::h1593928bb558a965 [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:48:1 [INFO] [stdout] 16: 0x557bd54faece - core::ops::function::FnOnce::call_once::hb6a7fd150731f270 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 17: 0x557bd5527353 - core::ops::function::FnOnce::call_once::h2a47b4b927cb6ca5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: 0x557bd5527353 - test::__rust_begin_short_backtrace::h594ef8055a183b9b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:575:5 [INFO] [stdout] 19: 0x557bd5526034 - as core::ops::function::FnOnce>::call_once::hb40cbb8bc3e1be15 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 20: 0x557bd5526034 - as core::ops::function::FnOnce<()>>::call_once::ha4f2bd3b806745a0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 21: 0x557bd5526034 - std::panicking::try::do_call::h92af9f8bc77a5987 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 22: 0x557bd5526034 - std::panicking::try::h9df49eeae42572b7 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 23: 0x557bd5526034 - std::panic::catch_unwind::h101dbadc82bbe0fd [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 24: 0x557bd5526034 - test::run_test_in_process::h2ad7bffb068e750a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:598:18 [INFO] [stdout] 25: 0x557bd5526034 - test::run_test::run_test_inner::{{closure}}::h384faf46554c5acb [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:492:39 [INFO] [stdout] 26: 0x557bd552f951 - test::run_test::run_test_inner::{{closure}}::h17cfe94835a46685 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:519:37 [INFO] [stdout] 27: 0x557bd552f951 - std::sys_common::backtrace::__rust_begin_short_backtrace::h82709e5086312627 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stderr] error: test failed, to rerun pass '--test tests' [INFO] [stdout] 28: 0x557bd54fbfcf - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hdfea66a201b39571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 29: 0x557bd54fbfcf - as core::ops::function::FnOnce<()>>::call_once::h4912df03598e67fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 30: 0x557bd54fbfcf - std::panicking::try::do_call::h6d5dc1045d0eade8 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 31: 0x557bd54fbfcf - std::panicking::try::hbc897fc717ec6571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 32: 0x557bd54fbfcf - std::panic::catch_unwind::h27f1e958c91391ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 33: 0x557bd54fbfcf - std::thread::Builder::spawn_unchecked_::{{closure}}::h1b42e48537edc3c0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 34: 0x557bd54fbfcf - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9137b3d6d2a88354 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 35: 0x557bd600aa53 - as core::ops::function::FnOnce>::call_once::hf70ac038171e3e1a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 36: 0x557bd600aa53 - as core::ops::function::FnOnce>::call_once::he6690128792365ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 37: 0x557bd600aa53 - std::sys::unix::thread::Thread::new::thread_start::ha07928d93d5a5ec9 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 38: 0x7ff5806fa609 - start_thread [INFO] [stdout] 39: 0x7ff5804ca163 - clone [INFO] [stdout] 40: 0x0 - [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 11.25s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "71d5aed408a2a24cc5b9483cf3bf4415f8db843e9b18b9325fe8940d57e4a85c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "71d5aed408a2a24cc5b9483cf3bf4415f8db843e9b18b9325fe8940d57e4a85c", kill_on_drop: false }` [INFO] [stdout] 71d5aed408a2a24cc5b9483cf3bf4415f8db843e9b18b9325fe8940d57e4a85c