Dec 05 10:20:03.538 INFO testing remexre/datalog against master#906deae0790bd18681b937fe9a141a3c26cf1855 for pr-56514 Dec 05 10:20:03.538 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-3/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/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 +906deae0790bd18681b937fe9a141a3c26cf1855-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 05 10:20:04.019 INFO [stdout] 13e609009b02ca100c4d87cc86fe58f1f106f69d69fe98e8acf5ac50a363b84c Dec 05 10:20:04.021 INFO running `"docker" "start" "-a" "13e609009b02ca100c4d87cc86fe58f1f106f69d69fe98e8acf5ac50a363b84c"` Dec 05 10:20:06.739 INFO [stderr] usermod: no changes Dec 05 10:20:06.977 INFO [stderr] Compiling pest v1.0.2 Dec 05 10:20:06.977 INFO [stderr] Compiling spin v0.4.6 Dec 05 10:20:06.977 INFO [stderr] Compiling try_opt v0.1.1 Dec 05 10:20:06.977 INFO [stderr] Compiling itertools v0.7.6 Dec 05 10:20:06.977 INFO [stderr] Compiling backtrace v0.3.5 Dec 05 10:20:07.896 INFO [stderr] Compiling symbol v0.1.1 Dec 05 10:20:09.784 INFO [stderr] Compiling error-chain v0.11.0 Dec 05 10:20:10.306 INFO [stderr] Compiling pest_derive v1.0.2 Dec 05 10:20:13.240 INFO [stderr] Compiling sparkly v0.1.4 Dec 05 10:20:19.429 INFO [stderr] Compiling datalog v0.1.0 (/source) Dec 05 10:20:20.416 INFO [stderr] warning: unused variable: `lv` Dec 05 10:20:20.416 INFO [stderr] --> src/ast/pattern_match.rs:32:24 Dec 05 10:20:20.416 INFO [stderr] | Dec 05 10:20:20.416 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Dec 05 10:20:20.416 INFO [stderr] | ^^ help: consider using `_lv` instead Dec 05 10:20:20.416 INFO [stderr] | Dec 05 10:20:20.416 INFO [stderr] = note: #[warn(unused_variables)] on by default Dec 05 10:20:20.416 INFO [stderr] Dec 05 10:20:20.416 INFO [stderr] warning: unused variable: `rv` Dec 05 10:20:20.416 INFO [stderr] --> src/ast/pattern_match.rs:32:39 Dec 05 10:20:20.416 INFO [stderr] | Dec 05 10:20:20.416 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Dec 05 10:20:20.416 INFO [stderr] | ^^ help: consider using `_rv` instead Dec 05 10:20:20.416 INFO [stderr] Dec 05 10:20:20.416 INFO [stderr] warning: unused variable: `other` Dec 05 10:20:20.416 INFO [stderr] --> src/ast/eq.rs:5:28 Dec 05 10:20:20.416 INFO [stderr] | Dec 05 10:20:20.416 INFO [stderr] 5 | pub fn alpha_eq(&self, other: &Clause) -> bool { Dec 05 10:20:20.416 INFO [stderr] | ^^^^^ help: consider using `_other` instead Dec 05 10:20:20.416 INFO [stderr] Dec 05 10:20:20.416 INFO [stderr] warning: unused variable: `body` Dec 05 10:20:20.416 INFO [stderr] --> src/ast/mod.rs:119:26 Dec 05 10:20:20.416 INFO [stderr] | Dec 05 10:20:20.416 INFO [stderr] 119 | let Clause(head, body) = self.clone(); Dec 05 10:20:20.416 INFO [stderr] | ^^^^ help: consider using `_body` instead Dec 05 10:20:20.416 INFO [stderr] Dec 05 10:20:20.416 INFO [stderr] warning: unused variable: `name` Dec 05 10:20:20.416 INFO [stderr] --> src/ast/mod.rs:123:21 Dec 05 10:20:20.416 INFO [stderr] | Dec 05 10:20:20.417 INFO [stderr] 123 | let Literal(name, mut hargs) = head; Dec 05 10:20:20.417 INFO [stderr] | ^^^^ help: consider using `_name` instead Dec 05 10:20:20.417 INFO [stderr] Dec 05 10:20:20.417 INFO [stderr] warning: unused variable: `clause` Dec 05 10:20:20.417 INFO [stderr] --> src/naive/mod.rs:103:34 Dec 05 10:20:20.417 INFO [stderr] | Dec 05 10:20:20.417 INFO [stderr] 103 | fn run_retraction(&mut self, clause: Clause) -> Result<()> { Dec 05 10:20:20.417 INFO [stderr] | ^^^^^^ help: consider using `_clause` instead Dec 05 10:20:20.417 INFO [stderr] Dec 05 10:20:20.648 INFO [stderr] warning: function is never used: `entry_fn` Dec 05 10:20:20.648 INFO [stderr] --> src/util.rs:7:1 Dec 05 10:20:20.648 INFO [stderr] | Dec 05 10:20:20.648 INFO [stderr] 7 | / pub fn entry_fn(map: &mut HashMap, key: K, f: F) Dec 05 10:20:20.648 INFO [stderr] 8 | | where Dec 05 10:20:20.648 INFO [stderr] 9 | | F: FnOnce(&K, Option) -> Option, Dec 05 10:20:20.648 INFO [stderr] 10 | | K: Eq + Hash, Dec 05 10:20:20.648 INFO [stderr] ... | Dec 05 10:20:20.648 INFO [stderr] 15 | | } Dec 05 10:20:20.648 INFO [stderr] 16 | | } Dec 05 10:20:20.648 INFO [stderr] | |_^ Dec 05 10:20:20.648 INFO [stderr] | Dec 05 10:20:20.648 INFO [stderr] = note: #[warn(dead_code)] on by default Dec 05 10:20:20.648 INFO [stderr] Dec 05 10:20:28.780 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 22.00s Dec 05 10:20:28.780 INFO [stderr] su: No module specific data is present Dec 05 10:20:29.873 INFO running `"docker" "inspect" "13e609009b02ca100c4d87cc86fe58f1f106f69d69fe98e8acf5ac50a363b84c"` Dec 05 10:20:30.290 INFO running `"docker" "rm" "-f" "13e609009b02ca100c4d87cc86fe58f1f106f69d69fe98e8acf5ac50a363b84c"` Dec 05 10:20:30.636 INFO [stdout] 13e609009b02ca100c4d87cc86fe58f1f106f69d69fe98e8acf5ac50a363b84c Dec 05 10:20:30.638 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-3/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/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 +906deae0790bd18681b937fe9a141a3c26cf1855-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 05 10:20:31.324 INFO [stdout] 1cd508ff9a9c9222e30d8975699e30e273a7aa9623f863fbecbef40fe56ee7f0 Dec 05 10:20:31.326 INFO running `"docker" "start" "-a" "1cd508ff9a9c9222e30d8975699e30e273a7aa9623f863fbecbef40fe56ee7f0"` Dec 05 10:20:33.775 INFO [stderr] usermod: no changes Dec 05 10:20:33.912 INFO [stderr] Compiling proptest v0.4.2 Dec 05 10:20:33.912 INFO [stderr] Compiling regex v0.2.5 Dec 05 10:20:46.747 INFO [stderr] Compiling datalog v0.1.0 (/source) Dec 05 10:20:50.196 INFO [stderr] warning: unused variable: `lv` Dec 05 10:20:50.196 INFO [stderr] --> src/ast/pattern_match.rs:32:24 Dec 05 10:20:50.196 INFO [stderr] | Dec 05 10:20:50.196 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Dec 05 10:20:50.196 INFO [stderr] | ^^ help: consider using `_lv` instead Dec 05 10:20:50.196 INFO [stderr] | Dec 05 10:20:50.196 INFO [stderr] = note: #[warn(unused_variables)] on by default Dec 05 10:20:50.196 INFO [stderr] Dec 05 10:20:50.196 INFO [stderr] warning: unused variable: `rv` Dec 05 10:20:50.196 INFO [stderr] --> src/ast/pattern_match.rs:32:39 Dec 05 10:20:50.196 INFO [stderr] | Dec 05 10:20:50.196 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Dec 05 10:20:50.196 INFO [stderr] | ^^ help: consider using `_rv` instead Dec 05 10:20:50.196 INFO [stderr] Dec 05 10:20:50.240 INFO [stderr] warning: unused variable: `other` Dec 05 10:20:50.240 INFO [stderr] --> src/ast/eq.rs:5:28 Dec 05 10:20:50.240 INFO [stderr] | Dec 05 10:20:50.240 INFO [stderr] 5 | pub fn alpha_eq(&self, other: &Clause) -> bool { Dec 05 10:20:50.240 INFO [stderr] | ^^^^^ help: consider using `_other` instead Dec 05 10:20:50.240 INFO [stderr] Dec 05 10:20:50.240 INFO [stderr] warning: unused variable: `body` Dec 05 10:20:50.240 INFO [stderr] --> src/ast/mod.rs:119:26 Dec 05 10:20:50.240 INFO [stderr] | Dec 05 10:20:50.240 INFO [stderr] 119 | let Clause(head, body) = self.clone(); Dec 05 10:20:50.240 INFO [stderr] | ^^^^ help: consider using `_body` instead Dec 05 10:20:50.240 INFO [stderr] Dec 05 10:20:50.240 INFO [stderr] warning: unused variable: `name` Dec 05 10:20:50.240 INFO [stderr] --> src/ast/mod.rs:123:21 Dec 05 10:20:50.240 INFO [stderr] | Dec 05 10:20:50.240 INFO [stderr] 123 | let Literal(name, mut hargs) = head; Dec 05 10:20:50.240 INFO [stderr] | ^^^^ help: consider using `_name` instead Dec 05 10:20:50.240 INFO [stderr] Dec 05 10:20:50.240 INFO [stderr] warning: unused variable: `clause` Dec 05 10:20:50.240 INFO [stderr] --> src/naive/mod.rs:103:34 Dec 05 10:20:50.240 INFO [stderr] | Dec 05 10:20:50.240 INFO [stderr] 103 | fn run_retraction(&mut self, clause: Clause) -> Result<()> { Dec 05 10:20:50.240 INFO [stderr] | ^^^^^^ help: consider using `_clause` instead Dec 05 10:20:50.240 INFO [stderr] Dec 05 10:20:51.197 INFO [stderr] warning: function is never used: `entry_fn` Dec 05 10:20:51.197 INFO [stderr] --> src/util.rs:7:1 Dec 05 10:20:51.197 INFO [stderr] | Dec 05 10:20:51.197 INFO [stderr] 7 | / pub fn entry_fn(map: &mut HashMap, key: K, f: F) Dec 05 10:20:51.197 INFO [stderr] 8 | | where Dec 05 10:20:51.197 INFO [stderr] 9 | | F: FnOnce(&K, Option) -> Option, Dec 05 10:20:51.197 INFO [stderr] 10 | | K: Eq + Hash, Dec 05 10:20:51.197 INFO [stderr] ... | Dec 05 10:20:51.197 INFO [stderr] 15 | | } Dec 05 10:20:51.197 INFO [stderr] 16 | | } Dec 05 10:20:51.197 INFO [stderr] | |_^ Dec 05 10:20:51.197 INFO [stderr] | Dec 05 10:20:51.197 INFO [stderr] = note: #[warn(dead_code)] on by default Dec 05 10:20:51.197 INFO [stderr] Dec 05 10:20:57.988 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 24.17s Dec 05 10:20:57.992 INFO [stderr] su: No module specific data is present Dec 05 10:20:58.676 INFO running `"docker" "inspect" "1cd508ff9a9c9222e30d8975699e30e273a7aa9623f863fbecbef40fe56ee7f0"` Dec 05 10:20:58.998 INFO running `"docker" "rm" "-f" "1cd508ff9a9c9222e30d8975699e30e273a7aa9623f863fbecbef40fe56ee7f0"` Dec 05 10:20:59.224 INFO [stdout] 1cd508ff9a9c9222e30d8975699e30e273a7aa9623f863fbecbef40fe56ee7f0 Dec 05 10:20:59.226 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-3/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/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 +906deae0790bd18681b937fe9a141a3c26cf1855-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 05 10:20:59.728 INFO [stdout] 8b46dd43866c076e33f922f47ee75b3f28879584890a441529b7c9a8be554f43 Dec 05 10:20:59.734 INFO running `"docker" "start" "-a" "8b46dd43866c076e33f922f47ee75b3f28879584890a441529b7c9a8be554f43"` Dec 05 10:21:01.052 INFO [stderr] usermod: no changes Dec 05 10:21:01.216 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.13s Dec 05 10:21:01.232 INFO [stdout] Dec 05 10:21:01.232 INFO [stderr] Running /target/debug/deps/datalog-303b2e73f1f1ca18 Dec 05 10:21:01.232 INFO [stdout] running 14 tests Dec 05 10:21:01.252 INFO [stdout] test ast::pattern_match::literal ... ok Dec 05 10:21:01.258 INFO [stdout] test parser::ast_tests::clause ... ok Dec 05 10:21:01.288 INFO [stdout] test parser::ast_tests::literal ... ok Dec 05 10:21:01.288 INFO [stdout] test parser::ast_tests::variable ... ok Dec 05 10:21:01.288 INFO [stdout] test parser::cst_tests::literals ... ok Dec 05 10:21:01.288 INFO [stdout] test parser::ast_tests::name ... ok Dec 05 10:21:01.288 INFO [stdout] test parser::ast_tests::program ... ok Dec 05 10:21:01.288 INFO [stdout] test parser::ast_tests::term ... ok Dec 05 10:21:01.288 INFO [stdout] test parser::cst_tests::idents ... ok Dec 05 10:21:01.300 INFO [stdout] test parser::cst_tests::vars ... ok Dec 05 10:21:01.300 INFO [stdout] test parser::cst_tests::strings ... ok Dec 05 10:21:01.300 INFO [stdout] test parser::ast_tests::statement ... ok Dec 05 10:21:01.352 INFO [stdout] test ast::variable::variable_new ... ok Dec 05 10:21:01.364 INFO [stdout] test ast::name::name_new ... ok Dec 05 10:21:01.364 INFO [stderr] Running /target/debug/deps/datalog-4a31dbb98012d9ac Dec 05 10:21:01.364 INFO [stdout] Dec 05 10:21:01.364 INFO [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 05 10:21:01.364 INFO [stdout] Dec 05 10:21:01.376 INFO [stdout] Dec 05 10:21:01.376 INFO [stderr] Doc-tests datalog Dec 05 10:21:01.376 INFO [stdout] running 0 tests Dec 05 10:21:01.376 INFO [stdout] Dec 05 10:21:01.376 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 05 10:21:01.376 INFO [stdout] Dec 05 10:21:02.054 INFO [stdout] Dec 05 10:21:02.054 INFO [stdout] running 0 tests Dec 05 10:21:02.054 INFO [stdout] Dec 05 10:21:02.054 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 05 10:21:02.054 INFO [stdout] Dec 05 10:21:02.063 INFO [stderr] su: No module specific data is present Dec 05 10:21:02.619 INFO running `"docker" "inspect" "8b46dd43866c076e33f922f47ee75b3f28879584890a441529b7c9a8be554f43"` Dec 05 10:21:02.874 INFO running `"docker" "rm" "-f" "8b46dd43866c076e33f922f47ee75b3f28879584890a441529b7c9a8be554f43"` Dec 05 10:21:03.096 INFO [stdout] 8b46dd43866c076e33f922f47ee75b3f28879584890a441529b7c9a8be554f43