[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 master#a77da2d454e6caa227a85b16410b95f93495e7e0 for pr-91031 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhopv%2Fhoice" "/workspace/builds/worker-2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/hopv/hoice on toolchain a77da2d454e6caa227a85b16410b95f93495e7e0 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+a77da2d454e6caa227a85b16410b95f93495e7e0" "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-2/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" "+a77da2d454e6caa227a85b16410b95f93495e7e0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+a77da2d454e6caa227a85b16410b95f93495e7e0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 1c44be3c09c30bd524948b5b07c9dc2480540f0bc8205c50021edaa9615efa45 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "1c44be3c09c30bd524948b5b07c9dc2480540f0bc8205c50021edaa9615efa45", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "1c44be3c09c30bd524948b5b07c9dc2480540f0bc8205c50021edaa9615efa45", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1c44be3c09c30bd524948b5b07c9dc2480540f0bc8205c50021edaa9615efa45", kill_on_drop: false }` [INFO] [stdout] 1c44be3c09c30bd524948b5b07c9dc2480540f0bc8205c50021edaa9615efa45 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/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=forbid" "-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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+a77da2d454e6caa227a85b16410b95f93495e7e0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 91cd5f703ef8767fbdb8b7765f7a9d7351767bc5fa7b2b534252b70f2afdfb2b [INFO] running `Command { std: "docker" "start" "-a" "91cd5f703ef8767fbdb8b7765f7a9d7351767bc5fa7b2b534252b70f2afdfb2b", kill_on_drop: false }` [INFO] [stderr] Compiling autocfg v1.0.1 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling getrandom v0.2.2 [INFO] [stderr] Compiling bitflags v1.2.1 [INFO] [stderr] Compiling unicode-width v0.1.8 [INFO] [stderr] Compiling ansi_term v0.11.0 [INFO] [stderr] Compiling lazy_static v1.4.0 [INFO] [stderr] Compiling ansi_term v0.12.1 [INFO] [stderr] Compiling vec_map v0.8.2 [INFO] [stderr] Compiling strsim v0.8.0 [INFO] [stderr] Compiling error-chain v0.12.4 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling textwrap v0.11.0 [INFO] [stderr] Compiling hashconsing v1.3.0 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling num-integer v0.1.44 [INFO] [stderr] Compiling miniz_oxide v0.4.4 [INFO] [stderr] Compiling num-bigint v0.4.0 [INFO] [stderr] Compiling num-iter v0.1.42 [INFO] [stderr] Compiling num-rational v0.4.0 [INFO] [stderr] Compiling mylib v0.1.0 (https://github.com/AdrienChampion/mylib#62fecec9) [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 rand v0.8.3 [INFO] [stderr] Compiling backtrace v0.3.56 [INFO] [stderr] Compiling num-complex v0.4.0 [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 1m 32s [INFO] running `Command { std: "docker" "inspect" "91cd5f703ef8767fbdb8b7765f7a9d7351767bc5fa7b2b534252b70f2afdfb2b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "91cd5f703ef8767fbdb8b7765f7a9d7351767bc5fa7b2b534252b70f2afdfb2b", kill_on_drop: false }` [INFO] [stdout] 91cd5f703ef8767fbdb8b7765f7a9d7351767bc5fa7b2b534252b70f2afdfb2b [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/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=forbid" "-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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+a77da2d454e6caa227a85b16410b95f93495e7e0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] ef69e067bd3b7f7fcabe13ecfab6d77ccfa332c18197dbe3dad8977b2df85e7f [INFO] running `Command { std: "docker" "start" "-a" "ef69e067bd3b7f7fcabe13ecfab6d77ccfa332c18197dbe3dad8977b2df85e7f", kill_on_drop: false }` [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] [stderr] Compiling hoice v1.9.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/term/eval.rs:40:46 [INFO] [stdout] | [INFO] [stdout] 40 | return Ok(ZipDo::Upp { yielded: $e }); [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 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 32.12s [INFO] running `Command { std: "docker" "inspect" "ef69e067bd3b7f7fcabe13ecfab6d77ccfa332c18197dbe3dad8977b2df85e7f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ef69e067bd3b7f7fcabe13ecfab6d77ccfa332c18197dbe3dad8977b2df85e7f", kill_on_drop: false }` [INFO] [stdout] ef69e067bd3b7f7fcabe13ecfab6d77ccfa332c18197dbe3dad8977b2df85e7f [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/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=forbid" "-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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+a77da2d454e6caa227a85b16410b95f93495e7e0" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] bf4efed0c38d37423955fad1d6620f80dc8f47fff46a918f53f9e6993b6ef77e [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "bf4efed0c38d37423955fad1d6620f80dc8f47fff46a918f53f9e6993b6ef77e", 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.07s [INFO] [stdout] [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/hoice-35530fb60c43e1d6) [INFO] [stdout] running 40 tests [INFO] [stdout] test dtyp::dtyp_write_dec ... ok [INFO] [stdout] test term::test::cst_eq_1 ... ok [INFO] [stdout] test term::test::cst_gt_2 ... ok [INFO] [stdout] test term::test::add_real_1 ... ok [INFO] [stdout] test term::test::cst_add ... ok [INFO] [stdout] test term::test::cst_impl_3 ... ok [INFO] [stdout] test term::test::cst_and_4 ... ok [INFO] [stdout] test term::test::cst_eq_3 ... ok [INFO] [stdout] test term::test::cst_div ... ok [INFO] [stdout] test term::test::cst_eq_2 ... ok [INFO] [stdout] test term::test::cst_and_3 ... ok [INFO] [stdout] test term::test::cst_le_2 ... ok [INFO] [stdout] test term::test::cst_mod ... ok [INFO] [stdout] test term::test::cst_and_2 ... ok [INFO] [stdout] test term::test::cst_lt_1 ... ok [INFO] [stdout] test term::test::cst_or_1 ... ok [INFO] [stdout] test term::test::cst_or_2 ... ok [INFO] [stdout] test term::test::cst_impl_4 ... ok [INFO] [stdout] test term::test::cst_or_5 ... ok [INFO] [stdout] test term::test::cst_and_1 ... ok [INFO] [stdout] test term::test::cst_eq_4 ... ok [INFO] [stdout] test term::test::cst_impl_1 ... ok [INFO] [stdout] test term::test::cst_le_1 ... ok [INFO] [stdout] test term::test::cst_sub_2 ... ok [INFO] [stdout] test term::test::lazy_2 ... ok [INFO] [stdout] test term::test::lazy_3 ... ok [INFO] [stdout] test term::test::ite_1 ... ok [INFO] [stdout] test term::test::cst_impl_2 ... ok [INFO] [stdout] test term::test::lazy_1 ... ok [INFO] [stdout] test term::test::cst_sub_1 ... ok [INFO] [stdout] test term::test::lazy_4 ... ok [INFO] [stdout] test term::test::cst_ge_2 ... ok [INFO] [stdout] test term::test::cst_lt_2 ... ok [INFO] [stdout] test term::test::cst_mul ... ok [INFO] [stdout] test term::test::cst_not_2 ... ok [INFO] [stdout] test term::test::cst_not_1 ... ok [INFO] [stdout] test term::test::cst_ge_1 ... ok [INFO] [stdout] test term::test::cst_or_3 ... ok [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/hoice-a454d1f66de85f93) [INFO] [stdout] test term::test::cst_or_4 ... ok [INFO] [stdout] test term::test::cst_gt_1 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 40 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s [INFO] [stdout] [INFO] [stderr] Running tests/tests.rs (/opt/rustwide/target/debug/deps/tests-84584c5cee809610) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 6 tests [INFO] [stdout] test sat ... FAILED [INFO] [stdout] test sat_file ... FAILED [INFO] [stdout] test err ... ok [INFO] [stdout] test unsat ... FAILED [INFO] [stdout] test sat_ackermann ... FAILED [INFO] [stdout] test sat_rec_simpl ... FAILED [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- sat stdout ---- [INFO] [stdout] looking at `rsc/sat/a-init_reals.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: 0x556e7ad6d41c - std::backtrace_rs::backtrace::libunwind::trace::h7630ba4cba718aa0 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x556e7ad6d41c - std::backtrace_rs::backtrace::trace_unsynchronized::he7498e79c157f5ac [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x556e7ad6d41c - std::sys_common::backtrace::_print_fmt::hdaebadaee17bca49 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x556e7ad6d41c - ::fmt::h82b0e3aaf8a96140 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x556e7ad91efc - core::fmt::write::h72801a82c94e6ff1 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/fmt/mod.rs:1149:17 [INFO] [stdout] 5: 0x556e7ad68935 - std::io::Write::write_fmt::h21d7683cabdb4c35 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/io/mod.rs:1697:15 [INFO] [stdout] 6: 0x556e7ad6eec0 - std::sys_common::backtrace::_print::h1c9a1d19c48821c1 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x556e7ad6eec0 - std::sys_common::backtrace::print::h7ce8802039fa9d0e [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x556e7ad6eec0 - std::panicking::default_hook::{{closure}}::hb2a74a8c1499c326 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:211:50 [INFO] [stdout] 9: 0x556e7ad6eaa6 - std::panicking::default_hook::hf4f180b00076f2b2 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:225:9 [INFO] [stdout] 10: 0x556e7ad6f574 - std::panicking::rust_panic_with_hook::he85ce8435493b711 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:606:17 [INFO] [stdout] 11: 0x556e7ab49862 - std::panicking::begin_panic::{{closure}}::h9c203b41504f670f [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:526:9 [INFO] [stdout] 12: 0x556e7ab47a29 - std::sys_common::backtrace::__rust_end_short_backtrace::h5663388aebd3b672 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:139:18 [INFO] [stdout] 13: 0x556e7ab497a3 - std::panicking::begin_panic::he9db52e46026f74e [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:525:12 [INFO] [stdout] 14: 0x556e7a17e836 - tests::sat::had78405a399dac26 [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:34:5 [INFO] [stdout] 15: 0x556e7a17e67a - tests::sat::{{closure}}::he326d6d1389bec6c [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:33:1 [INFO] [stdout] 16: 0x556e7a1853ae - core::ops::function::FnOnce::call_once::h5f0fa186dc685c7b [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 17: 0x556e7a1cef43 - core::ops::function::FnOnce::call_once::h449577f1c5b077cb [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: 0x556e7a1cef43 - test::__rust_begin_short_backtrace::h8c2a0a5090591869 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/test/src/lib.rs:585:5 [INFO] [stdout] 19: 0x556e7a1cdad7 - as core::ops::function::FnOnce>::call_once::hea00a22128a38543 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/alloc/src/boxed.rs:1694:9 [INFO] [stdout] 20: 0x556e7a1cdad7 - as core::ops::function::FnOnce<()>>::call_once::he10b35c3c50d78a0 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 21: 0x556e7a1cdad7 - std::panicking::try::do_call::hc868e78bbc5af2ab [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:406:40 [INFO] [stdout] 22: 0x556e7a1cdad7 - std::panicking::try::he468aede74df1b04 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:370:19 [INFO] [stdout] 23: 0x556e7a1cdad7 - std::panic::catch_unwind::hce3c9152e1cf772d [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panic.rs:133:14 [INFO] [stdout] 24: 0x556e7a1cdad7 - test::run_test_in_process::h9c4ab8162080cf8c [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/test/src/lib.rs:608:18 [INFO] [stdout] 25: 0x556e7a1cdad7 - test::run_test::run_test_inner::{{closure}}::he9483433cef16afe [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/test/src/lib.rs:500:39 [INFO] [stdout] 26: 0x556e7a19ae1e - test::run_test::run_test_inner::{{closure}}::h479f1f872a5501ea [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/test/src/lib.rs:527:37 [INFO] [stdout] 27: 0x556e7a19ae1e - std::sys_common::backtrace::__rust_begin_short_backtrace::h0f1e9b1f279687bc [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:123:18 [INFO] [stdout] 28: 0x556e7a19fc48 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::he5560613c5f5cb83 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/thread/mod.rs:484:17 [INFO] [stdout] 29: 0x556e7a19fc48 - as core::ops::function::FnOnce<()>>::call_once::h8190a68cb05ab92f [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 30: 0x556e7a19fc48 - std::panicking::try::do_call::h6ae22f5ac22596e4 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:406:40 [INFO] [stdout] 31: 0x556e7a19fc48 - std::panicking::try::h2381c25487d6a7c2 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:370:19 [INFO] [stdout] 32: 0x556e7a19fc48 - std::panic::catch_unwind::hfe902f4d5c9d7b6d [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panic.rs:133:14 [INFO] [stdout] 33: 0x556e7a19fc48 - std::thread::Builder::spawn_unchecked::{{closure}}::h547fad40771a584e [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/thread/mod.rs:483:30 [INFO] [stdout] 34: 0x556e7a19fc48 - core::ops::function::FnOnce::call_once{{vtable.shim}}::he8602a9971738410 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 35: 0x556e7ad749f3 - as core::ops::function::FnOnce>::call_once::he162a5c338a10a39 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/alloc/src/boxed.rs:1694:9 [INFO] [stdout] 36: 0x556e7ad749f3 - as core::ops::function::FnOnce>::call_once::hb27497b21740dd97 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/alloc/src/boxed.rs:1694:9 [INFO] [stdout] 37: 0x556e7ad749f3 - std::sys::unix::thread::Thread::new::thread_start::he467e990e49c5136 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys/unix/thread.rs:106:17 [INFO] [stdout] 38: 0x7fe2bf43e609 - start_thread [INFO] [stdout] 39: 0x7fe2bf210293 - 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: 0x556e7ad6d41c - std::backtrace_rs::backtrace::libunwind::trace::h7630ba4cba718aa0 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x556e7ad6d41c - std::backtrace_rs::backtrace::trace_unsynchronized::he7498e79c157f5ac [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x556e7ad6d41c - std::sys_common::backtrace::_print_fmt::hdaebadaee17bca49 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x556e7ad6d41c - ::fmt::h82b0e3aaf8a96140 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x556e7ad91efc - core::fmt::write::h72801a82c94e6ff1 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/fmt/mod.rs:1149:17 [INFO] [stdout] 5: 0x556e7ad68935 - std::io::Write::write_fmt::h21d7683cabdb4c35 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/io/mod.rs:1697:15 [INFO] [stdout] 6: 0x556e7ad6eec0 - std::sys_common::backtrace::_print::h1c9a1d19c48821c1 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x556e7ad6eec0 - std::sys_common::backtrace::print::h7ce8802039fa9d0e [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x556e7ad6eec0 - std::panicking::default_hook::{{closure}}::hb2a74a8c1499c326 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:211:50 [INFO] [stdout] 9: 0x556e7ad6eaa6 - std::panicking::default_hook::hf4f180b00076f2b2 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:225:9 [INFO] [stdout] 10: 0x556e7ad6f574 - std::panicking::rust_panic_with_hook::he85ce8435493b711 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:606:17 [INFO] [stdout] 11: 0x556e7ab49862 - std::panicking::begin_panic::{{closure}}::h9c203b41504f670f [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:526:9 [INFO] [stdout] 12: 0x556e7ab47a29 - std::sys_common::backtrace::__rust_end_short_backtrace::h5663388aebd3b672 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:139:18 [INFO] [stdout] 13: 0x556e7ab497a3 - std::panicking::begin_panic::he9db52e46026f74e [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:525:12 [INFO] [stdout] 14: 0x556e7a17f2f2 - tests::sat_file::h56300c938cd9f282 [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:44:5 [INFO] [stdout] 15: 0x556e7a17f12a - tests::sat_file::{{closure}}::h2f914282a0b343ba [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:43:1 [INFO] [stdout] 16: 0x556e7a18536e - core::ops::function::FnOnce::call_once::h549af7b54ff2a7f6 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 17: 0x556e7a1cef43 - core::ops::function::FnOnce::call_once::h449577f1c5b077cb [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: 0x556e7a1cef43 - test::__rust_begin_short_backtrace::h8c2a0a5090591869 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/test/src/lib.rs:585:5 [INFO] [stdout] 19: 0x556e7a1cdad7 - as core::ops::function::FnOnce>::call_once::hea00a22128a38543 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/alloc/src/boxed.rs:1694:9 [INFO] [stdout] 20: 0x556e7a1cdad7 - as core::ops::function::FnOnce<()>>::call_once::he10b35c3c50d78a0 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 21: 0x556e7a1cdad7 - std::panicking::try::do_call::hc868e78bbc5af2ab [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:406:40 [INFO] [stdout] 22: 0x556e7a1cdad7 - std::panicking::try::he468aede74df1b04 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:370:19 [INFO] [stdout] 23: 0x556e7a1cdad7 - std::panic::catch_unwind::hce3c9152e1cf772d [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panic.rs:133:14 [INFO] [stdout] 24: 0x556e7a1cdad7 - test::run_test_in_process::h9c4ab8162080cf8c [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/test/src/lib.rs:608:18 [INFO] [stdout] 25: 0x556e7a1cdad7 - test::run_test::run_test_inner::{{closure}}::he9483433cef16afe [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/test/src/lib.rs:500:39 [INFO] [stdout] 26: 0x556e7a19ae1e - test::run_test::run_test_inner::{{closure}}::h479f1f872a5501ea [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/test/src/lib.rs:527:37 [INFO] [stdout] 27: 0x556e7a19ae1e - std::sys_common::backtrace::__rust_begin_short_backtrace::h0f1e9b1f279687bc [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:123:18 [INFO] [stdout] 28: 0x556e7a19fc48 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::he5560613c5f5cb83 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/thread/mod.rs:484:17 [INFO] [stdout] 29: 0x556e7a19fc48 - as core::ops::function::FnOnce<()>>::call_once::h8190a68cb05ab92f [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 30: 0x556e7a19fc48 - std::panicking::try::do_call::h6ae22f5ac22596e4 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:406:40 [INFO] [stdout] 31: 0x556e7a19fc48 - std::panicking::try::h2381c25487d6a7c2 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:370:19 [INFO] [stdout] 32: 0x556e7a19fc48 - std::panic::catch_unwind::hfe902f4d5c9d7b6d [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panic.rs:133:14 [INFO] [stdout] 33: 0x556e7a19fc48 - std::thread::Builder::spawn_unchecked::{{closure}}::h547fad40771a584e [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/thread/mod.rs:483:30 [INFO] [stdout] 34: 0x556e7a19fc48 - core::ops::function::FnOnce::call_once{{vtable.shim}}::he8602a9971738410 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 35: 0x556e7ad749f3 - as core::ops::function::FnOnce>::call_once::he162a5c338a10a39 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/alloc/src/boxed.rs:1694:9 [INFO] [stdout] 36: 0x556e7ad749f3 - as core::ops::function::FnOnce>::call_once::hb27497b21740dd97 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/alloc/src/boxed.rs:1694:9 [INFO] [stdout] 37: 0x556e7ad749f3 - std::sys::unix::thread::Thread::new::thread_start::he467e990e49c5136 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys/unix/thread.rs:106:17 [INFO] [stdout] 38: 0x7fe2bf43e609 - start_thread [INFO] [stdout] 39: 0x7fe2bf210293 - clone [INFO] [stdout] 40: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- unsat stdout ---- [INFO] [stdout] looking at `proof_6.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: 0x556e7ad6d41c - std::backtrace_rs::backtrace::libunwind::trace::h7630ba4cba718aa0 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x556e7ad6d41c - std::backtrace_rs::backtrace::trace_unsynchronized::he7498e79c157f5ac [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x556e7ad6d41c - std::sys_common::backtrace::_print_fmt::hdaebadaee17bca49 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x556e7ad6d41c - ::fmt::h82b0e3aaf8a96140 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x556e7ad91efc - core::fmt::write::h72801a82c94e6ff1 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/fmt/mod.rs:1149:17 [INFO] [stdout] 5: 0x556e7ad68935 - std::io::Write::write_fmt::h21d7683cabdb4c35 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/io/mod.rs:1697:15 [INFO] [stdout] 6: 0x556e7ad6eec0 - std::sys_common::backtrace::_print::h1c9a1d19c48821c1 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x556e7ad6eec0 - std::sys_common::backtrace::print::h7ce8802039fa9d0e [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x556e7ad6eec0 - std::panicking::default_hook::{{closure}}::hb2a74a8c1499c326 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:211:50 [INFO] [stdout] 9: 0x556e7ad6eaa6 - std::panicking::default_hook::hf4f180b00076f2b2 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:225:9 [INFO] [stdout] 10: 0x556e7ad6f574 - std::panicking::rust_panic_with_hook::he85ce8435493b711 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:606:17 [INFO] [stdout] 11: 0x556e7ab49862 - std::panicking::begin_panic::{{closure}}::h9c203b41504f670f [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:526:9 [INFO] [stdout] 12: 0x556e7ab47a29 - std::sys_common::backtrace::__rust_end_short_backtrace::h5663388aebd3b672 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:139:18 [INFO] [stdout] 13: 0x556e7ab497a3 - std::panicking::begin_panic::he9db52e46026f74e [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:525:12 [INFO] [stdout] 14: 0x556e7a17fda6 - tests::unsat::h4721e17b7583033c [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:54:5 [INFO] [stdout] 15: 0x556e7a17fbea - tests::unsat::{{closure}}::hcb0620efd842a903 [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:53:1 [INFO] [stdout] 16: 0x556e7a18547e - core::ops::function::FnOnce::call_once::h8ba72763df138ff7 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 17: 0x556e7a1cef43 - core::ops::function::FnOnce::call_once::h449577f1c5b077cb [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: 0x556e7a1cef43 - test::__rust_begin_short_backtrace::h8c2a0a5090591869 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/test/src/lib.rs:585:5 [INFO] [stdout] 19: 0x556e7a1cdad7 - as core::ops::function::FnOnce>::call_once::hea00a22128a38543 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/alloc/src/boxed.rs:1694:9 [INFO] [stdout] 20: 0x556e7a1cdad7 - as core::ops::function::FnOnce<()>>::call_once::he10b35c3c50d78a0 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 21: 0x556e7a1cdad7 - std::panicking::try::do_call::hc868e78bbc5af2ab [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:406:40 [INFO] [stdout] 22: 0x556e7a1cdad7 - std::panicking::try::he468aede74df1b04 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:370:19 [INFO] [stdout] 23: 0x556e7a1cdad7 - std::panic::catch_unwind::hce3c9152e1cf772d [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panic.rs:133:14 [INFO] [stdout] 24: 0x556e7a1cdad7 - test::run_test_in_process::h9c4ab8162080cf8c [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/test/src/lib.rs:608:18 [INFO] [stdout] 25: 0x556e7a1cdad7 - test::run_test::run_test_inner::{{closure}}::he9483433cef16afe [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/test/src/lib.rs:500:39 [INFO] [stdout] 26: 0x556e7a19ae1e - test::run_test::run_test_inner::{{closure}}::h479f1f872a5501ea [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/test/src/lib.rs:527:37 [INFO] [stdout] 27: 0x556e7a19ae1e - std::sys_common::backtrace::__rust_begin_short_backtrace::h0f1e9b1f279687bc [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:123:18 [INFO] [stdout] 28: 0x556e7a19fc48 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::he5560613c5f5cb83 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/thread/mod.rs:484:17 [INFO] [stdout] 29: 0x556e7a19fc48 - as core::ops::function::FnOnce<()>>::call_once::h8190a68cb05ab92f [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 30: 0x556e7a19fc48 - std::panicking::try::do_call::h6ae22f5ac22596e4 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:406:40 [INFO] [stdout] 31: 0x556e7a19fc48 - std::panicking::try::h2381c25487d6a7c2 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:370:19 [INFO] [stdout] 32: 0x556e7a19fc48 - std::panic::catch_unwind::hfe902f4d5c9d7b6d [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panic.rs:133:14 [INFO] [stdout] 33: 0x556e7a19fc48 - std::thread::Builder::spawn_unchecked::{{closure}}::h547fad40771a584e [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/thread/mod.rs:483:30 [INFO] [stdout] 34: 0x556e7a19fc48 - core::ops::function::FnOnce::call_once{{vtable.shim}}::he8602a9971738410 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 35: 0x556e7ad749f3 - as core::ops::function::FnOnce>::call_once::he162a5c338a10a39 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/alloc/src/boxed.rs:1694:9 [INFO] [stdout] 36: 0x556e7ad749f3 - as core::ops::function::FnOnce>::call_once::hb27497b21740dd97 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/alloc/src/boxed.rs:1694:9 [INFO] [stdout] 37: 0x556e7ad749f3 - std::sys::unix::thread::Thread::new::thread_start::he467e990e49c5136 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys/unix/thread.rs:106:17 [INFO] [stdout] 38: 0x7fe2bf43e609 - start_thread [INFO] [stdout] 39: 0x7fe2bf210293 - 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: 0x556e7ad6d41c - std::backtrace_rs::backtrace::libunwind::trace::h7630ba4cba718aa0 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x556e7ad6d41c - std::backtrace_rs::backtrace::trace_unsynchronized::he7498e79c157f5ac [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x556e7ad6d41c - std::sys_common::backtrace::_print_fmt::hdaebadaee17bca49 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x556e7ad6d41c - ::fmt::h82b0e3aaf8a96140 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x556e7ad91efc - core::fmt::write::h72801a82c94e6ff1 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/fmt/mod.rs:1149:17 [INFO] [stdout] 5: 0x556e7ad68935 - std::io::Write::write_fmt::h21d7683cabdb4c35 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/io/mod.rs:1697:15 [INFO] [stdout] 6: 0x556e7ad6eec0 - std::sys_common::backtrace::_print::h1c9a1d19c48821c1 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x556e7ad6eec0 - std::sys_common::backtrace::print::h7ce8802039fa9d0e [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x556e7ad6eec0 - std::panicking::default_hook::{{closure}}::hb2a74a8c1499c326 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:211:50 [INFO] [stdout] 9: 0x556e7ad6eaa6 - std::panicking::default_hook::hf4f180b00076f2b2 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:225:9 [INFO] [stdout] 10: 0x556e7ad6f574 - std::panicking::rust_panic_with_hook::he85ce8435493b711 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:606:17 [INFO] [stdout] 11: 0x556e7ab49862 - std::panicking::begin_panic::{{closure}}::h9c203b41504f670f [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:526:9 [INFO] [stdout] 12: 0x556e7ab47a29 - std::sys_common::backtrace::__rust_end_short_backtrace::h5663388aebd3b672 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:139:18 [INFO] [stdout] 13: 0x556e7ab497a3 - std::panicking::begin_panic::he9db52e46026f74e [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:525:12 [INFO] [stdout] 14: 0x556e7a17ed92 - tests::sat_ackermann::h537032b435def2d9 [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:39:5 [INFO] [stdout] 15: 0x556e7a17ebca - tests::sat_ackermann::{{closure}}::hee7edc85f6b9e7ee [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:38:1 [INFO] [stdout] 16: 0x556e7a18550e - core::ops::function::FnOnce::call_once::he34a6ae13fbab24c [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 17: 0x556e7a1cef43 - core::ops::function::FnOnce::call_once::h449577f1c5b077cb [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: 0x556e7a1cef43 - test::__rust_begin_short_backtrace::h8c2a0a5090591869 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/test/src/lib.rs:585:5 [INFO] [stdout] 19: 0x556e7a1cdad7 - as core::ops::function::FnOnce>::call_once::hea00a22128a38543 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/alloc/src/boxed.rs:1694:9 [INFO] [stdout] 20: 0x556e7a1cdad7 - as core::ops::function::FnOnce<()>>::call_once::he10b35c3c50d78a0 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 21: 0x556e7a1cdad7 - std::panicking::try::do_call::hc868e78bbc5af2ab [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:406:40 [INFO] [stdout] 22: 0x556e7a1cdad7 - std::panicking::try::he468aede74df1b04 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:370:19 [INFO] [stdout] 23: 0x556e7a1cdad7 - std::panic::catch_unwind::hce3c9152e1cf772d [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panic.rs:133:14 [INFO] [stdout] 24: 0x556e7a1cdad7 - test::run_test_in_process::h9c4ab8162080cf8c [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/test/src/lib.rs:608:18 [INFO] [stdout] 25: 0x556e7a1cdad7 - test::run_test::run_test_inner::{{closure}}::he9483433cef16afe [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/test/src/lib.rs:500:39 [INFO] [stdout] 26: 0x556e7a19ae1e - test::run_test::run_test_inner::{{closure}}::h479f1f872a5501ea [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/test/src/lib.rs:527:37 [INFO] [stdout] 27: 0x556e7a19ae1e - std::sys_common::backtrace::__rust_begin_short_backtrace::h0f1e9b1f279687bc [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:123:18 [INFO] [stdout] 28: 0x556e7a19fc48 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::he5560613c5f5cb83 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/thread/mod.rs:484:17 [INFO] [stdout] 29: 0x556e7a19fc48 - as core::ops::function::FnOnce<()>>::call_once::h8190a68cb05ab92f [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 30: 0x556e7a19fc48 - std::panicking::try::do_call::h6ae22f5ac22596e4 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:406:40 [INFO] [stdout] 31: 0x556e7a19fc48 - std::panicking::try::h2381c25487d6a7c2 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:370:19 [INFO] [stdout] 32: 0x556e7a19fc48 - std::panic::catch_unwind::hfe902f4d5c9d7b6d [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panic.rs:133:14 [INFO] [stdout] 33: 0x556e7a19fc48 - std::thread::Builder::spawn_unchecked::{{closure}}::h547fad40771a584e [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/thread/mod.rs:483:30 [INFO] [stdout] 34: 0x556e7a19fc48 - core::ops::function::FnOnce::call_once{{vtable.shim}}::he8602a9971738410 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 35: 0x556e7ad749f3 - as core::ops::function::FnOnce>::call_once::he162a5c338a10a39 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/alloc/src/boxed.rs:1694:9 [INFO] [stdout] 36: 0x556e7ad749f3 - as core::ops::function::FnOnce>::call_once::hb27497b21740dd97 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/alloc/src/boxed.rs:1694:9 [INFO] [stdout] 37: 0x556e7ad749f3 - std::sys::unix::thread::Thread::new::thread_start::he467e990e49c5136 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys/unix/thread.rs:106:17 [INFO] [stdout] 38: 0x7fe2bf43e609 - start_thread [INFO] [stdout] 39: 0x7fe2bf210293 - 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: 0x556e7ad6d41c - std::backtrace_rs::backtrace::libunwind::trace::h7630ba4cba718aa0 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x556e7ad6d41c - std::backtrace_rs::backtrace::trace_unsynchronized::he7498e79c157f5ac [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x556e7ad6d41c - std::sys_common::backtrace::_print_fmt::hdaebadaee17bca49 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x556e7ad6d41c - ::fmt::h82b0e3aaf8a96140 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x556e7ad91efc - core::fmt::write::h72801a82c94e6ff1 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/fmt/mod.rs:1149:17 [INFO] [stdout] 5: 0x556e7ad68935 - std::io::Write::write_fmt::h21d7683cabdb4c35 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/io/mod.rs:1697:15 [INFO] [stdout] 6: 0x556e7ad6eec0 - std::sys_common::backtrace::_print::h1c9a1d19c48821c1 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x556e7ad6eec0 - std::sys_common::backtrace::print::h7ce8802039fa9d0e [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x556e7ad6eec0 - std::panicking::default_hook::{{closure}}::hb2a74a8c1499c326 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:211:50 [INFO] [stdout] 9: 0x556e7ad6eaa6 - std::panicking::default_hook::hf4f180b00076f2b2 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:225:9 [INFO] [stdout] 10: 0x556e7ad6f574 - std::panicking::rust_panic_with_hook::he85ce8435493b711 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:606:17 [INFO] [stdout] 11: 0x556e7ab49862 - std::panicking::begin_panic::{{closure}}::h9c203b41504f670f [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:526:9 [INFO] [stdout] 12: 0x556e7ab47a29 - std::sys_common::backtrace::__rust_end_short_backtrace::h5663388aebd3b672 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:139:18 [INFO] [stdout] 13: 0x556e7ab497a3 - std::panicking::begin_panic::he9db52e46026f74e [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:525:12 [INFO] [stdout] 14: 0x556e7a17f852 - tests::sat_rec_simpl::hf6737804c7195e19 [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:49:5 [INFO] [stdout] 15: 0x556e7a17f68a - tests::sat_rec_simpl::{{closure}}::hbfcd9a55cb362196 [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:48:1 [INFO] [stdout] 16: 0x556e7a18532e - core::ops::function::FnOnce::call_once::h14aec26b8f701af1 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 17: 0x556e7a1cef43 - core::ops::function::FnOnce::call_once::h449577f1c5b077cb [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: 0x556e7a1cef43 - test::__rust_begin_short_backtrace::h8c2a0a5090591869 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/test/src/lib.rs:585:5 [INFO] [stdout] 19: 0x556e7a1cdad7 - as core::ops::function::FnOnce>::call_once::hea00a22128a38543 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/alloc/src/boxed.rs:1694:9 [INFO] [stdout] 20: 0x556e7a1cdad7 - as core::ops::function::FnOnce<()>>::call_once::he10b35c3c50d78a0 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 21: 0x556e7a1cdad7 - std::panicking::try::do_call::hc868e78bbc5af2ab [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:406:40 [INFO] [stdout] 22: 0x556e7a1cdad7 - std::panicking::try::he468aede74df1b04 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:370:19 [INFO] [stdout] 23: 0x556e7a1cdad7 - std::panic::catch_unwind::hce3c9152e1cf772d [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panic.rs:133:14 [INFO] [stdout] 24: 0x556e7a1cdad7 - test::run_test_in_process::h9c4ab8162080cf8c [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/test/src/lib.rs:608:18 [INFO] [stdout] 25: 0x556e7a1cdad7 - test::run_test::run_test_inner::{{closure}}::he9483433cef16afe [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/test/src/lib.rs:500:39 [INFO] [stdout] 26: 0x556e7a19ae1e - test::run_test::run_test_inner::{{closure}}::h479f1f872a5501ea [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/test/src/lib.rs:527:37 [INFO] [stdout] 27: 0x556e7a19ae1e - std::sys_common::backtrace::__rust_begin_short_backtrace::h0f1e9b1f279687bc [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys_common/backtrace.rs:123:18 [INFO] [stdout] 28: 0x556e7a19fc48 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::he5560613c5f5cb83 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/thread/mod.rs:484:17 [INFO] [stdout] 29: 0x556e7a19fc48 - as core::ops::function::FnOnce<()>>::call_once::h8190a68cb05ab92f [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 30: 0x556e7a19fc48 - std::panicking::try::do_call::h6ae22f5ac22596e4 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:406:40 [INFO] [stdout] 31: 0x556e7a19fc48 - std::panicking::try::h2381c25487d6a7c2 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panicking.rs:370:19 [INFO] [stdout] 32: 0x556e7a19fc48 - std::panic::catch_unwind::hfe902f4d5c9d7b6d [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/panic.rs:133:14 [INFO] [stdout] 33: 0x556e7a19fc48 - std::thread::Builder::spawn_unchecked::{{closure}}::h547fad40771a584e [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/thread/mod.rs:483:30 [INFO] [stdout] 34: 0x556e7a19fc48 - core::ops::function::FnOnce::call_once{{vtable.shim}}::he8602a9971738410 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 35: 0x556e7ad749f3 - as core::ops::function::FnOnce>::call_once::he162a5c338a10a39 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/alloc/src/boxed.rs:1694:9 [INFO] [stdout] 36: 0x556e7ad749f3 - as core::ops::function::FnOnce>::call_once::hb27497b21740dd97 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/alloc/src/boxed.rs:1694:9 [INFO] [stdout] 37: 0x556e7ad749f3 - std::sys::unix::thread::Thread::new::thread_start::he467e990e49c5136 [INFO] [stdout] at /rustc/a77da2d454e6caa227a85b16410b95f93495e7e0/library/std/src/sys/unix/thread.rs:106:17 [INFO] [stdout] 38: 0x7fe2bf43e609 - start_thread [INFO] [stdout] 39: 0x7fe2bf210293 - 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 16.78s [INFO] [stdout] [INFO] [stderr] error: test failed, to rerun pass '--test tests' [INFO] running `Command { std: "docker" "inspect" "bf4efed0c38d37423955fad1d6620f80dc8f47fff46a918f53f9e6993b6ef77e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "bf4efed0c38d37423955fad1d6620f80dc8f47fff46a918f53f9e6993b6ef77e", kill_on_drop: false }` [INFO] [stdout] bf4efed0c38d37423955fad1d6620f80dc8f47fff46a918f53f9e6993b6ef77e