Oct 10 16:13:25.312 INFO testing remexre/datalog against master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513 for rustdoc-test-static-cling Oct 10 16:13:25.312 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen Oct 10 16:13:25.313 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-2/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-2/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 16:13:25.614 INFO blam! ab2df4eb4ebc594e0e84d8a12e712e9ec2c166539df2e52ad8946ee91bb64b81 Oct 10 16:13:25.616 INFO running `"docker" "start" "-a" "ab2df4eb4ebc594e0e84d8a12e712e9ec2c166539df2e52ad8946ee91bb64b81"` Oct 10 16:13:26.580 INFO kablam! usermod: no changes Oct 10 16:13:26.732 INFO kablam! Compiling spin v0.4.6 Oct 10 16:13:26.732 INFO kablam! Compiling pest v1.0.2 Oct 10 16:13:26.732 INFO kablam! Compiling try_opt v0.1.1 Oct 10 16:13:26.732 INFO kablam! Compiling liner v0.4.4 Oct 10 16:13:26.732 INFO kablam! Compiling sparkly v0.1.4 Oct 10 16:13:27.204 INFO kablam! Compiling symbol v0.1.1 Oct 10 16:13:29.292 INFO kablam! Compiling pest_derive v1.0.2 Oct 10 16:13:40.345 INFO kablam! Compiling datalog v0.1.0 (/source) Oct 10 16:13:42.004 INFO kablam! warning: unused variable: `lv` Oct 10 16:13:42.004 INFO kablam! --> src/ast/pattern_match.rs:32:24 Oct 10 16:13:42.004 INFO kablam! | Oct 10 16:13:42.004 INFO kablam! 32 | (Term::Var(lv), Term::Var(rv)) => {} Oct 10 16:13:42.004 INFO kablam! | ^^ help: consider using `_lv` instead Oct 10 16:13:42.004 INFO kablam! | Oct 10 16:13:42.004 INFO kablam! = note: #[warn(unused_variables)] on by default Oct 10 16:13:42.004 INFO kablam! Oct 10 16:13:42.016 INFO kablam! warning: unused variable: `rv` Oct 10 16:13:42.016 INFO kablam! --> src/ast/pattern_match.rs:32:39 Oct 10 16:13:42.016 INFO kablam! | Oct 10 16:13:42.016 INFO kablam! 32 | (Term::Var(lv), Term::Var(rv)) => {} Oct 10 16:13:42.016 INFO kablam! | ^^ help: consider using `_rv` instead Oct 10 16:13:42.016 INFO kablam! Oct 10 16:13:42.016 INFO kablam! warning: unused variable: `other` Oct 10 16:13:42.016 INFO kablam! --> src/ast/eq.rs:5:28 Oct 10 16:13:42.016 INFO kablam! | Oct 10 16:13:42.016 INFO kablam! 5 | pub fn alpha_eq(&self, other: &Clause) -> bool { Oct 10 16:13:42.016 INFO kablam! | ^^^^^ help: consider using `_other` instead Oct 10 16:13:42.016 INFO kablam! Oct 10 16:13:42.016 INFO kablam! warning: unused variable: `body` Oct 10 16:13:42.016 INFO kablam! --> src/ast/mod.rs:119:26 Oct 10 16:13:42.016 INFO kablam! | Oct 10 16:13:42.016 INFO kablam! 119 | let Clause(head, body) = self.clone(); Oct 10 16:13:42.016 INFO kablam! | ^^^^ help: consider using `_body` instead Oct 10 16:13:42.016 INFO kablam! Oct 10 16:13:42.016 INFO kablam! warning: unused variable: `name` Oct 10 16:13:42.016 INFO kablam! --> src/ast/mod.rs:123:21 Oct 10 16:13:42.016 INFO kablam! | Oct 10 16:13:42.016 INFO kablam! 123 | let Literal(name, mut hargs) = head; Oct 10 16:13:42.016 INFO kablam! | ^^^^ help: consider using `_name` instead Oct 10 16:13:42.016 INFO kablam! Oct 10 16:13:42.017 INFO kablam! warning: unused variable: `clause` Oct 10 16:13:42.017 INFO kablam! --> src/naive/mod.rs:103:34 Oct 10 16:13:42.017 INFO kablam! | Oct 10 16:13:42.017 INFO kablam! 103 | fn run_retraction(&mut self, clause: Clause) -> Result<()> { Oct 10 16:13:42.017 INFO kablam! | ^^^^^^ help: consider using `_clause` instead Oct 10 16:13:42.017 INFO kablam! Oct 10 16:13:42.260 INFO kablam! warning: function is never used: `entry_fn` Oct 10 16:13:42.260 INFO kablam! --> src/util.rs:7:1 Oct 10 16:13:42.260 INFO kablam! | Oct 10 16:13:42.260 INFO kablam! 7 | / pub fn entry_fn(map: &mut HashMap, key: K, f: F) Oct 10 16:13:42.260 INFO kablam! 8 | | where Oct 10 16:13:42.260 INFO kablam! 9 | | F: FnOnce(&K, Option) -> Option, Oct 10 16:13:42.260 INFO kablam! 10 | | K: Eq + Hash, Oct 10 16:13:42.260 INFO kablam! ... | Oct 10 16:13:42.260 INFO kablam! 15 | | } Oct 10 16:13:42.260 INFO kablam! 16 | | } Oct 10 16:13:42.260 INFO kablam! | |_^ Oct 10 16:13:42.260 INFO kablam! | Oct 10 16:13:42.260 INFO kablam! = note: #[warn(dead_code)] on by default Oct 10 16:13:42.260 INFO kablam! Oct 10 16:13:50.263 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 23.65s Oct 10 16:13:50.269 INFO kablam! su: No module specific data is present Oct 10 16:13:51.136 INFO running `"docker" "rm" "-f" "ab2df4eb4ebc594e0e84d8a12e712e9ec2c166539df2e52ad8946ee91bb64b81"` Oct 10 16:13:51.372 INFO blam! ab2df4eb4ebc594e0e84d8a12e712e9ec2c166539df2e52ad8946ee91bb64b81 Oct 10 16:13:51.378 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run Oct 10 16:13:51.380 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-2/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-2/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 16:13:51.977 INFO blam! bee9ad722f7aeaefc28a98450767099e24247971973fff2fd05041ca112e57ea Oct 10 16:13:51.981 INFO running `"docker" "start" "-a" "bee9ad722f7aeaefc28a98450767099e24247971973fff2fd05041ca112e57ea"` Oct 10 16:13:53.180 INFO kablam! usermod: no changes Oct 10 16:13:53.392 INFO kablam! Compiling proptest v0.4.2 Oct 10 16:14:05.392 INFO kablam! Compiling datalog v0.1.0 (/source) Oct 10 16:14:11.461 INFO kablam! warning: unused variable: `lv` Oct 10 16:14:11.461 INFO kablam! --> src/ast/pattern_match.rs:32:24 Oct 10 16:14:11.461 INFO kablam! | Oct 10 16:14:11.461 INFO kablam! 32 | (Term::Var(lv), Term::Var(rv)) => {} Oct 10 16:14:11.461 INFO kablam! | ^^ help: consider using `_lv` instead Oct 10 16:14:11.461 INFO kablam! | Oct 10 16:14:11.461 INFO kablam! = note: #[warn(unused_variables)] on by default Oct 10 16:14:11.461 INFO kablam! Oct 10 16:14:11.461 INFO kablam! warning: unused variable: `rv` Oct 10 16:14:11.461 INFO kablam! --> src/ast/pattern_match.rs:32:39 Oct 10 16:14:11.461 INFO kablam! | Oct 10 16:14:11.461 INFO kablam! 32 | (Term::Var(lv), Term::Var(rv)) => {} Oct 10 16:14:11.461 INFO kablam! | ^^ help: consider using `_rv` instead Oct 10 16:14:11.461 INFO kablam! Oct 10 16:14:11.512 INFO kablam! warning: unused variable: `other` Oct 10 16:14:11.512 INFO kablam! --> src/ast/eq.rs:5:28 Oct 10 16:14:11.512 INFO kablam! | Oct 10 16:14:11.512 INFO kablam! 5 | pub fn alpha_eq(&self, other: &Clause) -> bool { Oct 10 16:14:11.512 INFO kablam! | ^^^^^ help: consider using `_other` instead Oct 10 16:14:11.512 INFO kablam! Oct 10 16:14:11.512 INFO kablam! warning: unused variable: `body` Oct 10 16:14:11.512 INFO kablam! --> src/ast/mod.rs:119:26 Oct 10 16:14:11.512 INFO kablam! | Oct 10 16:14:11.512 INFO kablam! 119 | let Clause(head, body) = self.clone(); Oct 10 16:14:11.512 INFO kablam! | ^^^^ help: consider using `_body` instead Oct 10 16:14:11.512 INFO kablam! Oct 10 16:14:11.512 INFO kablam! warning: unused variable: `name` Oct 10 16:14:11.512 INFO kablam! --> src/ast/mod.rs:123:21 Oct 10 16:14:11.512 INFO kablam! | Oct 10 16:14:11.512 INFO kablam! 123 | let Literal(name, mut hargs) = head; Oct 10 16:14:11.512 INFO kablam! | ^^^^ help: consider using `_name` instead Oct 10 16:14:11.512 INFO kablam! Oct 10 16:14:11.512 INFO kablam! warning: unused variable: `clause` Oct 10 16:14:11.513 INFO kablam! --> src/naive/mod.rs:103:34 Oct 10 16:14:11.513 INFO kablam! | Oct 10 16:14:11.513 INFO kablam! 103 | fn run_retraction(&mut self, clause: Clause) -> Result<()> { Oct 10 16:14:11.513 INFO kablam! | ^^^^^^ help: consider using `_clause` instead Oct 10 16:14:11.513 INFO kablam! Oct 10 16:14:12.504 INFO kablam! warning: function is never used: `entry_fn` Oct 10 16:14:12.504 INFO kablam! --> src/util.rs:7:1 Oct 10 16:14:12.504 INFO kablam! | Oct 10 16:14:12.504 INFO kablam! 7 | / pub fn entry_fn(map: &mut HashMap, key: K, f: F) Oct 10 16:14:12.504 INFO kablam! 8 | | where Oct 10 16:14:12.504 INFO kablam! 9 | | F: FnOnce(&K, Option) -> Option, Oct 10 16:14:12.504 INFO kablam! 10 | | K: Eq + Hash, Oct 10 16:14:12.504 INFO kablam! ... | Oct 10 16:14:12.504 INFO kablam! 15 | | } Oct 10 16:14:12.504 INFO kablam! 16 | | } Oct 10 16:14:12.504 INFO kablam! | |_^ Oct 10 16:14:12.504 INFO kablam! | Oct 10 16:14:12.504 INFO kablam! = note: #[warn(dead_code)] on by default Oct 10 16:14:12.504 INFO kablam! Oct 10 16:14:19.395 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 26.19s Oct 10 16:14:19.407 INFO kablam! su: No module specific data is present Oct 10 16:14:20.291 INFO running `"docker" "rm" "-f" "bee9ad722f7aeaefc28a98450767099e24247971973fff2fd05041ca112e57ea"` Oct 10 16:14:20.496 INFO blam! bee9ad722f7aeaefc28a98450767099e24247971973fff2fd05041ca112e57ea Oct 10 16:14:20.504 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen Oct 10 16:14:20.508 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-2/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-2/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 16:14:20.872 INFO blam! ba0f603f228c33aa3b5f8cb667c351bae01296583c2c594623a4668d9893f465 Oct 10 16:14:20.880 INFO running `"docker" "start" "-a" "ba0f603f228c33aa3b5f8cb667c351bae01296583c2c594623a4668d9893f465"` Oct 10 16:14:21.936 INFO kablam! usermod: no changes Oct 10 16:14:22.102 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 0.11s Oct 10 16:14:22.107 INFO kablam! Running /target/debug/deps/datalog-10813cc5362dd1c7 Oct 10 16:14:22.109 INFO blam! Oct 10 16:14:22.109 INFO blam! running 14 tests Oct 10 16:14:22.113 INFO blam! test parser::ast_tests::clause ... ok Oct 10 16:14:22.113 INFO blam! test parser::ast_tests::statement ... ok Oct 10 16:14:22.114 INFO blam! test parser::ast_tests::variable ... ok Oct 10 16:14:22.114 INFO blam! test parser::ast_tests::term ... ok Oct 10 16:14:22.114 INFO blam! test parser::cst_tests::idents ... ok Oct 10 16:14:22.115 INFO blam! test parser::cst_tests::literals ... ok Oct 10 16:14:22.115 INFO blam! test parser::cst_tests::strings ... ok Oct 10 16:14:22.115 INFO blam! test parser::cst_tests::vars ... ok Oct 10 16:14:22.124 INFO blam! test parser::ast_tests::literal ... ok Oct 10 16:14:22.125 INFO blam! test parser::ast_tests::program ... ok Oct 10 16:14:22.125 INFO blam! test parser::ast_tests::name ... ok Oct 10 16:14:22.125 INFO blam! test ast::pattern_match::literal ... ok Oct 10 16:14:22.168 INFO blam! test ast::variable::variable_new ... ok Oct 10 16:14:22.174 INFO blam! test ast::name::name_new ... ok Oct 10 16:14:22.174 INFO blam! Oct 10 16:14:22.174 INFO blam! test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 10 16:14:22.174 INFO blam! Oct 10 16:14:22.175 INFO kablam! Running /target/debug/deps/datalog-8162ffbe6ca0c940 Oct 10 16:14:22.177 INFO blam! Oct 10 16:14:22.177 INFO blam! running 0 tests Oct 10 16:14:22.177 INFO blam! Oct 10 16:14:22.177 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 10 16:14:22.177 INFO blam! Oct 10 16:14:22.178 INFO kablam! Doc-tests datalog Oct 10 16:14:24.026 INFO blam! Oct 10 16:14:24.026 INFO blam! running 0 tests Oct 10 16:14:24.026 INFO blam! Oct 10 16:14:24.026 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 10 16:14:24.026 INFO blam! Oct 10 16:14:24.037 INFO kablam! su: No module specific data is present Oct 10 16:14:24.608 INFO running `"docker" "rm" "-f" "ba0f603f228c33aa3b5f8cb667c351bae01296583c2c594623a4668d9893f465"` Oct 10 16:14:24.716 INFO blam! ba0f603f228c33aa3b5f8cb667c351bae01296583c2c594623a4668d9893f465