Nov 03 01:43:55.893 INFO testing boolean_expression-0.3.8 against 1.30.0 for beta-1.31-1
Nov 03 01:43:55.893 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 03 01:43:56.059 INFO blam! 39b83469ea50784c796bdc1db8af5456d38a429f41f8237e591c8d321312cf8d
Nov 03 01:43:56.061 INFO running `"docker" "start" "-a" "39b83469ea50784c796bdc1db8af5456d38a429f41f8237e591c8d321312cf8d"`
Nov 03 01:43:56.871 INFO kablam! usermod: no changes
Nov 03 01:43:56.983 INFO kablam!    Compiling proc-macro2 v0.4.20
Nov 03 01:43:56.983 INFO kablam!    Compiling unindent v0.1.3
Nov 03 01:44:01.294 INFO kablam!    Compiling quote v0.6.9
Nov 03 01:44:02.250 INFO kablam!    Compiling syn v0.15.17
Nov 03 01:44:09.331 INFO kablam!    Compiling indoc-impl v0.2.8
Nov 03 01:44:15.631 INFO kablam!    Compiling indoc v0.2.8
Nov 03 01:44:16.031 INFO kablam!    Compiling boolean_expression v0.3.8 (/source)
Nov 03 01:44:19.474 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 22.57s
Nov 03 01:44:19.479 INFO kablam! su: No module specific data is present
Nov 03 01:44:20.219 INFO running `"docker" "rm" "-f" "39b83469ea50784c796bdc1db8af5456d38a429f41f8237e591c8d321312cf8d"`
Nov 03 01:44:20.486 INFO blam! 39b83469ea50784c796bdc1db8af5456d38a429f41f8237e591c8d321312cf8d
Nov 03 01:44:20.504 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 03 01:44:22.281 INFO blam! fa438d180c96d15ecb8c45a5897e149e02ddd11992685d661c78a9a11a19556f
Nov 03 01:44:22.282 INFO running `"docker" "start" "-a" "fa438d180c96d15ecb8c45a5897e149e02ddd11992685d661c78a9a11a19556f"`
Nov 03 01:44:23.601 INFO kablam! usermod: no changes
Nov 03 01:44:23.714 INFO kablam!    Compiling boolean_expression v0.3.8 (/source)
Nov 03 01:44:29.168 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 5.52s
Nov 03 01:44:29.171 INFO kablam! su: No module specific data is present
Nov 03 01:44:29.954 INFO running `"docker" "rm" "-f" "fa438d180c96d15ecb8c45a5897e149e02ddd11992685d661c78a9a11a19556f"`
Nov 03 01:44:30.230 INFO blam! fa438d180c96d15ecb8c45a5897e149e02ddd11992685d661c78a9a11a19556f
Nov 03 01:44:30.233 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 03 01:44:30.661 INFO blam! 8eb8c8c30c5c9795f4ce30319193c2f95fbb29349829fae5b7bcd8677a43427b
Nov 03 01:44:30.668 INFO running `"docker" "start" "-a" "8eb8c8c30c5c9795f4ce30319193c2f95fbb29349829fae5b7bcd8677a43427b"`
Nov 03 01:44:31.702 INFO kablam! usermod: no changes
Nov 03 01:44:31.807 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.07s
Nov 03 01:44:31.807 INFO kablam!      Running /target/debug/deps/boolean_expression-2254f12d66cbdae9
Nov 03 01:44:31.815 INFO blam! 
Nov 03 01:44:31.815 INFO blam! running 24 tests
Nov 03 01:44:31.815 INFO blam! test bdd::test::persist_bdd ... ok
Nov 03 01:44:31.828 INFO blam! test bdd::test::bdd_to_expr ... ok
Nov 03 01:44:31.828 INFO blam! test bdd::test::max_sat_min_var ... ok
Nov 03 01:44:31.828 INFO blam! test bdd::test::max_sat ... ok
Nov 03 01:44:31.828 INFO blam! test bdd::test::load_bdd ... ok
Nov 03 01:44:31.828 INFO blam! test bdd::test::sat_one ... ok
Nov 03 01:44:31.828 INFO blam! test bdd::test::bdd_eval ... ok
Nov 03 01:44:31.828 INFO blam! test bdd::test::dot_output ... ok
Nov 03 01:44:31.828 INFO blam! test idd::test::test_idd_eq ... ok
Nov 03 01:44:31.828 INFO blam! test cubes::test::cube_merge ... ok
Nov 03 01:44:31.828 INFO blam! test cubes::test::cube_with_var ... ok
Nov 03 01:44:31.828 INFO blam! test cubes::test::cube_ord ... ok
Nov 03 01:44:31.828 INFO blam! test idd::test::test_idd_from_bdd ... ok
Nov 03 01:44:31.828 INFO blam! test idd::test::test_idd_max_value ... ok
Nov 03 01:44:31.828 INFO blam! test idd::test::test_idd_term ... ok
Nov 03 01:44:31.828 INFO blam! test simplify::test::demorgan_and ... ok
Nov 03 01:44:31.828 INFO blam! test simplify::test::demorgan_or ... ok
Nov 03 01:44:31.828 INFO blam! test simplify::test::shortcircuit_and ... ok
Nov 03 01:44:31.828 INFO blam! test simplify::test::distributive_law ... ok
Nov 03 01:44:31.828 INFO blam! test simplify::test::shortcircuit_or ... ok
Nov 03 01:44:31.835 INFO blam! test cubes::test::cube_eq ... ok
Nov 03 01:44:31.835 INFO blam! test cubes::test::cubelist_merge ... ok
Nov 03 01:44:31.835 INFO blam! test idd::test::test_idd_const ... ok
Nov 03 01:44:32.043 INFO blam! test bdd::test::bdd_exhaustive_exprs ... ok
Nov 03 01:44:32.043 INFO kablam!    Doc-tests boolean_expression
Nov 03 01:44:32.043 INFO blam! 
Nov 03 01:44:32.044 INFO blam! test result: ok. 24 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 03 01:44:32.044 INFO blam! 
Nov 03 01:44:34.474 INFO blam! 
Nov 03 01:44:34.476 INFO blam! running 2 tests
Nov 03 01:44:38.303 INFO blam! test src/expr.rs - expr::Expr<T>::simplify_via_laws (line 130) ... ok
Nov 03 01:44:38.409 INFO blam! test src/expr.rs - expr::Expr<T>::simplify_via_bdd (line 159) ... ok
Nov 03 01:44:38.409 INFO blam! 
Nov 03 01:44:38.409 INFO blam! test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 03 01:44:38.409 INFO blam! 
Nov 03 01:44:38.417 INFO kablam! su: No module specific data is present
Nov 03 01:44:38.712 INFO running `"docker" "rm" "-f" "8eb8c8c30c5c9795f4ce30319193c2f95fbb29349829fae5b7bcd8677a43427b"`
Nov 03 01:44:38.810 INFO blam! 8eb8c8c30c5c9795f4ce30319193c2f95fbb29349829fae5b7bcd8677a43427b
