Nov 18 19:50:33.881 INFO testing bcsat-0.1.0 against try#2e026d6e5d7621634147ad4c8074f1d964dbb1be for pr-55982
Nov 18 19:50:33.881 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-2/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/pr-55982/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/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 +2e026d6e5d7621634147ad4c8074f1d964dbb1be-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"`
Nov 18 19:50:34.192 INFO [stdout] ba94a58b50f7908e4c006f15c304374b0ebc1c8ff33c8aa8c6f3ef7dd0bd18d1
Nov 18 19:50:34.197 INFO running `"docker" "start" "-a" "ba94a58b50f7908e4c006f15c304374b0ebc1c8ff33c8aa8c6f3ef7dd0bd18d1"`
Nov 18 19:50:34.612 INFO [stderr] usermod: no changes
Nov 18 19:50:34.674 INFO [stderr]    Compiling bcsat v0.1.0 (/source)
Nov 18 19:50:38.119 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 3.48s
Nov 18 19:50:38.123 INFO [stderr] su: No module specific data is present
Nov 18 19:50:39.294 INFO running `"docker" "inspect" "ba94a58b50f7908e4c006f15c304374b0ebc1c8ff33c8aa8c6f3ef7dd0bd18d1"`
Nov 18 19:50:39.535 INFO running `"docker" "rm" "-f" "ba94a58b50f7908e4c006f15c304374b0ebc1c8ff33c8aa8c6f3ef7dd0bd18d1"`
Nov 18 19:50:39.847 INFO [stdout] ba94a58b50f7908e4c006f15c304374b0ebc1c8ff33c8aa8c6f3ef7dd0bd18d1
Nov 18 19:50:39.855 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-2/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/pr-55982/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/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 +2e026d6e5d7621634147ad4c8074f1d964dbb1be-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"`
Nov 18 19:50:40.396 INFO [stdout] 389138ce3d255dcc3d0e940509485bb9fa6061281e12b4687d53546509c8b11f
Nov 18 19:50:40.398 INFO running `"docker" "start" "-a" "389138ce3d255dcc3d0e940509485bb9fa6061281e12b4687d53546509c8b11f"`
Nov 18 19:50:41.354 INFO [stderr] usermod: no changes
Nov 18 19:50:41.391 INFO [stderr]    Compiling bcsat v0.1.0 (/source)
Nov 18 19:50:42.319 INFO [stderr] warning: variable does not need to be mutable
Nov 18 19:50:42.319 INFO [stderr]  --> tests/des_3_1_1.rs:8:9
Nov 18 19:50:42.319 INFO [stderr]   |
Nov 18 19:50:42.319 INFO [stderr] 8 |     let mut parsed = parsed.unwrap().1;
Nov 18 19:50:42.319 INFO [stderr]   |         ----^^^^^^
Nov 18 19:50:42.319 INFO [stderr]   |         |
Nov 18 19:50:42.319 INFO [stderr]   |         help: remove this `mut`
Nov 18 19:50:42.319 INFO [stderr]   |
Nov 18 19:50:42.319 INFO [stderr]   = note: #[warn(unused_mut)] on by default
Nov 18 19:50:42.319 INFO [stderr] 
Nov 18 19:50:45.020 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 3.65s
Nov 18 19:50:45.023 INFO [stderr] su: No module specific data is present
Nov 18 19:50:45.296 INFO running `"docker" "inspect" "389138ce3d255dcc3d0e940509485bb9fa6061281e12b4687d53546509c8b11f"`
Nov 18 19:50:45.393 INFO running `"docker" "rm" "-f" "389138ce3d255dcc3d0e940509485bb9fa6061281e12b4687d53546509c8b11f"`
Nov 18 19:50:45.563 INFO [stdout] 389138ce3d255dcc3d0e940509485bb9fa6061281e12b4687d53546509c8b11f
Nov 18 19:50:45.570 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-2/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/pr-55982/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/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 +2e026d6e5d7621634147ad4c8074f1d964dbb1be-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"`
Nov 18 19:50:45.794 INFO [stdout] a571b189f7cac5ff37885434a3e73f0ca9894e1d46a075dbb2cd0bf2da871349
Nov 18 19:50:45.796 INFO running `"docker" "start" "-a" "a571b189f7cac5ff37885434a3e73f0ca9894e1d46a075dbb2cd0bf2da871349"`
Nov 18 19:50:46.369 INFO [stderr] usermod: no changes
Nov 18 19:50:46.408 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.02s
Nov 18 19:50:46.420 INFO [stderr]      Running /target/debug/deps/bcsat-b337fdd0fa32b91a
Nov 18 19:50:46.425 INFO [stdout] 
Nov 18 19:50:46.425 INFO [stdout] running 2 tests
Nov 18 19:50:46.427 INFO [stdout] test parser::tests::basic ... ok
Nov 18 19:50:46.435 INFO [stdout] test parser::tests::precedence ... ok
Nov 18 19:50:46.435 INFO [stdout] 
Nov 18 19:50:46.436 INFO [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 18 19:50:46.436 INFO [stdout] 
Nov 18 19:50:46.437 INFO [stderr]      Running /target/debug/deps/des_3_1_1-6182c5a2a2618289
Nov 18 19:50:46.439 INFO [stdout] 
Nov 18 19:50:46.439 INFO [stdout] running 1 test
Nov 18 19:50:49.017 INFO [stderr]    Doc-tests bcsat
Nov 18 19:50:49.017 INFO [stdout] test parse_des_3_1_1 ... ok
Nov 18 19:50:49.017 INFO [stdout] 
Nov 18 19:50:49.017 INFO [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 18 19:50:49.017 INFO [stdout] 
Nov 18 19:50:50.106 INFO [stdout] 
Nov 18 19:50:50.106 INFO [stdout] running 0 tests
Nov 18 19:50:50.106 INFO [stdout] 
Nov 18 19:50:50.106 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 18 19:50:50.106 INFO [stdout] 
Nov 18 19:50:50.115 INFO [stderr] su: No module specific data is present
Nov 18 19:50:50.539 INFO running `"docker" "inspect" "a571b189f7cac5ff37885434a3e73f0ca9894e1d46a075dbb2cd0bf2da871349"`
Nov 18 19:50:50.694 INFO running `"docker" "rm" "-f" "a571b189f7cac5ff37885434a3e73f0ca9894e1d46a075dbb2cd0bf2da871349"`
Nov 18 19:50:50.862 INFO [stdout] a571b189f7cac5ff37885434a3e73f0ca9894e1d46a075dbb2cd0bf2da871349