Dec 14 10:54:44.580 INFO testing Dialock/Logic_Solver against master#bd47d6825bf4090517549d33cfef10d3300b4a75 for pr-56550 Dec 14 10:54:44.580 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-6/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/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 +bd47d6825bf4090517549d33cfef10d3300b4a75-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 14 10:54:45.156 INFO [stdout] d4d1f9ef58143db1cbb756284835c121165878f66d8cd9c38abb9947daa50090 Dec 14 10:54:45.158 INFO running `"docker" "start" "-a" "d4d1f9ef58143db1cbb756284835c121165878f66d8cd9c38abb9947daa50090"` Dec 14 10:54:46.298 INFO [stderr] usermod: no changes Dec 14 10:54:46.412 INFO [stderr] Compiling regex v1.0.5 Dec 14 10:54:52.795 INFO [stderr] Compiling logic_solver v0.1.0 (/source) Dec 14 10:54:53.627 INFO [stderr] warning: unused import: `std::str::*` Dec 14 10:54:53.627 INFO [stderr] --> src/main.rs:6:5 Dec 14 10:54:53.627 INFO [stderr] | Dec 14 10:54:53.627 INFO [stderr] 6 | use std::str::*; Dec 14 10:54:53.627 INFO [stderr] | ^^^^^^^^^^^ Dec 14 10:54:53.627 INFO [stderr] | Dec 14 10:54:53.627 INFO [stderr] = note: #[warn(unused_imports)] on by default Dec 14 10:54:53.627 INFO [stderr] Dec 14 10:54:53.627 INFO [stderr] warning: unused imports: `Write`, `self` Dec 14 10:54:53.627 INFO [stderr] --> src/val_inval.rs:1:15 Dec 14 10:54:53.627 INFO [stderr] | Dec 14 10:54:53.627 INFO [stderr] 1 | use std::io::{self, Write}; Dec 14 10:54:53.627 INFO [stderr] | ^^^^ ^^^^^ Dec 14 10:54:53.627 INFO [stderr] Dec 14 10:54:53.627 INFO [stderr] warning: unused import: `std::collections::LinkedList` Dec 14 10:54:53.627 INFO [stderr] --> src/val_inval.rs:2:5 Dec 14 10:54:53.627 INFO [stderr] | Dec 14 10:54:53.627 INFO [stderr] 2 | use std::collections::LinkedList; Dec 14 10:54:53.627 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 14 10:54:53.627 INFO [stderr] Dec 14 10:54:53.627 INFO [stderr] warning: doc comment not used by rustdoc Dec 14 10:54:53.627 INFO [stderr] --> src/main.rs:45:3 Dec 14 10:54:53.627 INFO [stderr] | Dec 14 10:54:53.627 INFO [stderr] 45 | /// Parses the user input to select solver Dec 14 10:54:53.627 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 14 10:54:53.627 INFO [stderr] | Dec 14 10:54:53.627 INFO [stderr] = note: #[warn(unused_doc_comments)] on by default Dec 14 10:54:53.627 INFO [stderr] Dec 14 10:54:53.717 INFO [stderr] warning: unused variable: `list` Dec 14 10:54:53.717 INFO [stderr] --> src/truth_tree.rs:20:10 Dec 14 10:54:53.717 INFO [stderr] | Dec 14 10:54:53.717 INFO [stderr] 20 | let mut list: LinkedList = LinkedList::new(); Dec 14 10:54:53.717 INFO [stderr] | ^^^^ help: consider using `_list` instead Dec 14 10:54:53.717 INFO [stderr] | Dec 14 10:54:53.717 INFO [stderr] = note: #[warn(unused_variables)] on by default Dec 14 10:54:53.717 INFO [stderr] Dec 14 10:54:53.717 INFO [stderr] warning: unused variable: `s` Dec 14 10:54:53.717 INFO [stderr] --> src/truth_table_single.rs:2:31 Dec 14 10:54:53.717 INFO [stderr] | Dec 14 10:54:53.717 INFO [stderr] 2 | pub fn run_truth_table_single(s: &str) { Dec 14 10:54:53.717 INFO [stderr] | ^ help: consider using `_s` instead Dec 14 10:54:53.717 INFO [stderr] Dec 14 10:54:53.717 INFO [stderr] warning: unused variable: `list` Dec 14 10:54:53.717 INFO [stderr] --> src/main.rs:86:10 Dec 14 10:54:53.717 INFO [stderr] | Dec 14 10:54:53.717 INFO [stderr] 86 | let mut list: LinkedList = LinkedList::new(); Dec 14 10:54:53.717 INFO [stderr] | ^^^^ help: consider using `_list` instead Dec 14 10:54:53.717 INFO [stderr] Dec 14 10:54:53.726 INFO [stderr] warning: variable does not need to be mutable Dec 14 10:54:53.726 INFO [stderr] --> src/main.rs:86:6 Dec 14 10:54:53.726 INFO [stderr] | Dec 14 10:54:53.726 INFO [stderr] 86 | let mut list: LinkedList = LinkedList::new(); Dec 14 10:54:53.726 INFO [stderr] | ----^^^^ Dec 14 10:54:53.726 INFO [stderr] | | Dec 14 10:54:53.726 INFO [stderr] | help: remove this `mut` Dec 14 10:54:53.726 INFO [stderr] | Dec 14 10:54:53.726 INFO [stderr] = note: #[warn(unused_mut)] on by default Dec 14 10:54:53.726 INFO [stderr] Dec 14 10:54:53.739 INFO [stderr] warning: variable does not need to be mutable Dec 14 10:54:53.739 INFO [stderr] --> src/truth_tree.rs:20:6 Dec 14 10:54:53.739 INFO [stderr] | Dec 14 10:54:53.739 INFO [stderr] 20 | let mut list: LinkedList = LinkedList::new(); Dec 14 10:54:53.739 INFO [stderr] | ----^^^^ Dec 14 10:54:53.739 INFO [stderr] | | Dec 14 10:54:53.739 INFO [stderr] | help: remove this `mut` Dec 14 10:54:53.739 INFO [stderr] Dec 14 10:54:53.739 INFO [stderr] warning: function is never used: `run_tree` Dec 14 10:54:53.739 INFO [stderr] --> src/truth_tree.rs:5:1 Dec 14 10:54:53.739 INFO [stderr] | Dec 14 10:54:53.739 INFO [stderr] 5 | pub fn run_tree() { Dec 14 10:54:53.739 INFO [stderr] | ^^^^^^^^^^^^^^^^^ Dec 14 10:54:53.739 INFO [stderr] | Dec 14 10:54:53.739 INFO [stderr] = note: #[warn(dead_code)] on by default Dec 14 10:54:53.739 INFO [stderr] Dec 14 10:54:53.739 INFO [stderr] warning: function is never used: `check_string` Dec 14 10:54:53.739 INFO [stderr] --> src/truth_tree.rs:68:1 Dec 14 10:54:53.739 INFO [stderr] | Dec 14 10:54:53.739 INFO [stderr] 68 | fn check_string(s: &str) -> bool { Dec 14 10:54:53.739 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 14 10:54:53.739 INFO [stderr] Dec 14 10:54:53.739 INFO [stderr] warning: function is never used: `isolate_string` Dec 14 10:54:53.739 INFO [stderr] --> src/truth_tree.rs:96:1 Dec 14 10:54:53.739 INFO [stderr] | Dec 14 10:54:53.739 INFO [stderr] 96 | fn isolate_string(s: &str) { Dec 14 10:54:53.739 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 14 10:54:53.739 INFO [stderr] Dec 14 10:54:53.739 INFO [stderr] warning: function is never used: `evalute_argument` Dec 14 10:54:53.739 INFO [stderr] --> src/truth_tree.rs:100:1 Dec 14 10:54:53.739 INFO [stderr] | Dec 14 10:54:53.739 INFO [stderr] 100 | fn evalute_argument(s: &str) { Dec 14 10:54:53.739 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 14 10:54:53.739 INFO [stderr] Dec 14 10:54:53.739 INFO [stderr] warning: function is never used: `run_val_inval` Dec 14 10:54:53.739 INFO [stderr] --> src/val_inval.rs:4:1 Dec 14 10:54:53.739 INFO [stderr] | Dec 14 10:54:53.739 INFO [stderr] 4 | pub fn run_val_inval() { Dec 14 10:54:53.739 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ Dec 14 10:54:53.739 INFO [stderr] Dec 14 10:54:53.739 INFO [stderr] warning: function is never used: `run_true_multi` Dec 14 10:54:53.739 INFO [stderr] --> src/truth_table_multi.rs:2:1 Dec 14 10:54:53.739 INFO [stderr] | Dec 14 10:54:53.739 INFO [stderr] 2 | pub fn run_true_multi() { Dec 14 10:54:53.739 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ Dec 14 10:54:53.739 INFO [stderr] Dec 14 10:54:54.584 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 8.25s Dec 14 10:54:54.587 INFO [stderr] su: No module specific data is present Dec 14 10:54:54.939 INFO running `"docker" "inspect" "d4d1f9ef58143db1cbb756284835c121165878f66d8cd9c38abb9947daa50090"` Dec 14 10:54:55.197 INFO running `"docker" "rm" "-f" "d4d1f9ef58143db1cbb756284835c121165878f66d8cd9c38abb9947daa50090"` Dec 14 10:54:55.391 INFO [stdout] d4d1f9ef58143db1cbb756284835c121165878f66d8cd9c38abb9947daa50090 Dec 14 10:54:55.396 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-6/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/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 +bd47d6825bf4090517549d33cfef10d3300b4a75-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 14 10:54:55.787 INFO [stdout] 53e06c89e4b085a00c19f61adc2b58f347d53322b03a975c0f282cfd9e71d54a Dec 14 10:54:55.792 INFO running `"docker" "start" "-a" "53e06c89e4b085a00c19f61adc2b58f347d53322b03a975c0f282cfd9e71d54a"` Dec 14 10:54:56.554 INFO [stderr] usermod: no changes Dec 14 10:54:56.681 INFO [stderr] Compiling logic_solver v0.1.0 (/source) Dec 14 10:54:57.531 INFO [stderr] warning: unused import: `std::str::*` Dec 14 10:54:57.531 INFO [stderr] --> src/main.rs:6:5 Dec 14 10:54:57.531 INFO [stderr] | Dec 14 10:54:57.531 INFO [stderr] 6 | use std::str::*; Dec 14 10:54:57.531 INFO [stderr] | ^^^^^^^^^^^ Dec 14 10:54:57.531 INFO [stderr] | Dec 14 10:54:57.531 INFO [stderr] = note: #[warn(unused_imports)] on by default Dec 14 10:54:57.531 INFO [stderr] Dec 14 10:54:57.531 INFO [stderr] warning: unused imports: `Write`, `self` Dec 14 10:54:57.531 INFO [stderr] --> src/val_inval.rs:1:15 Dec 14 10:54:57.531 INFO [stderr] | Dec 14 10:54:57.531 INFO [stderr] 1 | use std::io::{self, Write}; Dec 14 10:54:57.531 INFO [stderr] | ^^^^ ^^^^^ Dec 14 10:54:57.531 INFO [stderr] Dec 14 10:54:57.531 INFO [stderr] warning: unused import: `std::collections::LinkedList` Dec 14 10:54:57.531 INFO [stderr] --> src/val_inval.rs:2:5 Dec 14 10:54:57.531 INFO [stderr] | Dec 14 10:54:57.531 INFO [stderr] 2 | use std::collections::LinkedList; Dec 14 10:54:57.531 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 14 10:54:57.531 INFO [stderr] Dec 14 10:54:57.531 INFO [stderr] warning: doc comment not used by rustdoc Dec 14 10:54:57.531 INFO [stderr] --> src/main.rs:45:3 Dec 14 10:54:57.531 INFO [stderr] | Dec 14 10:54:57.531 INFO [stderr] 45 | /// Parses the user input to select solver Dec 14 10:54:57.531 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 14 10:54:57.531 INFO [stderr] | Dec 14 10:54:57.531 INFO [stderr] = note: #[warn(unused_doc_comments)] on by default Dec 14 10:54:57.531 INFO [stderr] Dec 14 10:54:57.619 INFO [stderr] warning: unused variable: `list` Dec 14 10:54:57.619 INFO [stderr] --> src/truth_tree.rs:20:10 Dec 14 10:54:57.619 INFO [stderr] | Dec 14 10:54:57.619 INFO [stderr] 20 | let mut list: LinkedList = LinkedList::new(); Dec 14 10:54:57.619 INFO [stderr] | ^^^^ help: consider using `_list` instead Dec 14 10:54:57.619 INFO [stderr] | Dec 14 10:54:57.619 INFO [stderr] = note: #[warn(unused_variables)] on by default Dec 14 10:54:57.619 INFO [stderr] Dec 14 10:54:57.619 INFO [stderr] warning: unused variable: `s` Dec 14 10:54:57.619 INFO [stderr] --> src/truth_table_single.rs:2:31 Dec 14 10:54:57.619 INFO [stderr] | Dec 14 10:54:57.619 INFO [stderr] 2 | pub fn run_truth_table_single(s: &str) { Dec 14 10:54:57.619 INFO [stderr] | ^ help: consider using `_s` instead Dec 14 10:54:57.619 INFO [stderr] Dec 14 10:54:57.619 INFO [stderr] warning: unused variable: `list` Dec 14 10:54:57.619 INFO [stderr] --> src/main.rs:86:10 Dec 14 10:54:57.619 INFO [stderr] | Dec 14 10:54:57.619 INFO [stderr] 86 | let mut list: LinkedList = LinkedList::new(); Dec 14 10:54:57.619 INFO [stderr] | ^^^^ help: consider using `_list` instead Dec 14 10:54:57.619 INFO [stderr] Dec 14 10:54:57.672 INFO [stderr] warning: variable does not need to be mutable Dec 14 10:54:57.672 INFO [stderr] --> src/main.rs:86:6 Dec 14 10:54:57.672 INFO [stderr] | Dec 14 10:54:57.672 INFO [stderr] 86 | let mut list: LinkedList = LinkedList::new(); Dec 14 10:54:57.672 INFO [stderr] | ----^^^^ Dec 14 10:54:57.672 INFO [stderr] | | Dec 14 10:54:57.672 INFO [stderr] | help: remove this `mut` Dec 14 10:54:57.672 INFO [stderr] | Dec 14 10:54:57.672 INFO [stderr] = note: #[warn(unused_mut)] on by default Dec 14 10:54:57.672 INFO [stderr] Dec 14 10:54:57.672 INFO [stderr] warning: variable does not need to be mutable Dec 14 10:54:57.672 INFO [stderr] --> src/truth_tree.rs:20:6 Dec 14 10:54:57.672 INFO [stderr] | Dec 14 10:54:57.672 INFO [stderr] 20 | let mut list: LinkedList = LinkedList::new(); Dec 14 10:54:57.672 INFO [stderr] | ----^^^^ Dec 14 10:54:57.672 INFO [stderr] | | Dec 14 10:54:57.673 INFO [stderr] | help: remove this `mut` Dec 14 10:54:57.673 INFO [stderr] Dec 14 10:54:57.673 INFO [stderr] warning: function is never used: `run_tree` Dec 14 10:54:57.673 INFO [stderr] --> src/truth_tree.rs:5:1 Dec 14 10:54:57.673 INFO [stderr] | Dec 14 10:54:57.673 INFO [stderr] 5 | pub fn run_tree() { Dec 14 10:54:57.673 INFO [stderr] | ^^^^^^^^^^^^^^^^^ Dec 14 10:54:57.673 INFO [stderr] | Dec 14 10:54:57.673 INFO [stderr] = note: #[warn(dead_code)] on by default Dec 14 10:54:57.673 INFO [stderr] Dec 14 10:54:57.673 INFO [stderr] warning: function is never used: `check_string` Dec 14 10:54:57.673 INFO [stderr] --> src/truth_tree.rs:68:1 Dec 14 10:54:57.673 INFO [stderr] | Dec 14 10:54:57.673 INFO [stderr] 68 | fn check_string(s: &str) -> bool { Dec 14 10:54:57.673 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 14 10:54:57.673 INFO [stderr] Dec 14 10:54:57.673 INFO [stderr] warning: function is never used: `isolate_string` Dec 14 10:54:57.673 INFO [stderr] --> src/truth_tree.rs:96:1 Dec 14 10:54:57.673 INFO [stderr] | Dec 14 10:54:57.673 INFO [stderr] 96 | fn isolate_string(s: &str) { Dec 14 10:54:57.673 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 14 10:54:57.673 INFO [stderr] Dec 14 10:54:57.673 INFO [stderr] warning: function is never used: `evalute_argument` Dec 14 10:54:57.673 INFO [stderr] --> src/truth_tree.rs:100:1 Dec 14 10:54:57.673 INFO [stderr] | Dec 14 10:54:57.673 INFO [stderr] 100 | fn evalute_argument(s: &str) { Dec 14 10:54:57.673 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 14 10:54:57.673 INFO [stderr] Dec 14 10:54:57.673 INFO [stderr] warning: function is never used: `run_val_inval` Dec 14 10:54:57.673 INFO [stderr] --> src/val_inval.rs:4:1 Dec 14 10:54:57.673 INFO [stderr] | Dec 14 10:54:57.673 INFO [stderr] 4 | pub fn run_val_inval() { Dec 14 10:54:57.673 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ Dec 14 10:54:57.673 INFO [stderr] Dec 14 10:54:57.673 INFO [stderr] warning: function is never used: `run_true_multi` Dec 14 10:54:57.673 INFO [stderr] --> src/truth_table_multi.rs:2:1 Dec 14 10:54:57.673 INFO [stderr] | Dec 14 10:54:57.673 INFO [stderr] 2 | pub fn run_true_multi() { Dec 14 10:54:57.673 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ Dec 14 10:54:57.673 INFO [stderr] Dec 14 10:54:57.879 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.28s Dec 14 10:54:57.882 INFO [stderr] su: No module specific data is present Dec 14 10:54:58.191 INFO running `"docker" "inspect" "53e06c89e4b085a00c19f61adc2b58f347d53322b03a975c0f282cfd9e71d54a"` Dec 14 10:54:58.337 INFO running `"docker" "rm" "-f" "53e06c89e4b085a00c19f61adc2b58f347d53322b03a975c0f282cfd9e71d54a"` Dec 14 10:54:58.475 INFO [stdout] 53e06c89e4b085a00c19f61adc2b58f347d53322b03a975c0f282cfd9e71d54a Dec 14 10:54:58.481 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-6/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/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 +bd47d6825bf4090517549d33cfef10d3300b4a75-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 14 10:54:58.732 INFO [stdout] dcaa99ccba37bf2290d6b81d48953c522ada693309f5380c7c98f2bb7043a22c Dec 14 10:54:58.735 INFO running `"docker" "start" "-a" "dcaa99ccba37bf2290d6b81d48953c522ada693309f5380c7c98f2bb7043a22c"` Dec 14 10:54:59.541 INFO [stderr] usermod: no changes Dec 14 10:54:59.615 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.04s Dec 14 10:54:59.616 INFO [stderr] Running /target/debug/deps/logic_solver-51ba0a1d31c9f08d Dec 14 10:54:59.622 INFO [stdout] Dec 14 10:54:59.622 INFO [stdout] running 0 tests Dec 14 10:54:59.622 INFO [stdout] Dec 14 10:54:59.622 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 14 10:54:59.622 INFO [stdout] Dec 14 10:54:59.623 INFO [stderr] su: No module specific data is present Dec 14 10:55:00.028 INFO running `"docker" "inspect" "dcaa99ccba37bf2290d6b81d48953c522ada693309f5380c7c98f2bb7043a22c"` Dec 14 10:55:00.321 INFO running `"docker" "rm" "-f" "dcaa99ccba37bf2290d6b81d48953c522ada693309f5380c7c98f2bb7043a22c"` Dec 14 10:55:00.530 INFO [stdout] dcaa99ccba37bf2290d6b81d48953c522ada693309f5380c7c98f2bb7043a22c