Oct 27 04:55:09.473 INFO checking f-ctt/The-Senate-Bus-Problem against try#19f01b935b91481fd445b16b533d2f87661bf12e for pr-55192-2 Oct 27 04:55:09.474 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/pr-55192-2/worker-4/try#19f01b935b91481fd445b16b533d2f87661bf12e:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-4/pr-55192-2/try#19f01b935b91481fd445b16b533d2f87661bf12e:/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 +19f01b935b91481fd445b16b533d2f87661bf12e-alt check --frozen --all --all-targets" "-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 27 04:55:10.007 INFO blam! 0668031480c78f5553162b6d3f7ce43aa1a7cda743a49505d07f88b3ade27b0e Oct 27 04:55:10.009 INFO running `"docker" "start" "-a" "0668031480c78f5553162b6d3f7ce43aa1a7cda743a49505d07f88b3ade27b0e"` Oct 27 04:55:11.047 INFO kablam! usermod: no changes Oct 27 04:55:11.111 INFO kablam! Checking rand_core v0.2.0-pre.0 Oct 27 04:55:11.828 INFO kablam! Checking rand v0.5.0-pre.2 Oct 27 04:55:14.312 INFO kablam! Checking The-Senate-Bus-problem v0.1.0 (/source) Oct 27 04:55:14.970 INFO kablam! warning: unused import: `RwLock` Oct 27 04:55:14.970 INFO kablam! --> src/main.rs:1:29 Oct 27 04:55:14.971 INFO kablam! | Oct 27 04:55:14.972 INFO kablam! 1 | use std::sync::{Mutex, Arc, RwLock, Condvar}; Oct 27 04:55:14.972 INFO kablam! | ^^^^^^ Oct 27 04:55:14.973 INFO kablam! | Oct 27 04:55:14.974 INFO kablam! = note: #[warn(unused_imports)] on by default Oct 27 04:55:14.974 INFO kablam! Oct 27 04:55:15.063 INFO kablam! warning: unused import: `RwLock` Oct 27 04:55:15.064 INFO kablam! --> src/main.rs:1:29 Oct 27 04:55:15.064 INFO kablam! | Oct 27 04:55:15.065 INFO kablam! 1 | use std::sync::{Mutex, Arc, RwLock, Condvar}; Oct 27 04:55:15.066 INFO kablam! | ^^^^^^ Oct 27 04:55:15.066 INFO kablam! | Oct 27 04:55:15.067 INFO kablam! = note: #[warn(unused_imports)] on by default Oct 27 04:55:15.067 INFO kablam! Oct 27 04:55:15.180 INFO kablam! warning: crate `The_Senate_Bus_problem` should have a snake case name such as `the_senate_bus_problem` Oct 27 04:55:15.181 INFO kablam! | Oct 27 04:55:15.182 INFO kablam! = note: #[warn(non_snake_case)] on by default Oct 27 04:55:15.182 INFO kablam! Oct 27 04:55:15.183 INFO kablam! warning: function `enter_boardingArea` should have a snake case name such as `enter_boarding_area` Oct 27 04:55:15.184 INFO kablam! --> src/main.rs:8:1 Oct 27 04:55:15.184 INFO kablam! | Oct 27 04:55:15.185 INFO kablam! 8 | / fn enter_boardingArea(mutex_clone: Arc>, id: u32) { // update the amout of riders waiting and unlock the mutex Oct 27 04:55:15.186 INFO kablam! 9 | | let mut waiting = mutex_clone.lock().unwrap(); Oct 27 04:55:15.186 INFO kablam! 10 | | *waiting += 1; Oct 27 04:55:15.187 INFO kablam! 11 | | println!("RID: {}\t\t: enter: {}", id, *waiting); Oct 27 04:55:15.187 INFO kablam! 12 | | } Oct 27 04:55:15.188 INFO kablam! | |_^ Oct 27 04:55:15.189 INFO kablam! Oct 27 04:55:15.189 INFO kablam! warning: variable `allAboard` should have a snake case name such as `all_aboard` Oct 27 04:55:15.190 INFO kablam! --> src/main.rs:62:9 Oct 27 04:55:15.190 INFO kablam! | Oct 27 04:55:15.191 INFO kablam! 62 | let allAboard = Arc::new((Mutex::new(0), Condvar::new())); // Bus waits til all riders get in Oct 27 04:55:15.192 INFO kablam! | ^^^^^^^^^ Oct 27 04:55:15.192 INFO kablam! Oct 27 04:55:15.193 INFO kablam! warning: variable `allAboard_clone` should have a snake case name such as `all_aboard_clone` Oct 27 04:55:15.193 INFO kablam! --> src/main.rs:72:9 Oct 27 04:55:15.193 INFO kablam! | Oct 27 04:55:15.193 INFO kablam! 72 | let allAboard_clone = allAboard.clone(); Oct 27 04:55:15.193 INFO kablam! | ^^^^^^^^^^^^^^^ Oct 27 04:55:15.193 INFO kablam! Oct 27 04:55:15.225 INFO kablam! warning: crate `The_Senate_Bus_problem` should have a snake case name such as `the_senate_bus_problem` Oct 27 04:55:15.226 INFO kablam! | Oct 27 04:55:15.227 INFO kablam! = note: #[warn(non_snake_case)] on by default Oct 27 04:55:15.228 INFO kablam! Oct 27 04:55:15.228 INFO kablam! warning: function `enter_boardingArea` should have a snake case name such as `enter_boarding_area` Oct 27 04:55:15.229 INFO kablam! --> src/main.rs:8:1 Oct 27 04:55:15.230 INFO kablam! | Oct 27 04:55:15.230 INFO kablam! 8 | / fn enter_boardingArea(mutex_clone: Arc>, id: u32) { // update the amout of riders waiting and unlock the mutex Oct 27 04:55:15.231 INFO kablam! 9 | | let mut waiting = mutex_clone.lock().unwrap(); Oct 27 04:55:15.232 INFO kablam! 10 | | *waiting += 1; Oct 27 04:55:15.232 INFO kablam! 11 | | println!("RID: {}\t\t: enter: {}", id, *waiting); Oct 27 04:55:15.233 INFO kablam! 12 | | } Oct 27 04:55:15.233 INFO kablam! | |_^ Oct 27 04:55:15.234 INFO kablam! Oct 27 04:55:15.235 INFO kablam! warning: variable `allAboard` should have a snake case name such as `all_aboard` Oct 27 04:55:15.235 INFO kablam! --> src/main.rs:62:9 Oct 27 04:55:15.236 INFO kablam! | Oct 27 04:55:15.237 INFO kablam! 62 | let allAboard = Arc::new((Mutex::new(0), Condvar::new())); // Bus waits til all riders get in Oct 27 04:55:15.237 INFO kablam! | ^^^^^^^^^ Oct 27 04:55:15.238 INFO kablam! Oct 27 04:55:15.239 INFO kablam! warning: variable `allAboard_clone` should have a snake case name such as `all_aboard_clone` Oct 27 04:55:15.239 INFO kablam! --> src/main.rs:72:9 Oct 27 04:55:15.239 INFO kablam! | Oct 27 04:55:15.239 INFO kablam! 72 | let allAboard_clone = allAboard.clone(); Oct 27 04:55:15.239 INFO kablam! | ^^^^^^^^^^^^^^^ Oct 27 04:55:15.239 INFO kablam! Oct 27 04:55:15.268 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 4.20s Oct 27 04:55:15.279 INFO kablam! su: No module specific data is present Oct 27 04:55:16.479 INFO running `"docker" "rm" "-f" "0668031480c78f5553162b6d3f7ce43aa1a7cda743a49505d07f88b3ade27b0e"` Oct 27 04:55:16.775 INFO blam! 0668031480c78f5553162b6d3f7ce43aa1a7cda743a49505d07f88b3ade27b0e