Dec 02 00:20:09.137 INFO testing arianvp/counterexample against 1.30.1 for beta-1.31-5
Dec 02 00:20:09.137 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-4/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/beta-1.31-5/1.30.1:/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 +1.30.1 build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 02 00:20:09.563 INFO [stdout] f2be3e6298cdf54bce2782834eba7d0c8864a6bea60a8ca40df7574791675fcc
Dec 02 00:20:09.565 INFO running `"docker" "start" "-a" "f2be3e6298cdf54bce2782834eba7d0c8864a6bea60a8ca40df7574791675fcc"`
Dec 02 00:20:10.479 INFO [stderr] usermod: no changes
Dec 02 00:20:10.523 INFO [stderr]    Compiling counterexample v0.1.0 (/source)
Dec 02 00:20:11.383 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.88s
Dec 02 00:20:11.384 INFO [stderr] su: No module specific data is present
Dec 02 00:20:11.656 INFO running `"docker" "inspect" "f2be3e6298cdf54bce2782834eba7d0c8864a6bea60a8ca40df7574791675fcc"`
Dec 02 00:20:11.792 INFO running `"docker" "rm" "-f" "f2be3e6298cdf54bce2782834eba7d0c8864a6bea60a8ca40df7574791675fcc"`
Dec 02 00:20:11.883 INFO [stdout] f2be3e6298cdf54bce2782834eba7d0c8864a6bea60a8ca40df7574791675fcc
Dec 02 00:20:11.886 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-4/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/beta-1.31-5/1.30.1:/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 +1.30.1 test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 02 00:20:12.077 INFO [stdout] 3e6f335a5f292520f3fb3c014bbf901ce83495dd828c717402e967cdc7315e70
Dec 02 00:20:12.078 INFO running `"docker" "start" "-a" "3e6f335a5f292520f3fb3c014bbf901ce83495dd828c717402e967cdc7315e70"`
Dec 02 00:20:12.526 INFO [stderr] usermod: no changes
Dec 02 00:20:12.575 INFO [stderr]    Compiling counterexample v0.1.0 (/source)
Dec 02 00:20:13.588 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.03s
Dec 02 00:20:13.588 INFO [stderr] su: No module specific data is present
Dec 02 00:20:14.086 INFO running `"docker" "inspect" "3e6f335a5f292520f3fb3c014bbf901ce83495dd828c717402e967cdc7315e70"`
Dec 02 00:20:14.253 INFO running `"docker" "rm" "-f" "3e6f335a5f292520f3fb3c014bbf901ce83495dd828c717402e967cdc7315e70"`
Dec 02 00:20:14.381 INFO [stdout] 3e6f335a5f292520f3fb3c014bbf901ce83495dd828c717402e967cdc7315e70
Dec 02 00:20:14.383 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-4/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/beta-1.31-5/1.30.1:/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 +1.30.1 test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 02 00:20:14.602 INFO [stdout] 815ccbc76bb13a3b8bfde3cbe8bda0785ae1fe2cb7a796c00820189a0df69b8f
Dec 02 00:20:14.606 INFO running `"docker" "start" "-a" "815ccbc76bb13a3b8bfde3cbe8bda0785ae1fe2cb7a796c00820189a0df69b8f"`
Dec 02 00:20:15.179 INFO [stderr] usermod: no changes
Dec 02 00:20:15.215 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.01s
Dec 02 00:20:15.215 INFO [stderr]      Running /target/debug/deps/counterexample-0d284ffe40dd2202
Dec 02 00:20:15.215 INFO [stdout] 
Dec 02 00:20:15.215 INFO [stdout] running 0 tests
Dec 02 00:20:15.215 INFO [stdout] 
Dec 02 00:20:15.215 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 02 00:20:15.215 INFO [stdout] 
Dec 02 00:20:15.221 INFO [stderr] su: No module specific data is present
Dec 02 00:20:15.508 INFO running `"docker" "inspect" "815ccbc76bb13a3b8bfde3cbe8bda0785ae1fe2cb7a796c00820189a0df69b8f"`
Dec 02 00:20:15.633 INFO running `"docker" "rm" "-f" "815ccbc76bb13a3b8bfde3cbe8bda0785ae1fe2cb7a796c00820189a0df69b8f"`
Dec 02 00:20:15.739 INFO [stdout] 815ccbc76bb13a3b8bfde3cbe8bda0785ae1fe2cb7a796c00820189a0df69b8f
