Oct 11 16:39:55.378 INFO testing model-0.0.4 against master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513 for rustdoc-test-static-cling
Oct 11 16:39:55.378 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen
Oct 11 16:39:55.378 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-0/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-0/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"`
Oct 11 16:39:55.600 INFO blam! 09ee9228676c322efd4d21f89d650e8ee9d17ed8ec2e9cf6dbe1e728982fa558
Oct 11 16:39:55.603 INFO running `"docker" "start" "-a" "09ee9228676c322efd4d21f89d650e8ee9d17ed8ec2e9cf6dbe1e728982fa558"`
Oct 11 16:39:56.099 INFO kablam! usermod: no changes
Oct 11 16:39:56.166 INFO kablam!    Compiling model v0.0.4 (/source)
Oct 11 16:39:56.559 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.43s
Oct 11 16:39:56.562 INFO kablam! su: No module specific data is present
Oct 11 16:39:56.838 INFO running `"docker" "rm" "-f" "09ee9228676c322efd4d21f89d650e8ee9d17ed8ec2e9cf6dbe1e728982fa558"`
Oct 11 16:39:56.940 INFO blam! 09ee9228676c322efd4d21f89d650e8ee9d17ed8ec2e9cf6dbe1e728982fa558
Oct 11 16:39:56.940 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run
Oct 11 16:39:56.941 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-0/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-0/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"`
Oct 11 16:39:57.102 INFO blam! e6e993a16b1cf301eb3067ae95109d8009647769cbeec12dc5ccf7f71724fce5
Oct 11 16:39:57.105 INFO running `"docker" "start" "-a" "e6e993a16b1cf301eb3067ae95109d8009647769cbeec12dc5ccf7f71724fce5"`
Oct 11 16:39:57.548 INFO kablam! usermod: no changes
Oct 11 16:39:57.596 INFO kablam!    Compiling model v0.0.4 (/source)
Oct 11 16:40:01.968 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 4.40s
Oct 11 16:40:01.968 INFO kablam! su: No module specific data is present
Oct 11 16:40:02.502 INFO running `"docker" "rm" "-f" "e6e993a16b1cf301eb3067ae95109d8009647769cbeec12dc5ccf7f71724fce5"`
Oct 11 16:40:02.690 INFO blam! e6e993a16b1cf301eb3067ae95109d8009647769cbeec12dc5ccf7f71724fce5
Oct 11 16:40:02.703 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen
Oct 11 16:40:02.703 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-0/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-0/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"`
Oct 11 16:40:02.908 INFO blam! 3f80f11c821dc9b10eb7b847021a80aac88651dcc8b912c6c339b9e31c05ec10
Oct 11 16:40:02.914 INFO running `"docker" "start" "-a" "3f80f11c821dc9b10eb7b847021a80aac88651dcc8b912c6c339b9e31c05ec10"`
Oct 11 16:40:03.812 INFO kablam! usermod: no changes
Oct 11 16:40:03.904 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.06s
Oct 11 16:40:03.916 INFO kablam!      Running /target/debug/deps/model-7dc279585f95d7e4
Oct 11 16:40:03.916 INFO blam! 
Oct 11 16:40:03.916 INFO kablam!      Running /target/debug/deps/model-eea461d5293f16f1
Oct 11 16:40:03.916 INFO blam! running 0 tests
Oct 11 16:40:03.916 INFO blam! 
Oct 11 16:40:03.916 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 11 16:40:03.916 INFO blam! 
Oct 11 16:40:03.936 INFO blam! 
Oct 11 16:40:03.936 INFO blam! running 3 tests
Oct 11 16:40:04.100 INFO blam! test test_model ... ok
Oct 11 16:40:13.848 INFO blam! test test_linearizability_of_good_impl ... ok
Oct 11 16:40:27.984 INFO blam! test test_linearizability_of_bad_impl ... ok
Oct 11 16:40:27.984 INFO blam! 
Oct 11 16:40:27.984 INFO blam! test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 11 16:40:27.984 INFO blam! 
Oct 11 16:40:27.986 INFO kablam!    Doc-tests model
Oct 11 16:40:28.605 INFO blam! 
Oct 11 16:40:28.605 INFO blam! running 0 tests
Oct 11 16:40:28.605 INFO blam! 
Oct 11 16:40:28.605 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 11 16:40:28.605 INFO blam! 
Oct 11 16:40:28.610 INFO kablam! su: No module specific data is present
Oct 11 16:40:28.915 INFO running `"docker" "rm" "-f" "3f80f11c821dc9b10eb7b847021a80aac88651dcc8b912c6c339b9e31c05ec10"`
Oct 11 16:40:29.032 INFO blam! 3f80f11c821dc9b10eb7b847021a80aac88651dcc8b912c6c339b9e31c05ec10