Oct 10 18:00:26.178 INFO testing mtn/ent against master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513 for rustdoc-test-static-cling
Oct 10 18:00:26.178 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen
Oct 10 18:00:26.178 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-1/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-1/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"`
Oct 10 18:00:26.512 INFO blam! b62e9656f72f79f612bf00ea4fcbf1d35c86eb36b038d20485a6985b49c267b6
Oct 10 18:00:26.518 INFO running `"docker" "start" "-a" "b62e9656f72f79f612bf00ea4fcbf1d35c86eb36b038d20485a6985b49c267b6"`
Oct 10 18:00:27.272 INFO kablam! usermod: no changes
Oct 10 18:00:27.296 INFO kablam!    Compiling ent v0.1.0 (/source)
Oct 10 18:00:27.731 INFO kablam! warning: variable does not need to be mutable
Oct 10 18:00:27.731 INFO kablam!  --> src/main.rs:6:9
Oct 10 18:00:27.731 INFO kablam!   |
Oct 10 18:00:27.731 INFO kablam! 6 |     let mut in_str = "A ~B ~C DE\nC D ~E";
Oct 10 18:00:27.731 INFO kablam!   |         ----^^^^^^
Oct 10 18:00:27.731 INFO kablam!   |         |
Oct 10 18:00:27.731 INFO kablam!   |         help: remove this `mut`
Oct 10 18:00:27.731 INFO kablam!   |
Oct 10 18:00:27.731 INFO kablam!   = note: #[warn(unused_mut)] on by default
Oct 10 18:00:27.731 INFO kablam! 
Oct 10 18:00:27.751 INFO kablam! warning: function is never used: `update_watchlist`
Oct 10 18:00:27.751 INFO kablam!   --> src/watchlist.rs:24:1
Oct 10 18:00:27.751 INFO kablam!    |
Oct 10 18:00:27.751 INFO kablam! 24 | / fn update_watchlist<'a> (sat_instance: &'a IR, watchlist: &'a mut Watchlist<'a>,
Oct 10 18:00:27.751 INFO kablam! 25 | |                          false_literal: Variable, assignments: Vec<Option<bool>>,
Oct 10 18:00:27.751 INFO kablam! 26 | |                          verbose: bool) -> bool {
Oct 10 18:00:27.751 INFO kablam! 27 | |     // When X is made false, everything watching X needs to watch something else
Oct 10 18:00:27.751 INFO kablam! ...  |
Oct 10 18:00:27.751 INFO kablam! 66 | |     return true
Oct 10 18:00:27.751 INFO kablam! 67 | | }
Oct 10 18:00:27.751 INFO kablam!    | |_^
Oct 10 18:00:27.751 INFO kablam!    |
Oct 10 18:00:27.752 INFO kablam!    = note: #[warn(dead_code)] on by default
Oct 10 18:00:27.752 INFO kablam! 
Oct 10 18:00:28.960 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 1.67s
Oct 10 18:00:28.972 INFO kablam! su: No module specific data is present
Oct 10 18:00:29.826 INFO running `"docker" "rm" "-f" "b62e9656f72f79f612bf00ea4fcbf1d35c86eb36b038d20485a6985b49c267b6"`
Oct 10 18:00:30.020 INFO blam! b62e9656f72f79f612bf00ea4fcbf1d35c86eb36b038d20485a6985b49c267b6
Oct 10 18:00:30.022 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run
Oct 10 18:00:30.022 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-1/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-1/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"`
Oct 10 18:00:30.338 INFO blam! 56252e31fe8b7a82b608f3390a4e3d7fda97452f6e158468cf743859e483d7e5
Oct 10 18:00:30.342 INFO running `"docker" "start" "-a" "56252e31fe8b7a82b608f3390a4e3d7fda97452f6e158468cf743859e483d7e5"`
Oct 10 18:00:31.075 INFO kablam! usermod: no changes
Oct 10 18:00:31.120 INFO kablam!    Compiling ent v0.1.0 (/source)
Oct 10 18:00:31.792 INFO kablam! warning: variable does not need to be mutable
Oct 10 18:00:31.792 INFO kablam!  --> src/main.rs:6:9
Oct 10 18:00:31.792 INFO kablam!   |
Oct 10 18:00:31.792 INFO kablam! 6 |     let mut in_str = "A ~B ~C DE\nC D ~E";
Oct 10 18:00:31.792 INFO kablam!   |         ----^^^^^^
Oct 10 18:00:31.792 INFO kablam!   |         |
Oct 10 18:00:31.792 INFO kablam!   |         help: remove this `mut`
Oct 10 18:00:31.792 INFO kablam!   |
Oct 10 18:00:31.792 INFO kablam!   = note: #[warn(unused_mut)] on by default
Oct 10 18:00:31.792 INFO kablam! 
Oct 10 18:00:31.808 INFO kablam! warning: function is never used: `update_watchlist`
Oct 10 18:00:31.808 INFO kablam!   --> src/watchlist.rs:24:1
Oct 10 18:00:31.808 INFO kablam!    |
Oct 10 18:00:31.808 INFO kablam! 24 | / fn update_watchlist<'a> (sat_instance: &'a IR, watchlist: &'a mut Watchlist<'a>,
Oct 10 18:00:31.808 INFO kablam! 25 | |                          false_literal: Variable, assignments: Vec<Option<bool>>,
Oct 10 18:00:31.808 INFO kablam! 26 | |                          verbose: bool) -> bool {
Oct 10 18:00:31.808 INFO kablam! 27 | |     // When X is made false, everything watching X needs to watch something else
Oct 10 18:00:31.808 INFO kablam! ...  |
Oct 10 18:00:31.808 INFO kablam! 66 | |     return true
Oct 10 18:00:31.808 INFO kablam! 67 | | }
Oct 10 18:00:31.808 INFO kablam!    | |_^
Oct 10 18:00:31.808 INFO kablam!    |
Oct 10 18:00:31.808 INFO kablam!    = note: #[warn(dead_code)] on by default
Oct 10 18:00:31.808 INFO kablam! 
Oct 10 18:00:32.342 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 1.23s
Oct 10 18:00:32.344 INFO kablam! su: No module specific data is present
Oct 10 18:00:33.074 INFO running `"docker" "rm" "-f" "56252e31fe8b7a82b608f3390a4e3d7fda97452f6e158468cf743859e483d7e5"`
Oct 10 18:00:33.212 INFO blam! 56252e31fe8b7a82b608f3390a4e3d7fda97452f6e158468cf743859e483d7e5
Oct 10 18:00:33.214 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen
Oct 10 18:00:33.214 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-1/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-1/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"`
Oct 10 18:00:33.434 INFO blam! c43616cfc3049f77596889c85e749230b5a17e92b394310c90056c4f9b97ae86
Oct 10 18:00:33.438 INFO running `"docker" "start" "-a" "c43616cfc3049f77596889c85e749230b5a17e92b394310c90056c4f9b97ae86"`
Oct 10 18:00:34.356 INFO kablam! usermod: no changes
Oct 10 18:00:34.381 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.00s
Oct 10 18:00:34.381 INFO kablam!      Running /target/debug/deps/ent-91c2750be514ac81
Oct 10 18:00:34.383 INFO blam! 
Oct 10 18:00:34.383 INFO blam! running 0 tests
Oct 10 18:00:34.383 INFO blam! 
Oct 10 18:00:34.383 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 10 18:00:34.383 INFO blam! 
Oct 10 18:00:34.384 INFO kablam! su: No module specific data is present
Oct 10 18:00:34.686 INFO running `"docker" "rm" "-f" "c43616cfc3049f77596889c85e749230b5a17e92b394310c90056c4f9b97ae86"`
Oct 10 18:00:34.786 INFO blam! c43616cfc3049f77596889c85e749230b5a17e92b394310c90056c4f9b97ae86