Dec 13 06:17:01.741 INFO testing remexre/datalog against master#bd47d6825bf4090517549d33cfef10d3300b4a75 for pr-56550 Dec 13 06:17:01.742 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-1/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-1/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/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 +bd47d6825bf4090517549d33cfef10d3300b4a75-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"` Dec 13 06:17:02.376 INFO [stdout] 870db15fc9245a756a16e3ade1ab356fcdaaa1a9d0b6984fae048674829e6d90 Dec 13 06:17:02.379 INFO running `"docker" "start" "-a" "870db15fc9245a756a16e3ade1ab356fcdaaa1a9d0b6984fae048674829e6d90"` Dec 13 06:17:04.880 INFO [stderr] usermod: no changes Dec 13 06:17:05.056 INFO [stderr] Compiling spin v0.4.6 Dec 13 06:17:05.057 INFO [stderr] Compiling pest v1.0.2 Dec 13 06:17:05.057 INFO [stderr] Compiling try_opt v0.1.1 Dec 13 06:17:05.057 INFO [stderr] Compiling backtrace-sys v0.1.16 Dec 13 06:17:05.057 INFO [stderr] Compiling termion v1.5.1 Dec 13 06:17:05.057 INFO [stderr] Compiling itertools v0.7.6 Dec 13 06:17:05.057 INFO [stderr] Compiling clap v2.29.2 Dec 13 06:17:05.999 INFO [stderr] Compiling symbol v0.1.1 Dec 13 06:17:08.659 INFO [stderr] Compiling pest_derive v1.0.2 Dec 13 06:17:11.187 INFO [stderr] Compiling liner v0.4.4 Dec 13 06:17:17.199 INFO [stderr] Compiling sparkly v0.1.4 Dec 13 06:17:39.384 INFO [stderr] Compiling backtrace v0.3.5 Dec 13 06:17:42.068 INFO [stderr] Compiling error-chain v0.11.0 Dec 13 06:17:43.767 INFO [stderr] Compiling datalog v0.1.0 (/source) Dec 13 06:17:44.684 INFO [stderr] warning: unused variable: `lv` Dec 13 06:17:44.684 INFO [stderr] --> src/ast/pattern_match.rs:32:24 Dec 13 06:17:44.684 INFO [stderr] | Dec 13 06:17:44.684 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Dec 13 06:17:44.684 INFO [stderr] | ^^ help: consider using `_lv` instead Dec 13 06:17:44.684 INFO [stderr] | Dec 13 06:17:44.684 INFO [stderr] = note: #[warn(unused_variables)] on by default Dec 13 06:17:44.684 INFO [stderr] Dec 13 06:17:44.684 INFO [stderr] warning: unused variable: `rv` Dec 13 06:17:44.684 INFO [stderr] --> src/ast/pattern_match.rs:32:39 Dec 13 06:17:44.684 INFO [stderr] | Dec 13 06:17:44.684 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Dec 13 06:17:44.684 INFO [stderr] | ^^ help: consider using `_rv` instead Dec 13 06:17:44.684 INFO [stderr] Dec 13 06:17:44.684 INFO [stderr] warning: unused variable: `other` Dec 13 06:17:44.684 INFO [stderr] --> src/ast/eq.rs:5:28 Dec 13 06:17:44.684 INFO [stderr] | Dec 13 06:17:44.684 INFO [stderr] 5 | pub fn alpha_eq(&self, other: &Clause) -> bool { Dec 13 06:17:44.684 INFO [stderr] | ^^^^^ help: consider using `_other` instead Dec 13 06:17:44.684 INFO [stderr] Dec 13 06:17:44.684 INFO [stderr] warning: unused variable: `body` Dec 13 06:17:44.685 INFO [stderr] --> src/ast/mod.rs:119:26 Dec 13 06:17:44.685 INFO [stderr] | Dec 13 06:17:44.685 INFO [stderr] 119 | let Clause(head, body) = self.clone(); Dec 13 06:17:44.685 INFO [stderr] | ^^^^ help: consider using `_body` instead Dec 13 06:17:44.685 INFO [stderr] Dec 13 06:17:44.685 INFO [stderr] warning: unused variable: `name` Dec 13 06:17:44.685 INFO [stderr] --> src/ast/mod.rs:123:21 Dec 13 06:17:44.685 INFO [stderr] | Dec 13 06:17:44.685 INFO [stderr] 123 | let Literal(name, mut hargs) = head; Dec 13 06:17:44.685 INFO [stderr] | ^^^^ help: consider using `_name` instead Dec 13 06:17:44.685 INFO [stderr] Dec 13 06:17:44.685 INFO [stderr] warning: unused variable: `clause` Dec 13 06:17:44.685 INFO [stderr] --> src/naive/mod.rs:103:34 Dec 13 06:17:44.685 INFO [stderr] | Dec 13 06:17:44.685 INFO [stderr] 103 | fn run_retraction(&mut self, clause: Clause) -> Result<()> { Dec 13 06:17:44.685 INFO [stderr] | ^^^^^^ help: consider using `_clause` instead Dec 13 06:17:44.685 INFO [stderr] Dec 13 06:17:44.902 INFO [stderr] warning: function is never used: `entry_fn` Dec 13 06:17:44.902 INFO [stderr] --> src/util.rs:7:1 Dec 13 06:17:44.902 INFO [stderr] | Dec 13 06:17:44.902 INFO [stderr] 7 | / pub fn entry_fn(map: &mut HashMap, key: K, f: F) Dec 13 06:17:44.902 INFO [stderr] 8 | | where Dec 13 06:17:44.902 INFO [stderr] 9 | | F: FnOnce(&K, Option) -> Option, Dec 13 06:17:44.903 INFO [stderr] 10 | | K: Eq + Hash, Dec 13 06:17:44.903 INFO [stderr] ... | Dec 13 06:17:44.903 INFO [stderr] 15 | | } Dec 13 06:17:44.903 INFO [stderr] 16 | | } Dec 13 06:17:44.903 INFO [stderr] | |_^ Dec 13 06:17:44.903 INFO [stderr] | Dec 13 06:17:44.903 INFO [stderr] = note: #[warn(dead_code)] on by default Dec 13 06:17:44.903 INFO [stderr] Dec 13 06:17:51.327 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 46.41s Dec 13 06:17:51.343 INFO [stderr] su: No module specific data is present Dec 13 06:17:51.653 INFO running `"docker" "inspect" "870db15fc9245a756a16e3ade1ab356fcdaaa1a9d0b6984fae048674829e6d90"` Dec 13 06:17:51.811 INFO running `"docker" "rm" "-f" "870db15fc9245a756a16e3ade1ab356fcdaaa1a9d0b6984fae048674829e6d90"` Dec 13 06:17:52.001 INFO [stdout] 870db15fc9245a756a16e3ade1ab356fcdaaa1a9d0b6984fae048674829e6d90 Dec 13 06:17:52.005 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-1/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-1/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/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 +bd47d6825bf4090517549d33cfef10d3300b4a75-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"` Dec 13 06:17:52.328 INFO [stdout] a8684cc11a19e8c1fc72c7a5cd7d8516472b382027b99d5c44d7fa95fc8f7c4c Dec 13 06:17:52.330 INFO running `"docker" "start" "-a" "a8684cc11a19e8c1fc72c7a5cd7d8516472b382027b99d5c44d7fa95fc8f7c4c"` Dec 13 06:17:53.179 INFO [stderr] usermod: no changes Dec 13 06:17:53.282 INFO [stderr] Compiling proptest v0.4.2 Dec 13 06:18:03.375 INFO [stderr] Compiling datalog v0.1.0 (/source) Dec 13 06:18:07.655 INFO [stderr] warning: unused variable: `lv` Dec 13 06:18:07.656 INFO [stderr] --> src/ast/pattern_match.rs:32:24 Dec 13 06:18:07.656 INFO [stderr] | Dec 13 06:18:07.656 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Dec 13 06:18:07.656 INFO [stderr] | ^^ help: consider using `_lv` instead Dec 13 06:18:07.656 INFO [stderr] | Dec 13 06:18:07.656 INFO [stderr] = note: #[warn(unused_variables)] on by default Dec 13 06:18:07.656 INFO [stderr] Dec 13 06:18:07.656 INFO [stderr] warning: unused variable: `rv` Dec 13 06:18:07.656 INFO [stderr] --> src/ast/pattern_match.rs:32:39 Dec 13 06:18:07.656 INFO [stderr] | Dec 13 06:18:07.656 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Dec 13 06:18:07.656 INFO [stderr] | ^^ help: consider using `_rv` instead Dec 13 06:18:07.656 INFO [stderr] Dec 13 06:18:07.699 INFO [stderr] warning: unused variable: `other` Dec 13 06:18:07.699 INFO [stderr] --> src/ast/eq.rs:5:28 Dec 13 06:18:07.699 INFO [stderr] | Dec 13 06:18:07.699 INFO [stderr] 5 | pub fn alpha_eq(&self, other: &Clause) -> bool { Dec 13 06:18:07.699 INFO [stderr] | ^^^^^ help: consider using `_other` instead Dec 13 06:18:07.699 INFO [stderr] Dec 13 06:18:07.699 INFO [stderr] warning: unused variable: `body` Dec 13 06:18:07.699 INFO [stderr] --> src/ast/mod.rs:119:26 Dec 13 06:18:07.699 INFO [stderr] | Dec 13 06:18:07.699 INFO [stderr] 119 | let Clause(head, body) = self.clone(); Dec 13 06:18:07.699 INFO [stderr] | ^^^^ help: consider using `_body` instead Dec 13 06:18:07.699 INFO [stderr] Dec 13 06:18:07.699 INFO [stderr] warning: unused variable: `name` Dec 13 06:18:07.699 INFO [stderr] --> src/ast/mod.rs:123:21 Dec 13 06:18:07.699 INFO [stderr] | Dec 13 06:18:07.699 INFO [stderr] 123 | let Literal(name, mut hargs) = head; Dec 13 06:18:07.699 INFO [stderr] | ^^^^ help: consider using `_name` instead Dec 13 06:18:07.699 INFO [stderr] Dec 13 06:18:07.699 INFO [stderr] warning: unused variable: `clause` Dec 13 06:18:07.699 INFO [stderr] --> src/naive/mod.rs:103:34 Dec 13 06:18:07.699 INFO [stderr] | Dec 13 06:18:07.699 INFO [stderr] 103 | fn run_retraction(&mut self, clause: Clause) -> Result<()> { Dec 13 06:18:07.699 INFO [stderr] | ^^^^^^ help: consider using `_clause` instead Dec 13 06:18:07.699 INFO [stderr] Dec 13 06:18:08.679 INFO [stderr] warning: function is never used: `entry_fn` Dec 13 06:18:08.679 INFO [stderr] --> src/util.rs:7:1 Dec 13 06:18:08.679 INFO [stderr] | Dec 13 06:18:08.679 INFO [stderr] 7 | / pub fn entry_fn(map: &mut HashMap, key: K, f: F) Dec 13 06:18:08.679 INFO [stderr] 8 | | where Dec 13 06:18:08.679 INFO [stderr] 9 | | F: FnOnce(&K, Option) -> Option, Dec 13 06:18:08.679 INFO [stderr] 10 | | K: Eq + Hash, Dec 13 06:18:08.679 INFO [stderr] ... | Dec 13 06:18:08.679 INFO [stderr] 15 | | } Dec 13 06:18:08.679 INFO [stderr] 16 | | } Dec 13 06:18:08.679 INFO [stderr] | |_^ Dec 13 06:18:08.679 INFO [stderr] | Dec 13 06:18:08.679 INFO [stderr] = note: #[warn(dead_code)] on by default Dec 13 06:18:08.679 INFO [stderr] Dec 13 06:18:16.835 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 23.64s Dec 13 06:18:16.873 INFO [stderr] su: No module specific data is present Dec 13 06:18:17.603 INFO running `"docker" "inspect" "a8684cc11a19e8c1fc72c7a5cd7d8516472b382027b99d5c44d7fa95fc8f7c4c"` Dec 13 06:18:18.023 INFO running `"docker" "rm" "-f" "a8684cc11a19e8c1fc72c7a5cd7d8516472b382027b99d5c44d7fa95fc8f7c4c"` Dec 13 06:18:18.399 INFO [stdout] a8684cc11a19e8c1fc72c7a5cd7d8516472b382027b99d5c44d7fa95fc8f7c4c Dec 13 06:18:18.407 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-1/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-1/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/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 +bd47d6825bf4090517549d33cfef10d3300b4a75-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"` Dec 13 06:18:18.863 INFO [stdout] 1a7d725bcf892e50782f7a957eb04690e642197aa6df9fb545deb1ee26c66e06 Dec 13 06:18:18.865 INFO running `"docker" "start" "-a" "1a7d725bcf892e50782f7a957eb04690e642197aa6df9fb545deb1ee26c66e06"` Dec 13 06:18:20.963 INFO [stderr] usermod: no changes Dec 13 06:18:21.163 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.17s Dec 13 06:18:21.171 INFO [stderr] Running /target/debug/deps/datalog-ceab325136bb165c Dec 13 06:18:21.183 INFO [stdout] Dec 13 06:18:21.183 INFO [stdout] running 14 tests Dec 13 06:18:21.199 INFO [stdout] test parser::ast_tests::literal ... ok Dec 13 06:18:21.199 INFO [stdout] test ast::pattern_match::literal ... ok Dec 13 06:18:21.199 INFO [stdout] test parser::ast_tests::clause ... ok Dec 13 06:18:21.251 INFO [stdout] test parser::ast_tests::name ... ok Dec 13 06:18:21.271 INFO [stdout] test parser::ast_tests::term ... ok Dec 13 06:18:21.271 INFO [stdout] test parser::ast_tests::statement ... ok Dec 13 06:18:21.271 INFO [stdout] test parser::ast_tests::program ... ok Dec 13 06:18:21.271 INFO [stdout] test parser::ast_tests::variable ... ok Dec 13 06:18:21.271 INFO [stdout] test parser::cst_tests::idents ... ok Dec 13 06:18:21.271 INFO [stdout] test parser::cst_tests::literals ... ok Dec 13 06:18:21.271 INFO [stdout] test parser::cst_tests::strings ... ok Dec 13 06:18:21.279 INFO [stdout] test parser::cst_tests::vars ... ok Dec 13 06:18:21.291 INFO [stdout] test ast::variable::variable_new ... ok Dec 13 06:18:21.329 INFO [stdout] test ast::name::name_new ... ok Dec 13 06:18:21.329 INFO [stdout] Dec 13 06:18:21.329 INFO [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 13 06:18:21.329 INFO [stdout] Dec 13 06:18:21.335 INFO [stderr] Running /target/debug/deps/datalog-81c82f6e6b3264a9 Dec 13 06:18:21.340 INFO [stdout] Dec 13 06:18:21.340 INFO [stdout] running 0 tests Dec 13 06:18:21.340 INFO [stdout] Dec 13 06:18:21.340 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 13 06:18:21.340 INFO [stdout] Dec 13 06:18:21.340 INFO [stderr] Doc-tests datalog Dec 13 06:18:22.125 INFO [stdout] Dec 13 06:18:22.125 INFO [stdout] running 0 tests Dec 13 06:18:22.125 INFO [stdout] Dec 13 06:18:22.125 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 13 06:18:22.125 INFO [stdout] Dec 13 06:18:22.139 INFO [stderr] su: No module specific data is present Dec 13 06:18:23.523 INFO running `"docker" "inspect" "1a7d725bcf892e50782f7a957eb04690e642197aa6df9fb545deb1ee26c66e06"` Dec 13 06:18:23.872 INFO running `"docker" "rm" "-f" "1a7d725bcf892e50782f7a957eb04690e642197aa6df9fb545deb1ee26c66e06"` Dec 13 06:18:24.223 INFO [stdout] 1a7d725bcf892e50782f7a957eb04690e642197aa6df9fb545deb1ee26c66e06