Dec 14 00:22:58.353 INFO testing c-cube/batsat-ocaml against master#bd47d6825bf4090517549d33cfef10d3300b4a75 for pr-56550
Dec 14 00:22:58.353 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-7/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/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 +bd47d6825bf4090517549d33cfef10d3300b4a75-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 14 00:22:58.807 INFO [stdout] a5aa0d3cd04a462fd8150bb4f1a07c8e2549792b795181d594c291c5dd34083e
Dec 14 00:22:58.809 INFO running `"docker" "start" "-a" "a5aa0d3cd04a462fd8150bb4f1a07c8e2549792b795181d594c291c5dd34083e"`
Dec 14 00:23:00.332 INFO [stderr] usermod: no changes
Dec 14 00:23:00.455 INFO [stderr]    Compiling ocaml v0.5.0
Dec 14 00:23:00.455 INFO [stderr]    Compiling batsat v0.2.0
Dec 14 00:23:03.584 INFO [stderr]    Compiling batsat-stubs v0.1.0 (/source)
Dec 14 00:23:06.167 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 5.80s
Dec 14 00:23:06.167 INFO [stderr] su: No module specific data is present
Dec 14 00:23:07.035 INFO running `"docker" "inspect" "a5aa0d3cd04a462fd8150bb4f1a07c8e2549792b795181d594c291c5dd34083e"`
Dec 14 00:23:07.343 INFO running `"docker" "rm" "-f" "a5aa0d3cd04a462fd8150bb4f1a07c8e2549792b795181d594c291c5dd34083e"`
Dec 14 00:23:07.567 INFO [stdout] a5aa0d3cd04a462fd8150bb4f1a07c8e2549792b795181d594c291c5dd34083e
Dec 14 00:23:07.575 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-7/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/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 +bd47d6825bf4090517549d33cfef10d3300b4a75-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 14 00:23:08.071 INFO [stdout] c2cd8884395c64e158ea4f5f9eca6b0e95c2aad47f57587cbb1796da6cc1a8cf
Dec 14 00:23:08.079 INFO running `"docker" "start" "-a" "c2cd8884395c64e158ea4f5f9eca6b0e95c2aad47f57587cbb1796da6cc1a8cf"`
Dec 14 00:23:09.374 INFO [stderr] usermod: no changes
Dec 14 00:23:09.463 INFO [stderr]    Compiling batsat-stubs v0.1.0 (/source)
Dec 14 00:23:12.125 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 2.73s
Dec 14 00:23:12.131 INFO [stderr] su: No module specific data is present
Dec 14 00:23:12.671 INFO running `"docker" "inspect" "c2cd8884395c64e158ea4f5f9eca6b0e95c2aad47f57587cbb1796da6cc1a8cf"`
Dec 14 00:23:12.965 INFO running `"docker" "rm" "-f" "c2cd8884395c64e158ea4f5f9eca6b0e95c2aad47f57587cbb1796da6cc1a8cf"`
Dec 14 00:23:13.322 INFO [stdout] c2cd8884395c64e158ea4f5f9eca6b0e95c2aad47f57587cbb1796da6cc1a8cf
Dec 14 00:23:13.329 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-7/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/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 +bd47d6825bf4090517549d33cfef10d3300b4a75-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 14 00:23:13.707 INFO [stdout] 9ad9fef6da3f59843ad821d5dc16e3a0bb8c510f80a3f9d4d56268e624844649
Dec 14 00:23:13.719 INFO running `"docker" "start" "-a" "9ad9fef6da3f59843ad821d5dc16e3a0bb8c510f80a3f9d4d56268e624844649"`
Dec 14 00:23:14.891 INFO [stderr] usermod: no changes
Dec 14 00:23:14.949 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.01s
Dec 14 00:23:14.949 INFO [stderr]      Running /target/debug/deps/batsat_stubs-3c57a5f7ff533d28
Dec 14 00:23:14.958 INFO [stdout] 
Dec 14 00:23:14.958 INFO [stdout] running 0 tests
Dec 14 00:23:14.958 INFO [stdout] 
Dec 14 00:23:14.958 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 14 00:23:14.958 INFO [stdout] 
Dec 14 00:23:14.958 INFO [stderr] su: No module specific data is present
Dec 14 00:23:15.796 INFO running `"docker" "inspect" "9ad9fef6da3f59843ad821d5dc16e3a0bb8c510f80a3f9d4d56268e624844649"`
Dec 14 00:23:16.105 INFO running `"docker" "rm" "-f" "9ad9fef6da3f59843ad821d5dc16e3a0bb8c510f80a3f9d4d56268e624844649"`
Dec 14 00:23:16.359 INFO [stdout] 9ad9fef6da3f59843ad821d5dc16e3a0bb8c510f80a3f9d4d56268e624844649