[INFO] crate contracts 0.4.0 is already in cache
[INFO] testing contracts-0.4.0 against beta-2020-06-03 for beta-1.45-1
[INFO] extracting crate contracts 0.4.0 into /workspace/builds/worker-4/source
[INFO] validating manifest of crates.io crate contracts 0.4.0 on toolchain beta-2020-06-03
[INFO] running `"/workspace/cargo-home/bin/cargo" "+beta-2020-06-03" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started tweaking crates.io crate contracts 0.4.0
[INFO] finished tweaking crates.io crate contracts 0.4.0
[INFO] tweaked toml for crates.io crate contracts 0.4.0 written to /workspace/builds/worker-4/source/Cargo.toml
[INFO] crate crates.io crate contracts 0.4.0 already has a lockfile, it will not be regenerated
[INFO] running `"/workspace/cargo-home/bin/cargo" "+beta-2020-06-03" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-06-03" "build" "--frozen"`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 84a55b36df22ddde5488f8631345f81e8e808e6c4c2dbf80b7a429d0ba2d8bd5
[INFO] running `"docker" "start" "-a" "84a55b36df22ddde5488f8631345f81e8e808e6c4c2dbf80b7a429d0ba2d8bd5"`
[INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted
[INFO] [stderr]    Compiling syn v1.0.18
[INFO] [stderr]    Compiling quote v1.0.4
[INFO] [stderr]    Compiling contracts v0.4.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 22.73s
[INFO] running `"docker" "inspect" "84a55b36df22ddde5488f8631345f81e8e808e6c4c2dbf80b7a429d0ba2d8bd5"`
[INFO] running `"docker" "rm" "-f" "84a55b36df22ddde5488f8631345f81e8e808e6c4c2dbf80b7a429d0ba2d8bd5"`
[INFO] [stdout] 84a55b36df22ddde5488f8631345f81e8e808e6c4c2dbf80b7a429d0ba2d8bd5
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-06-03" "test" "--frozen" "--no-run"`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 89d57101f5d9df76e63b122935bfb5db0cf5ab99f1c1bf81788081787c993b8f
[INFO] running `"docker" "start" "-a" "89d57101f5d9df76e63b122935bfb5db0cf5ab99f1c1bf81788081787c993b8f"`
[INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted
[INFO] [stderr]    Compiling contracts v0.4.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 2.95s
[INFO] running `"docker" "inspect" "89d57101f5d9df76e63b122935bfb5db0cf5ab99f1c1bf81788081787c993b8f"`
[INFO] running `"docker" "rm" "-f" "89d57101f5d9df76e63b122935bfb5db0cf5ab99f1c1bf81788081787c993b8f"`
[INFO] [stdout] 89d57101f5d9df76e63b122935bfb5db0cf5ab99f1c1bf81788081787c993b8f
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-06-03" "test" "--frozen"`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 80375a8cc5de54ea0a6c95cfa153bfd7fa3e232e80e5648b1e6615971fc353c5
[INFO] running `"docker" "start" "-a" "80375a8cc5de54ea0a6c95cfa153bfd7fa3e232e80e5648b1e6615971fc353c5"`
[INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.06s
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/contracts-604ec41582a7707f
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/functions-85b086371bd30fe2
[INFO] [stdout] running 4 tests
[INFO] [stdout] test test_a_thing ... ok
[INFO] [stdout] test test_sort ... ok
[INFO] [stdout] test test_invariant ... ok
[INFO] [stdout] test test_early_return ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/implication-96ef3c3d6cfc03ea
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test test_pre_implication ... ok
[INFO] [stdout] test test_ret_implication_old ... ok
[INFO] [stdout] test test_ret_implication ... ok
[INFO] [stdout] test test_nested_implication ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/methods-189a2fe8c4bbc14a
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test methods ... ok
[INFO] [stdout] test impl_invariant ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/old-d825add02c422854
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test test_old_nested ... ok
[INFO] [stdout] test test_old_simple ... ok
[INFO] [stdout] test test_violation ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/ranged_int-acf752290b845435
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test ranged_int_add_reassign ... ok
[INFO] [stdout] test ranged_int_add ... ok
[INFO] [stdout] test construction_underflow ... ok
[INFO] [stdout] test ranged_overflow ... ok
[INFO] [stdout] test construction_overflow ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/traits-07581188fc359b26
[INFO] [stdout] test adder_example ... ok
[INFO] [stdout] test interpolate_example ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests contracts
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test src/lib.rs - contract_trait (line 351) ... ok
[INFO] [stdout] test src/lib.rs -  (line 22) ... ok
[INFO] [stdout] test src/lib.rs -  (line 102) ... ok
[INFO] [stdout] test src/lib.rs -  (line 116) ... ok
[INFO] [stdout] test src/lib.rs - pre (line 170) ... ok
[INFO] [stdout] test src/lib.rs - post (line 226) ... ok
[INFO] [stdout] test src/lib.rs -  (line 32) ... ok
[INFO] [stdout] test src/lib.rs - invariant (line 273) ... ok
[INFO] [stdout] test src/lib.rs - invariant (line 284) ... ok
[INFO] [stdout] test src/lib.rs - post (line 218) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] running `"docker" "inspect" "80375a8cc5de54ea0a6c95cfa153bfd7fa3e232e80e5648b1e6615971fc353c5"`
[INFO] running `"docker" "rm" "-f" "80375a8cc5de54ea0a6c95cfa153bfd7fa3e232e80e5648b1e6615971fc353c5"`
[INFO] [stdout] 80375a8cc5de54ea0a6c95cfa153bfd7fa3e232e80e5648b1e6615971fc353c5