[INFO] fetching crate flint 2.2.0... [INFO] testing flint-2.2.0 against master#8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e for pr-74409 [INFO] extracting crate flint 2.2.0 into /workspace/builds/worker-5/source [INFO] validating manifest of crates.io crate flint 2.2.0 on toolchain 8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] started tweaking crates.io crate flint 2.2.0 [INFO] finished tweaking crates.io crate flint 2.2.0 [INFO] tweaked toml for crates.io crate flint 2.2.0 written to /workspace/builds/worker-5/source/Cargo.toml [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }` [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/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" "MAP_USER_ID=0" "-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" "--network" "none" "rustops/crates-build-env@sha256:38e1b949b06cde1964af550a6e548bd9b2b2ea170003ae122f8fc0886596cc07" "/opt/rustwide/cargo-home/bin/cargo" "+8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] e66b11f68925dda5aff6e5ee5f151fc7fb3f5ea9034c32bfda534c60ffa12336 [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" "e66b11f68925dda5aff6e5ee5f151fc7fb3f5ea9034c32bfda534c60ffa12336", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "e66b11f68925dda5aff6e5ee5f151fc7fb3f5ea9034c32bfda534c60ffa12336", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e66b11f68925dda5aff6e5ee5f151fc7fb3f5ea9034c32bfda534c60ffa12336", kill_on_drop: false }` [INFO] [stdout] e66b11f68925dda5aff6e5ee5f151fc7fb3f5ea9034c32bfda534c60ffa12336 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/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" "MAP_USER_ID=0" "-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" "--network" "none" "rustops/crates-build-env@sha256:38e1b949b06cde1964af550a6e548bd9b2b2ea170003ae122f8fc0886596cc07" "/opt/rustwide/cargo-home/bin/cargo" "+8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 1141b651e50c9539c8a16c1a9eb0f944e0cf05c20df042f1db7a7ef90e5029af [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" "1141b651e50c9539c8a16c1a9eb0f944e0cf05c20df042f1db7a7ef90e5029af", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.19 [INFO] [stderr] Compiling unicode-xid v0.2.1 [INFO] [stderr] Compiling memchr v2.3.3 [INFO] [stderr] Compiling libc v0.2.73 [INFO] [stderr] Compiling cfg-if v0.1.10 [INFO] [stderr] Compiling lazy_static v1.4.0 [INFO] [stderr] Compiling log v0.4.11 [INFO] [stderr] Compiling autocfg v1.0.0 [INFO] [stderr] Compiling adler v0.2.3 [INFO] [stderr] Compiling bitflags v1.2.1 [INFO] [stderr] Compiling regex-syntax v0.6.18 [INFO] [stderr] Compiling gimli v0.22.0 [INFO] [stderr] Compiling same-file v1.0.6 [INFO] [stderr] Compiling object v0.20.0 [INFO] [stderr] Compiling rustc-demangle v0.1.16 [INFO] [stderr] Compiling strsim v0.8.0 [INFO] [stderr] Compiling ansi_term v0.11.0 [INFO] [stderr] Compiling miniz_oxide v0.4.0 [INFO] [stderr] Compiling thread_local v1.0.1 [INFO] [stderr] Compiling walkdir v2.3.1 [INFO] [stderr] Compiling crossbeam-utils v0.7.2 [INFO] [stderr] Compiling aho-corasick v0.7.13 [INFO] [stderr] Compiling bstr v0.2.13 [INFO] [stderr] Compiling quote v1.0.7 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling clap v2.33.1 [INFO] [stderr] Compiling syn v1.0.35 [INFO] [stderr] Compiling regex v1.3.9 [INFO] [stderr] Compiling addr2line v0.13.0 [INFO] [stderr] Compiling backtrace v0.3.50 [INFO] [stderr] Compiling globset v0.4.5 [INFO] [stderr] Compiling ignore v0.4.16 [INFO] [stderr] Compiling synstructure v0.12.4 [INFO] [stderr] Compiling serde_derive v1.0.114 [INFO] [stderr] Compiling failure_derive v0.1.8 [INFO] [stderr] Compiling failure v0.1.8 [INFO] [stderr] Compiling serde v1.0.114 [INFO] [stderr] Compiling sane v0.2.1 [INFO] [stderr] Compiling flint v2.2.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1m 15s [INFO] running `Command { std: "docker" "inspect" "1141b651e50c9539c8a16c1a9eb0f944e0cf05c20df042f1db7a7ef90e5029af", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1141b651e50c9539c8a16c1a9eb0f944e0cf05c20df042f1db7a7ef90e5029af", kill_on_drop: false }` [INFO] [stdout] 1141b651e50c9539c8a16c1a9eb0f944e0cf05c20df042f1db7a7ef90e5029af [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/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" "MAP_USER_ID=0" "-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" "--network" "none" "rustops/crates-build-env@sha256:38e1b949b06cde1964af550a6e548bd9b2b2ea170003ae122f8fc0886596cc07" "/opt/rustwide/cargo-home/bin/cargo" "+8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 513b90a579fe6ba671928c6a527858f291084f04cfb5f5c05e4080ae6d482cd5 [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" "513b90a579fe6ba671928c6a527858f291084f04cfb5f5c05e4080ae6d482cd5", kill_on_drop: false }` [INFO] [stderr] Compiling flint v2.2.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 1.24s [INFO] running `Command { std: "docker" "inspect" "513b90a579fe6ba671928c6a527858f291084f04cfb5f5c05e4080ae6d482cd5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "513b90a579fe6ba671928c6a527858f291084f04cfb5f5c05e4080ae6d482cd5", kill_on_drop: false }` [INFO] [stdout] 513b90a579fe6ba671928c6a527858f291084f04cfb5f5c05e4080ae6d482cd5 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/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" "MAP_USER_ID=0" "-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" "--network" "none" "rustops/crates-build-env@sha256:38e1b949b06cde1964af550a6e548bd9b2b2ea170003ae122f8fc0886596cc07" "/opt/rustwide/cargo-home/bin/cargo" "+8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 286fdda196e79b75e98adb11b08ba4156ae555a5b5e8366fb6b55718187598d5 [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" "286fdda196e79b75e98adb11b08ba4156ae555a5b5e8366fb6b55718187598d5", kill_on_drop: false }` [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.11s [INFO] [stderr] Running /opt/rustwide/target/debug/deps/flint-6c5e41757354c74e [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 [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "286fdda196e79b75e98adb11b08ba4156ae555a5b5e8366fb6b55718187598d5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "286fdda196e79b75e98adb11b08ba4156ae555a5b5e8366fb6b55718187598d5", kill_on_drop: false }` [INFO] [stdout] 286fdda196e79b75e98adb11b08ba4156ae555a5b5e8366fb6b55718187598d5