Dec 13 10:47:08.208 INFO testing mhn1991/dpll against master#bd47d6825bf4090517549d33cfef10d3300b4a75 for pr-56550 Dec 13 10:47:08.209 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-2/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/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 13 10:47:08.703 INFO [stdout] 5236cfb1abe506c13036737a9b5e7c785da614340036a0c117c9bf68f63bf827 Dec 13 10:47:08.711 INFO running `"docker" "start" "-a" "5236cfb1abe506c13036737a9b5e7c785da614340036a0c117c9bf68f63bf827"` Dec 13 10:47:09.909 INFO [stderr] usermod: no changes Dec 13 10:47:09.970 INFO [stderr] Compiling dpll v0.1.0 (/source) Dec 13 10:47:10.295 INFO [stderr] warning: unused variable: `int` Dec 13 10:47:10.295 INFO [stderr] --> src/dimacs.rs:20:26 Dec 13 10:47:10.295 INFO [stderr] | Dec 13 10:47:10.295 INFO [stderr] 20 | Ok(int) =>{ Dec 13 10:47:10.295 INFO [stderr] | ^^^ help: consider using `_int` instead Dec 13 10:47:10.295 INFO [stderr] | Dec 13 10:47:10.295 INFO [stderr] = note: #[warn(unused_variables)] on by default Dec 13 10:47:10.295 INFO [stderr] Dec 13 10:47:11.182 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.23s Dec 13 10:47:11.182 INFO [stderr] su: No module specific data is present Dec 13 10:47:11.841 INFO running `"docker" "inspect" "5236cfb1abe506c13036737a9b5e7c785da614340036a0c117c9bf68f63bf827"` Dec 13 10:47:12.135 INFO running `"docker" "rm" "-f" "5236cfb1abe506c13036737a9b5e7c785da614340036a0c117c9bf68f63bf827"` Dec 13 10:47:12.405 INFO [stdout] 5236cfb1abe506c13036737a9b5e7c785da614340036a0c117c9bf68f63bf827 Dec 13 10:47:12.408 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-2/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/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 13 10:47:12.900 INFO [stdout] 69468dbe93c841c968bb6212fe2052a2d818fcbe63e89a918bd34e00c60663ab Dec 13 10:47:12.902 INFO running `"docker" "start" "-a" "69468dbe93c841c968bb6212fe2052a2d818fcbe63e89a918bd34e00c60663ab"` Dec 13 10:47:14.841 INFO [stderr] usermod: no changes Dec 13 10:47:14.907 INFO [stderr] Compiling dpll v0.1.0 (/source) Dec 13 10:47:15.499 INFO [stderr] warning: unused variable: `int` Dec 13 10:47:15.499 INFO [stderr] --> src/dimacs.rs:20:26 Dec 13 10:47:15.500 INFO [stderr] | Dec 13 10:47:15.500 INFO [stderr] 20 | Ok(int) =>{ Dec 13 10:47:15.500 INFO [stderr] | ^^^ help: consider using `_int` instead Dec 13 10:47:15.501 INFO [stderr] | Dec 13 10:47:15.501 INFO [stderr] = note: #[warn(unused_variables)] on by default Dec 13 10:47:15.501 INFO [stderr] Dec 13 10:47:15.935 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.06s Dec 13 10:47:15.938 INFO [stderr] su: No module specific data is present Dec 13 10:47:17.527 INFO running `"docker" "inspect" "69468dbe93c841c968bb6212fe2052a2d818fcbe63e89a918bd34e00c60663ab"` Dec 13 10:47:17.880 INFO running `"docker" "rm" "-f" "69468dbe93c841c968bb6212fe2052a2d818fcbe63e89a918bd34e00c60663ab"` Dec 13 10:47:18.199 INFO [stdout] 69468dbe93c841c968bb6212fe2052a2d818fcbe63e89a918bd34e00c60663ab Dec 13 10:47:18.207 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-2/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/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 13 10:47:18.681 INFO [stdout] 74562e92c7db4fa13ec7cbff3dce419cd200e9f0920492528857bd44dc1ca15d Dec 13 10:47:18.683 INFO running `"docker" "start" "-a" "74562e92c7db4fa13ec7cbff3dce419cd200e9f0920492528857bd44dc1ca15d"` Dec 13 10:47:20.690 INFO [stderr] usermod: no changes Dec 13 10:47:20.759 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.04s Dec 13 10:47:20.759 INFO [stderr] Running /target/debug/deps/dpll-e0fa4d5d7178796c Dec 13 10:47:20.759 INFO [stdout] Dec 13 10:47:20.759 INFO [stdout] running 0 tests Dec 13 10:47:20.759 INFO [stdout] Dec 13 10:47:20.759 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 13 10:47:20.759 INFO [stdout] Dec 13 10:47:20.771 INFO [stderr] su: No module specific data is present Dec 13 10:47:21.803 INFO running `"docker" "inspect" "74562e92c7db4fa13ec7cbff3dce419cd200e9f0920492528857bd44dc1ca15d"` Dec 13 10:47:22.151 INFO running `"docker" "rm" "-f" "74562e92c7db4fa13ec7cbff3dce419cd200e9f0920492528857bd44dc1ca15d"` Dec 13 10:47:22.555 INFO [stdout] 74562e92c7db4fa13ec7cbff3dce419cd200e9f0920492528857bd44dc1ca15d