Nov 01 21:55:58.960 INFO testing Dacit/sequent_prover against beta-2018-10-30 for beta-1.31-1
Nov 01 21:55:58.960 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-6/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/beta-1.31-1/beta-2018-10-30:/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 +beta-2018-10-30 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"`
Nov 01 21:55:59.091 INFO blam! d17325492f6eea4ee97bb51ffcd6fa65c37c2872f93f0f8fdd505bc1abbc313c
Nov 01 21:55:59.093 INFO running `"docker" "start" "-a" "d17325492f6eea4ee97bb51ffcd6fa65c37c2872f93f0f8fdd505bc1abbc313c"`
Nov 01 21:55:59.654 INFO kablam! usermod: no changes
Nov 01 21:55:59.739 INFO kablam!    Compiling terminal_size v0.1.7
Nov 01 21:56:00.311 INFO kablam!    Compiling sequent_prover v0.1.0 (/source)
Nov 01 21:56:01.811 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 2.12s
Nov 01 21:56:01.812 INFO kablam! su: No module specific data is present
Nov 01 21:56:02.143 INFO running `"docker" "rm" "-f" "d17325492f6eea4ee97bb51ffcd6fa65c37c2872f93f0f8fdd505bc1abbc313c"`
Nov 01 21:56:02.245 INFO blam! d17325492f6eea4ee97bb51ffcd6fa65c37c2872f93f0f8fdd505bc1abbc313c
Nov 01 21:56:02.251 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-6/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/beta-1.31-1/beta-2018-10-30:/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 +beta-2018-10-30 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"`
Nov 01 21:56:02.477 INFO blam! 04daaa86edd5816700ce726592c56f213453a3977d765f3f9d4650a69b06758a
Nov 01 21:56:02.479 INFO running `"docker" "start" "-a" "04daaa86edd5816700ce726592c56f213453a3977d765f3f9d4650a69b06758a"`
Nov 01 21:56:03.127 INFO kablam! usermod: no changes
Nov 01 21:56:03.165 INFO kablam!    Compiling sequent_prover v0.1.0 (/source)
Nov 01 21:56:04.707 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 1.56s
Nov 01 21:56:04.709 INFO kablam! su: No module specific data is present
Nov 01 21:56:10.049 INFO running `"docker" "rm" "-f" "04daaa86edd5816700ce726592c56f213453a3977d765f3f9d4650a69b06758a"`
Nov 01 21:56:10.224 INFO blam! 04daaa86edd5816700ce726592c56f213453a3977d765f3f9d4650a69b06758a
Nov 01 21:56:10.226 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-6/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/beta-1.31-1/beta-2018-10-30:/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 +beta-2018-10-30 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"`
Nov 01 21:56:10.451 INFO blam! 45e42509417b37bf6b3672ebccb9d145df0f7b94f7ee3df41f38cc2b9bc24e17
Nov 01 21:56:10.455 INFO running `"docker" "start" "-a" "45e42509417b37bf6b3672ebccb9d145df0f7b94f7ee3df41f38cc2b9bc24e17"`
Nov 01 21:56:10.950 INFO kablam! usermod: no changes
Nov 01 21:56:11.091 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.08s
Nov 01 21:56:11.107 INFO kablam!      Running /target/debug/deps/sequent_prover-063e983957d7875d
Nov 01 21:56:11.107 INFO blam! 
Nov 01 21:56:11.107 INFO blam! running 16 tests
Nov 01 21:56:11.151 INFO blam! test prover::tests::test_complex ... ok
Nov 01 21:56:11.171 INFO blam! test parser::tests::test_empty_sets ... ok
Nov 01 21:56:11.187 INFO blam! test prover::tests::test_complex_unprovable ... ok
Nov 01 21:56:11.187 INFO blam! test prover::tests::test_empty_expr ... ok
Nov 01 21:56:11.187 INFO blam! test prover::tests::test_l_false ... ok
Nov 01 21:56:11.187 INFO blam! test parser::tests::test_complex_expr ... ok
Nov 01 21:56:11.187 INFO blam! test prover::tests::test_axiom ... ok
Nov 01 21:56:11.188 INFO blam! test prover::tests::test_r_not ... ok
Nov 01 21:56:11.188 INFO blam! test prover::tests::test_l_not ... ok
Nov 01 21:56:11.188 INFO blam! test prover::tests::test_r_impl ... ok
Nov 01 21:56:11.188 INFO blam! test prover::tests::test_l_or ... ok
Nov 01 21:56:11.188 INFO blam! test prover::tests::test_r_or ... ok
Nov 01 21:56:11.195 INFO blam! test prover::tests::test_l_and ... ok
Nov 01 21:56:11.195 INFO blam! test prover::tests::test_l_impl ... ok
Nov 01 21:56:11.195 INFO blam! test prover::tests::test_r_and ... ok
Nov 01 21:56:11.235 INFO blam! test parser::tests::test_empty_str ... ok
Nov 01 21:56:11.235 INFO blam! 
Nov 01 21:56:11.235 INFO blam! test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 01 21:56:11.235 INFO blam! 
Nov 01 21:56:11.235 INFO kablam! su: No module specific data is present
Nov 01 21:56:12.303 INFO running `"docker" "rm" "-f" "45e42509417b37bf6b3672ebccb9d145df0f7b94f7ee3df41f38cc2b9bc24e17"`
Nov 01 21:56:12.567 INFO blam! 45e42509417b37bf6b3672ebccb9d145df0f7b94f7ee3df41f38cc2b9bc24e17
