Dec 13 06:17:00.073 INFO testing remexre/datalog against try#aa49d8ef14939ddec0e34b346b60174a5673d48f for pr-56550 Dec 13 06:17:00.073 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-6/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56550/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/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 +aa49d8ef14939ddec0e34b346b60174a5673d48f-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:00.671 INFO [stdout] 72cfd04f408d1beb853614c06f24960cf9ce4c0e4b3703b0dbec47bddbbd8b8f Dec 13 06:17:00.673 INFO running `"docker" "start" "-a" "72cfd04f408d1beb853614c06f24960cf9ce4c0e4b3703b0dbec47bddbbd8b8f"` Dec 13 06:17:02.399 INFO [stderr] usermod: no changes Dec 13 06:17:02.606 INFO [stderr] Compiling spin v0.4.6 Dec 13 06:17:02.606 INFO [stderr] Compiling pest v1.0.2 Dec 13 06:17:02.615 INFO [stderr] Compiling bytecount v0.1.7 Dec 13 06:17:02.639 INFO [stderr] Compiling itertools v0.7.6 Dec 13 06:17:02.640 INFO [stderr] Compiling error-chain v0.11.0 Dec 13 06:17:03.491 INFO [stderr] Compiling symbol v0.1.1 Dec 13 06:17:04.711 INFO [stderr] Compiling liner v0.4.4 Dec 13 06:17:06.154 INFO [stderr] Compiling pest_derive v1.0.2 Dec 13 06:17:10.984 INFO [stderr] Compiling sparkly v0.1.4 Dec 13 06:17:18.587 INFO [stderr] Compiling datalog v0.1.0 (/source) Dec 13 06:17:19.683 INFO [stderr] warning: unused variable: `lv` Dec 13 06:17:19.683 INFO [stderr] --> src/ast/pattern_match.rs:32:24 Dec 13 06:17:19.683 INFO [stderr] | Dec 13 06:17:19.683 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Dec 13 06:17:19.683 INFO [stderr] | ^^ help: consider using `_lv` instead Dec 13 06:17:19.683 INFO [stderr] | Dec 13 06:17:19.683 INFO [stderr] = note: #[warn(unused_variables)] on by default Dec 13 06:17:19.683 INFO [stderr] Dec 13 06:17:19.683 INFO [stderr] warning: unused variable: `rv` Dec 13 06:17:19.683 INFO [stderr] --> src/ast/pattern_match.rs:32:39 Dec 13 06:17:19.683 INFO [stderr] | Dec 13 06:17:19.683 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Dec 13 06:17:19.683 INFO [stderr] | ^^ help: consider using `_rv` instead Dec 13 06:17:19.683 INFO [stderr] Dec 13 06:17:19.683 INFO [stderr] warning: unused variable: `other` Dec 13 06:17:19.683 INFO [stderr] --> src/ast/eq.rs:5:28 Dec 13 06:17:19.683 INFO [stderr] | Dec 13 06:17:19.683 INFO [stderr] 5 | pub fn alpha_eq(&self, other: &Clause) -> bool { Dec 13 06:17:19.683 INFO [stderr] | ^^^^^ help: consider using `_other` instead Dec 13 06:17:19.683 INFO [stderr] Dec 13 06:17:19.683 INFO [stderr] warning: unused variable: `body` Dec 13 06:17:19.683 INFO [stderr] --> src/ast/mod.rs:119:26 Dec 13 06:17:19.683 INFO [stderr] | Dec 13 06:17:19.683 INFO [stderr] 119 | let Clause(head, body) = self.clone(); Dec 13 06:17:19.683 INFO [stderr] | ^^^^ help: consider using `_body` instead Dec 13 06:17:19.683 INFO [stderr] Dec 13 06:17:19.683 INFO [stderr] warning: unused variable: `name` Dec 13 06:17:19.683 INFO [stderr] --> src/ast/mod.rs:123:21 Dec 13 06:17:19.683 INFO [stderr] | Dec 13 06:17:19.683 INFO [stderr] 123 | let Literal(name, mut hargs) = head; Dec 13 06:17:19.683 INFO [stderr] | ^^^^ help: consider using `_name` instead Dec 13 06:17:19.683 INFO [stderr] Dec 13 06:17:19.691 INFO [stderr] warning: unused variable: `clause` Dec 13 06:17:19.691 INFO [stderr] --> src/naive/mod.rs:103:34 Dec 13 06:17:19.691 INFO [stderr] | Dec 13 06:17:19.691 INFO [stderr] 103 | fn run_retraction(&mut self, clause: Clause) -> Result<()> { Dec 13 06:17:19.691 INFO [stderr] | ^^^^^^ help: consider using `_clause` instead Dec 13 06:17:19.691 INFO [stderr] Dec 13 06:17:19.963 INFO [stderr] warning: function is never used: `entry_fn` Dec 13 06:17:19.963 INFO [stderr] --> src/util.rs:7:1 Dec 13 06:17:19.963 INFO [stderr] | Dec 13 06:17:19.963 INFO [stderr] 7 | / pub fn entry_fn(map: &mut HashMap, key: K, f: F) Dec 13 06:17:19.963 INFO [stderr] 8 | | where Dec 13 06:17:19.963 INFO [stderr] 9 | | F: FnOnce(&K, Option) -> Option, Dec 13 06:17:19.963 INFO [stderr] 10 | | K: Eq + Hash, Dec 13 06:17:19.963 INFO [stderr] ... | Dec 13 06:17:19.963 INFO [stderr] 15 | | } Dec 13 06:17:19.963 INFO [stderr] 16 | | } Dec 13 06:17:19.963 INFO [stderr] | |_^ Dec 13 06:17:19.963 INFO [stderr] | Dec 13 06:17:19.963 INFO [stderr] = note: #[warn(dead_code)] on by default Dec 13 06:17:19.963 INFO [stderr] Dec 13 06:17:27.997 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 25.57s Dec 13 06:17:28.013 INFO [stderr] su: No module specific data is present Dec 13 06:17:29.588 INFO running `"docker" "inspect" "72cfd04f408d1beb853614c06f24960cf9ce4c0e4b3703b0dbec47bddbbd8b8f"` Dec 13 06:17:30.009 INFO running `"docker" "rm" "-f" "72cfd04f408d1beb853614c06f24960cf9ce4c0e4b3703b0dbec47bddbbd8b8f"` Dec 13 06:17:30.357 INFO [stdout] 72cfd04f408d1beb853614c06f24960cf9ce4c0e4b3703b0dbec47bddbbd8b8f Dec 13 06:17:30.361 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-6/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56550/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/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 +aa49d8ef14939ddec0e34b346b60174a5673d48f-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:30.781 INFO [stdout] bfd50a664d82bb4d97a6b183ddee9e532df6ce73732dc6a6a0cee150e13de5a9 Dec 13 06:17:30.784 INFO running `"docker" "start" "-a" "bfd50a664d82bb4d97a6b183ddee9e532df6ce73732dc6a6a0cee150e13de5a9"` Dec 13 06:17:33.110 INFO [stderr] usermod: no changes Dec 13 06:17:33.356 INFO [stderr] Compiling proptest v0.4.2 Dec 13 06:17:44.139 INFO [stderr] Compiling datalog v0.1.0 (/source) Dec 13 06:17:48.132 INFO [stderr] warning: unused variable: `lv` Dec 13 06:17:48.132 INFO [stderr] --> src/ast/pattern_match.rs:32:24 Dec 13 06:17:48.132 INFO [stderr] | Dec 13 06:17:48.132 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Dec 13 06:17:48.132 INFO [stderr] | ^^ help: consider using `_lv` instead Dec 13 06:17:48.132 INFO [stderr] | Dec 13 06:17:48.132 INFO [stderr] = note: #[warn(unused_variables)] on by default Dec 13 06:17:48.132 INFO [stderr] Dec 13 06:17:48.132 INFO [stderr] warning: unused variable: `rv` Dec 13 06:17:48.132 INFO [stderr] --> src/ast/pattern_match.rs:32:39 Dec 13 06:17:48.132 INFO [stderr] | Dec 13 06:17:48.132 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Dec 13 06:17:48.132 INFO [stderr] | ^^ help: consider using `_rv` instead Dec 13 06:17:48.132 INFO [stderr] Dec 13 06:17:48.183 INFO [stderr] warning: unused variable: `other` Dec 13 06:17:48.183 INFO [stderr] --> src/ast/eq.rs:5:28 Dec 13 06:17:48.183 INFO [stderr] | Dec 13 06:17:48.183 INFO [stderr] 5 | pub fn alpha_eq(&self, other: &Clause) -> bool { Dec 13 06:17:48.183 INFO [stderr] | ^^^^^ help: consider using `_other` instead Dec 13 06:17:48.183 INFO [stderr] Dec 13 06:17:48.183 INFO [stderr] warning: unused variable: `body` Dec 13 06:17:48.183 INFO [stderr] --> src/ast/mod.rs:119:26 Dec 13 06:17:48.183 INFO [stderr] | Dec 13 06:17:48.183 INFO [stderr] 119 | let Clause(head, body) = self.clone(); Dec 13 06:17:48.183 INFO [stderr] | ^^^^ help: consider using `_body` instead Dec 13 06:17:48.183 INFO [stderr] Dec 13 06:17:48.183 INFO [stderr] warning: unused variable: `name` Dec 13 06:17:48.183 INFO [stderr] --> src/ast/mod.rs:123:21 Dec 13 06:17:48.183 INFO [stderr] | Dec 13 06:17:48.183 INFO [stderr] 123 | let Literal(name, mut hargs) = head; Dec 13 06:17:48.183 INFO [stderr] | ^^^^ help: consider using `_name` instead Dec 13 06:17:48.183 INFO [stderr] Dec 13 06:17:48.183 INFO [stderr] warning: unused variable: `clause` Dec 13 06:17:48.183 INFO [stderr] --> src/naive/mod.rs:103:34 Dec 13 06:17:48.183 INFO [stderr] | Dec 13 06:17:48.183 INFO [stderr] 103 | fn run_retraction(&mut self, clause: Clause) -> Result<()> { Dec 13 06:17:48.183 INFO [stderr] | ^^^^^^ help: consider using `_clause` instead Dec 13 06:17:48.183 INFO [stderr] Dec 13 06:17:49.127 INFO [stderr] warning: function is never used: `entry_fn` Dec 13 06:17:49.127 INFO [stderr] --> src/util.rs:7:1 Dec 13 06:17:49.127 INFO [stderr] | Dec 13 06:17:49.127 INFO [stderr] 7 | / pub fn entry_fn(map: &mut HashMap, key: K, f: F) Dec 13 06:17:49.127 INFO [stderr] 8 | | where Dec 13 06:17:49.127 INFO [stderr] 9 | | F: FnOnce(&K, Option) -> Option, Dec 13 06:17:49.127 INFO [stderr] 10 | | K: Eq + Hash, Dec 13 06:17:49.127 INFO [stderr] ... | Dec 13 06:17:49.127 INFO [stderr] 15 | | } Dec 13 06:17:49.127 INFO [stderr] 16 | | } Dec 13 06:17:49.127 INFO [stderr] | |_^ Dec 13 06:17:49.127 INFO [stderr] | Dec 13 06:17:49.127 INFO [stderr] = note: #[warn(dead_code)] on by default Dec 13 06:17:49.127 INFO [stderr] Dec 13 06:17:54.145 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 20.99s Dec 13 06:17:54.153 INFO [stderr] su: No module specific data is present Dec 13 06:17:54.424 INFO running `"docker" "inspect" "bfd50a664d82bb4d97a6b183ddee9e532df6ce73732dc6a6a0cee150e13de5a9"` Dec 13 06:17:54.533 INFO running `"docker" "rm" "-f" "bfd50a664d82bb4d97a6b183ddee9e532df6ce73732dc6a6a0cee150e13de5a9"` Dec 13 06:17:54.626 INFO [stdout] bfd50a664d82bb4d97a6b183ddee9e532df6ce73732dc6a6a0cee150e13de5a9 Dec 13 06:17:54.629 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-6/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56550/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/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 +aa49d8ef14939ddec0e34b346b60174a5673d48f-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:17:54.803 INFO [stdout] dbd1177c5cadbdd434182eb4f83cf105df007f7ba044ec093fe1a7dded823a1c Dec 13 06:17:54.808 INFO running `"docker" "start" "-a" "dbd1177c5cadbdd434182eb4f83cf105df007f7ba044ec093fe1a7dded823a1c"` Dec 13 06:17:55.670 INFO [stderr] usermod: no changes Dec 13 06:17:55.760 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.07s Dec 13 06:17:55.773 INFO [stderr] Running /target/debug/deps/datalog-de8b592166161b7b Dec 13 06:17:55.784 INFO [stdout] Dec 13 06:17:55.784 INFO [stdout] running 14 tests Dec 13 06:17:55.819 INFO [stdout] test ast::pattern_match::literal ... ok Dec 13 06:17:55.827 INFO [stdout] test parser::ast_tests::literal ... ok Dec 13 06:17:55.827 INFO [stdout] test parser::ast_tests::clause ... ok Dec 13 06:17:55.839 INFO [stdout] test parser::ast_tests::term ... ok Dec 13 06:17:55.839 INFO [stdout] test parser::ast_tests::variable ... ok Dec 13 06:17:55.839 INFO [stdout] test parser::ast_tests::name ... ok Dec 13 06:17:55.840 INFO [stdout] test parser::cst_tests::literals ... ok Dec 13 06:17:55.841 INFO [stdout] test parser::ast_tests::statement ... ok Dec 13 06:17:55.841 INFO [stdout] test parser::ast_tests::program ... ok Dec 13 06:17:55.841 INFO [stdout] test parser::cst_tests::idents ... ok Dec 13 06:17:55.842 INFO [stdout] test parser::cst_tests::strings ... ok Dec 13 06:17:55.851 INFO [stdout] test parser::cst_tests::vars ... ok Dec 13 06:17:55.863 INFO [stdout] test ast::name::name_new ... ok Dec 13 06:17:55.889 INFO [stdout] test ast::variable::variable_new ... ok Dec 13 06:17:55.889 INFO [stdout] Dec 13 06:17:55.889 INFO [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 13 06:17:55.889 INFO [stdout] Dec 13 06:17:55.889 INFO [stderr] Running /target/debug/deps/datalog-1fa38e5325aec212 Dec 13 06:17:55.892 INFO [stdout] Dec 13 06:17:55.893 INFO [stdout] running 0 tests Dec 13 06:17:55.893 INFO [stdout] Dec 13 06:17:55.893 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 13 06:17:55.893 INFO [stdout] Dec 13 06:17:55.895 INFO [stderr] Doc-tests datalog Dec 13 06:17:56.648 INFO [stdout] Dec 13 06:17:56.648 INFO [stdout] running 0 tests Dec 13 06:17:56.649 INFO [stdout] Dec 13 06:17:56.649 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 13 06:17:56.649 INFO [stdout] Dec 13 06:17:56.657 INFO [stderr] su: No module specific data is present Dec 13 06:17:57.352 INFO running `"docker" "inspect" "dbd1177c5cadbdd434182eb4f83cf105df007f7ba044ec093fe1a7dded823a1c"` Dec 13 06:17:57.625 INFO running `"docker" "rm" "-f" "dbd1177c5cadbdd434182eb4f83cf105df007f7ba044ec093fe1a7dded823a1c"` Dec 13 06:17:57.858 INFO [stdout] dbd1177c5cadbdd434182eb4f83cf105df007f7ba044ec093fe1a7dded823a1c