Dec 05 10:19:56.407 INFO testing remexre/datalog against try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468 for pr-56514 Dec 05 10:19:56.407 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-5/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-56514/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/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 +6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-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:19:57.084 INFO [stdout] a79ffaa0beaab066a00a0241606d0b3a66626dc45b3e740d1473425645e36289 Dec 05 10:19:57.086 INFO running `"docker" "start" "-a" "a79ffaa0beaab066a00a0241606d0b3a66626dc45b3e740d1473425645e36289"` Dec 05 10:19:58.952 INFO [stderr] usermod: no changes Dec 05 10:19:59.103 INFO [stderr] Compiling spin v0.4.6 Dec 05 10:19:59.105 INFO [stderr] Compiling pest v1.0.2 Dec 05 10:19:59.112 INFO [stderr] Compiling bytecount v0.1.7 Dec 05 10:19:59.117 INFO [stderr] Compiling try_opt v0.1.1 Dec 05 10:19:59.118 INFO [stderr] Compiling itertools v0.7.6 Dec 05 10:19:59.118 INFO [stderr] Compiling clap v2.29.2 Dec 05 10:19:59.118 INFO [stderr] Compiling error-chain v0.11.0 Dec 05 10:20:00.116 INFO [stderr] Compiling symbol v0.1.1 Dec 05 10:20:01.340 INFO [stderr] Compiling liner v0.4.4 Dec 05 10:20:02.544 INFO [stderr] Compiling pest_derive v1.0.2 Dec 05 10:20:08.753 INFO [stderr] Compiling sparkly v0.1.4 Dec 05 10:20:27.040 INFO [stderr] Compiling datalog v0.1.0 (/source) Dec 05 10:20:27.959 INFO [stderr] warning: unused variable: `lv` Dec 05 10:20:27.959 INFO [stderr] --> src/ast/pattern_match.rs:32:24 Dec 05 10:20:27.959 INFO [stderr] | Dec 05 10:20:27.959 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Dec 05 10:20:27.959 INFO [stderr] | ^^ help: consider using `_lv` instead Dec 05 10:20:27.959 INFO [stderr] | Dec 05 10:20:27.959 INFO [stderr] = note: #[warn(unused_variables)] on by default Dec 05 10:20:27.959 INFO [stderr] Dec 05 10:20:27.959 INFO [stderr] warning: unused variable: `rv` Dec 05 10:20:27.959 INFO [stderr] --> src/ast/pattern_match.rs:32:39 Dec 05 10:20:27.959 INFO [stderr] | Dec 05 10:20:27.959 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Dec 05 10:20:27.959 INFO [stderr] | ^^ help: consider using `_rv` instead Dec 05 10:20:27.959 INFO [stderr] Dec 05 10:20:27.959 INFO [stderr] warning: unused variable: `other` Dec 05 10:20:27.959 INFO [stderr] --> src/ast/eq.rs:5:28 Dec 05 10:20:27.959 INFO [stderr] | Dec 05 10:20:27.959 INFO [stderr] 5 | pub fn alpha_eq(&self, other: &Clause) -> bool { Dec 05 10:20:27.959 INFO [stderr] | ^^^^^ help: consider using `_other` instead Dec 05 10:20:27.959 INFO [stderr] Dec 05 10:20:27.959 INFO [stderr] warning: unused variable: `body` Dec 05 10:20:27.959 INFO [stderr] --> src/ast/mod.rs:119:26 Dec 05 10:20:27.959 INFO [stderr] | Dec 05 10:20:27.959 INFO [stderr] 119 | let Clause(head, body) = self.clone(); Dec 05 10:20:27.959 INFO [stderr] | ^^^^ help: consider using `_body` instead Dec 05 10:20:27.959 INFO [stderr] Dec 05 10:20:27.959 INFO [stderr] warning: unused variable: `name` Dec 05 10:20:27.959 INFO [stderr] --> src/ast/mod.rs:123:21 Dec 05 10:20:27.959 INFO [stderr] | Dec 05 10:20:27.959 INFO [stderr] 123 | let Literal(name, mut hargs) = head; Dec 05 10:20:27.959 INFO [stderr] | ^^^^ help: consider using `_name` instead Dec 05 10:20:27.959 INFO [stderr] Dec 05 10:20:27.959 INFO [stderr] warning: unused variable: `clause` Dec 05 10:20:27.959 INFO [stderr] --> src/naive/mod.rs:103:34 Dec 05 10:20:27.959 INFO [stderr] | Dec 05 10:20:27.959 INFO [stderr] 103 | fn run_retraction(&mut self, clause: Clause) -> Result<()> { Dec 05 10:20:27.959 INFO [stderr] | ^^^^^^ help: consider using `_clause` instead Dec 05 10:20:27.959 INFO [stderr] Dec 05 10:20:28.253 INFO [stderr] warning: function is never used: `entry_fn` Dec 05 10:20:28.253 INFO [stderr] --> src/util.rs:7:1 Dec 05 10:20:28.253 INFO [stderr] | Dec 05 10:20:28.253 INFO [stderr] 7 | / pub fn entry_fn(map: &mut HashMap, key: K, f: F) Dec 05 10:20:28.253 INFO [stderr] 8 | | where Dec 05 10:20:28.253 INFO [stderr] 9 | | F: FnOnce(&K, Option) -> Option, Dec 05 10:20:28.253 INFO [stderr] 10 | | K: Eq + Hash, Dec 05 10:20:28.253 INFO [stderr] ... | Dec 05 10:20:28.253 INFO [stderr] 15 | | } Dec 05 10:20:28.253 INFO [stderr] 16 | | } Dec 05 10:20:28.253 INFO [stderr] | |_^ Dec 05 10:20:28.253 INFO [stderr] | Dec 05 10:20:28.253 INFO [stderr] = note: #[warn(dead_code)] on by default Dec 05 10:20:28.253 INFO [stderr] Dec 05 10:20:34.956 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 35.97s Dec 05 10:20:34.962 INFO [stderr] su: No module specific data is present Dec 05 10:20:35.450 INFO running `"docker" "inspect" "a79ffaa0beaab066a00a0241606d0b3a66626dc45b3e740d1473425645e36289"` Dec 05 10:20:35.654 INFO running `"docker" "rm" "-f" "a79ffaa0beaab066a00a0241606d0b3a66626dc45b3e740d1473425645e36289"` Dec 05 10:20:35.947 INFO [stdout] a79ffaa0beaab066a00a0241606d0b3a66626dc45b3e740d1473425645e36289 Dec 05 10:20:35.950 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-5/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-56514/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/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 +6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-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:36.369 INFO [stdout] 02bf33467367ca6154db2dfad374dd174c89296e722a8995201174104467abc5 Dec 05 10:20:36.374 INFO running `"docker" "start" "-a" "02bf33467367ca6154db2dfad374dd174c89296e722a8995201174104467abc5"` Dec 05 10:20:37.300 INFO [stderr] usermod: no changes Dec 05 10:20:37.520 INFO [stderr] Compiling proptest v0.4.2 Dec 05 10:20:37.520 INFO [stderr] Compiling regex v0.2.5 Dec 05 10:20:49.460 INFO [stderr] Compiling datalog v0.1.0 (/source) Dec 05 10:20:53.098 INFO [stderr] warning: unused variable: `lv` Dec 05 10:20:53.098 INFO [stderr] --> src/ast/pattern_match.rs:32:24 Dec 05 10:20:53.098 INFO [stderr] | Dec 05 10:20:53.098 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Dec 05 10:20:53.098 INFO [stderr] | ^^ help: consider using `_lv` instead Dec 05 10:20:53.098 INFO [stderr] | Dec 05 10:20:53.104 INFO [stderr] = note: #[warn(unused_variables)] on by default Dec 05 10:20:53.104 INFO [stderr] Dec 05 10:20:53.104 INFO [stderr] warning: unused variable: `rv` Dec 05 10:20:53.104 INFO [stderr] --> src/ast/pattern_match.rs:32:39 Dec 05 10:20:53.104 INFO [stderr] | Dec 05 10:20:53.104 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Dec 05 10:20:53.104 INFO [stderr] | ^^ help: consider using `_rv` instead Dec 05 10:20:53.104 INFO [stderr] Dec 05 10:20:53.144 INFO [stderr] warning: unused variable: `other` Dec 05 10:20:53.144 INFO [stderr] --> src/ast/eq.rs:5:28 Dec 05 10:20:53.144 INFO [stderr] | Dec 05 10:20:53.144 INFO [stderr] 5 | pub fn alpha_eq(&self, other: &Clause) -> bool { Dec 05 10:20:53.144 INFO [stderr] | ^^^^^ help: consider using `_other` instead Dec 05 10:20:53.144 INFO [stderr] Dec 05 10:20:53.144 INFO [stderr] warning: unused variable: `body` Dec 05 10:20:53.144 INFO [stderr] --> src/ast/mod.rs:119:26 Dec 05 10:20:53.144 INFO [stderr] | Dec 05 10:20:53.144 INFO [stderr] 119 | let Clause(head, body) = self.clone(); Dec 05 10:20:53.144 INFO [stderr] | ^^^^ help: consider using `_body` instead Dec 05 10:20:53.144 INFO [stderr] Dec 05 10:20:53.144 INFO [stderr] warning: unused variable: `name` Dec 05 10:20:53.144 INFO [stderr] --> src/ast/mod.rs:123:21 Dec 05 10:20:53.144 INFO [stderr] | Dec 05 10:20:53.144 INFO [stderr] 123 | let Literal(name, mut hargs) = head; Dec 05 10:20:53.144 INFO [stderr] | ^^^^ help: consider using `_name` instead Dec 05 10:20:53.144 INFO [stderr] Dec 05 10:20:53.144 INFO [stderr] warning: unused variable: `clause` Dec 05 10:20:53.144 INFO [stderr] --> src/naive/mod.rs:103:34 Dec 05 10:20:53.144 INFO [stderr] | Dec 05 10:20:53.144 INFO [stderr] 103 | fn run_retraction(&mut self, clause: Clause) -> Result<()> { Dec 05 10:20:53.144 INFO [stderr] | ^^^^^^ help: consider using `_clause` instead Dec 05 10:20:53.144 INFO [stderr] Dec 05 10:20:54.132 INFO [stderr] warning: function is never used: `entry_fn` Dec 05 10:20:54.132 INFO [stderr] --> src/util.rs:7:1 Dec 05 10:20:54.132 INFO [stderr] | Dec 05 10:20:54.132 INFO [stderr] 7 | / pub fn entry_fn(map: &mut HashMap, key: K, f: F) Dec 05 10:20:54.132 INFO [stderr] 8 | | where Dec 05 10:20:54.132 INFO [stderr] 9 | | F: FnOnce(&K, Option) -> Option, Dec 05 10:20:54.132 INFO [stderr] 10 | | K: Eq + Hash, Dec 05 10:20:54.132 INFO [stderr] ... | Dec 05 10:20:54.132 INFO [stderr] 15 | | } Dec 05 10:20:54.132 INFO [stderr] 16 | | } Dec 05 10:20:54.132 INFO [stderr] | |_^ Dec 05 10:20:54.132 INFO [stderr] | Dec 05 10:20:54.132 INFO [stderr] = note: #[warn(dead_code)] on by default Dec 05 10:20:54.132 INFO [stderr] Dec 05 10:21:00.683 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 23.35s Dec 05 10:21:00.692 INFO [stderr] su: No module specific data is present Dec 05 10:21:01.322 INFO running `"docker" "inspect" "02bf33467367ca6154db2dfad374dd174c89296e722a8995201174104467abc5"` Dec 05 10:21:01.614 INFO running `"docker" "rm" "-f" "02bf33467367ca6154db2dfad374dd174c89296e722a8995201174104467abc5"` Dec 05 10:21:01.844 INFO [stdout] 02bf33467367ca6154db2dfad374dd174c89296e722a8995201174104467abc5 Dec 05 10:21:01.854 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-5/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-56514/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/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 +6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-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:21:02.222 INFO [stdout] f31d613a9237cfa101cf00deadf821723914ac56a480160926bb85270f309b70 Dec 05 10:21:02.230 INFO running `"docker" "start" "-a" "f31d613a9237cfa101cf00deadf821723914ac56a480160926bb85270f309b70"` Dec 05 10:21:03.431 INFO [stderr] usermod: no changes Dec 05 10:21:03.596 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.13s Dec 05 10:21:03.605 INFO [stderr] Running /target/debug/deps/datalog-95157c4f22662586 Dec 05 10:21:03.613 INFO [stdout] Dec 05 10:21:03.613 INFO [stdout] running 14 tests Dec 05 10:21:03.641 INFO [stdout] test parser::ast_tests::clause ... ok Dec 05 10:21:03.653 INFO [stdout] test ast::pattern_match::literal ... ok Dec 05 10:21:03.653 INFO [stdout] test parser::ast_tests::literal ... ok Dec 05 10:21:03.653 INFO [stdout] test parser::ast_tests::name ... ok Dec 05 10:21:03.656 INFO [stdout] test parser::cst_tests::idents ... ok Dec 05 10:21:03.668 INFO [stdout] test parser::ast_tests::variable ... ok Dec 05 10:21:03.685 INFO [stdout] test parser::cst_tests::vars ... ok Dec 05 10:21:03.685 INFO [stdout] test parser::ast_tests::program ... ok Dec 05 10:21:03.685 INFO [stdout] test parser::cst_tests::strings ... ok Dec 05 10:21:03.686 INFO [stdout] test parser::cst_tests::literals ... ok Dec 05 10:21:03.686 INFO [stdout] test parser::ast_tests::statement ... ok Dec 05 10:21:03.696 INFO [stdout] test parser::ast_tests::term ... ok Dec 05 10:21:03.712 INFO [stdout] test ast::variable::variable_new ... ok Dec 05 10:21:03.719 INFO [stdout] test ast::name::name_new ... ok Dec 05 10:21:03.719 INFO [stdout] Dec 05 10:21:03.720 INFO [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 05 10:21:03.720 INFO [stdout] Dec 05 10:21:03.724 INFO [stderr] Running /target/debug/deps/datalog-538264bc62d71e9f Dec 05 10:21:03.734 INFO [stdout] Dec 05 10:21:03.734 INFO [stdout] running 0 tests Dec 05 10:21:03.734 INFO [stdout] Dec 05 10:21:03.734 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 05 10:21:03.734 INFO [stdout] Dec 05 10:21:03.734 INFO [stderr] Doc-tests datalog Dec 05 10:21:04.464 INFO [stdout] Dec 05 10:21:04.464 INFO [stdout] running 0 tests Dec 05 10:21:04.464 INFO [stdout] Dec 05 10:21:04.464 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 05 10:21:04.464 INFO [stdout] Dec 05 10:21:04.492 INFO [stderr] su: No module specific data is present Dec 05 10:21:05.286 INFO running `"docker" "inspect" "f31d613a9237cfa101cf00deadf821723914ac56a480160926bb85270f309b70"` Dec 05 10:21:05.544 INFO running `"docker" "rm" "-f" "f31d613a9237cfa101cf00deadf821723914ac56a480160926bb85270f309b70"` Dec 05 10:21:05.904 INFO [stdout] f31d613a9237cfa101cf00deadf821723914ac56a480160926bb85270f309b70