Oct 31 23:45:44.976 INFO testing raphlinus/ghilbert against beta-2018-10-30 for beta-1.31-1
Oct 31 23:45:44.976 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-5/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/beta-1.31-1/beta-2018-10-30:/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 +beta-2018-10-30 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"`
Oct 31 23:45:45.681 INFO blam! 914c866435ee05b28fec4e07df8cc9fa20cce2119a1000e8695af4d2e6e21190
Oct 31 23:45:45.684 INFO running `"docker" "start" "-a" "914c866435ee05b28fec4e07df8cc9fa20cce2119a1000e8695af4d2e6e21190"`
Oct 31 23:45:47.726 INFO kablam! usermod: no changes
Oct 31 23:45:47.842 INFO kablam!    Compiling union-find v0.3.1
Oct 31 23:45:47.855 INFO kablam!    Compiling serde_json v1.0.2
Oct 31 23:45:52.527 INFO kablam!    Compiling ghilbert v0.1.0 (/source)
Oct 31 23:45:52.975 INFO kablam! warning: doc comment not used by rustdoc
Oct 31 23:45:52.975 INFO kablam!    --> src/unify.rs:471:9
Oct 31 23:45:52.975 INFO kablam!     |
Oct 31 23:45:52.975 INFO kablam! 471 |         /// Maps node of bound var to set of term var nodes it can appear free in.
Oct 31 23:45:52.975 INFO kablam!     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Oct 31 23:45:52.975 INFO kablam!     |
Oct 31 23:45:52.975 INFO kablam!     = note: #[warn(unused_doc_comments)] on by default
Oct 31 23:45:52.975 INFO kablam! 
Oct 31 23:45:53.557 INFO kablam! warning: unused variable: `writer`
Oct 31 23:45:53.558 INFO kablam!    --> src/htmlout.rs:128:39
Oct 31 23:45:53.558 INFO kablam!     |
Oct 31 23:45:53.558 INFO kablam! 128 |     pub fn write<W: Write>(&mut self, writer: &mut W, parser: &Parser) -> io::Result<()> {
Oct 31 23:45:53.558 INFO kablam!     |                                       ^^^^^^ help: consider using `_writer` instead
Oct 31 23:45:53.558 INFO kablam!     |
Oct 31 23:45:53.558 INFO kablam!     = note: #[warn(unused_variables)] on by default
Oct 31 23:45:53.558 INFO kablam! 
Oct 31 23:45:53.558 INFO kablam! warning: unused variable: `line`
Oct 31 23:45:53.558 INFO kablam!    --> src/htmlout.rs:371:30
Oct 31 23:45:53.558 INFO kablam!     |
Oct 31 23:45:53.558 INFO kablam! 371 |     fn start_line(&mut self, line: &ParseNode) {
Oct 31 23:45:53.558 INFO kablam!     |                              ^^^^ help: consider using `_line` instead
Oct 31 23:45:53.558 INFO kablam! 
Oct 31 23:45:53.639 INFO kablam! warning: variable does not need to be mutable
Oct 31 23:45:53.639 INFO kablam!    --> src/lexer.rs:132:13
Oct 31 23:45:53.639 INFO kablam!     |
Oct 31 23:45:53.639 INFO kablam! 132 |         let mut node = self.root.traverse(s.chars());
Oct 31 23:45:53.639 INFO kablam!     |             ----^^^^
Oct 31 23:45:53.639 INFO kablam!     |             |
Oct 31 23:45:53.639 INFO kablam!     |             help: remove this `mut`
Oct 31 23:45:53.639 INFO kablam!     |
Oct 31 23:45:53.639 INFO kablam!     = note: #[warn(unused_mut)] on by default
Oct 31 23:45:53.639 INFO kablam! 
Oct 31 23:45:53.854 INFO kablam! warning: method is never used: `cur_info`
Oct 31 23:45:53.854 INFO kablam!    --> src/htmlout.rs:307:5
Oct 31 23:45:53.854 INFO kablam!     |
Oct 31 23:45:53.854 INFO kablam! 307 |     fn cur_info(&self) -> &ThmInfo {
Oct 31 23:45:53.854 INFO kablam!     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Oct 31 23:45:53.854 INFO kablam!     |
Oct 31 23:45:53.856 INFO kablam!     = note: #[warn(dead_code)] on by default
Oct 31 23:45:53.856 INFO kablam! 
Oct 31 23:45:53.856 INFO kablam! warning: method is never used: `get_end`
Oct 31 23:45:53.856 INFO kablam!   --> src/parser.rs:44:5
Oct 31 23:45:53.856 INFO kablam!    |
Oct 31 23:45:53.856 INFO kablam! 44 |     pub fn get_end(&self) -> usize {
Oct 31 23:45:53.856 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Oct 31 23:45:53.856 INFO kablam! 
Oct 31 23:45:53.856 INFO kablam! warning: field is never used: `session`
Oct 31 23:45:53.856 INFO kablam!    --> src/session.rs:566:5
Oct 31 23:45:53.856 INFO kablam!     |
Oct 31 23:45:53.856 INFO kablam! 566 |     session: &'b Session<'a>,
Oct 31 23:45:53.856 INFO kablam!     |     ^^^^^^^^^^^^^^^^^^^^^^^^
Oct 31 23:45:53.856 INFO kablam! 
Oct 31 23:45:59.362 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 11.58s
Oct 31 23:45:59.365 INFO kablam! su: No module specific data is present
Oct 31 23:46:00.851 INFO running `"docker" "rm" "-f" "914c866435ee05b28fec4e07df8cc9fa20cce2119a1000e8695af4d2e6e21190"`
Oct 31 23:46:01.163 INFO blam! 914c866435ee05b28fec4e07df8cc9fa20cce2119a1000e8695af4d2e6e21190
Oct 31 23:46:01.165 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-5/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/beta-1.31-1/beta-2018-10-30:/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 +beta-2018-10-30 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"`
Oct 31 23:46:01.635 INFO blam! 50c8283629fa6d746fa7e0179017f954c25aefe20a411968e4c8f381648cb1ab
Oct 31 23:46:01.651 INFO running `"docker" "start" "-a" "50c8283629fa6d746fa7e0179017f954c25aefe20a411968e4c8f381648cb1ab"`
Oct 31 23:46:02.724 INFO kablam! usermod: no changes
Oct 31 23:46:02.807 INFO kablam!    Compiling ghilbert v0.1.0 (/source)
Oct 31 23:46:03.271 INFO kablam! warning: doc comment not used by rustdoc
Oct 31 23:46:03.271 INFO kablam!    --> src/unify.rs:471:9
Oct 31 23:46:03.271 INFO kablam!     |
Oct 31 23:46:03.271 INFO kablam! 471 |         /// Maps node of bound var to set of term var nodes it can appear free in.
Oct 31 23:46:03.271 INFO kablam!     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Oct 31 23:46:03.271 INFO kablam!     |
Oct 31 23:46:03.271 INFO kablam!     = note: #[warn(unused_doc_comments)] on by default
Oct 31 23:46:03.271 INFO kablam! 
Oct 31 23:46:03.828 INFO kablam! warning: unused variable: `writer`
Oct 31 23:46:03.828 INFO kablam!    --> src/htmlout.rs:128:39
Oct 31 23:46:03.828 INFO kablam!     |
Oct 31 23:46:03.828 INFO kablam! 128 |     pub fn write<W: Write>(&mut self, writer: &mut W, parser: &Parser) -> io::Result<()> {
Oct 31 23:46:03.828 INFO kablam!     |                                       ^^^^^^ help: consider using `_writer` instead
Oct 31 23:46:03.828 INFO kablam!     |
Oct 31 23:46:03.835 INFO kablam!     = note: #[warn(unused_variables)] on by default
Oct 31 23:46:03.835 INFO kablam! 
Oct 31 23:46:03.835 INFO kablam! warning: unused variable: `line`
Oct 31 23:46:03.835 INFO kablam!    --> src/htmlout.rs:371:30
Oct 31 23:46:03.835 INFO kablam!     |
Oct 31 23:46:03.835 INFO kablam! 371 |     fn start_line(&mut self, line: &ParseNode) {
Oct 31 23:46:03.835 INFO kablam!     |                              ^^^^ help: consider using `_line` instead
Oct 31 23:46:03.835 INFO kablam! 
Oct 31 23:46:03.908 INFO kablam! warning: variable does not need to be mutable
Oct 31 23:46:03.909 INFO kablam!    --> src/lexer.rs:132:13
Oct 31 23:46:03.909 INFO kablam!     |
Oct 31 23:46:03.909 INFO kablam! 132 |         let mut node = self.root.traverse(s.chars());
Oct 31 23:46:03.909 INFO kablam!     |             ----^^^^
Oct 31 23:46:03.909 INFO kablam!     |             |
Oct 31 23:46:03.909 INFO kablam!     |             help: remove this `mut`
Oct 31 23:46:03.910 INFO kablam!     |
Oct 31 23:46:03.910 INFO kablam!     = note: #[warn(unused_mut)] on by default
Oct 31 23:46:03.910 INFO kablam! 
Oct 31 23:46:04.095 INFO kablam! warning: method is never used: `cur_info`
Oct 31 23:46:04.096 INFO kablam!    --> src/htmlout.rs:307:5
Oct 31 23:46:04.096 INFO kablam!     |
Oct 31 23:46:04.096 INFO kablam! 307 |     fn cur_info(&self) -> &ThmInfo {
Oct 31 23:46:04.097 INFO kablam!     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Oct 31 23:46:04.097 INFO kablam!     |
Oct 31 23:46:04.097 INFO kablam!     = note: #[warn(dead_code)] on by default
Oct 31 23:46:04.097 INFO kablam! 
Oct 31 23:46:04.098 INFO kablam! warning: method is never used: `get_end`
Oct 31 23:46:04.098 INFO kablam!   --> src/parser.rs:44:5
Oct 31 23:46:04.098 INFO kablam!    |
Oct 31 23:46:04.098 INFO kablam! 44 |     pub fn get_end(&self) -> usize {
Oct 31 23:46:04.099 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Oct 31 23:46:04.099 INFO kablam! 
Oct 31 23:46:04.099 INFO kablam! warning: field is never used: `session`
Oct 31 23:46:04.100 INFO kablam!    --> src/session.rs:566:5
Oct 31 23:46:04.100 INFO kablam!     |
Oct 31 23:46:04.100 INFO kablam! 566 |     session: &'b Session<'a>,
Oct 31 23:46:04.101 INFO kablam!     |     ^^^^^^^^^^^^^^^^^^^^^^^^
Oct 31 23:46:04.101 INFO kablam! 
Oct 31 23:46:04.590 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 1.83s
Oct 31 23:46:04.592 INFO kablam! su: No module specific data is present
Oct 31 23:46:05.359 INFO running `"docker" "rm" "-f" "50c8283629fa6d746fa7e0179017f954c25aefe20a411968e4c8f381648cb1ab"`
Oct 31 23:46:05.653 INFO blam! 50c8283629fa6d746fa7e0179017f954c25aefe20a411968e4c8f381648cb1ab
Oct 31 23:46:05.664 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-5/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/beta-1.31-1/beta-2018-10-30:/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 +beta-2018-10-30 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"`
Oct 31 23:46:06.130 INFO blam! a7451f0aecedc530dedadd407b59fc86c3ac9940dc371a313cac3e0f022b0f99
Oct 31 23:46:06.135 INFO running `"docker" "start" "-a" "a7451f0aecedc530dedadd407b59fc86c3ac9940dc371a313cac3e0f022b0f99"`
Oct 31 23:46:07.667 INFO kablam! usermod: no changes
Oct 31 23:46:07.739 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.03s
Oct 31 23:46:07.751 INFO kablam!      Running /target/debug/deps/ghilbert-79ffaf0268ee146f
Oct 31 23:46:07.759 INFO kablam! su: No module specific data is present
Oct 31 23:46:07.759 INFO blam! 
Oct 31 23:46:07.759 INFO blam! running 0 tests
Oct 31 23:46:07.759 INFO blam! 
Oct 31 23:46:07.759 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 31 23:46:07.759 INFO blam! 
Oct 31 23:46:08.385 INFO running `"docker" "rm" "-f" "a7451f0aecedc530dedadd407b59fc86c3ac9940dc371a313cac3e0f022b0f99"`
Oct 31 23:46:08.675 INFO blam! a7451f0aecedc530dedadd407b59fc86c3ac9940dc371a313cac3e0f022b0f99
