Oct 13 02:58:15.693 INFO testing remexre/datalog against try#40d4795669493f1965de7c44029c69552134fe1f for rustdoc-test-static-cling-1 Oct 13 02:58:15.695 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-0/try#40d4795669493f1965de7c44029c69552134fe1f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-0/rustdoc-test-static-cling-1/try#40d4795669493f1965de7c44029c69552134fe1f:/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 +40d4795669493f1965de7c44029c69552134fe1f-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"` Oct 13 02:58:16.197 INFO blam! 23579e6716231ca7ced0cf253d99f75ad1aca1d2b27a3d642d049371fc7cd24e Oct 13 02:58:16.198 INFO running `"docker" "start" "-a" "23579e6716231ca7ced0cf253d99f75ad1aca1d2b27a3d642d049371fc7cd24e"` Oct 13 02:58:17.164 INFO kablam! usermod: no changes Oct 13 02:58:17.307 INFO kablam! Compiling spin v0.4.6 Oct 13 02:58:17.307 INFO kablam! Compiling pest v1.0.2 Oct 13 02:58:17.307 INFO kablam! Compiling try_opt v0.1.1 Oct 13 02:58:17.313 INFO kablam! Compiling itertools v0.7.6 Oct 13 02:58:17.319 INFO kablam! Compiling liner v0.4.4 Oct 13 02:58:17.319 INFO kablam! Compiling backtrace-sys v0.1.16 Oct 13 02:58:17.867 INFO kablam! Compiling symbol v0.1.1 Oct 13 02:58:18.375 INFO kablam! Compiling backtrace v0.3.5 Oct 13 02:58:19.715 INFO kablam! Compiling pest_derive v1.0.2 Oct 13 02:58:20.807 INFO kablam! Compiling error-chain v0.11.0 Oct 13 02:58:24.067 INFO kablam! Compiling sparkly v0.1.4 Oct 13 02:58:31.503 INFO kablam! Compiling datalog v0.1.0 (/source) Oct 13 02:58:32.491 INFO kablam! warning: unused variable: `lv` Oct 13 02:58:32.491 INFO kablam! --> src/ast/pattern_match.rs:32:24 Oct 13 02:58:32.491 INFO kablam! | Oct 13 02:58:32.491 INFO kablam! 32 | (Term::Var(lv), Term::Var(rv)) => {} Oct 13 02:58:32.491 INFO kablam! | ^^ help: consider using `_lv` instead Oct 13 02:58:32.491 INFO kablam! | Oct 13 02:58:32.491 INFO kablam! = note: #[warn(unused_variables)] on by default Oct 13 02:58:32.491 INFO kablam! Oct 13 02:58:32.491 INFO kablam! warning: unused variable: `rv` Oct 13 02:58:32.493 INFO kablam! --> src/ast/pattern_match.rs:32:39 Oct 13 02:58:32.493 INFO kablam! | Oct 13 02:58:32.493 INFO kablam! 32 | (Term::Var(lv), Term::Var(rv)) => {} Oct 13 02:58:32.493 INFO kablam! | ^^ help: consider using `_rv` instead Oct 13 02:58:32.493 INFO kablam! Oct 13 02:58:32.507 INFO kablam! warning: unused variable: `other` Oct 13 02:58:32.507 INFO kablam! --> src/ast/eq.rs:5:28 Oct 13 02:58:32.507 INFO kablam! | Oct 13 02:58:32.507 INFO kablam! 5 | pub fn alpha_eq(&self, other: &Clause) -> bool { Oct 13 02:58:32.507 INFO kablam! | ^^^^^ help: consider using `_other` instead Oct 13 02:58:32.507 INFO kablam! Oct 13 02:58:32.507 INFO kablam! warning: unused variable: `body` Oct 13 02:58:32.507 INFO kablam! --> src/ast/mod.rs:119:26 Oct 13 02:58:32.507 INFO kablam! | Oct 13 02:58:32.507 INFO kablam! 119 | let Clause(head, body) = self.clone(); Oct 13 02:58:32.509 INFO kablam! | ^^^^ help: consider using `_body` instead Oct 13 02:58:32.509 INFO kablam! Oct 13 02:58:32.509 INFO kablam! warning: unused variable: `name` Oct 13 02:58:32.509 INFO kablam! --> src/ast/mod.rs:123:21 Oct 13 02:58:32.509 INFO kablam! | Oct 13 02:58:32.509 INFO kablam! 123 | let Literal(name, mut hargs) = head; Oct 13 02:58:32.509 INFO kablam! | ^^^^ help: consider using `_name` instead Oct 13 02:58:32.509 INFO kablam! Oct 13 02:58:32.509 INFO kablam! warning: unused variable: `clause` Oct 13 02:58:32.509 INFO kablam! --> src/naive/mod.rs:103:34 Oct 13 02:58:32.509 INFO kablam! | Oct 13 02:58:32.509 INFO kablam! 103 | fn run_retraction(&mut self, clause: Clause) -> Result<()> { Oct 13 02:58:32.509 INFO kablam! | ^^^^^^ help: consider using `_clause` instead Oct 13 02:58:32.509 INFO kablam! Oct 13 02:58:32.731 INFO kablam! warning: function is never used: `entry_fn` Oct 13 02:58:32.732 INFO kablam! --> src/util.rs:7:1 Oct 13 02:58:32.732 INFO kablam! | Oct 13 02:58:32.732 INFO kablam! 7 | / pub fn entry_fn(map: &mut HashMap, key: K, f: F) Oct 13 02:58:32.732 INFO kablam! 8 | | where Oct 13 02:58:32.732 INFO kablam! 9 | | F: FnOnce(&K, Option) -> Option, Oct 13 02:58:32.732 INFO kablam! 10 | | K: Eq + Hash, Oct 13 02:58:32.732 INFO kablam! ... | Oct 13 02:58:32.732 INFO kablam! 15 | | } Oct 13 02:58:32.732 INFO kablam! 16 | | } Oct 13 02:58:32.732 INFO kablam! | |_^ Oct 13 02:58:32.732 INFO kablam! | Oct 13 02:58:32.732 INFO kablam! = note: #[warn(dead_code)] on by default Oct 13 02:58:32.732 INFO kablam! Oct 13 02:58:41.306 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 24.11s Oct 13 02:58:41.317 INFO kablam! su: No module specific data is present Oct 13 02:58:43.087 INFO running `"docker" "rm" "-f" "23579e6716231ca7ced0cf253d99f75ad1aca1d2b27a3d642d049371fc7cd24e"` Oct 13 02:58:43.396 INFO blam! 23579e6716231ca7ced0cf253d99f75ad1aca1d2b27a3d642d049371fc7cd24e Oct 13 02:58:43.402 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-0/try#40d4795669493f1965de7c44029c69552134fe1f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-0/rustdoc-test-static-cling-1/try#40d4795669493f1965de7c44029c69552134fe1f:/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 +40d4795669493f1965de7c44029c69552134fe1f-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"` Oct 13 02:58:44.004 INFO blam! 1d91c9f6bc3e48839046eaee89f6743f3478a7cfd15d355db3505108b773f8cc Oct 13 02:58:44.006 INFO running `"docker" "start" "-a" "1d91c9f6bc3e48839046eaee89f6743f3478a7cfd15d355db3505108b773f8cc"` Oct 13 02:58:45.859 INFO kablam! usermod: no changes Oct 13 02:58:46.053 INFO kablam! Compiling proptest v0.4.2 Oct 13 02:58:57.851 INFO kablam! Compiling datalog v0.1.0 (/source) Oct 13 02:59:02.827 INFO kablam! warning: unused variable: `lv` Oct 13 02:59:02.828 INFO kablam! --> src/ast/pattern_match.rs:32:24 Oct 13 02:59:02.828 INFO kablam! | Oct 13 02:59:02.828 INFO kablam! 32 | (Term::Var(lv), Term::Var(rv)) => {} Oct 13 02:59:02.829 INFO kablam! | ^^ help: consider using `_lv` instead Oct 13 02:59:02.829 INFO kablam! | Oct 13 02:59:02.829 INFO kablam! = note: #[warn(unused_variables)] on by default Oct 13 02:59:02.830 INFO kablam! Oct 13 02:59:02.830 INFO kablam! warning: unused variable: `rv` Oct 13 02:59:02.830 INFO kablam! --> src/ast/pattern_match.rs:32:39 Oct 13 02:59:02.830 INFO kablam! | Oct 13 02:59:02.831 INFO kablam! 32 | (Term::Var(lv), Term::Var(rv)) => {} Oct 13 02:59:02.832 INFO kablam! | ^^ help: consider using `_rv` instead Oct 13 02:59:02.832 INFO kablam! Oct 13 02:59:02.867 INFO kablam! warning: unused variable: `other` Oct 13 02:59:02.868 INFO kablam! --> src/ast/eq.rs:5:28 Oct 13 02:59:02.868 INFO kablam! | Oct 13 02:59:02.868 INFO kablam! 5 | pub fn alpha_eq(&self, other: &Clause) -> bool { Oct 13 02:59:02.869 INFO kablam! | ^^^^^ help: consider using `_other` instead Oct 13 02:59:02.869 INFO kablam! Oct 13 02:59:02.869 INFO kablam! warning: unused variable: `body` Oct 13 02:59:02.869 INFO kablam! --> src/ast/mod.rs:119:26 Oct 13 02:59:02.869 INFO kablam! | Oct 13 02:59:02.870 INFO kablam! 119 | let Clause(head, body) = self.clone(); Oct 13 02:59:02.870 INFO kablam! | ^^^^ help: consider using `_body` instead Oct 13 02:59:02.870 INFO kablam! Oct 13 02:59:02.870 INFO kablam! warning: unused variable: `name` Oct 13 02:59:02.871 INFO kablam! --> src/ast/mod.rs:123:21 Oct 13 02:59:02.871 INFO kablam! | Oct 13 02:59:02.871 INFO kablam! 123 | let Literal(name, mut hargs) = head; Oct 13 02:59:02.872 INFO kablam! | ^^^^ help: consider using `_name` instead Oct 13 02:59:02.872 INFO kablam! Oct 13 02:59:02.872 INFO kablam! warning: unused variable: `clause` Oct 13 02:59:02.872 INFO kablam! --> src/naive/mod.rs:103:34 Oct 13 02:59:02.873 INFO kablam! | Oct 13 02:59:02.873 INFO kablam! 103 | fn run_retraction(&mut self, clause: Clause) -> Result<()> { Oct 13 02:59:02.873 INFO kablam! | ^^^^^^ help: consider using `_clause` instead Oct 13 02:59:02.874 INFO kablam! Oct 13 02:59:03.943 INFO kablam! warning: function is never used: `entry_fn` Oct 13 02:59:03.943 INFO kablam! --> src/util.rs:7:1 Oct 13 02:59:03.943 INFO kablam! | Oct 13 02:59:03.943 INFO kablam! 7 | / pub fn entry_fn(map: &mut HashMap, key: K, f: F) Oct 13 02:59:03.943 INFO kablam! 8 | | where Oct 13 02:59:03.943 INFO kablam! 9 | | F: FnOnce(&K, Option) -> Option, Oct 13 02:59:03.943 INFO kablam! 10 | | K: Eq + Hash, Oct 13 02:59:03.943 INFO kablam! ... | Oct 13 02:59:03.943 INFO kablam! 15 | | } Oct 13 02:59:03.943 INFO kablam! 16 | | } Oct 13 02:59:03.943 INFO kablam! | |_^ Oct 13 02:59:03.943 INFO kablam! | Oct 13 02:59:03.943 INFO kablam! = note: #[warn(dead_code)] on by default Oct 13 02:59:03.943 INFO kablam! Oct 13 02:59:11.678 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 25.79s Oct 13 02:59:11.702 INFO kablam! su: No module specific data is present Oct 13 02:59:13.559 INFO running `"docker" "rm" "-f" "1d91c9f6bc3e48839046eaee89f6743f3478a7cfd15d355db3505108b773f8cc"` Oct 13 02:59:13.963 INFO blam! 1d91c9f6bc3e48839046eaee89f6743f3478a7cfd15d355db3505108b773f8cc Oct 13 02:59:13.975 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-0/try#40d4795669493f1965de7c44029c69552134fe1f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-0/rustdoc-test-static-cling-1/try#40d4795669493f1965de7c44029c69552134fe1f:/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 +40d4795669493f1965de7c44029c69552134fe1f-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"` Oct 13 02:59:14.554 INFO blam! 57a5a3c42513b7e11b0355a4b804cbc2489acf7cd7223f1cf189daddff30b951 Oct 13 02:59:14.557 INFO running `"docker" "start" "-a" "57a5a3c42513b7e11b0355a4b804cbc2489acf7cd7223f1cf189daddff30b951"` Oct 13 02:59:17.209 INFO kablam! usermod: no changes Oct 13 02:59:17.430 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 0.20s Oct 13 02:59:17.435 INFO kablam! Running /target/debug/deps/datalog-bef8c92e859bb6fd Oct 13 02:59:17.447 INFO blam! Oct 13 02:59:17.447 INFO blam! running 14 tests Oct 13 02:59:17.455 INFO blam! test ast::pattern_match::literal ... ok Oct 13 02:59:17.495 INFO blam! test parser::ast_tests::statement ... ok Oct 13 02:59:17.495 INFO blam! test parser::ast_tests::program ... ok Oct 13 02:59:17.495 INFO blam! test parser::ast_tests::term ... ok Oct 13 02:59:17.495 INFO blam! test parser::ast_tests::clause ... ok Oct 13 02:59:17.495 INFO blam! test parser::ast_tests::literal ... ok Oct 13 02:59:17.495 INFO blam! test parser::ast_tests::variable ... ok Oct 13 02:59:17.495 INFO blam! test parser::cst_tests::idents ... ok Oct 13 02:59:17.497 INFO blam! test parser::cst_tests::vars ... ok Oct 13 02:59:17.497 INFO blam! test parser::cst_tests::strings ... ok Oct 13 02:59:17.515 INFO blam! test parser::ast_tests::name ... ok Oct 13 02:59:17.519 INFO blam! test parser::cst_tests::literals ... ok Oct 13 02:59:17.549 INFO blam! test ast::variable::variable_new ... ok Oct 13 02:59:17.551 INFO blam! test ast::name::name_new ... ok Oct 13 02:59:17.551 INFO blam! Oct 13 02:59:17.551 INFO blam! test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 13 02:59:17.551 INFO blam! Oct 13 02:59:17.567 INFO kablam! Running /target/debug/deps/datalog-7a59bb6321d6a320 Oct 13 02:59:17.615 INFO blam! Oct 13 02:59:17.615 INFO blam! running 0 tests Oct 13 02:59:17.615 INFO blam! Oct 13 02:59:17.615 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 13 02:59:17.615 INFO blam! Oct 13 02:59:17.615 INFO kablam! Doc-tests datalog Oct 13 02:59:18.712 INFO blam! Oct 13 02:59:18.712 INFO blam! running 0 tests Oct 13 02:59:18.712 INFO blam! Oct 13 02:59:18.713 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 13 02:59:18.713 INFO blam! Oct 13 02:59:18.722 INFO kablam! su: No module specific data is present Oct 13 02:59:20.075 INFO running `"docker" "rm" "-f" "57a5a3c42513b7e11b0355a4b804cbc2489acf7cd7223f1cf189daddff30b951"` Oct 13 02:59:20.447 INFO blam! 57a5a3c42513b7e11b0355a4b804cbc2489acf7cd7223f1cf189daddff30b951