[INFO] cloning repository https://github.com/parperartifact/PPSMC [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/parperartifact/PPSMC" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fparperartifact%2FPPSMC", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fparperartifact%2FPPSMC'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] d44a07cb1e4ca10b304aca592529f06bf7ad55db [INFO] testing parperartifact/PPSMC against master#1ddedbaa5919b7b3e70d984660e21e844c615c97 for pr-128400 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fparperartifact%2FPPSMC" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/parperartifact/PPSMC on toolchain 1ddedbaa5919b7b3e70d984660e21e844c615c97 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1ddedbaa5919b7b3e70d984660e21e844c615c97" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/parperartifact/PPSMC [INFO] finished tweaking git repo https://github.com/parperartifact/PPSMC [INFO] tweaked toml for git repo https://github.com/parperartifact/PPSMC written to /workspace/builds/worker-0-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/parperartifact/PPSMC already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1ddedbaa5919b7b3e70d984660e21e844c615c97" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+1ddedbaa5919b7b3e70d984660e21e844c615c97" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] ec4a0c287f704add011a934b34068254225652c8b6e44fbaa5668cf6f2e83e69 [INFO] running `Command { std: "docker" "start" "-a" "ec4a0c287f704add011a934b34068254225652c8b6e44fbaa5668cf6f2e83e69", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "ec4a0c287f704add011a934b34068254225652c8b6e44fbaa5668cf6f2e83e69", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ec4a0c287f704add011a934b34068254225652c8b6e44fbaa5668cf6f2e83e69", kill_on_drop: false }` [INFO] [stdout] ec4a0c287f704add011a934b34068254225652c8b6e44fbaa5668cf6f2e83e69 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/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" "RUSTDOCFLAGS=--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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+1ddedbaa5919b7b3e70d984660e21e844c615c97" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] ea35b9b98f47aa6ad55bbe9ca8f982bf24eaf17f3bf715f4180c426775d169d5 [INFO] running `Command { std: "docker" "start" "-a" "ea35b9b98f47aa6ad55bbe9ca8f982bf24eaf17f3bf715f4180c426775d169d5", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.152 [INFO] [stderr] Compiling proc-macro2 v1.0.78 [INFO] [stderr] Compiling num-traits v0.2.17 [INFO] [stderr] Compiling utf8parse v0.2.1 [INFO] [stderr] Compiling minimal-lexical v0.2.1 [INFO] [stderr] Compiling anstyle v1.0.4 [INFO] [stderr] Compiling colorchoice v1.0.0 [INFO] [stderr] Compiling anstyle-query v1.0.2 [INFO] [stderr] Compiling clap_lex v0.6.0 [INFO] [stderr] Compiling tokio v1.35.1 [INFO] [stderr] Compiling anstyle-parse v0.2.3 [INFO] [stderr] Compiling anstream v0.6.11 [INFO] [stderr] Compiling nom v7.1.3 [INFO] [stderr] Compiling clap_builder v4.4.18 [INFO] [stderr] Compiling quote v1.0.35 [INFO] [stderr] Compiling syn v2.0.48 [INFO] [stderr] Compiling cc v1.0.83 [INFO] [stderr] Compiling ordered-float v3.9.2 [INFO] [stderr] Compiling cmake v0.1.50 [INFO] [stderr] Compiling sylvan-sys v1.1.0 (/opt/rustwide/workdir/sylvan-sys) [INFO] [stderr] Compiling futures-macro v0.3.30 [INFO] [stderr] Compiling clap_derive v4.4.7 [INFO] [stderr] Compiling futures-util v0.3.30 [INFO] [stderr] Compiling clap v4.4.18 [INFO] [stderr] Compiling sylvan v0.1.0 (/opt/rustwide/workdir/sylvan-rs) [INFO] [stderr] Compiling bdds v0.1.0 (/opt/rustwide/workdir/bdds) [INFO] [stderr] Compiling fsmbdd v0.1.0 (/opt/rustwide/workdir/fsmbdd) [INFO] [stderr] Compiling logic-form v0.1.1 (/opt/rustwide/workdir/logic-form) [INFO] [stderr] Compiling smv v0.1.0 (/opt/rustwide/workdir/smv-rs) [INFO] [stderr] Compiling futures-executor v0.3.30 [INFO] [stderr] Compiling futures v0.3.30 [INFO] [stderr] Compiling arun v0.1.0 (/opt/rustwide/workdir/arun) [INFO] [stdout] warning: adding an auto trait `std::marker::Send` to a trait object in a pointer cast may cause UB later on [INFO] [stdout] --> arun/src/lib.rs:55:22 [INFO] [stdout] | [INFO] [stdout] 55 | let future = Box::new(future).into_raw() as *mut (dyn Future + 'static + Send); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [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 #127323 [INFO] [stdout] = note: `#[warn(ptr_cast_add_auto_to_object)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling ppsmc v0.1.0 (/opt/rustwide/workdir/ppsmc) [INFO] [stdout] warning: fields `pre_image_time` and `test_a` are never read [INFO] [stdout] --> ppsmc/src/property_driven/statistic.rs:9:9 [INFO] [stdout] | [INFO] [stdout] 4 | pub struct Statistic { [INFO] [stdout] | --------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 9 | pub pre_image_time: Duration, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 10 | pub pre_propagate_time: Duration, [INFO] [stdout] 11 | pub test_a: Duration, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Statistic` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 6.86s [INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: arun v0.1.0 (/opt/rustwide/workdir/arun) [INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 2` [INFO] running `Command { std: "docker" "inspect" "ea35b9b98f47aa6ad55bbe9ca8f982bf24eaf17f3bf715f4180c426775d169d5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ea35b9b98f47aa6ad55bbe9ca8f982bf24eaf17f3bf715f4180c426775d169d5", kill_on_drop: false }` [INFO] [stdout] ea35b9b98f47aa6ad55bbe9ca8f982bf24eaf17f3bf715f4180c426775d169d5 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/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" "RUSTDOCFLAGS=--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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+1ddedbaa5919b7b3e70d984660e21e844c615c97" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] e1bf8b293f2c307496422373614e644300f4da136c0d71702624c8ee2b1af274 [INFO] running `Command { std: "docker" "start" "-a" "e1bf8b293f2c307496422373614e644300f4da136c0d71702624c8ee2b1af274", kill_on_drop: false }` [INFO] [stderr] Compiling sylvan-sys v1.1.0 (/opt/rustwide/workdir/sylvan-sys) [INFO] [stderr] Compiling sylvan v0.1.0 (/opt/rustwide/workdir/sylvan-rs) [INFO] [stderr] Compiling bdds v0.1.0 (/opt/rustwide/workdir/bdds) [INFO] [stderr] Compiling fsmbdd v0.1.0 (/opt/rustwide/workdir/fsmbdd) [INFO] [stderr] Compiling logic-form v0.1.1 (/opt/rustwide/workdir/logic-form) [INFO] [stderr] Compiling smv v0.1.0 (/opt/rustwide/workdir/smv-rs) [INFO] [stdout] warning: adding an auto trait `std::marker::Send` to a trait object in a pointer cast may cause UB later on [INFO] [stdout] --> arun/src/lib.rs:55:22 [INFO] [stdout] | [INFO] [stdout] 55 | let future = Box::new(future).into_raw() as *mut (dyn Future + 'static + Send); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [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 #127323 [INFO] [stdout] = note: `#[warn(ptr_cast_add_auto_to_object)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling arun v0.1.0 (/opt/rustwide/workdir/arun) [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling ppsmc v0.1.0 (/opt/rustwide/workdir/ppsmc) [INFO] [stdout] warning: adding an auto trait `std::marker::Send` to a trait object in a pointer cast may cause UB later on [INFO] [stdout] --> arun/src/lib.rs:55:22 [INFO] [stdout] | [INFO] [stdout] 55 | let future = Box::new(future).into_raw() as *mut (dyn Future + 'static + Send); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [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 #127323 [INFO] [stdout] = note: `#[warn(ptr_cast_add_auto_to_object)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/bin/self-contained:/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/bin/self-contained:/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/bin/self-contained:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustcygzwou/symbols.o" "/opt/rustwide/target/debug/deps/sylvan_sys-8bafe238c7e75905.sylvan_sys.7102823d902a095b-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/sylvan_sys-8bafe238c7e75905.46aeubym20vdska9ih2899zvp.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/sylvan-sys-946822fe482432f6/out/lib" "-L" "/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "-Wl,--whole-archive" "-llace" "-Wl,--no-whole-archive" "-Wl,--whole-archive" "-lsylvan" "-Wl,--no-whole-archive" "-Wl,--whole-archive" "-lwrapper" "-Wl,--no-whole-archive" "/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-d2aabef62695c36a.rlib" "/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-85ffb1adee1b6de7.rlib" "/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-47c1d1c97d43fb9c.rlib" "/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-767d58143f86b11a.rlib" "/opt/rustwide/target/debug/deps/liblibc-f882feaebb8ba0ca.rlib" "/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-9506e3738f23e7c7.rlib" "/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-0e87bdc388165b9b.rlib" "/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-28d2ee21ffecbcd0.rlib" "/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-4cd64c3d9fc2560b.rlib" "/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-a1fedeceba4cc892.rlib" "/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-0b8915cbc76cd410.rlib" "/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-fec2ce82fc5b17fa.rlib" "/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-fdb02324b55b2840.rlib" "/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-db981ef273c68b12.rlib" "/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-2c4968ed4cb29e9c.rlib" "/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-661cdd70a5b83118.rlib" "/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-9cbb3bfdc8e63ca5.rlib" "/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-a4c5ad4392a26401.rlib" "/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-9409cd7d030362b9.rlib" "/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-7b90a2705bcf265b.rlib" "/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-80d2f129fb536a6f.rlib" "/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-f72b956e24d1de70.rlib" "/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-632ae0f28c5e55ff.rlib" "/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-7586cb84705120bb.rlib" "-Wl,-Bdynamic" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-B/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-B/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-B/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-L" "/opt/rustwide/rustup-home/toolchains/1ddedbaa5919b7b3e70d984660e21e844c615c97/lib/rustlib/x86_64-unknown-linux-gnu/lib/self-contained" "-o" "/opt/rustwide/target/debug/deps/sylvan_sys-8bafe238c7e75905" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" [INFO] [stdout] = note: rust-lld: error: undefined symbol: __gxx_personality_v0 [INFO] [stdout] >>> referenced by sylvan_obj.cpp [INFO] [stdout] >>> sylvan_obj.cpp.o:(DW.ref.__gxx_personality_v0) in archive /opt/rustwide/target/debug/build/sylvan-sys-946822fe482432f6/out/lib/libsylvan.a [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `sylvan-sys` (lib test) due to 2 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `pre_image_time` and `test_a` are never read [INFO] [stdout] --> ppsmc/src/property_driven/statistic.rs:9:9 [INFO] [stdout] | [INFO] [stdout] 4 | pub struct Statistic { [INFO] [stdout] | --------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 9 | pub pre_image_time: Duration, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 10 | pub pre_propagate_time: Duration, [INFO] [stdout] 11 | pub test_a: Duration, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Statistic` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "e1bf8b293f2c307496422373614e644300f4da136c0d71702624c8ee2b1af274", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e1bf8b293f2c307496422373614e644300f4da136c0d71702624c8ee2b1af274", kill_on_drop: false }` [INFO] [stdout] e1bf8b293f2c307496422373614e644300f4da136c0d71702624c8ee2b1af274 [INFO] testing parperartifact/PPSMC against try#33f1d8bb92813a1bfc23c093c9f443ab09290307 for pr-128400 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fparperartifact%2FPPSMC" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/parperartifact/PPSMC on toolchain 33f1d8bb92813a1bfc23c093c9f443ab09290307 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+33f1d8bb92813a1bfc23c093c9f443ab09290307" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/parperartifact/PPSMC [INFO] finished tweaking git repo https://github.com/parperartifact/PPSMC [INFO] tweaked toml for git repo https://github.com/parperartifact/PPSMC written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/parperartifact/PPSMC already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+33f1d8bb92813a1bfc23c093c9f443ab09290307" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+33f1d8bb92813a1bfc23c093c9f443ab09290307" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] f8a659aac30e07dea51ef961569a9d0cf64f82269e528245c211d2f901cc4fab [INFO] running `Command { std: "docker" "start" "-a" "f8a659aac30e07dea51ef961569a9d0cf64f82269e528245c211d2f901cc4fab", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "f8a659aac30e07dea51ef961569a9d0cf64f82269e528245c211d2f901cc4fab", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f8a659aac30e07dea51ef961569a9d0cf64f82269e528245c211d2f901cc4fab", kill_on_drop: false }` [INFO] [stdout] f8a659aac30e07dea51ef961569a9d0cf64f82269e528245c211d2f901cc4fab [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/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" "RUSTDOCFLAGS=--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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+33f1d8bb92813a1bfc23c093c9f443ab09290307" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 6f0bc4098ed0182c9e675872dfbb23f2583bc45634f735801c9b8699420ad4ab [INFO] running `Command { std: "docker" "start" "-a" "6f0bc4098ed0182c9e675872dfbb23f2583bc45634f735801c9b8699420ad4ab", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.152 [INFO] [stderr] Compiling proc-macro2 v1.0.78 [INFO] [stderr] Compiling num-traits v0.2.17 [INFO] [stderr] Compiling utf8parse v0.2.1 [INFO] [stderr] Compiling anstyle v1.0.4 [INFO] [stderr] Compiling anstyle-query v1.0.2 [INFO] [stderr] Compiling minimal-lexical v0.2.1 [INFO] [stderr] Compiling colorchoice v1.0.0 [INFO] [stderr] Compiling clap_lex v0.6.0 [INFO] [stderr] Compiling tokio v1.35.1 [INFO] [stderr] Compiling anstyle-parse v0.2.3 [INFO] [stderr] Compiling anstream v0.6.11 [INFO] [stderr] Compiling nom v7.1.3 [INFO] [stderr] Compiling clap_builder v4.4.18 [INFO] [stderr] Compiling quote v1.0.35 [INFO] [stderr] Compiling cc v1.0.83 [INFO] [stderr] Compiling syn v2.0.48 [INFO] [stderr] Compiling ordered-float v3.9.2 [INFO] [stderr] Compiling cmake v0.1.50 [INFO] [stderr] Compiling sylvan-sys v1.1.0 (/opt/rustwide/workdir/sylvan-sys) [INFO] [stderr] Compiling futures-macro v0.3.30 [INFO] [stderr] Compiling clap_derive v4.4.7 [INFO] [stderr] Compiling futures-util v0.3.30 [INFO] [stderr] Compiling sylvan v0.1.0 (/opt/rustwide/workdir/sylvan-rs) [INFO] [stderr] Compiling clap v4.4.18 [INFO] [stderr] Compiling bdds v0.1.0 (/opt/rustwide/workdir/bdds) [INFO] [stderr] Compiling fsmbdd v0.1.0 (/opt/rustwide/workdir/fsmbdd) [INFO] [stderr] Compiling logic-form v0.1.1 (/opt/rustwide/workdir/logic-form) [INFO] [stderr] Compiling smv v0.1.0 (/opt/rustwide/workdir/smv-rs) [INFO] [stderr] Compiling futures-executor v0.3.30 [INFO] [stderr] Compiling futures v0.3.30 [INFO] [stderr] Compiling arun v0.1.0 (/opt/rustwide/workdir/arun) [INFO] [stdout] warning: adding an auto trait `std::marker::Send` to a trait object in a pointer cast may cause UB later on [INFO] [stdout] --> arun/src/lib.rs:55:22 [INFO] [stdout] | [INFO] [stdout] 55 | let future = Box::new(future).into_raw() as *mut (dyn Future + 'static + Send); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [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 #127323 [INFO] [stdout] = note: `#[warn(ptr_cast_add_auto_to_object)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling ppsmc v0.1.0 (/opt/rustwide/workdir/ppsmc) [INFO] [stdout] warning: fields `pre_image_time` and `test_a` are never read [INFO] [stdout] --> ppsmc/src/property_driven/statistic.rs:9:9 [INFO] [stdout] | [INFO] [stdout] 4 | pub struct Statistic { [INFO] [stdout] | --------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 9 | pub pre_image_time: Duration, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 10 | pub pre_propagate_time: Duration, [INFO] [stdout] 11 | pub test_a: Duration, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Statistic` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 6.79s [INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: arun v0.1.0 (/opt/rustwide/workdir/arun) [INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 2` [INFO] running `Command { std: "docker" "inspect" "6f0bc4098ed0182c9e675872dfbb23f2583bc45634f735801c9b8699420ad4ab", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6f0bc4098ed0182c9e675872dfbb23f2583bc45634f735801c9b8699420ad4ab", kill_on_drop: false }` [INFO] [stdout] 6f0bc4098ed0182c9e675872dfbb23f2583bc45634f735801c9b8699420ad4ab [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/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" "RUSTDOCFLAGS=--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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+33f1d8bb92813a1bfc23c093c9f443ab09290307" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] e16bf7c755f34e030d7899ba787caa64d301246ae6214b50d54e467f33008d5b [INFO] running `Command { std: "docker" "start" "-a" "e16bf7c755f34e030d7899ba787caa64d301246ae6214b50d54e467f33008d5b", kill_on_drop: false }` [INFO] [stderr] Compiling sylvan-sys v1.1.0 (/opt/rustwide/workdir/sylvan-sys) [INFO] [stderr] Compiling sylvan v0.1.0 (/opt/rustwide/workdir/sylvan-rs) [INFO] [stderr] Compiling bdds v0.1.0 (/opt/rustwide/workdir/bdds) [INFO] [stderr] Compiling logic-form v0.1.1 (/opt/rustwide/workdir/logic-form) [INFO] [stderr] Compiling fsmbdd v0.1.0 (/opt/rustwide/workdir/fsmbdd) [INFO] [stdout] warning: adding an auto trait `std::marker::Send` to a trait object in a pointer cast may cause UB later on [INFO] [stdout] --> arun/src/lib.rs:55:22 [INFO] [stdout] | [INFO] [stdout] 55 | let future = Box::new(future).into_raw() as *mut (dyn Future + 'static + Send); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [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 #127323 [INFO] [stdout] = note: `#[warn(ptr_cast_add_auto_to_object)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling arun v0.1.0 (/opt/rustwide/workdir/arun) [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling smv v0.1.0 (/opt/rustwide/workdir/smv-rs) [INFO] [stderr] Compiling ppsmc v0.1.0 (/opt/rustwide/workdir/ppsmc) [INFO] [stdout] warning: adding an auto trait `std::marker::Send` to a trait object in a pointer cast may cause UB later on [INFO] [stdout] --> arun/src/lib.rs:55:22 [INFO] [stdout] | [INFO] [stdout] 55 | let future = Box::new(future).into_raw() as *mut (dyn Future + 'static + Send); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [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 #127323 [INFO] [stdout] = note: `#[warn(ptr_cast_add_auto_to_object)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `pre_image_time` and `test_a` are never read [INFO] [stdout] --> ppsmc/src/property_driven/statistic.rs:9:9 [INFO] [stdout] | [INFO] [stdout] 4 | pub struct Statistic { [INFO] [stdout] | --------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 9 | pub pre_image_time: Duration, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 10 | pub pre_propagate_time: Duration, [INFO] [stdout] 11 | pub test_a: Duration, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Statistic` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.44s [INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: arun v0.1.0 (/opt/rustwide/workdir/arun) [INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 3` [INFO] running `Command { std: "docker" "inspect" "e16bf7c755f34e030d7899ba787caa64d301246ae6214b50d54e467f33008d5b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e16bf7c755f34e030d7899ba787caa64d301246ae6214b50d54e467f33008d5b", kill_on_drop: false }` [INFO] [stdout] e16bf7c755f34e030d7899ba787caa64d301246ae6214b50d54e467f33008d5b [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/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" "RUSTDOCFLAGS=--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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+33f1d8bb92813a1bfc23c093c9f443ab09290307" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 0635440e7d49226348317d8fd82039896b84e8571f63199377e4adc9a0d92c9e [INFO] running `Command { std: "docker" "start" "-a" "0635440e7d49226348317d8fd82039896b84e8571f63199377e4adc9a0d92c9e", kill_on_drop: false }` [INFO] [stderr] warning: adding an auto trait `std::marker::Send` to a trait object in a pointer cast may cause UB later on [INFO] [stderr] --> arun/src/lib.rs:55:22 [INFO] [stderr] | [INFO] [stderr] 55 | let future = Box::new(future).into_raw() as *mut (dyn Future + 'static + Send); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [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 #127323 [INFO] [stderr] = note: `#[warn(ptr_cast_add_auto_to_object)]` on by default [INFO] [stderr] [INFO] [stderr] warning: `arun` (lib) generated 1 warning [INFO] [stderr] warning: `arun` (lib test) generated 1 warning (1 duplicate) [INFO] [stderr] warning: fields `pre_image_time` and `test_a` are never read [INFO] [stderr] --> ppsmc/src/property_driven/statistic.rs:9:9 [INFO] [stderr] | [INFO] [stderr] 4 | pub struct Statistic { [INFO] [stderr] | --------- fields in this struct [INFO] [stderr] ... [INFO] [stderr] 9 | pub pre_image_time: Duration, [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] 10 | pub pre_propagate_time: Duration, [INFO] [stderr] 11 | pub test_a: Duration, [INFO] [stderr] | ^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `Statistic` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: `ppsmc` (bin "ppsmc" test) generated 1 warning [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.04s [INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: arun v0.1.0 (/opt/rustwide/workdir/arun) [INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 3` [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/arun-18941737d01e4caa) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/bdds-df1eb28d790db15f) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/fsmbdd-b09b38fac4117cb7) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/logic_form-d680df80fcabce06) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/ppsmc-a42ea91c5a2b8841) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/smv-0667846a79ba5735) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/sylvan-fbec7b220e2c07ed) [INFO] [stdout] [INFO] [stdout] running 7 tests [INFO] [stderr] thread 'node::tests::test_basic' panicked at sylvan-rs/src/node.rs:65:9: [INFO] [stderr] not yet implemented [INFO] [stderr] stack backtrace: [INFO] [stdout] test tests::test_basic ... ok [INFO] [stdout] test tests::test_bdd_size ... ok [INFO] [stdout] test tests::test_cube ... ok [INFO] [stderr] panicked at sylvan-rs/src/node.rs:65:9: [INFO] [stderr] not yet implemented [INFO] [stderr] thread panicked while processing panic. aborting. [INFO] [stderr] error: test failed, to rerun pass `-p sylvan --lib` [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `/opt/rustwide/target/debug/deps/sylvan-fbec7b220e2c07ed` (signal: 6, SIGABRT: process abort signal) [INFO] running `Command { std: "docker" "inspect" "0635440e7d49226348317d8fd82039896b84e8571f63199377e4adc9a0d92c9e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0635440e7d49226348317d8fd82039896b84e8571f63199377e4adc9a0d92c9e", kill_on_drop: false }` [INFO] [stdout] 0635440e7d49226348317d8fd82039896b84e8571f63199377e4adc9a0d92c9e