Dec 01 16:01:35.178 INFO documenting f-ctt/The-Senate-Bus-Problem against master#147e60c5f89cfa2d3ffc247413956a37582c98e7 for pr-55318-1 Dec 01 16:01:35.178 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55318-1/worker-7/master#147e60c5f89cfa2d3ffc247413956a37582c98e7:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/pr-55318-1/master#147e60c5f89cfa2d3ffc247413956a37582c98e7:/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 +147e60c5f89cfa2d3ffc247413956a37582c98e7-alt doc --frozen --no-deps --document-private-items" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Dec 01 16:01:35.471 INFO [stdout] 1303de7824a46d7657acf03723379d5c1cd177455de33c16825402d202e54947 Dec 01 16:01:35.478 INFO running `"docker" "start" "-a" "1303de7824a46d7657acf03723379d5c1cd177455de33c16825402d202e54947"` Dec 01 16:01:36.176 INFO [stderr] usermod: no changes Dec 01 16:01:36.236 INFO [stderr] Checking rand_core v0.2.0-pre.0 Dec 01 16:01:36.748 INFO [stderr] Checking rand v0.5.0-pre.2 Dec 01 16:01:39.044 INFO [stderr] Documenting The-Senate-Bus-problem v0.1.0 (/source) Dec 01 16:01:39.388 INFO [stderr] warning: function `enter_boardingArea` should have a snake case name such as `enter_boarding_area` Dec 01 16:01:39.388 INFO [stderr] --> src/main.rs:8:1 Dec 01 16:01:39.388 INFO [stderr] | Dec 01 16:01:39.388 INFO [stderr] 8 | / fn enter_boardingArea(mutex_clone: Arc>, id: u32) { // update the amout of riders waiting and unlock the mutex Dec 01 16:01:39.388 INFO [stderr] 9 | | let mut waiting = mutex_clone.lock().unwrap(); Dec 01 16:01:39.388 INFO [stderr] 10 | | *waiting += 1; Dec 01 16:01:39.388 INFO [stderr] 11 | | println!("RID: {}\t\t: enter: {}", id, *waiting); Dec 01 16:01:39.388 INFO [stderr] 12 | | } Dec 01 16:01:39.388 INFO [stderr] | |_^ Dec 01 16:01:39.388 INFO [stderr] | Dec 01 16:01:39.388 INFO [stderr] = note: #[warn(non_snake_case)] on by default Dec 01 16:01:39.388 INFO [stderr] Dec 01 16:01:40.924 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 4.72s Dec 01 16:01:40.928 INFO [stderr] su: No module specific data is present Dec 01 16:01:41.330 INFO running `"docker" "inspect" "1303de7824a46d7657acf03723379d5c1cd177455de33c16825402d202e54947"` Dec 01 16:01:41.572 INFO running `"docker" "rm" "-f" "1303de7824a46d7657acf03723379d5c1cd177455de33c16825402d202e54947"` Dec 01 16:01:41.720 INFO [stdout] 1303de7824a46d7657acf03723379d5c1cd177455de33c16825402d202e54947