Dec 14 02:31:50.231 INFO testing arianvp/counterexample against master#bd47d6825bf4090517549d33cfef10d3300b4a75 for pr-56550 Dec 14 02:31:50.231 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-6/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +bd47d6825bf4090517549d33cfef10d3300b4a75-alt build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Dec 14 02:31:50.631 INFO [stdout] c9739bd536c40e9130b0de10063c3fdccc528fe3580a07c862f33f02a0adfa5a Dec 14 02:31:50.633 INFO running `"docker" "start" "-a" "c9739bd536c40e9130b0de10063c3fdccc528fe3580a07c862f33f02a0adfa5a"` Dec 14 02:31:51.221 INFO [stderr] usermod: no changes Dec 14 02:31:51.266 INFO [stderr] Compiling counterexample v0.1.0 (/source) Dec 14 02:31:51.939 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.69s Dec 14 02:31:51.944 INFO [stderr] su: No module specific data is present Dec 14 02:31:52.172 INFO running `"docker" "inspect" "c9739bd536c40e9130b0de10063c3fdccc528fe3580a07c862f33f02a0adfa5a"` Dec 14 02:31:52.251 INFO running `"docker" "rm" "-f" "c9739bd536c40e9130b0de10063c3fdccc528fe3580a07c862f33f02a0adfa5a"` Dec 14 02:31:52.346 INFO [stdout] c9739bd536c40e9130b0de10063c3fdccc528fe3580a07c862f33f02a0adfa5a Dec 14 02:31:52.348 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-6/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +bd47d6825bf4090517549d33cfef10d3300b4a75-alt test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Dec 14 02:31:52.562 INFO [stdout] ece939e81dd8811a1ba0fbf4999ef55adf54ae128e4d01ea1cf2089f2a54bc6d Dec 14 02:31:52.564 INFO running `"docker" "start" "-a" "ece939e81dd8811a1ba0fbf4999ef55adf54ae128e4d01ea1cf2089f2a54bc6d"` Dec 14 02:31:53.157 INFO [stderr] usermod: no changes Dec 14 02:31:53.183 INFO [stderr] Compiling counterexample v0.1.0 (/source) Dec 14 02:31:53.861 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.68s Dec 14 02:31:53.862 INFO [stderr] su: No module specific data is present Dec 14 02:31:54.219 INFO running `"docker" "inspect" "ece939e81dd8811a1ba0fbf4999ef55adf54ae128e4d01ea1cf2089f2a54bc6d"` Dec 14 02:31:54.400 INFO running `"docker" "rm" "-f" "ece939e81dd8811a1ba0fbf4999ef55adf54ae128e4d01ea1cf2089f2a54bc6d"` Dec 14 02:31:54.490 INFO [stdout] ece939e81dd8811a1ba0fbf4999ef55adf54ae128e4d01ea1cf2089f2a54bc6d Dec 14 02:31:54.492 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-6/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +bd47d6825bf4090517549d33cfef10d3300b4a75-alt test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Dec 14 02:31:54.668 INFO [stdout] 547104a388677e4f5e4fa809af189008453a364e1eab70008995b6e397f01ca6 Dec 14 02:31:54.734 INFO running `"docker" "start" "-a" "547104a388677e4f5e4fa809af189008453a364e1eab70008995b6e397f01ca6"` Dec 14 02:31:55.133 INFO [stderr] usermod: no changes Dec 14 02:31:55.170 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.01s Dec 14 02:31:55.170 INFO [stderr] Running /target/debug/deps/counterexample-9ca2e0d07583415a Dec 14 02:31:55.171 INFO [stdout] Dec 14 02:31:55.171 INFO [stdout] running 0 tests Dec 14 02:31:55.171 INFO [stdout] Dec 14 02:31:55.171 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 14 02:31:55.171 INFO [stdout] Dec 14 02:31:55.173 INFO [stderr] su: No module specific data is present Dec 14 02:31:55.408 INFO running `"docker" "inspect" "547104a388677e4f5e4fa809af189008453a364e1eab70008995b6e397f01ca6"` Dec 14 02:31:55.514 INFO running `"docker" "rm" "-f" "547104a388677e4f5e4fa809af189008453a364e1eab70008995b6e397f01ca6"` Dec 14 02:31:55.596 INFO [stdout] 547104a388677e4f5e4fa809af189008453a364e1eab70008995b6e397f01ca6