Oct 11 07:09:35.689 INFO testing Dacit/sequent_prover against master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513 for rustdoc-test-static-cling
Oct 11 07:09:35.689 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen
Oct 11 07:09:35.689 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-2/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-2/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"`
Oct 11 07:09:36.922 INFO blam! 8e1ab0c8639027b4d38fecb05ec2b776f38d8961c96daf430a64ec70a595435b
Oct 11 07:09:36.930 INFO running `"docker" "start" "-a" "8e1ab0c8639027b4d38fecb05ec2b776f38d8961c96daf430a64ec70a595435b"`
Oct 11 07:09:40.559 INFO kablam! usermod: no changes
Oct 11 07:09:40.587 INFO kablam!    Compiling terminal_size v0.1.7
Oct 11 07:09:41.279 INFO kablam!    Compiling sequent_prover v0.1.0 (/source)
Oct 11 07:09:42.796 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 2.22s
Oct 11 07:09:42.797 INFO kablam! su: No module specific data is present
Oct 11 07:09:45.253 INFO running `"docker" "rm" "-f" "8e1ab0c8639027b4d38fecb05ec2b776f38d8961c96daf430a64ec70a595435b"`
Oct 11 07:09:45.342 INFO blam! 8e1ab0c8639027b4d38fecb05ec2b776f38d8961c96daf430a64ec70a595435b
Oct 11 07:09:45.344 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run
Oct 11 07:09:45.344 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-2/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-2/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"`
Oct 11 07:09:45.476 INFO blam! 1234d1fcb29b34328204784326486b3f3cc675d9399d8618d5b3e7c85c06eb30
Oct 11 07:09:45.481 INFO running `"docker" "start" "-a" "1234d1fcb29b34328204784326486b3f3cc675d9399d8618d5b3e7c85c06eb30"`
Oct 11 07:09:45.803 INFO kablam! usermod: no changes
Oct 11 07:09:45.837 INFO kablam!    Compiling sequent_prover v0.1.0 (/source)
Oct 11 07:09:47.573 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 1.75s
Oct 11 07:09:47.574 INFO kablam! su: No module specific data is present
Oct 11 07:09:47.816 INFO running `"docker" "rm" "-f" "1234d1fcb29b34328204784326486b3f3cc675d9399d8618d5b3e7c85c06eb30"`
Oct 11 07:09:47.919 INFO blam! 1234d1fcb29b34328204784326486b3f3cc675d9399d8618d5b3e7c85c06eb30
Oct 11 07:09:47.921 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen
Oct 11 07:09:47.921 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-2/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-2/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"`
Oct 11 07:09:48.091 INFO blam! dedad7bec3fcc7bed2142849e87e8d3826d5972c1ee411f2090e293a9aebcb22
Oct 11 07:09:48.093 INFO running `"docker" "start" "-a" "dedad7bec3fcc7bed2142849e87e8d3826d5972c1ee411f2090e293a9aebcb22"`
Oct 11 07:09:48.693 INFO kablam! usermod: no changes
Oct 11 07:09:48.723 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.01s
Oct 11 07:09:48.723 INFO kablam!      Running /target/debug/deps/sequent_prover-d75406a5ee3bb539
Oct 11 07:09:48.726 INFO blam! 
Oct 11 07:09:48.726 INFO blam! running 16 tests
Oct 11 07:09:48.727 INFO blam! test parser::tests::test_complex_expr ... ok
Oct 11 07:09:48.727 INFO blam! test parser::tests::test_empty_sets ... ok
Oct 11 07:09:48.727 INFO blam! test prover::tests::test_axiom ... ok
Oct 11 07:09:48.727 INFO blam! test prover::tests::test_complex ... ok
Oct 11 07:09:48.727 INFO blam! test prover::tests::test_empty_expr ... ok
Oct 11 07:09:48.727 INFO blam! test prover::tests::test_l_not ... ok
Oct 11 07:09:48.729 INFO blam! test prover::tests::test_complex_unprovable ... ok
Oct 11 07:09:48.729 INFO blam! test prover::tests::test_l_or ... ok
Oct 11 07:09:48.729 INFO blam! test prover::tests::test_l_and ... ok
Oct 11 07:09:48.729 INFO blam! test prover::tests::test_l_false ... ok
Oct 11 07:09:48.729 INFO blam! test prover::tests::test_r_or ... ok
Oct 11 07:09:48.730 INFO blam! test prover::tests::test_r_impl ... ok
Oct 11 07:09:48.731 INFO blam! test prover::tests::test_r_and ... ok
Oct 11 07:09:48.731 INFO blam! test prover::tests::test_l_impl ... ok
Oct 11 07:09:48.731 INFO blam! test prover::tests::test_r_not ... ok
Oct 11 07:09:48.750 INFO blam! test parser::tests::test_empty_str ... ok
Oct 11 07:09:48.750 INFO blam! 
Oct 11 07:09:48.750 INFO blam! test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 11 07:09:48.750 INFO blam! 
Oct 11 07:09:48.750 INFO kablam! su: No module specific data is present
Oct 11 07:09:49.019 INFO running `"docker" "rm" "-f" "dedad7bec3fcc7bed2142849e87e8d3826d5972c1ee411f2090e293a9aebcb22"`
Oct 11 07:09:49.098 INFO blam! dedad7bec3fcc7bed2142849e87e8d3826d5972c1ee411f2090e293a9aebcb22