Nov 16 15:57:00.857 INFO testing remexre/datalog against master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c for pr-55982 Nov 16 15:57:00.857 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-7/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/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 +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-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"` Nov 16 15:57:01.207 INFO [stdout] a5bedbf5c9eec0483102e2bea72fc25414ade2a0477b1c868e5b7ecf8434f110 Nov 16 15:57:01.209 INFO running `"docker" "start" "-a" "a5bedbf5c9eec0483102e2bea72fc25414ade2a0477b1c868e5b7ecf8434f110"` Nov 16 15:57:02.139 INFO [stderr] usermod: no changes Nov 16 15:57:02.269 INFO [stderr] Compiling spin v0.4.6 Nov 16 15:57:02.270 INFO [stderr] Compiling bytecount v0.1.7 Nov 16 15:57:02.270 INFO [stderr] Compiling pest v1.0.2 Nov 16 15:57:02.278 INFO [stderr] Compiling itertools v0.7.6 Nov 16 15:57:02.279 INFO [stderr] Compiling clap v2.29.2 Nov 16 15:57:02.279 INFO [stderr] Compiling error-chain v0.11.0 Nov 16 15:57:03.211 INFO [stderr] Compiling symbol v0.1.1 Nov 16 15:57:03.279 INFO [stderr] Compiling liner v0.4.4 Nov 16 15:57:04.451 INFO [stderr] Compiling pest_derive v1.0.2 Nov 16 15:57:12.149 INFO [stderr] Compiling sparkly v0.1.4 Nov 16 15:57:29.287 INFO [stderr] Compiling datalog v0.1.0 (/source) Nov 16 15:57:30.191 INFO [stderr] warning: unused variable: `lv` Nov 16 15:57:30.191 INFO [stderr] --> src/ast/pattern_match.rs:32:24 Nov 16 15:57:30.191 INFO [stderr] | Nov 16 15:57:30.191 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Nov 16 15:57:30.191 INFO [stderr] | ^^ help: consider using `_lv` instead Nov 16 15:57:30.191 INFO [stderr] | Nov 16 15:57:30.191 INFO [stderr] = note: #[warn(unused_variables)] on by default Nov 16 15:57:30.191 INFO [stderr] Nov 16 15:57:30.191 INFO [stderr] warning: unused variable: `rv` Nov 16 15:57:30.191 INFO [stderr] --> src/ast/pattern_match.rs:32:39 Nov 16 15:57:30.191 INFO [stderr] | Nov 16 15:57:30.191 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Nov 16 15:57:30.191 INFO [stderr] | ^^ help: consider using `_rv` instead Nov 16 15:57:30.191 INFO [stderr] Nov 16 15:57:30.191 INFO [stderr] warning: unused variable: `other` Nov 16 15:57:30.191 INFO [stderr] --> src/ast/eq.rs:5:28 Nov 16 15:57:30.191 INFO [stderr] | Nov 16 15:57:30.191 INFO [stderr] 5 | pub fn alpha_eq(&self, other: &Clause) -> bool { Nov 16 15:57:30.191 INFO [stderr] | ^^^^^ help: consider using `_other` instead Nov 16 15:57:30.191 INFO [stderr] Nov 16 15:57:30.191 INFO [stderr] warning: unused variable: `body` Nov 16 15:57:30.191 INFO [stderr] --> src/ast/mod.rs:119:26 Nov 16 15:57:30.191 INFO [stderr] | Nov 16 15:57:30.191 INFO [stderr] 119 | let Clause(head, body) = self.clone(); Nov 16 15:57:30.191 INFO [stderr] | ^^^^ help: consider using `_body` instead Nov 16 15:57:30.191 INFO [stderr] Nov 16 15:57:30.191 INFO [stderr] warning: unused variable: `name` Nov 16 15:57:30.191 INFO [stderr] --> src/ast/mod.rs:123:21 Nov 16 15:57:30.191 INFO [stderr] | Nov 16 15:57:30.191 INFO [stderr] 123 | let Literal(name, mut hargs) = head; Nov 16 15:57:30.191 INFO [stderr] | ^^^^ help: consider using `_name` instead Nov 16 15:57:30.191 INFO [stderr] Nov 16 15:57:30.191 INFO [stderr] warning: unused variable: `clause` Nov 16 15:57:30.191 INFO [stderr] --> src/naive/mod.rs:103:34 Nov 16 15:57:30.191 INFO [stderr] | Nov 16 15:57:30.191 INFO [stderr] 103 | fn run_retraction(&mut self, clause: Clause) -> Result<()> { Nov 16 15:57:30.191 INFO [stderr] | ^^^^^^ help: consider using `_clause` instead Nov 16 15:57:30.191 INFO [stderr] Nov 16 15:57:30.442 INFO [stderr] warning: function is never used: `entry_fn` Nov 16 15:57:30.442 INFO [stderr] --> src/util.rs:7:1 Nov 16 15:57:30.442 INFO [stderr] | Nov 16 15:57:30.442 INFO [stderr] 7 | / pub fn entry_fn(map: &mut HashMap, key: K, f: F) Nov 16 15:57:30.442 INFO [stderr] 8 | | where Nov 16 15:57:30.442 INFO [stderr] 9 | | F: FnOnce(&K, Option) -> Option, Nov 16 15:57:30.442 INFO [stderr] 10 | | K: Eq + Hash, Nov 16 15:57:30.442 INFO [stderr] ... | Nov 16 15:57:30.442 INFO [stderr] 15 | | } Nov 16 15:57:30.442 INFO [stderr] 16 | | } Nov 16 15:57:30.442 INFO [stderr] | |_^ Nov 16 15:57:30.442 INFO [stderr] | Nov 16 15:57:30.442 INFO [stderr] = note: #[warn(dead_code)] on by default Nov 16 15:57:30.442 INFO [stderr] Nov 16 15:57:36.495 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 34.32s Nov 16 15:57:36.495 INFO [stderr] su: No module specific data is present Nov 16 15:57:36.996 INFO running `"docker" "inspect" "a5bedbf5c9eec0483102e2bea72fc25414ade2a0477b1c868e5b7ecf8434f110"` Nov 16 15:57:37.163 INFO running `"docker" "rm" "-f" "a5bedbf5c9eec0483102e2bea72fc25414ade2a0477b1c868e5b7ecf8434f110"` Nov 16 15:57:37.499 INFO [stdout] a5bedbf5c9eec0483102e2bea72fc25414ade2a0477b1c868e5b7ecf8434f110 Nov 16 15:57:37.509 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-7/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/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 +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-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"` Nov 16 15:57:37.918 INFO [stdout] a584958b421590263a5009752435a7c13701eae2fcb885ae2a3d52a561559adf Nov 16 15:57:37.923 INFO running `"docker" "start" "-a" "a584958b421590263a5009752435a7c13701eae2fcb885ae2a3d52a561559adf"` Nov 16 15:57:38.995 INFO [stderr] usermod: no changes Nov 16 15:57:39.119 INFO [stderr] Compiling proptest v0.4.2 Nov 16 15:57:49.747 INFO [stderr] Compiling datalog v0.1.0 (/source) Nov 16 15:57:54.379 INFO [stderr] warning: unused variable: `lv` Nov 16 15:57:54.379 INFO [stderr] --> src/ast/pattern_match.rs:32:24 Nov 16 15:57:54.379 INFO [stderr] | Nov 16 15:57:54.379 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Nov 16 15:57:54.379 INFO [stderr] | ^^ help: consider using `_lv` instead Nov 16 15:57:54.379 INFO [stderr] | Nov 16 15:57:54.379 INFO [stderr] = note: #[warn(unused_variables)] on by default Nov 16 15:57:54.379 INFO [stderr] Nov 16 15:57:54.379 INFO [stderr] warning: unused variable: `rv` Nov 16 15:57:54.379 INFO [stderr] --> src/ast/pattern_match.rs:32:39 Nov 16 15:57:54.379 INFO [stderr] | Nov 16 15:57:54.379 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Nov 16 15:57:54.379 INFO [stderr] | ^^ help: consider using `_rv` instead Nov 16 15:57:54.379 INFO [stderr] Nov 16 15:57:54.414 INFO [stderr] warning: unused variable: `other` Nov 16 15:57:54.414 INFO [stderr] --> src/ast/eq.rs:5:28 Nov 16 15:57:54.414 INFO [stderr] | Nov 16 15:57:54.414 INFO [stderr] 5 | pub fn alpha_eq(&self, other: &Clause) -> bool { Nov 16 15:57:54.414 INFO [stderr] | ^^^^^ help: consider using `_other` instead Nov 16 15:57:54.414 INFO [stderr] Nov 16 15:57:54.418 INFO [stderr] warning: unused variable: `body` Nov 16 15:57:54.418 INFO [stderr] --> src/ast/mod.rs:119:26 Nov 16 15:57:54.418 INFO [stderr] | Nov 16 15:57:54.418 INFO [stderr] 119 | let Clause(head, body) = self.clone(); Nov 16 15:57:54.418 INFO [stderr] | ^^^^ help: consider using `_body` instead Nov 16 15:57:54.418 INFO [stderr] Nov 16 15:57:54.418 INFO [stderr] warning: unused variable: `name` Nov 16 15:57:54.418 INFO [stderr] --> src/ast/mod.rs:123:21 Nov 16 15:57:54.418 INFO [stderr] | Nov 16 15:57:54.418 INFO [stderr] 123 | let Literal(name, mut hargs) = head; Nov 16 15:57:54.418 INFO [stderr] | ^^^^ help: consider using `_name` instead Nov 16 15:57:54.418 INFO [stderr] Nov 16 15:57:54.418 INFO [stderr] warning: unused variable: `clause` Nov 16 15:57:54.418 INFO [stderr] --> src/naive/mod.rs:103:34 Nov 16 15:57:54.418 INFO [stderr] | Nov 16 15:57:54.418 INFO [stderr] 103 | fn run_retraction(&mut self, clause: Clause) -> Result<()> { Nov 16 15:57:54.418 INFO [stderr] | ^^^^^^ help: consider using `_clause` instead Nov 16 15:57:54.418 INFO [stderr] Nov 16 15:57:55.487 INFO [stderr] warning: function is never used: `entry_fn` Nov 16 15:57:55.487 INFO [stderr] --> src/util.rs:7:1 Nov 16 15:57:55.488 INFO [stderr] | Nov 16 15:57:55.488 INFO [stderr] 7 | / pub fn entry_fn(map: &mut HashMap, key: K, f: F) Nov 16 15:57:55.488 INFO [stderr] 8 | | where Nov 16 15:57:55.489 INFO [stderr] 9 | | F: FnOnce(&K, Option) -> Option, Nov 16 15:57:55.489 INFO [stderr] 10 | | K: Eq + Hash, Nov 16 15:57:55.489 INFO [stderr] ... | Nov 16 15:57:55.490 INFO [stderr] 15 | | } Nov 16 15:57:55.490 INFO [stderr] 16 | | } Nov 16 15:57:55.490 INFO [stderr] | |_^ Nov 16 15:57:55.491 INFO [stderr] | Nov 16 15:57:55.491 INFO [stderr] = note: #[warn(dead_code)] on by default Nov 16 15:57:55.491 INFO [stderr] Nov 16 15:58:03.296 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 24.27s Nov 16 15:58:03.305 INFO [stderr] su: No module specific data is present Nov 16 15:58:04.730 INFO running `"docker" "inspect" "a584958b421590263a5009752435a7c13701eae2fcb885ae2a3d52a561559adf"` Nov 16 15:58:04.976 INFO running `"docker" "rm" "-f" "a584958b421590263a5009752435a7c13701eae2fcb885ae2a3d52a561559adf"` Nov 16 15:58:05.267 INFO [stdout] a584958b421590263a5009752435a7c13701eae2fcb885ae2a3d52a561559adf Nov 16 15:58:05.271 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-7/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/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 +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-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"` Nov 16 15:58:05.721 INFO [stdout] 1eb9baf113e7343964edc8c4ccfa172d231ea2b95f585e6a48140d20029a5b48 Nov 16 15:58:05.724 INFO running `"docker" "start" "-a" "1eb9baf113e7343964edc8c4ccfa172d231ea2b95f585e6a48140d20029a5b48"` Nov 16 15:58:07.311 INFO [stderr] usermod: no changes Nov 16 15:58:07.527 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.18s Nov 16 15:58:07.539 INFO [stderr] Running /target/debug/deps/datalog-5fc38ec169e5c13d Nov 16 15:58:07.539 INFO [stdout] Nov 16 15:58:07.540 INFO [stdout] running 14 tests Nov 16 15:58:07.555 INFO [stdout] test ast::pattern_match::literal ... ok Nov 16 15:58:07.567 INFO [stdout] test parser::ast_tests::term ... ok Nov 16 15:58:07.567 INFO [stdout] test parser::ast_tests::literal ... ok Nov 16 15:58:07.568 INFO [stdout] test parser::ast_tests::program ... ok Nov 16 15:58:07.571 INFO [stdout] test parser::ast_tests::variable ... ok Nov 16 15:58:07.571 INFO [stdout] test parser::cst_tests::idents ... ok Nov 16 15:58:07.572 INFO [stdout] test parser::ast_tests::name ... ok Nov 16 15:58:07.572 INFO [stdout] test parser::ast_tests::statement ... ok Nov 16 15:58:07.572 INFO [stdout] test parser::ast_tests::clause ... ok Nov 16 15:58:07.587 INFO [stdout] test parser::cst_tests::vars ... ok Nov 16 15:58:07.587 INFO [stdout] test parser::cst_tests::literals ... ok Nov 16 15:58:07.588 INFO [stdout] test parser::cst_tests::strings ... ok Nov 16 15:58:07.651 INFO [stdout] test ast::variable::variable_new ... ok Nov 16 15:58:07.659 INFO [stdout] test ast::name::name_new ... ok Nov 16 15:58:07.660 INFO [stderr] Running /target/debug/deps/datalog-be15f3513f1d63d8 Nov 16 15:58:07.660 INFO [stdout] Nov 16 15:58:07.660 INFO [stderr] Doc-tests datalog Nov 16 15:58:07.661 INFO [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Nov 16 15:58:07.661 INFO [stdout] Nov 16 15:58:07.661 INFO [stdout] Nov 16 15:58:07.662 INFO [stdout] running 0 tests Nov 16 15:58:07.662 INFO [stdout] Nov 16 15:58:07.662 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Nov 16 15:58:07.663 INFO [stdout] Nov 16 15:58:08.289 INFO [stdout] Nov 16 15:58:08.290 INFO [stdout] running 0 tests Nov 16 15:58:08.290 INFO [stdout] Nov 16 15:58:08.291 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Nov 16 15:58:08.291 INFO [stdout] Nov 16 15:58:08.299 INFO [stderr] su: No module specific data is present Nov 16 15:58:08.991 INFO running `"docker" "inspect" "1eb9baf113e7343964edc8c4ccfa172d231ea2b95f585e6a48140d20029a5b48"` Nov 16 15:58:09.275 INFO running `"docker" "rm" "-f" "1eb9baf113e7343964edc8c4ccfa172d231ea2b95f585e6a48140d20029a5b48"` Nov 16 15:58:09.631 INFO [stdout] 1eb9baf113e7343964edc8c4ccfa172d231ea2b95f585e6a48140d20029a5b48