Nov 01 21:55:59.151 INFO testing Dacit/sequent_prover against 1.30.0 for beta-1.31-1
Nov 01 21:55:59.151 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-0/1.30.0:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/beta-1.31-1/1.30.0:/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 +1.30.0 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.391 INFO blam! 8102667fcc14665cbd7fd53a6ab4653ee462dc103db17266e40b0e5e09b573a0
Nov 01 21:55:59.393 INFO running `"docker" "start" "-a" "8102667fcc14665cbd7fd53a6ab4653ee462dc103db17266e40b0e5e09b573a0"`
Nov 01 21:56:00.171 INFO kablam! usermod: no changes
Nov 01 21:56:00.263 INFO kablam!    Compiling terminal_size v0.1.7
Nov 01 21:56:00.815 INFO kablam!    Compiling sequent_prover v0.1.0 (/source)
Nov 01 21:56:02.222 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 2.04s
Nov 01 21:56:02.226 INFO kablam! su: No module specific data is present
Nov 01 21:56:02.587 INFO running `"docker" "rm" "-f" "8102667fcc14665cbd7fd53a6ab4653ee462dc103db17266e40b0e5e09b573a0"`
Nov 01 21:56:02.795 INFO blam! 8102667fcc14665cbd7fd53a6ab4653ee462dc103db17266e40b0e5e09b573a0
Nov 01 21:56:02.803 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-0/1.30.0:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/beta-1.31-1/1.30.0:/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 +1.30.0 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:03.092 INFO blam! 07f65d1bb64ec59dc25585a7bc648847768dbe967e5bc9484194b9885fbd237b
Nov 01 21:56:03.095 INFO running `"docker" "start" "-a" "07f65d1bb64ec59dc25585a7bc648847768dbe967e5bc9484194b9885fbd237b"`
Nov 01 21:56:03.692 INFO kablam! usermod: no changes
Nov 01 21:56:03.738 INFO kablam!    Compiling sequent_prover v0.1.0 (/source)
Nov 01 21:56:05.323 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 1.61s
Nov 01 21:56:05.324 INFO kablam! su: No module specific data is present
Nov 01 21:56:10.233 INFO running `"docker" "rm" "-f" "07f65d1bb64ec59dc25585a7bc648847768dbe967e5bc9484194b9885fbd237b"`
Nov 01 21:56:10.391 INFO blam! 07f65d1bb64ec59dc25585a7bc648847768dbe967e5bc9484194b9885fbd237b
Nov 01 21:56:10.395 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-0/1.30.0:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/beta-1.31-1/1.30.0:/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 +1.30.0 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.620 INFO blam! 0788a4903d9a613f6b4805f8e33d836938a4562cb98004b3304fe40d1b5035d0
Nov 01 21:56:10.623 INFO running `"docker" "start" "-a" "0788a4903d9a613f6b4805f8e33d836938a4562cb98004b3304fe40d1b5035d0"`
Nov 01 21:56:11.670 INFO kablam! usermod: no changes
Nov 01 21:56:11.799 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.09s
Nov 01 21:56:11.807 INFO kablam!      Running /target/debug/deps/sequent_prover-ceb927c26eac533f
Nov 01 21:56:11.819 INFO blam! 
Nov 01 21:56:11.819 INFO blam! running 16 tests
Nov 01 21:56:11.819 INFO blam! test parser::tests::test_complex_expr ... ok
Nov 01 21:56:11.819 INFO blam! test parser::tests::test_empty_sets ... ok
Nov 01 21:56:11.819 INFO blam! test prover::tests::test_empty_expr ... ok
Nov 01 21:56:11.823 INFO blam! test prover::tests::test_l_and ... ok
Nov 01 21:56:11.823 INFO blam! test prover::tests::test_complex_unprovable ... ok
Nov 01 21:56:11.823 INFO blam! test prover::tests::test_l_false ... ok
Nov 01 21:56:11.823 INFO blam! test prover::tests::test_l_impl ... ok
Nov 01 21:56:11.823 INFO blam! test prover::tests::test_complex ... ok
Nov 01 21:56:11.823 INFO blam! test prover::tests::test_axiom ... ok
Nov 01 21:56:11.823 INFO blam! test prover::tests::test_r_impl ... ok
Nov 01 21:56:11.823 INFO blam! test prover::tests::test_r_not ... ok
Nov 01 21:56:11.835 INFO blam! test prover::tests::test_r_or ... ok
Nov 01 21:56:11.835 INFO blam! test prover::tests::test_l_or ... ok
Nov 01 21:56:11.835 INFO blam! test prover::tests::test_l_not ... ok
Nov 01 21:56:11.835 INFO blam! test prover::tests::test_r_and ... ok
Nov 01 21:56:11.900 INFO blam! test parser::tests::test_empty_str ... ok
Nov 01 21:56:11.900 INFO blam! 
Nov 01 21:56:11.900 INFO blam! test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 01 21:56:11.900 INFO blam! 
Nov 01 21:56:11.909 INFO kablam! su: No module specific data is present
Nov 01 21:56:12.581 INFO running `"docker" "rm" "-f" "0788a4903d9a613f6b4805f8e33d836938a4562cb98004b3304fe40d1b5035d0"`
Nov 01 21:56:12.927 INFO blam! 0788a4903d9a613f6b4805f8e33d836938a4562cb98004b3304fe40d1b5035d0
