Nov 16 15:57:00.801 INFO testing remexre/datalog against try#2e026d6e5d7621634147ad4c8074f1d964dbb1be for pr-55982 Nov 16 15:57:00.802 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-0/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-55982/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/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 +2e026d6e5d7621634147ad4c8074f1d964dbb1be-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.299 INFO [stdout] 78ba723a67388b86f3efc112640fcc72ba07c44a2cc52bdea54b947e39571d22 Nov 16 15:57:01.307 INFO running `"docker" "start" "-a" "78ba723a67388b86f3efc112640fcc72ba07c44a2cc52bdea54b947e39571d22"` Nov 16 15:57:02.535 INFO [stderr] usermod: no changes Nov 16 15:57:02.679 INFO [stderr] Compiling spin v0.4.6 Nov 16 15:57:02.679 INFO [stderr] Compiling bytecount v0.1.7 Nov 16 15:57:02.679 INFO [stderr] Compiling pest v1.0.2 Nov 16 15:57:02.680 INFO [stderr] Compiling try_opt v0.1.1 Nov 16 15:57:02.680 INFO [stderr] Compiling termion v1.5.1 Nov 16 15:57:03.319 INFO [stderr] Compiling symbol v0.1.1 Nov 16 15:57:04.431 INFO [stderr] Compiling pest_derive v1.0.2 Nov 16 15:57:06.057 INFO [stderr] Compiling liner v0.4.4 Nov 16 15:57:06.063 INFO [stderr] Compiling sparkly v0.1.4 Nov 16 15:57:17.756 INFO [stderr] Compiling datalog v0.1.0 (/source) Nov 16 15:57:18.856 INFO [stderr] warning: unused variable: `lv` Nov 16 15:57:18.856 INFO [stderr] --> src/ast/pattern_match.rs:32:24 Nov 16 15:57:18.856 INFO [stderr] | Nov 16 15:57:18.856 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Nov 16 15:57:18.856 INFO [stderr] | ^^ help: consider using `_lv` instead Nov 16 15:57:18.856 INFO [stderr] | Nov 16 15:57:18.858 INFO [stderr] = note: #[warn(unused_variables)] on by default Nov 16 15:57:18.858 INFO [stderr] Nov 16 15:57:18.858 INFO [stderr] warning: unused variable: `rv` Nov 16 15:57:18.858 INFO [stderr] --> src/ast/pattern_match.rs:32:39 Nov 16 15:57:18.858 INFO [stderr] | Nov 16 15:57:18.858 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Nov 16 15:57:18.858 INFO [stderr] | ^^ help: consider using `_rv` instead Nov 16 15:57:18.858 INFO [stderr] Nov 16 15:57:18.858 INFO [stderr] warning: unused variable: `other` Nov 16 15:57:18.858 INFO [stderr] --> src/ast/eq.rs:5:28 Nov 16 15:57:18.858 INFO [stderr] | Nov 16 15:57:18.858 INFO [stderr] 5 | pub fn alpha_eq(&self, other: &Clause) -> bool { Nov 16 15:57:18.858 INFO [stderr] | ^^^^^ help: consider using `_other` instead Nov 16 15:57:18.858 INFO [stderr] Nov 16 15:57:18.858 INFO [stderr] warning: unused variable: `body` Nov 16 15:57:18.858 INFO [stderr] --> src/ast/mod.rs:119:26 Nov 16 15:57:18.858 INFO [stderr] | Nov 16 15:57:18.858 INFO [stderr] 119 | let Clause(head, body) = self.clone(); Nov 16 15:57:18.858 INFO [stderr] | ^^^^ help: consider using `_body` instead Nov 16 15:57:18.858 INFO [stderr] Nov 16 15:57:18.858 INFO [stderr] warning: unused variable: `name` Nov 16 15:57:18.858 INFO [stderr] --> src/ast/mod.rs:123:21 Nov 16 15:57:18.858 INFO [stderr] | Nov 16 15:57:18.858 INFO [stderr] 123 | let Literal(name, mut hargs) = head; Nov 16 15:57:18.858 INFO [stderr] | ^^^^ help: consider using `_name` instead Nov 16 15:57:18.858 INFO [stderr] Nov 16 15:57:18.858 INFO [stderr] warning: unused variable: `clause` Nov 16 15:57:18.858 INFO [stderr] --> src/naive/mod.rs:103:34 Nov 16 15:57:18.858 INFO [stderr] | Nov 16 15:57:18.858 INFO [stderr] 103 | fn run_retraction(&mut self, clause: Clause) -> Result<()> { Nov 16 15:57:18.858 INFO [stderr] | ^^^^^^ help: consider using `_clause` instead Nov 16 15:57:18.858 INFO [stderr] Nov 16 15:57:19.124 INFO [stderr] warning: function is never used: `entry_fn` Nov 16 15:57:19.125 INFO [stderr] --> src/util.rs:7:1 Nov 16 15:57:19.126 INFO [stderr] | Nov 16 15:57:19.126 INFO [stderr] 7 | / pub fn entry_fn(map: &mut HashMap, key: K, f: F) Nov 16 15:57:19.127 INFO [stderr] 8 | | where Nov 16 15:57:19.128 INFO [stderr] 9 | | F: FnOnce(&K, Option) -> Option, Nov 16 15:57:19.128 INFO [stderr] 10 | | K: Eq + Hash, Nov 16 15:57:19.129 INFO [stderr] ... | Nov 16 15:57:19.130 INFO [stderr] 15 | | } Nov 16 15:57:19.130 INFO [stderr] 16 | | } Nov 16 15:57:19.131 INFO [stderr] | |_^ Nov 16 15:57:19.131 INFO [stderr] | Nov 16 15:57:19.132 INFO [stderr] = note: #[warn(dead_code)] on by default Nov 16 15:57:19.133 INFO [stderr] Nov 16 15:57:26.528 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 23.97s Nov 16 15:57:26.536 INFO [stderr] su: No module specific data is present Nov 16 15:57:27.372 INFO running `"docker" "inspect" "78ba723a67388b86f3efc112640fcc72ba07c44a2cc52bdea54b947e39571d22"` Nov 16 15:57:27.642 INFO running `"docker" "rm" "-f" "78ba723a67388b86f3efc112640fcc72ba07c44a2cc52bdea54b947e39571d22"` Nov 16 15:57:28.003 INFO [stdout] 78ba723a67388b86f3efc112640fcc72ba07c44a2cc52bdea54b947e39571d22 Nov 16 15:57:28.010 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-0/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-55982/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/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 +2e026d6e5d7621634147ad4c8074f1d964dbb1be-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:28.411 INFO [stdout] 2578de6f48d8c01287e3e2c1e4fca978ff087bfc82492f4d2cdd10da72f84dcb Nov 16 15:57:28.411 INFO running `"docker" "start" "-a" "2578de6f48d8c01287e3e2c1e4fca978ff087bfc82492f4d2cdd10da72f84dcb"` Nov 16 15:57:29.374 INFO [stderr] usermod: no changes Nov 16 15:57:29.563 INFO [stderr] Compiling datalog v0.1.0 (/source) Nov 16 15:57:33.484 INFO [stderr] warning: unused variable: `lv` Nov 16 15:57:33.484 INFO [stderr] --> src/ast/pattern_match.rs:32:24 Nov 16 15:57:33.484 INFO [stderr] | Nov 16 15:57:33.484 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Nov 16 15:57:33.485 INFO [stderr] | ^^ help: consider using `_lv` instead Nov 16 15:57:33.485 INFO [stderr] | Nov 16 15:57:33.485 INFO [stderr] = note: #[warn(unused_variables)] on by default Nov 16 15:57:33.485 INFO [stderr] Nov 16 15:57:33.485 INFO [stderr] warning: unused variable: `rv` Nov 16 15:57:33.485 INFO [stderr] --> src/ast/pattern_match.rs:32:39 Nov 16 15:57:33.485 INFO [stderr] | Nov 16 15:57:33.485 INFO [stderr] 32 | (Term::Var(lv), Term::Var(rv)) => {} Nov 16 15:57:33.485 INFO [stderr] | ^^ help: consider using `_rv` instead Nov 16 15:57:33.485 INFO [stderr] Nov 16 15:57:33.541 INFO [stderr] warning: unused variable: `other` Nov 16 15:57:33.541 INFO [stderr] --> src/ast/eq.rs:5:28 Nov 16 15:57:33.541 INFO [stderr] | Nov 16 15:57:33.541 INFO [stderr] 5 | pub fn alpha_eq(&self, other: &Clause) -> bool { Nov 16 15:57:33.541 INFO [stderr] | ^^^^^ help: consider using `_other` instead Nov 16 15:57:33.541 INFO [stderr] Nov 16 15:57:33.541 INFO [stderr] warning: unused variable: `body` Nov 16 15:57:33.541 INFO [stderr] --> src/ast/mod.rs:119:26 Nov 16 15:57:33.541 INFO [stderr] | Nov 16 15:57:33.541 INFO [stderr] 119 | let Clause(head, body) = self.clone(); Nov 16 15:57:33.541 INFO [stderr] | ^^^^ help: consider using `_body` instead Nov 16 15:57:33.541 INFO [stderr] Nov 16 15:57:33.541 INFO [stderr] warning: unused variable: `name` Nov 16 15:57:33.541 INFO [stderr] --> src/ast/mod.rs:123:21 Nov 16 15:57:33.541 INFO [stderr] | Nov 16 15:57:33.541 INFO [stderr] 123 | let Literal(name, mut hargs) = head; Nov 16 15:57:33.541 INFO [stderr] | ^^^^ help: consider using `_name` instead Nov 16 15:57:33.541 INFO [stderr] Nov 16 15:57:33.542 INFO [stderr] warning: unused variable: `clause` Nov 16 15:57:33.542 INFO [stderr] --> src/naive/mod.rs:103:34 Nov 16 15:57:33.542 INFO [stderr] | Nov 16 15:57:33.542 INFO [stderr] 103 | fn run_retraction(&mut self, clause: Clause) -> Result<()> { Nov 16 15:57:33.542 INFO [stderr] | ^^^^^^ help: consider using `_clause` instead Nov 16 15:57:33.542 INFO [stderr] Nov 16 15:57:34.547 INFO [stderr] warning: function is never used: `entry_fn` Nov 16 15:57:34.547 INFO [stderr] --> src/util.rs:7:1 Nov 16 15:57:34.547 INFO [stderr] | Nov 16 15:57:34.547 INFO [stderr] 7 | / pub fn entry_fn(map: &mut HashMap, key: K, f: F) Nov 16 15:57:34.547 INFO [stderr] 8 | | where Nov 16 15:57:34.547 INFO [stderr] 9 | | F: FnOnce(&K, Option) -> Option, Nov 16 15:57:34.547 INFO [stderr] 10 | | K: Eq + Hash, Nov 16 15:57:34.547 INFO [stderr] ... | Nov 16 15:57:34.547 INFO [stderr] 15 | | } Nov 16 15:57:34.547 INFO [stderr] 16 | | } Nov 16 15:57:34.547 INFO [stderr] | |_^ Nov 16 15:57:34.547 INFO [stderr] | Nov 16 15:57:34.547 INFO [stderr] = note: #[warn(dead_code)] on by default Nov 16 15:57:34.547 INFO [stderr] Nov 16 15:57:40.419 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 11.00s Nov 16 15:57:40.419 INFO [stderr] su: No module specific data is present Nov 16 15:57:41.087 INFO running `"docker" "inspect" "2578de6f48d8c01287e3e2c1e4fca978ff087bfc82492f4d2cdd10da72f84dcb"` Nov 16 15:57:41.387 INFO running `"docker" "rm" "-f" "2578de6f48d8c01287e3e2c1e4fca978ff087bfc82492f4d2cdd10da72f84dcb"` Nov 16 15:57:41.837 INFO [stdout] 2578de6f48d8c01287e3e2c1e4fca978ff087bfc82492f4d2cdd10da72f84dcb Nov 16 15:57:41.839 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-0/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-55982/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/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 +2e026d6e5d7621634147ad4c8074f1d964dbb1be-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:57:42.423 INFO [stdout] 24a95757548cfb0569d6f7219e6fa8cc1957869202d338ae25dd62e39e77168e Nov 16 15:57:42.426 INFO running `"docker" "start" "-a" "24a95757548cfb0569d6f7219e6fa8cc1957869202d338ae25dd62e39e77168e"` Nov 16 15:57:44.026 INFO [stderr] usermod: no changes Nov 16 15:57:44.211 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.14s Nov 16 15:57:44.227 INFO [stderr] Running /target/debug/deps/datalog-bba39cabadd886ff Nov 16 15:57:44.231 INFO [stdout] Nov 16 15:57:44.231 INFO [stdout] running 14 tests Nov 16 15:57:44.251 INFO [stdout] test parser::ast_tests::clause ... ok Nov 16 15:57:44.253 INFO [stdout] test ast::pattern_match::literal ... ok Nov 16 15:57:44.299 INFO [stdout] test parser::ast_tests::literal ... ok Nov 16 15:57:44.299 INFO [stdout] test parser::ast_tests::name ... ok Nov 16 15:57:44.299 INFO [stdout] test parser::ast_tests::variable ... ok Nov 16 15:57:44.299 INFO [stdout] test parser::ast_tests::term ... ok Nov 16 15:57:44.299 INFO [stdout] test parser::ast_tests::statement ... ok Nov 16 15:57:44.299 INFO [stdout] test parser::ast_tests::program ... ok Nov 16 15:57:44.303 INFO [stdout] test parser::cst_tests::idents ... ok Nov 16 15:57:44.303 INFO [stdout] test parser::cst_tests::strings ... ok Nov 16 15:57:44.303 INFO [stdout] test parser::cst_tests::vars ... ok Nov 16 15:57:44.303 INFO [stdout] test parser::cst_tests::literals ... ok Nov 16 15:57:44.375 INFO [stdout] test ast::variable::variable_new ... ok Nov 16 15:57:44.391 INFO [stdout] test ast::name::name_new ... ok Nov 16 15:57:44.391 INFO [stdout] Nov 16 15:57:44.391 INFO [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Nov 16 15:57:44.391 INFO [stdout] Nov 16 15:57:44.392 INFO [stderr] Running /target/debug/deps/datalog-90808062acb91a00 Nov 16 15:57:44.405 INFO [stdout] Nov 16 15:57:44.405 INFO [stdout] running 0 tests Nov 16 15:57:44.405 INFO [stdout] Nov 16 15:57:44.405 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Nov 16 15:57:44.405 INFO [stdout] Nov 16 15:57:44.407 INFO [stderr] Doc-tests datalog Nov 16 15:57:45.091 INFO [stdout] Nov 16 15:57:45.091 INFO [stdout] running 0 tests Nov 16 15:57:45.091 INFO [stdout] Nov 16 15:57:45.091 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Nov 16 15:57:45.091 INFO [stdout] Nov 16 15:57:45.103 INFO [stderr] su: No module specific data is present Nov 16 15:57:45.731 INFO running `"docker" "inspect" "24a95757548cfb0569d6f7219e6fa8cc1957869202d338ae25dd62e39e77168e"` Nov 16 15:57:46.035 INFO running `"docker" "rm" "-f" "24a95757548cfb0569d6f7219e6fa8cc1957869202d338ae25dd62e39e77168e"` Nov 16 15:57:46.383 INFO [stdout] 24a95757548cfb0569d6f7219e6fa8cc1957869202d338ae25dd62e39e77168e