[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.59.0 for beta-1.60-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhopv%2Fhoice" "/workspace/builds/worker-50/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-50/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/hopv/hoice on toolchain 1.59.0 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.59.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-50/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.59.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] Blocking waiting for file lock on package cache [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-50/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-50/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:0cd99ca24d8e8c98e67c542213511d985b8778b5bdcbb160e038429496686047" "/opt/rustwide/cargo-home/bin/cargo" "+1.59.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] ac5ce39b67e1ec44cb97bfa5526dc6afc0f93e00c0af162f19c5e263e0a68ade [INFO] running `Command { std: "docker" "start" "-a" "ac5ce39b67e1ec44cb97bfa5526dc6afc0f93e00c0af162f19c5e263e0a68ade", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "ac5ce39b67e1ec44cb97bfa5526dc6afc0f93e00c0af162f19c5e263e0a68ade", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ac5ce39b67e1ec44cb97bfa5526dc6afc0f93e00c0af162f19c5e263e0a68ade", kill_on_drop: false }` [INFO] [stdout] ac5ce39b67e1ec44cb97bfa5526dc6afc0f93e00c0af162f19c5e263e0a68ade [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-50/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-50/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:0cd99ca24d8e8c98e67c542213511d985b8778b5bdcbb160e038429496686047" "/opt/rustwide/cargo-home/bin/cargo" "+1.59.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 045f4e0debee7dd642e4e2c5eef17b3ace45b7bb7eb19d22bebb2a2d94da8b34 [INFO] running `Command { std: "docker" "start" "-a" "045f4e0debee7dd642e4e2c5eef17b3ace45b7bb7eb19d22bebb2a2d94da8b34", 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 version_check v0.9.3 [INFO] [stderr] Compiling adler v1.0.2 [INFO] [stderr] Compiling gimli v0.23.0 [INFO] [stderr] Compiling rustc-demangle v0.1.18 [INFO] [stderr] Compiling object v0.23.0 [INFO] [stderr] Compiling either v1.6.1 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling miniz_oxide v0.4.4 [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 mylib v0.1.0 (https://github.com/AdrienChampion/mylib#62fecec9) [INFO] [stderr] Compiling hashconsing v1.3.0 [INFO] [stderr] Compiling error-chain v0.12.4 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling clap v2.33.3 [INFO] [stderr] Compiling rand_core v0.6.2 [INFO] [stderr] Compiling rand_chacha v0.3.0 [INFO] [stderr] Compiling rand_xorshift v0.3.0 [INFO] [stderr] Compiling num-integer v0.1.44 [INFO] [stderr] Compiling num-complex v0.4.0 [INFO] [stderr] Compiling rand v0.8.3 [INFO] [stderr] Compiling addr2line v0.14.1 [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 5m 01s [INFO] running `Command { std: "docker" "inspect" "045f4e0debee7dd642e4e2c5eef17b3ace45b7bb7eb19d22bebb2a2d94da8b34", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "045f4e0debee7dd642e4e2c5eef17b3ace45b7bb7eb19d22bebb2a2d94da8b34", kill_on_drop: false }` [INFO] [stdout] 045f4e0debee7dd642e4e2c5eef17b3ace45b7bb7eb19d22bebb2a2d94da8b34 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-50/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-50/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:0cd99ca24d8e8c98e67c542213511d985b8778b5bdcbb160e038429496686047" "/opt/rustwide/cargo-home/bin/cargo" "+1.59.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 745b545577f170b337bee9d98eb2fbbc655f97abd003cbe70f213a72d811d690 [INFO] running `Command { std: "docker" "start" "-a" "745b545577f170b337bee9d98eb2fbbc655f97abd003cbe70f213a72d811d690", 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] [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: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] [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 4m 45s [INFO] running `Command { std: "docker" "inspect" "745b545577f170b337bee9d98eb2fbbc655f97abd003cbe70f213a72d811d690", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "745b545577f170b337bee9d98eb2fbbc655f97abd003cbe70f213a72d811d690", kill_on_drop: false }` [INFO] [stdout] 745b545577f170b337bee9d98eb2fbbc655f97abd003cbe70f213a72d811d690 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-50/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-50/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:0cd99ca24d8e8c98e67c542213511d985b8778b5bdcbb160e038429496686047" "/opt/rustwide/cargo-home/bin/cargo" "+1.59.0" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 609e990a7377ee1652e4e3e4efeac2185cbeb6818e49f20a9c8226be1b4c616a [INFO] running `Command { std: "docker" "start" "-a" "609e990a7377ee1652e4e3e4efeac2185cbeb6818e49f20a9c8226be1b4c616a", kill_on_drop: false }` [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.19s [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/hoice-0afe171d470319e2) [INFO] [stdout] [INFO] [stdout] running 40 tests [INFO] [stdout] test dtyp::dtyp_write_dec ... ok [INFO] [stdout] test term::test::cst_impl_4 ... ok [INFO] [stdout] test term::test::cst_or_1 ... ok [INFO] [stdout] test term::test::cst_le_1 ... ok [INFO] [stdout] test term::test::cst_eq_4 ... ok [INFO] [stdout] test term::test::cst_not_2 ... ok [INFO] [stdout] test term::test::cst_impl_3 ... ok [INFO] [stdout] test term::test::cst_ge_1 ... ok [INFO] [stdout] test term::test::cst_or_5 ... 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_or_2 ... ok [INFO] [stdout] test term::test::cst_gt_1 ... ok [INFO] [stdout] test term::test::cst_sub_2 ... ok [INFO] [stdout] test term::test::cst_eq_1 ... ok [INFO] [stdout] test term::test::cst_lt_1 ... ok [INFO] [stdout] test term::test::cst_or_4 ... ok [INFO] [stdout] test term::test::cst_mul ... ok [INFO] [stdout] test term::test::cst_impl_1 ... ok [INFO] [stdout] test term::test::cst_mod ... ok [INFO] [stdout] test term::test::cst_div ... ok [INFO] [stdout] test term::test::cst_not_1 ... ok [INFO] [stdout] test term::test::cst_impl_2 ... ok [INFO] [stdout] test term::test::lazy_4 ... ok [INFO] [stdout] test term::test::cst_lt_2 ... ok [INFO] [stdout] test term::test::cst_eq_3 ... ok [INFO] [stdout] test term::test::cst_and_4 ... ok [INFO] [stdout] test term::test::cst_eq_2 ... ok [INFO] [stdout] test term::test::cst_add ... ok [INFO] [stdout] test term::test::cst_ge_2 ... ok [INFO] [stdout] test term::test::lazy_1 ... ok [INFO] [stdout] test term::test::cst_sub_1 ... ok [INFO] [stdout] test term::test::cst_gt_2 ... ok [INFO] [stdout] test term::test::lazy_2 ... ok [INFO] [stdout] test term::test::cst_le_2 ... ok [INFO] [stdout] test term::test::cst_and_3 ... ok [INFO] [stdout] test term::test::lazy_3 ... ok [INFO] [stdout] test term::test::add_real_1 ... ok [INFO] [stdout] test term::test::cst_or_3 ... ok [INFO] [stdout] test term::test::ite_1 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 40 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s [INFO] [stdout] [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/hoice-b14f5a66b06cba5a) [INFO] [stdout] [INFO] [stderr] Running tests/tests.rs (/opt/rustwide/target/debug/deps/tests-44ef14da625f2feb) [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] [stdout] [INFO] [stdout] running 6 tests [INFO] [stdout] test sat ... FAILED [INFO] [stdout] test unsat ... FAILED [INFO] [stdout] test sat_file ... FAILED [INFO] [stdout] test err ... ok [INFO] [stdout] test sat_ackermann ... FAILED [INFO] [stderr] error: test failed, to rerun pass '--test tests' [INFO] [stdout] test sat_rec_simpl ... FAILED [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- sat stdout ---- [INFO] [stdout] looking at `rsc/sat/preproc_restart.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: 0x55c6394254ec - std::backtrace_rs::backtrace::libunwind::trace::h91c465e73bf6c785 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x55c6394254ec - std::backtrace_rs::backtrace::trace_unsynchronized::hae9da36f5d58b5f3 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x55c6394254ec - std::sys_common::backtrace::_print_fmt::h7f499fa126a7effb [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x55c6394254ec - ::fmt::h3e2b509ce2ce6007 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x55c63944c8ac - core::fmt::write::h753c7571fa063ecb [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/fmt/mod.rs:1168:17 [INFO] [stdout] 5: 0x55c63941fcd3 - std::io::Write::write_fmt::hb649ab67f71b6655 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/io/mod.rs:1660:15 [INFO] [stdout] 6: 0x55c639427c12 - std::sys_common::backtrace::_print::h64941a6fc8b0ed9b [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x55c639427c12 - std::sys_common::backtrace::print::hcf25e43e1a9b0766 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x55c639427c12 - std::panicking::default_hook::{{closure}}::h78d3e6cf97fc623d [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:211:50 [INFO] [stdout] 9: 0x55c639427861 - std::panicking::default_hook::hda898f8d3ad1a5ae [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:225:9 [INFO] [stdout] 10: 0x55c639428263 - std::panicking::rust_panic_with_hook::h1a5ea2d6c23051aa [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:606:17 [INFO] [stdout] 11: 0x55c63928d852 - std::panicking::begin_panic::{{closure}}::hd5891f6b227b8e3f [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:526:9 [INFO] [stdout] 12: 0x55c63928d669 - std::sys_common::backtrace::__rust_end_short_backtrace::h366cadace10dc809 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:139:18 [INFO] [stdout] 13: 0x55c63928d7d3 - std::panicking::begin_panic::hfafdc6a318f4d4e9 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:525:12 [INFO] [stdout] 14: 0x55c638856616 - tests::sat::hcc18f1f8d4443ef5 [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:34:5 [INFO] [stdout] 15: 0x55c63885645a - tests::sat::{{closure}}::hda357cfdf72306bb [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:33:1 [INFO] [stdout] 16: 0x55c638872e6e - core::ops::function::FnOnce::call_once::h77ae8ea010d8378d [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 17: 0x55c63889f3a3 - core::ops::function::FnOnce::call_once::h1845a80638abc06e [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: 0x55c63889f3a3 - test::__rust_begin_short_backtrace::h4f56ccea01b9889f [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/test/src/lib.rs:574:5 [INFO] [stdout] 19: 0x55c63889e08f - as core::ops::function::FnOnce>::call_once::h5afedf14a39ffa74 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/alloc/src/boxed.rs:1854:9 [INFO] [stdout] 20: 0x55c63889e08f - as core::ops::function::FnOnce<()>>::call_once::hd5aaa1b551e9ce71 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 21: 0x55c63889e08f - std::panicking::try::do_call::h316eebee63f96d32 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:406:40 [INFO] [stdout] 22: 0x55c63889e08f - std::panicking::try::h662e31e84dd7ce52 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:370:19 [INFO] [stdout] 23: 0x55c63889e08f - std::panic::catch_unwind::h129c1b23f076663f [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panic.rs:133:14 [INFO] [stdout] 24: 0x55c63889e08f - test::run_test_in_process::h51d800d572f878ef [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/test/src/lib.rs:597:18 [INFO] [stdout] 25: 0x55c63889e08f - test::run_test::run_test_inner::{{closure}}::h71a47db430260854 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/test/src/lib.rs:491:39 [INFO] [stdout] 26: 0x55c6388a7451 - test::run_test::run_test_inner::{{closure}}::h02edd5b3e2dab52a [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/test/src/lib.rs:518:37 [INFO] [stdout] 27: 0x55c6388a7451 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0838cfc8b0e995ec [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:123:18 [INFO] [stdout] 28: 0x55c638873edf - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h4c2725d7078043cd [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/thread/mod.rs:477:17 [INFO] [stdout] 29: 0x55c638873edf - as core::ops::function::FnOnce<()>>::call_once::hdf1aa612eed87270 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 30: 0x55c638873edf - std::panicking::try::do_call::hc72f8de3706d18d6 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:406:40 [INFO] [stdout] 31: 0x55c638873edf - std::panicking::try::h63f01f54dbd0fb87 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:370:19 [INFO] [stdout] 32: 0x55c638873edf - std::panic::catch_unwind::h58bc464ae9b26453 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panic.rs:133:14 [INFO] [stdout] 33: 0x55c638873edf - std::thread::Builder::spawn_unchecked::{{closure}}::h6c065e19513e33e3 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/thread/mod.rs:476:30 [INFO] [stdout] 34: 0x55c638873edf - core::ops::function::FnOnce::call_once{{vtable.shim}}::hd143450c74f35c32 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 35: 0x55c63942e533 - as core::ops::function::FnOnce>::call_once::h49b6c7c5155a2296 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/alloc/src/boxed.rs:1854:9 [INFO] [stdout] 36: 0x55c63942e533 - as core::ops::function::FnOnce>::call_once::ha8b5234bfeb15105 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/alloc/src/boxed.rs:1854:9 [INFO] [stdout] 37: 0x55c63942e533 - std::sys::unix::thread::Thread::new::thread_start::h6f207dd842d64859 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 38: 0x7f4950c7f609 - start_thread [INFO] [stdout] 39: 0x7f4950a51293 - clone [INFO] [stdout] 40: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- unsat stdout ---- [INFO] [stdout] looking at `proof_1.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: 0x55c6394254ec - std::backtrace_rs::backtrace::libunwind::trace::h91c465e73bf6c785 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x55c6394254ec - std::backtrace_rs::backtrace::trace_unsynchronized::hae9da36f5d58b5f3 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x55c6394254ec - std::sys_common::backtrace::_print_fmt::h7f499fa126a7effb [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x55c6394254ec - ::fmt::h3e2b509ce2ce6007 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x55c63944c8ac - core::fmt::write::h753c7571fa063ecb [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/fmt/mod.rs:1168:17 [INFO] [stdout] 5: 0x55c63941fcd3 - std::io::Write::write_fmt::hb649ab67f71b6655 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/io/mod.rs:1660:15 [INFO] [stdout] 6: 0x55c639427c12 - std::sys_common::backtrace::_print::h64941a6fc8b0ed9b [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x55c639427c12 - std::sys_common::backtrace::print::hcf25e43e1a9b0766 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x55c639427c12 - std::panicking::default_hook::{{closure}}::h78d3e6cf97fc623d [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:211:50 [INFO] [stdout] 9: 0x55c639427861 - std::panicking::default_hook::hda898f8d3ad1a5ae [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:225:9 [INFO] [stdout] 10: 0x55c639428263 - std::panicking::rust_panic_with_hook::h1a5ea2d6c23051aa [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:606:17 [INFO] [stdout] 11: 0x55c63928d852 - std::panicking::begin_panic::{{closure}}::hd5891f6b227b8e3f [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:526:9 [INFO] [stdout] 12: 0x55c63928d669 - std::sys_common::backtrace::__rust_end_short_backtrace::h366cadace10dc809 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:139:18 [INFO] [stdout] 13: 0x55c63928d7d3 - std::panicking::begin_panic::hfafdc6a318f4d4e9 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:525:12 [INFO] [stdout] 14: 0x55c638857a86 - tests::unsat::he16095669a00ea1c [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:54:5 [INFO] [stdout] 15: 0x55c6388578ca - tests::unsat::{{closure}}::hff56bbaf54c43cbd [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:53:1 [INFO] [stdout] 16: 0x55c638872dae - core::ops::function::FnOnce::call_once::h4009043e3e3c81c3 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 17: 0x55c63889f3a3 - core::ops::function::FnOnce::call_once::h1845a80638abc06e [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: 0x55c63889f3a3 - test::__rust_begin_short_backtrace::h4f56ccea01b9889f [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/test/src/lib.rs:574:5 [INFO] [stdout] 19: 0x55c63889e08f - as core::ops::function::FnOnce>::call_once::h5afedf14a39ffa74 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/alloc/src/boxed.rs:1854:9 [INFO] [stdout] 20: 0x55c63889e08f - as core::ops::function::FnOnce<()>>::call_once::hd5aaa1b551e9ce71 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 21: 0x55c63889e08f - std::panicking::try::do_call::h316eebee63f96d32 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:406:40 [INFO] [stdout] 22: 0x55c63889e08f - std::panicking::try::h662e31e84dd7ce52 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:370:19 [INFO] [stdout] 23: 0x55c63889e08f - std::panic::catch_unwind::h129c1b23f076663f [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panic.rs:133:14 [INFO] [stdout] 24: 0x55c63889e08f - test::run_test_in_process::h51d800d572f878ef [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/test/src/lib.rs:597:18 [INFO] [stdout] 25: 0x55c63889e08f - test::run_test::run_test_inner::{{closure}}::h71a47db430260854 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/test/src/lib.rs:491:39 [INFO] [stdout] 26: 0x55c6388a7451 - test::run_test::run_test_inner::{{closure}}::h02edd5b3e2dab52a [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/test/src/lib.rs:518:37 [INFO] [stdout] 27: 0x55c6388a7451 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0838cfc8b0e995ec [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:123:18 [INFO] [stdout] 28: 0x55c638873edf - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h4c2725d7078043cd [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/thread/mod.rs:477:17 [INFO] [stdout] 29: 0x55c638873edf - as core::ops::function::FnOnce<()>>::call_once::hdf1aa612eed87270 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 30: 0x55c638873edf - std::panicking::try::do_call::hc72f8de3706d18d6 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:406:40 [INFO] [stdout] 31: 0x55c638873edf - std::panicking::try::h63f01f54dbd0fb87 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:370:19 [INFO] [stdout] 32: 0x55c638873edf - std::panic::catch_unwind::h58bc464ae9b26453 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panic.rs:133:14 [INFO] [stdout] 33: 0x55c638873edf - std::thread::Builder::spawn_unchecked::{{closure}}::h6c065e19513e33e3 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/thread/mod.rs:476:30 [INFO] [stdout] 34: 0x55c638873edf - core::ops::function::FnOnce::call_once{{vtable.shim}}::hd143450c74f35c32 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 35: 0x55c63942e533 - as core::ops::function::FnOnce>::call_once::h49b6c7c5155a2296 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/alloc/src/boxed.rs:1854:9 [INFO] [stdout] 36: 0x55c63942e533 - as core::ops::function::FnOnce>::call_once::ha8b5234bfeb15105 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/alloc/src/boxed.rs:1854:9 [INFO] [stdout] 37: 0x55c63942e533 - std::sys::unix::thread::Thread::new::thread_start::h6f207dd842d64859 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 38: 0x7f4950c7f609 - start_thread [INFO] [stdout] 39: 0x7f4950a51293 - 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: 0x55c6394254ec - std::backtrace_rs::backtrace::libunwind::trace::h91c465e73bf6c785 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x55c6394254ec - std::backtrace_rs::backtrace::trace_unsynchronized::hae9da36f5d58b5f3 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x55c6394254ec - std::sys_common::backtrace::_print_fmt::h7f499fa126a7effb [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x55c6394254ec - ::fmt::h3e2b509ce2ce6007 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x55c63944c8ac - core::fmt::write::h753c7571fa063ecb [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/fmt/mod.rs:1168:17 [INFO] [stdout] 5: 0x55c63941fcd3 - std::io::Write::write_fmt::hb649ab67f71b6655 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/io/mod.rs:1660:15 [INFO] [stdout] 6: 0x55c639427c12 - std::sys_common::backtrace::_print::h64941a6fc8b0ed9b [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x55c639427c12 - std::sys_common::backtrace::print::hcf25e43e1a9b0766 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x55c639427c12 - std::panicking::default_hook::{{closure}}::h78d3e6cf97fc623d [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:211:50 [INFO] [stdout] 9: 0x55c639427861 - std::panicking::default_hook::hda898f8d3ad1a5ae [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:225:9 [INFO] [stdout] 10: 0x55c639428263 - std::panicking::rust_panic_with_hook::h1a5ea2d6c23051aa [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:606:17 [INFO] [stdout] 11: 0x55c63928d852 - std::panicking::begin_panic::{{closure}}::hd5891f6b227b8e3f [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:526:9 [INFO] [stdout] 12: 0x55c63928d669 - std::sys_common::backtrace::__rust_end_short_backtrace::h366cadace10dc809 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:139:18 [INFO] [stdout] 13: 0x55c63928d7d3 - std::panicking::begin_panic::hfafdc6a318f4d4e9 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:525:12 [INFO] [stdout] 14: 0x55c638857052 - tests::sat_file::haa4b78721f9e6a76 [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:44:5 [INFO] [stdout] 15: 0x55c638856e8a - tests::sat_file::{{closure}}::hb6461e56cec782eb [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:43:1 [INFO] [stdout] 16: 0x55c638872ebe - core::ops::function::FnOnce::call_once::h94ebccb513d13281 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 17: 0x55c63889f3a3 - core::ops::function::FnOnce::call_once::h1845a80638abc06e [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: 0x55c63889f3a3 - test::__rust_begin_short_backtrace::h4f56ccea01b9889f [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/test/src/lib.rs:574:5 [INFO] [stdout] 19: 0x55c63889e08f - as core::ops::function::FnOnce>::call_once::h5afedf14a39ffa74 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/alloc/src/boxed.rs:1854:9 [INFO] [stdout] 20: 0x55c63889e08f - as core::ops::function::FnOnce<()>>::call_once::hd5aaa1b551e9ce71 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 21: 0x55c63889e08f - std::panicking::try::do_call::h316eebee63f96d32 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:406:40 [INFO] [stdout] 22: 0x55c63889e08f - std::panicking::try::h662e31e84dd7ce52 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:370:19 [INFO] [stdout] 23: 0x55c63889e08f - std::panic::catch_unwind::h129c1b23f076663f [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panic.rs:133:14 [INFO] [stdout] 24: 0x55c63889e08f - test::run_test_in_process::h51d800d572f878ef [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/test/src/lib.rs:597:18 [INFO] [stdout] 25: 0x55c63889e08f - test::run_test::run_test_inner::{{closure}}::h71a47db430260854 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/test/src/lib.rs:491:39 [INFO] [stdout] 26: 0x55c6388a7451 - test::run_test::run_test_inner::{{closure}}::h02edd5b3e2dab52a [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/test/src/lib.rs:518:37 [INFO] [stdout] 27: 0x55c6388a7451 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0838cfc8b0e995ec [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:123:18 [INFO] [stdout] 28: 0x55c638873edf - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h4c2725d7078043cd [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/thread/mod.rs:477:17 [INFO] [stdout] 29: 0x55c638873edf - as core::ops::function::FnOnce<()>>::call_once::hdf1aa612eed87270 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 30: 0x55c638873edf - std::panicking::try::do_call::hc72f8de3706d18d6 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:406:40 [INFO] [stdout] 31: 0x55c638873edf - std::panicking::try::h63f01f54dbd0fb87 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:370:19 [INFO] [stdout] 32: 0x55c638873edf - std::panic::catch_unwind::h58bc464ae9b26453 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panic.rs:133:14 [INFO] [stdout] 33: 0x55c638873edf - std::thread::Builder::spawn_unchecked::{{closure}}::h6c065e19513e33e3 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/thread/mod.rs:476:30 [INFO] [stdout] 34: 0x55c638873edf - core::ops::function::FnOnce::call_once{{vtable.shim}}::hd143450c74f35c32 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 35: 0x55c63942e533 - as core::ops::function::FnOnce>::call_once::h49b6c7c5155a2296 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/alloc/src/boxed.rs:1854:9 [INFO] [stdout] 36: 0x55c63942e533 - as core::ops::function::FnOnce>::call_once::ha8b5234bfeb15105 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/alloc/src/boxed.rs:1854:9 [INFO] [stdout] 37: 0x55c63942e533 - std::sys::unix::thread::Thread::new::thread_start::h6f207dd842d64859 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 38: 0x7f4950c7f609 - start_thread [INFO] [stdout] 39: 0x7f4950a51293 - 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: 0x55c6394254ec - std::backtrace_rs::backtrace::libunwind::trace::h91c465e73bf6c785 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x55c6394254ec - std::backtrace_rs::backtrace::trace_unsynchronized::hae9da36f5d58b5f3 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x55c6394254ec - std::sys_common::backtrace::_print_fmt::h7f499fa126a7effb [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x55c6394254ec - ::fmt::h3e2b509ce2ce6007 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x55c63944c8ac - core::fmt::write::h753c7571fa063ecb [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/fmt/mod.rs:1168:17 [INFO] [stdout] 5: 0x55c63941fcd3 - std::io::Write::write_fmt::hb649ab67f71b6655 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/io/mod.rs:1660:15 [INFO] [stdout] 6: 0x55c639427c12 - std::sys_common::backtrace::_print::h64941a6fc8b0ed9b [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x55c639427c12 - std::sys_common::backtrace::print::hcf25e43e1a9b0766 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x55c639427c12 - std::panicking::default_hook::{{closure}}::h78d3e6cf97fc623d [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:211:50 [INFO] [stdout] 9: 0x55c639427861 - std::panicking::default_hook::hda898f8d3ad1a5ae [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:225:9 [INFO] [stdout] 10: 0x55c639428263 - std::panicking::rust_panic_with_hook::h1a5ea2d6c23051aa [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:606:17 [INFO] [stdout] 11: 0x55c63928d852 - std::panicking::begin_panic::{{closure}}::hd5891f6b227b8e3f [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:526:9 [INFO] [stdout] 12: 0x55c63928d669 - std::sys_common::backtrace::__rust_end_short_backtrace::h366cadace10dc809 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:139:18 [INFO] [stdout] 13: 0x55c63928d7d3 - std::panicking::begin_panic::hfafdc6a318f4d4e9 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:525:12 [INFO] [stdout] 14: 0x55c638856b32 - tests::sat_ackermann::hf23660506badeefa [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:39:5 [INFO] [stdout] 15: 0x55c63885696a - tests::sat_ackermann::{{closure}}::he8298a6355c96341 [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:38:1 [INFO] [stdout] 16: 0x55c638872e2e - core::ops::function::FnOnce::call_once::h73d339f148dd0d4a [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 17: 0x55c63889f3a3 - core::ops::function::FnOnce::call_once::h1845a80638abc06e [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: 0x55c63889f3a3 - test::__rust_begin_short_backtrace::h4f56ccea01b9889f [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/test/src/lib.rs:574:5 [INFO] [stdout] 19: 0x55c63889e08f - as core::ops::function::FnOnce>::call_once::h5afedf14a39ffa74 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/alloc/src/boxed.rs:1854:9 [INFO] [stdout] 20: 0x55c63889e08f - as core::ops::function::FnOnce<()>>::call_once::hd5aaa1b551e9ce71 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 21: 0x55c63889e08f - std::panicking::try::do_call::h316eebee63f96d32 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:406:40 [INFO] [stdout] 22: 0x55c63889e08f - std::panicking::try::h662e31e84dd7ce52 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:370:19 [INFO] [stdout] 23: 0x55c63889e08f - std::panic::catch_unwind::h129c1b23f076663f [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panic.rs:133:14 [INFO] [stdout] 24: 0x55c63889e08f - test::run_test_in_process::h51d800d572f878ef [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/test/src/lib.rs:597:18 [INFO] [stdout] 25: 0x55c63889e08f - test::run_test::run_test_inner::{{closure}}::h71a47db430260854 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/test/src/lib.rs:491:39 [INFO] [stdout] 26: 0x55c6388a7451 - test::run_test::run_test_inner::{{closure}}::h02edd5b3e2dab52a [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/test/src/lib.rs:518:37 [INFO] [stdout] 27: 0x55c6388a7451 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0838cfc8b0e995ec [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:123:18 [INFO] [stdout] 28: 0x55c638873edf - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h4c2725d7078043cd [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/thread/mod.rs:477:17 [INFO] [stdout] 29: 0x55c638873edf - as core::ops::function::FnOnce<()>>::call_once::hdf1aa612eed87270 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 30: 0x55c638873edf - std::panicking::try::do_call::hc72f8de3706d18d6 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:406:40 [INFO] [stdout] 31: 0x55c638873edf - std::panicking::try::h63f01f54dbd0fb87 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:370:19 [INFO] [stdout] 32: 0x55c638873edf - std::panic::catch_unwind::h58bc464ae9b26453 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panic.rs:133:14 [INFO] [stdout] 33: 0x55c638873edf - std::thread::Builder::spawn_unchecked::{{closure}}::h6c065e19513e33e3 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/thread/mod.rs:476:30 [INFO] [stdout] 34: 0x55c638873edf - core::ops::function::FnOnce::call_once{{vtable.shim}}::hd143450c74f35c32 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 35: 0x55c63942e533 - as core::ops::function::FnOnce>::call_once::h49b6c7c5155a2296 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/alloc/src/boxed.rs:1854:9 [INFO] [stdout] 36: 0x55c63942e533 - as core::ops::function::FnOnce>::call_once::ha8b5234bfeb15105 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/alloc/src/boxed.rs:1854:9 [INFO] [stdout] 37: 0x55c63942e533 - std::sys::unix::thread::Thread::new::thread_start::h6f207dd842d64859 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 38: 0x7f4950c7f609 - start_thread [INFO] [stdout] 39: 0x7f4950a51293 - 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: 0x55c6394254ec - std::backtrace_rs::backtrace::libunwind::trace::h91c465e73bf6c785 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x55c6394254ec - std::backtrace_rs::backtrace::trace_unsynchronized::hae9da36f5d58b5f3 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x55c6394254ec - std::sys_common::backtrace::_print_fmt::h7f499fa126a7effb [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x55c6394254ec - ::fmt::h3e2b509ce2ce6007 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x55c63944c8ac - core::fmt::write::h753c7571fa063ecb [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/fmt/mod.rs:1168:17 [INFO] [stdout] 5: 0x55c63941fcd3 - std::io::Write::write_fmt::hb649ab67f71b6655 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/io/mod.rs:1660:15 [INFO] [stdout] 6: 0x55c639427c12 - std::sys_common::backtrace::_print::h64941a6fc8b0ed9b [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x55c639427c12 - std::sys_common::backtrace::print::hcf25e43e1a9b0766 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x55c639427c12 - std::panicking::default_hook::{{closure}}::h78d3e6cf97fc623d [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:211:50 [INFO] [stdout] 9: 0x55c639427861 - std::panicking::default_hook::hda898f8d3ad1a5ae [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:225:9 [INFO] [stdout] 10: 0x55c639428263 - std::panicking::rust_panic_with_hook::h1a5ea2d6c23051aa [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:606:17 [INFO] [stdout] 11: 0x55c63928d852 - std::panicking::begin_panic::{{closure}}::hd5891f6b227b8e3f [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:526:9 [INFO] [stdout] 12: 0x55c63928d669 - std::sys_common::backtrace::__rust_end_short_backtrace::h366cadace10dc809 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:139:18 [INFO] [stdout] 13: 0x55c63928d7d3 - std::panicking::begin_panic::hfafdc6a318f4d4e9 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:525:12 [INFO] [stdout] 14: 0x55c638857572 - tests::sat_rec_simpl::h3445af4b956fa323 [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:49:5 [INFO] [stdout] 15: 0x55c6388573aa - tests::sat_rec_simpl::{{closure}}::h34931ab984b5116d [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:48:1 [INFO] [stdout] 16: 0x55c638872dee - core::ops::function::FnOnce::call_once::h49df7d232973c09c [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 17: 0x55c63889f3a3 - core::ops::function::FnOnce::call_once::h1845a80638abc06e [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: 0x55c63889f3a3 - test::__rust_begin_short_backtrace::h4f56ccea01b9889f [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/test/src/lib.rs:574:5 [INFO] [stdout] 19: 0x55c63889e08f - as core::ops::function::FnOnce>::call_once::h5afedf14a39ffa74 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/alloc/src/boxed.rs:1854:9 [INFO] [stdout] 20: 0x55c63889e08f - as core::ops::function::FnOnce<()>>::call_once::hd5aaa1b551e9ce71 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 21: 0x55c63889e08f - std::panicking::try::do_call::h316eebee63f96d32 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:406:40 [INFO] [stdout] 22: 0x55c63889e08f - std::panicking::try::h662e31e84dd7ce52 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:370:19 [INFO] [stdout] 23: 0x55c63889e08f - std::panic::catch_unwind::h129c1b23f076663f [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panic.rs:133:14 [INFO] [stdout] 24: 0x55c63889e08f - test::run_test_in_process::h51d800d572f878ef [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/test/src/lib.rs:597:18 [INFO] [stdout] 25: 0x55c63889e08f - test::run_test::run_test_inner::{{closure}}::h71a47db430260854 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/test/src/lib.rs:491:39 [INFO] [stdout] 26: 0x55c6388a7451 - test::run_test::run_test_inner::{{closure}}::h02edd5b3e2dab52a [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/test/src/lib.rs:518:37 [INFO] [stdout] 27: 0x55c6388a7451 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0838cfc8b0e995ec [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:123:18 [INFO] [stdout] 28: 0x55c638873edf - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h4c2725d7078043cd [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/thread/mod.rs:477:17 [INFO] [stdout] 29: 0x55c638873edf - as core::ops::function::FnOnce<()>>::call_once::hdf1aa612eed87270 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 30: 0x55c638873edf - std::panicking::try::do_call::hc72f8de3706d18d6 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:406:40 [INFO] [stdout] 31: 0x55c638873edf - std::panicking::try::h63f01f54dbd0fb87 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:370:19 [INFO] [stdout] 32: 0x55c638873edf - std::panic::catch_unwind::h58bc464ae9b26453 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panic.rs:133:14 [INFO] [stdout] 33: 0x55c638873edf - std::thread::Builder::spawn_unchecked::{{closure}}::h6c065e19513e33e3 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/thread/mod.rs:476:30 [INFO] [stdout] 34: 0x55c638873edf - core::ops::function::FnOnce::call_once{{vtable.shim}}::hd143450c74f35c32 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 35: 0x55c63942e533 - as core::ops::function::FnOnce>::call_once::h49b6c7c5155a2296 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/alloc/src/boxed.rs:1854:9 [INFO] [stdout] 36: 0x55c63942e533 - as core::ops::function::FnOnce>::call_once::ha8b5234bfeb15105 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/alloc/src/boxed.rs:1854:9 [INFO] [stdout] 37: 0x55c63942e533 - std::sys::unix::thread::Thread::new::thread_start::h6f207dd842d64859 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 38: 0x7f4950c7f609 - start_thread [INFO] [stdout] 39: 0x7f4950a51293 - 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 12.02s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "609e990a7377ee1652e4e3e4efeac2185cbeb6818e49f20a9c8226be1b4c616a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "609e990a7377ee1652e4e3e4efeac2185cbeb6818e49f20a9c8226be1b4c616a", kill_on_drop: false }` [INFO] [stdout] 609e990a7377ee1652e4e3e4efeac2185cbeb6818e49f20a9c8226be1b4c616a