Oct 15 11:41:10.888 INFO testing Dacit/sequent_prover against try#40d4795669493f1965de7c44029c69552134fe1f for rustdoc-test-static-cling-1
Oct 15 11:41:10.888 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-1/try#40d4795669493f1965de7c44029c69552134fe1f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-1/rustdoc-test-static-cling-1/try#40d4795669493f1965de7c44029c69552134fe1f:/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 +40d4795669493f1965de7c44029c69552134fe1f-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"`
Oct 15 11:41:11.054 INFO blam! 29c833a1e54a17dee0959b4e0fb656e4286b2b95ad8bdb2260c4b6ecd10154d0
Oct 15 11:41:11.055 INFO running `"docker" "start" "-a" "29c833a1e54a17dee0959b4e0fb656e4286b2b95ad8bdb2260c4b6ecd10154d0"`
Oct 15 11:41:11.579 INFO kablam! usermod: no changes
Oct 15 11:41:11.623 INFO kablam!    Compiling terminal_size v0.1.7
Oct 15 11:41:12.027 INFO kablam!    Compiling sequent_prover v0.1.0 (/source)
Oct 15 11:41:13.311 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 1.71s
Oct 15 11:41:13.314 INFO kablam! su: No module specific data is present
Oct 15 11:41:13.588 INFO running `"docker" "rm" "-f" "29c833a1e54a17dee0959b4e0fb656e4286b2b95ad8bdb2260c4b6ecd10154d0"`
Oct 15 11:41:13.710 INFO blam! 29c833a1e54a17dee0959b4e0fb656e4286b2b95ad8bdb2260c4b6ecd10154d0
Oct 15 11:41:13.712 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-1/try#40d4795669493f1965de7c44029c69552134fe1f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-1/rustdoc-test-static-cling-1/try#40d4795669493f1965de7c44029c69552134fe1f:/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 +40d4795669493f1965de7c44029c69552134fe1f-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"`
Oct 15 11:41:13.956 INFO blam! 391f73473d80bbb63255f6b4213ca0bda5b98d9f83e0d2a108711eb3ddb60a3f
Oct 15 11:41:13.960 INFO running `"docker" "start" "-a" "391f73473d80bbb63255f6b4213ca0bda5b98d9f83e0d2a108711eb3ddb60a3f"`
Oct 15 11:41:14.439 INFO kablam! usermod: no changes
Oct 15 11:41:14.491 INFO kablam!    Compiling sequent_prover v0.1.0 (/source)
Oct 15 11:41:16.456 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 2.00s
Oct 15 11:41:16.470 INFO kablam! su: No module specific data is present
Oct 15 11:41:19.093 INFO running `"docker" "rm" "-f" "391f73473d80bbb63255f6b4213ca0bda5b98d9f83e0d2a108711eb3ddb60a3f"`
Oct 15 11:41:19.399 INFO blam! 391f73473d80bbb63255f6b4213ca0bda5b98d9f83e0d2a108711eb3ddb60a3f
Oct 15 11:41:19.407 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-1/try#40d4795669493f1965de7c44029c69552134fe1f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-1/rustdoc-test-static-cling-1/try#40d4795669493f1965de7c44029c69552134fe1f:/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 +40d4795669493f1965de7c44029c69552134fe1f-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"`
Oct 15 11:41:21.616 INFO blam! 0454d5bb72928081c2d977e2b72c67d8f805291b154e31b277f0b428d2a1adde
Oct 15 11:41:21.621 INFO running `"docker" "start" "-a" "0454d5bb72928081c2d977e2b72c67d8f805291b154e31b277f0b428d2a1adde"`
Oct 15 11:41:22.248 INFO kablam! usermod: no changes
Oct 15 11:41:22.282 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.01s
Oct 15 11:41:22.282 INFO kablam!      Running /target/debug/deps/sequent_prover-451630c65d9b600a
Oct 15 11:41:22.284 INFO blam! 
Oct 15 11:41:22.284 INFO blam! running 16 tests
Oct 15 11:41:22.284 INFO blam! test parser::tests::test_complex_expr ... ok
Oct 15 11:41:22.285 INFO blam! test parser::tests::test_empty_sets ... ok
Oct 15 11:41:22.285 INFO blam! test prover::tests::test_axiom ... ok
Oct 15 11:41:22.285 INFO blam! test prover::tests::test_empty_expr ... ok
Oct 15 11:41:22.285 INFO blam! test prover::tests::test_complex ... ok
Oct 15 11:41:22.285 INFO blam! test prover::tests::test_l_false ... ok
Oct 15 11:41:22.285 INFO blam! test prover::tests::test_complex_unprovable ... ok
Oct 15 11:41:22.285 INFO blam! test prover::tests::test_l_and ... ok
Oct 15 11:41:22.286 INFO blam! test prover::tests::test_l_not ... ok
Oct 15 11:41:22.286 INFO blam! test prover::tests::test_r_and ... ok
Oct 15 11:41:22.287 INFO blam! test prover::tests::test_l_impl ... ok
Oct 15 11:41:22.287 INFO blam! test prover::tests::test_r_not ... ok
Oct 15 11:41:22.287 INFO blam! test prover::tests::test_r_or ... ok
Oct 15 11:41:22.287 INFO blam! test prover::tests::test_l_or ... ok
Oct 15 11:41:22.291 INFO blam! test prover::tests::test_r_impl ... ok
Oct 15 11:41:22.299 INFO blam! test parser::tests::test_empty_str ... ok
Oct 15 11:41:22.299 INFO blam! 
Oct 15 11:41:22.299 INFO blam! test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 15 11:41:22.300 INFO blam! 
Oct 15 11:41:22.303 INFO kablam! su: No module specific data is present
Oct 15 11:41:22.562 INFO running `"docker" "rm" "-f" "0454d5bb72928081c2d977e2b72c67d8f805291b154e31b277f0b428d2a1adde"`
Oct 15 11:41:22.711 INFO blam! 0454d5bb72928081c2d977e2b72c67d8f805291b154e31b277f0b428d2a1adde