Dec 07 05:06:02.671 INFO testing pagetable-0.1.1 against master#906deae0790bd18681b937fe9a141a3c26cf1855 for pr-56514 Dec 07 05:06:02.671 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-6/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/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 +906deae0790bd18681b937fe9a141a3c26cf1855-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 07 05:06:03.126 INFO [stdout] 16deb43014bda8c6b57088bdf8c20ea603fec40663c32b028aa02bb6d59a0c4e Dec 07 05:06:03.128 INFO running `"docker" "start" "-a" "16deb43014bda8c6b57088bdf8c20ea603fec40663c32b028aa02bb6d59a0c4e"` Dec 07 05:06:04.248 INFO [stderr] usermod: no changes Dec 07 05:06:04.364 INFO [stderr] Compiling sled_sync v0.1.5 Dec 07 05:06:05.224 INFO [stderr] Compiling pagetable v0.1.1 (/source) Dec 07 05:06:06.336 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 2.05s Dec 07 05:06:06.344 INFO [stderr] su: No module specific data is present Dec 07 05:06:06.896 INFO running `"docker" "inspect" "16deb43014bda8c6b57088bdf8c20ea603fec40663c32b028aa02bb6d59a0c4e"` Dec 07 05:06:07.264 INFO running `"docker" "rm" "-f" "16deb43014bda8c6b57088bdf8c20ea603fec40663c32b028aa02bb6d59a0c4e"` Dec 07 05:06:07.576 INFO [stdout] 16deb43014bda8c6b57088bdf8c20ea603fec40663c32b028aa02bb6d59a0c4e Dec 07 05:06:07.578 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-6/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/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 +906deae0790bd18681b937fe9a141a3c26cf1855-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 07 05:06:07.972 INFO [stdout] a89610f16dd880027ff5732826d5616e5547a36aca1834e827d1f316a5b48001 Dec 07 05:06:07.974 INFO running `"docker" "start" "-a" "a89610f16dd880027ff5732826d5616e5547a36aca1834e827d1f316a5b48001"` Dec 07 05:06:09.336 INFO [stderr] usermod: no changes Dec 07 05:06:09.604 INFO [stderr] Compiling model v0.1.0 Dec 07 05:06:12.502 INFO [stderr] Compiling pagetable v0.1.1 (/source) Dec 07 05:06:19.004 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 9.63s Dec 07 05:06:19.010 INFO [stderr] su: No module specific data is present Dec 07 05:06:19.474 INFO running `"docker" "inspect" "a89610f16dd880027ff5732826d5616e5547a36aca1834e827d1f316a5b48001"` Dec 07 05:06:19.722 INFO running `"docker" "rm" "-f" "a89610f16dd880027ff5732826d5616e5547a36aca1834e827d1f316a5b48001"` Dec 07 05:06:19.939 INFO [stdout] a89610f16dd880027ff5732826d5616e5547a36aca1834e827d1f316a5b48001 Dec 07 05:06:19.943 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-6/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/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 +906deae0790bd18681b937fe9a141a3c26cf1855-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 07 05:06:20.296 INFO [stdout] a547d2d929abc6fb26196f07a7faaeeec51b10fe133d301e57b2a4ecc2d09025 Dec 07 05:06:20.298 INFO running `"docker" "start" "-a" "a547d2d929abc6fb26196f07a7faaeeec51b10fe133d301e57b2a4ecc2d09025"` Dec 07 05:06:21.295 INFO [stderr] usermod: no changes Dec 07 05:06:21.375 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.06s Dec 07 05:06:21.392 INFO [stderr] Running /target/debug/deps/pagetable-afdc38cde7188394 Dec 07 05:06:21.400 INFO [stdout] Dec 07 05:06:21.400 INFO [stdout] running 2 tests Dec 07 05:06:21.408 INFO [stdout] test test_split_fanout ... ok Dec 07 05:06:21.608 INFO [stderr] Running /target/debug/deps/model-9648986d9c207cbe Dec 07 05:06:21.608 INFO [stdout] test basic_functionality ... ok Dec 07 05:06:21.608 INFO [stdout] Dec 07 05:06:21.608 INFO [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 07 05:06:21.608 INFO [stdout] Dec 07 05:06:21.608 INFO [stdout] Dec 07 05:06:21.608 INFO [stdout] running 2 tests Dec 07 05:06:21.608 INFO [stdout] test test_linearizability ... ignored Dec 07 05:07:21.616 INFO [stdout] test test_model ... test test_model has been running for over 60 seconds Dec 07 05:08:09.260 INFO [stdout] test test_model ... ok Dec 07 05:08:09.260 INFO [stdout] Dec 07 05:08:09.260 INFO [stdout] test result: ok. 1 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out Dec 07 05:08:09.260 INFO [stdout] Dec 07 05:08:09.261 INFO [stderr] Doc-tests pagetable Dec 07 05:08:11.130 INFO [stdout] Dec 07 05:08:11.130 INFO [stdout] running 0 tests Dec 07 05:08:11.130 INFO [stdout] Dec 07 05:08:11.130 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 07 05:08:11.130 INFO [stdout] Dec 07 05:08:11.137 INFO [stderr] su: No module specific data is present Dec 07 05:08:14.216 INFO running `"docker" "inspect" "a547d2d929abc6fb26196f07a7faaeeec51b10fe133d301e57b2a4ecc2d09025"` Dec 07 05:08:14.320 INFO running `"docker" "rm" "-f" "a547d2d929abc6fb26196f07a7faaeeec51b10fe133d301e57b2a4ecc2d09025"` Dec 07 05:08:14.484 INFO [stdout] a547d2d929abc6fb26196f07a7faaeeec51b10fe133d301e57b2a4ecc2d09025