Dec 02 23:18:26.096 INFO testing pagetable-0.1.0 against 1.30.1 for beta-1.31-5
Dec 02 23:18:26.096 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-0/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/beta-1.31-5/1.30.1:/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 +1.30.1 build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 02 23:18:26.519 INFO [stdout] 13327e970c532864241f99b53805ec19118b4eb03b696868a50bfd09b57a7459
Dec 02 23:18:26.521 INFO running `"docker" "start" "-a" "13327e970c532864241f99b53805ec19118b4eb03b696868a50bfd09b57a7459"`
Dec 02 23:18:27.939 INFO [stderr] usermod: no changes
Dec 02 23:18:28.031 INFO [stderr]    Compiling pagetable v0.1.0 (/source)
Dec 02 23:18:29.310 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.34s
Dec 02 23:18:29.319 INFO [stderr] su: No module specific data is present
Dec 02 23:18:29.856 INFO running `"docker" "inspect" "13327e970c532864241f99b53805ec19118b4eb03b696868a50bfd09b57a7459"`
Dec 02 23:18:30.086 INFO running `"docker" "rm" "-f" "13327e970c532864241f99b53805ec19118b4eb03b696868a50bfd09b57a7459"`
Dec 02 23:18:30.375 INFO [stdout] 13327e970c532864241f99b53805ec19118b4eb03b696868a50bfd09b57a7459
Dec 02 23:18:30.379 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-0/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/beta-1.31-5/1.30.1:/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 +1.30.1 test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 02 23:18:30.712 INFO [stdout] ebae035cd854ea5d85882e6e7cc001158b8607d571ce5abcbb971291295fc9b1
Dec 02 23:18:30.715 INFO running `"docker" "start" "-a" "ebae035cd854ea5d85882e6e7cc001158b8607d571ce5abcbb971291295fc9b1"`
Dec 02 23:18:32.275 INFO [stderr] usermod: no changes
Dec 02 23:18:32.443 INFO [stderr]    Compiling rand v0.4.3
Dec 02 23:18:35.471 INFO [stderr]    Compiling proptest v0.7.2
Dec 02 23:18:53.205 INFO [stderr]    Compiling model v0.0.4
Dec 02 23:18:53.871 INFO [stderr]    Compiling pagetable v0.1.0 (/source)
Dec 02 23:19:00.560 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 28.25s
Dec 02 23:19:00.567 INFO [stderr] su: No module specific data is present
Dec 02 23:19:01.247 INFO running `"docker" "inspect" "ebae035cd854ea5d85882e6e7cc001158b8607d571ce5abcbb971291295fc9b1"`
Dec 02 23:19:01.515 INFO running `"docker" "rm" "-f" "ebae035cd854ea5d85882e6e7cc001158b8607d571ce5abcbb971291295fc9b1"`
Dec 02 23:19:01.751 INFO [stdout] ebae035cd854ea5d85882e6e7cc001158b8607d571ce5abcbb971291295fc9b1
Dec 02 23:19:01.759 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-0/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/beta-1.31-5/1.30.1:/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 +1.30.1 test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 02 23:19:02.163 INFO [stdout] 417b074802b794fd3cb42cb858795bc1e217556f87a2f42517a7a23badf7ef63
Dec 02 23:19:02.165 INFO running `"docker" "start" "-a" "417b074802b794fd3cb42cb858795bc1e217556f87a2f42517a7a23badf7ef63"`
Dec 02 23:19:03.690 INFO [stderr] usermod: no changes
Dec 02 23:19:03.848 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.12s
Dec 02 23:19:03.861 INFO [stderr]      Running /target/debug/deps/pagetable-30e89fe733c727f1
Dec 02 23:19:03.876 INFO [stdout] 
Dec 02 23:19:03.876 INFO [stdout] running 2 tests
Dec 02 23:19:03.877 INFO [stdout] test test_split_fanout ... ignored
Dec 02 23:19:04.111 INFO [stdout] test basic_functionality ... ok
Dec 02 23:19:04.111 INFO [stdout] 
Dec 02 23:19:04.111 INFO [stdout] test result: ok. 1 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out
Dec 02 23:19:04.111 INFO [stdout] 
Dec 02 23:19:04.112 INFO [stderr]      Running /target/debug/deps/model-3d2628e0a7879365
Dec 02 23:19:04.115 INFO [stdout] 
Dec 02 23:19:04.115 INFO [stdout] running 2 tests
Dec 02 23:19:04.115 INFO [stdout] test test_linearizability ... ignored
Dec 02 23:20:04.115 INFO [stdout] test test_model ... test test_model has been running for over 60 seconds
Dec 02 23:20:49.686 INFO [stdout] test test_model ... ok
Dec 02 23:20:49.686 INFO [stdout] 
Dec 02 23:20:49.686 INFO [stdout] test result: ok. 1 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out
Dec 02 23:20:49.686 INFO [stdout] 
Dec 02 23:20:49.687 INFO [stderr]    Doc-tests pagetable
Dec 02 23:20:51.464 INFO [stdout] 
Dec 02 23:20:51.464 INFO [stdout] running 0 tests
Dec 02 23:20:51.464 INFO [stdout] 
Dec 02 23:20:51.464 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 02 23:20:51.464 INFO [stdout] 
Dec 02 23:20:51.471 INFO [stderr] su: No module specific data is present
Dec 02 23:20:52.888 INFO running `"docker" "inspect" "417b074802b794fd3cb42cb858795bc1e217556f87a2f42517a7a23badf7ef63"`
Dec 02 23:20:52.960 INFO running `"docker" "rm" "-f" "417b074802b794fd3cb42cb858795bc1e217556f87a2f42517a7a23badf7ef63"`
Dec 02 23:20:53.032 INFO [stdout] 417b074802b794fd3cb42cb858795bc1e217556f87a2f42517a7a23badf7ef63
