Nov 01 02:18:47.081 INFO testing mtn/ent against 1.30.0 for beta-1.31-1
Nov 01 02:18:47.083 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-5/1.30.0:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/beta-1.31-1/1.30.0:/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.0 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"`
Nov 01 02:18:47.559 INFO blam! cbd0c05982ae4008cfea28ef8e19ce7398f303ef00d5a5c876b25852b4ff2874
Nov 01 02:18:47.561 INFO running `"docker" "start" "-a" "cbd0c05982ae4008cfea28ef8e19ce7398f303ef00d5a5c876b25852b4ff2874"`
Nov 01 02:18:48.699 INFO kablam! usermod: no changes
Nov 01 02:18:48.775 INFO kablam!    Compiling ent v0.1.0 (/source)
Nov 01 02:18:49.151 INFO kablam! warning: variable does not need to be mutable
Nov 01 02:18:49.151 INFO kablam!  --> src/main.rs:6:9
Nov 01 02:18:49.151 INFO kablam!   |
Nov 01 02:18:49.151 INFO kablam! 6 |     let mut in_str = "A ~B ~C DE\nC D ~E";
Nov 01 02:18:49.151 INFO kablam!   |         ----^^^^^^
Nov 01 02:18:49.151 INFO kablam!   |         |
Nov 01 02:18:49.151 INFO kablam!   |         help: remove this `mut`
Nov 01 02:18:49.151 INFO kablam!   |
Nov 01 02:18:49.155 INFO kablam!   = note: #[warn(unused_mut)] on by default
Nov 01 02:18:49.155 INFO kablam! 
Nov 01 02:18:49.171 INFO kablam! warning: function is never used: `update_watchlist`
Nov 01 02:18:49.172 INFO kablam!   --> src/watchlist.rs:24:1
Nov 01 02:18:49.172 INFO kablam!    |
Nov 01 02:18:49.172 INFO kablam! 24 | / fn update_watchlist<'a> (sat_instance: &'a IR, watchlist: &'a mut Watchlist<'a>,
Nov 01 02:18:49.173 INFO kablam! 25 | |                          false_literal: Variable, assignments: Vec<Option<bool>>,
Nov 01 02:18:49.173 INFO kablam! 26 | |                          verbose: bool) -> bool {
Nov 01 02:18:49.173 INFO kablam! 27 | |     // When X is made false, everything watching X needs to watch something else
Nov 01 02:18:49.173 INFO kablam! ...  |
Nov 01 02:18:49.174 INFO kablam! 66 | |     return true
Nov 01 02:18:49.174 INFO kablam! 67 | | }
Nov 01 02:18:49.174 INFO kablam!    | |_^
Nov 01 02:18:49.174 INFO kablam!    |
Nov 01 02:18:49.175 INFO kablam!    = note: #[warn(dead_code)] on by default
Nov 01 02:18:49.179 INFO kablam! 
Nov 01 02:18:49.893 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 1.14s
Nov 01 02:18:49.895 INFO kablam! su: No module specific data is present
Nov 01 02:18:50.270 INFO running `"docker" "rm" "-f" "cbd0c05982ae4008cfea28ef8e19ce7398f303ef00d5a5c876b25852b4ff2874"`
Nov 01 02:18:50.404 INFO blam! cbd0c05982ae4008cfea28ef8e19ce7398f303ef00d5a5c876b25852b4ff2874
Nov 01 02:18:50.408 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-5/1.30.0:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/beta-1.31-1/1.30.0:/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.0 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"`
Nov 01 02:18:50.848 INFO blam! 50d9245e97b2ab24ed4c3f1ee10f1041a25922c67a96c5ae90a65ed0e1915bd9
Nov 01 02:18:50.866 INFO running `"docker" "start" "-a" "50d9245e97b2ab24ed4c3f1ee10f1041a25922c67a96c5ae90a65ed0e1915bd9"`
Nov 01 02:18:51.875 INFO kablam! usermod: no changes
Nov 01 02:18:51.915 INFO kablam!    Compiling ent v0.1.0 (/source)
Nov 01 02:18:52.298 INFO kablam! warning: variable does not need to be mutable
Nov 01 02:18:52.299 INFO kablam!  --> src/main.rs:6:9
Nov 01 02:18:52.299 INFO kablam!   |
Nov 01 02:18:52.299 INFO kablam! 6 |     let mut in_str = "A ~B ~C DE\nC D ~E";
Nov 01 02:18:52.299 INFO kablam!   |         ----^^^^^^
Nov 01 02:18:52.299 INFO kablam!   |         |
Nov 01 02:18:52.299 INFO kablam!   |         help: remove this `mut`
Nov 01 02:18:52.299 INFO kablam!   |
Nov 01 02:18:52.299 INFO kablam!   = note: #[warn(unused_mut)] on by default
Nov 01 02:18:52.299 INFO kablam! 
Nov 01 02:18:52.315 INFO kablam! warning: function is never used: `update_watchlist`
Nov 01 02:18:52.315 INFO kablam!   --> src/watchlist.rs:24:1
Nov 01 02:18:52.315 INFO kablam!    |
Nov 01 02:18:52.316 INFO kablam! 24 | / fn update_watchlist<'a> (sat_instance: &'a IR, watchlist: &'a mut Watchlist<'a>,
Nov 01 02:18:52.318 INFO kablam! 25 | |                          false_literal: Variable, assignments: Vec<Option<bool>>,
Nov 01 02:18:52.318 INFO kablam! 26 | |                          verbose: bool) -> bool {
Nov 01 02:18:52.318 INFO kablam! 27 | |     // When X is made false, everything watching X needs to watch something else
Nov 01 02:18:52.318 INFO kablam! ...  |
Nov 01 02:18:52.318 INFO kablam! 66 | |     return true
Nov 01 02:18:52.318 INFO kablam! 67 | | }
Nov 01 02:18:52.318 INFO kablam!    | |_^
Nov 01 02:18:52.318 INFO kablam!    |
Nov 01 02:18:52.318 INFO kablam!    = note: #[warn(dead_code)] on by default
Nov 01 02:18:52.318 INFO kablam! 
Nov 01 02:18:52.759 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.85s
Nov 01 02:18:52.759 INFO kablam! su: No module specific data is present
Nov 01 02:18:53.306 INFO running `"docker" "rm" "-f" "50d9245e97b2ab24ed4c3f1ee10f1041a25922c67a96c5ae90a65ed0e1915bd9"`
Nov 01 02:18:53.602 INFO blam! 50d9245e97b2ab24ed4c3f1ee10f1041a25922c67a96c5ae90a65ed0e1915bd9
Nov 01 02:18:53.615 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-5/1.30.0:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/beta-1.31-1/1.30.0:/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.0 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"`
Nov 01 02:18:54.052 INFO blam! bbaa558b8e2cd76a8d1aecfdbfde3d2eeda88d41e22b3577cfc6a2ddf0f179ce
Nov 01 02:18:54.058 INFO running `"docker" "start" "-a" "bbaa558b8e2cd76a8d1aecfdbfde3d2eeda88d41e22b3577cfc6a2ddf0f179ce"`
Nov 01 02:18:55.099 INFO kablam! usermod: no changes
Nov 01 02:18:55.143 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.01s
Nov 01 02:18:55.143 INFO kablam!      Running /target/debug/deps/ent-0c0999fd9c7bc382
Nov 01 02:18:55.148 INFO blam! 
Nov 01 02:18:55.148 INFO blam! running 0 tests
Nov 01 02:18:55.148 INFO blam! 
Nov 01 02:18:55.148 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 01 02:18:55.148 INFO blam! 
Nov 01 02:18:55.150 INFO kablam! su: No module specific data is present
Nov 01 02:18:55.809 INFO running `"docker" "rm" "-f" "bbaa558b8e2cd76a8d1aecfdbfde3d2eeda88d41e22b3577cfc6a2ddf0f179ce"`
Nov 01 02:18:56.087 INFO blam! bbaa558b8e2cd76a8d1aecfdbfde3d2eeda88d41e22b3577cfc6a2ddf0f179ce
