Dec 05 14:34:39.574 INFO testing mhn1991/dpll against try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468 for pr-56514 Dec 05 14:34:39.574 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-5/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-56514/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/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 +6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-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 05 14:34:40.248 INFO [stdout] 8373ca9660be566ac0392f7418c3960c4c5ac8b278085a6f368bf6bfed864669 Dec 05 14:34:40.254 INFO running `"docker" "start" "-a" "8373ca9660be566ac0392f7418c3960c4c5ac8b278085a6f368bf6bfed864669"` Dec 05 14:34:41.663 INFO [stderr] usermod: no changes Dec 05 14:34:41.728 INFO [stderr] Compiling dpll v0.1.0 (/source) Dec 05 14:34:42.092 INFO [stderr] warning: unused variable: `int` Dec 05 14:34:42.092 INFO [stderr] --> src/dimacs.rs:20:26 Dec 05 14:34:42.092 INFO [stderr] | Dec 05 14:34:42.092 INFO [stderr] 20 | Ok(int) =>{ Dec 05 14:34:42.092 INFO [stderr] | ^^^ help: consider using `_int` instead Dec 05 14:34:42.092 INFO [stderr] | Dec 05 14:34:42.100 INFO [stderr] = note: #[warn(unused_variables)] on by default Dec 05 14:34:42.100 INFO [stderr] Dec 05 14:34:42.984 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.29s Dec 05 14:34:42.989 INFO [stderr] su: No module specific data is present Dec 05 14:34:43.586 INFO running `"docker" "inspect" "8373ca9660be566ac0392f7418c3960c4c5ac8b278085a6f368bf6bfed864669"` Dec 05 14:34:43.830 INFO running `"docker" "rm" "-f" "8373ca9660be566ac0392f7418c3960c4c5ac8b278085a6f368bf6bfed864669"` Dec 05 14:34:44.013 INFO [stdout] 8373ca9660be566ac0392f7418c3960c4c5ac8b278085a6f368bf6bfed864669 Dec 05 14:34:44.015 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-5/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-56514/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/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 +6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-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 05 14:34:44.396 INFO [stdout] 39791ad8099e1b1c856482f6c5d645a3d7ca50a6baf2c05927edce6ea347337c Dec 05 14:34:44.398 INFO running `"docker" "start" "-a" "39791ad8099e1b1c856482f6c5d645a3d7ca50a6baf2c05927edce6ea347337c"` Dec 05 14:34:46.091 INFO [stderr] usermod: no changes Dec 05 14:34:46.132 INFO [stderr] Compiling dpll v0.1.0 (/source) Dec 05 14:34:46.538 INFO [stderr] warning: unused variable: `int` Dec 05 14:34:46.538 INFO [stderr] --> src/dimacs.rs:20:26 Dec 05 14:34:46.538 INFO [stderr] | Dec 05 14:34:46.538 INFO [stderr] 20 | Ok(int) =>{ Dec 05 14:34:46.538 INFO [stderr] | ^^^ help: consider using `_int` instead Dec 05 14:34:46.538 INFO [stderr] | Dec 05 14:34:46.538 INFO [stderr] = note: #[warn(unused_variables)] on by default Dec 05 14:34:46.538 INFO [stderr] Dec 05 14:34:46.924 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.80s Dec 05 14:34:46.924 INFO [stderr] su: No module specific data is present Dec 05 14:34:47.625 INFO running `"docker" "inspect" "39791ad8099e1b1c856482f6c5d645a3d7ca50a6baf2c05927edce6ea347337c"` Dec 05 14:34:47.718 INFO running `"docker" "rm" "-f" "39791ad8099e1b1c856482f6c5d645a3d7ca50a6baf2c05927edce6ea347337c"` Dec 05 14:34:47.808 INFO [stdout] 39791ad8099e1b1c856482f6c5d645a3d7ca50a6baf2c05927edce6ea347337c Dec 05 14:34:47.810 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-5/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-56514/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/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 +6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-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 05 14:34:48.029 INFO [stdout] e3baa97f9750c186978e5d3b1c7c86f19c05c73ad52b457c50de524b29efb421 Dec 05 14:34:48.031 INFO running `"docker" "start" "-a" "e3baa97f9750c186978e5d3b1c7c86f19c05c73ad52b457c50de524b29efb421"` Dec 05 14:34:48.540 INFO [stderr] usermod: no changes Dec 05 14:34:48.576 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.01s Dec 05 14:34:48.580 INFO [stderr] Running /target/debug/deps/dpll-75cd3dbd0c74b72a Dec 05 14:34:48.592 INFO [stderr] su: No module specific data is present Dec 05 14:34:48.592 INFO [stdout] Dec 05 14:34:48.592 INFO [stdout] running 0 tests Dec 05 14:34:48.592 INFO [stdout] Dec 05 14:34:48.592 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 05 14:34:48.592 INFO [stdout] Dec 05 14:34:49.115 INFO running `"docker" "inspect" "e3baa97f9750c186978e5d3b1c7c86f19c05c73ad52b457c50de524b29efb421"` Dec 05 14:34:49.304 INFO running `"docker" "rm" "-f" "e3baa97f9750c186978e5d3b1c7c86f19c05c73ad52b457c50de524b29efb421"` Dec 05 14:34:49.558 INFO [stdout] e3baa97f9750c186978e5d3b1c7c86f19c05c73ad52b457c50de524b29efb421