Nov 03 01:43:54.952 INFO testing boolean_expression-0.3.8 against beta-2018-10-30 for beta-1.31-1
Nov 03 01:43:54.952 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-1/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-1/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 03 01:43:55.174 INFO blam! cb44495c397bc6f11b421ad2be4ac05c3f6064e84b9905f4fbb3ef85b2ad53ff
Nov 03 01:43:55.177 INFO running `"docker" "start" "-a" "cb44495c397bc6f11b421ad2be4ac05c3f6064e84b9905f4fbb3ef85b2ad53ff"`
Nov 03 01:43:55.638 INFO kablam! usermod: no changes
Nov 03 01:43:55.743 INFO kablam!    Compiling syn v0.15.17
Nov 03 01:44:01.923 INFO kablam!    Compiling indoc-impl v0.2.8
Nov 03 01:44:06.983 INFO kablam!    Compiling indoc v0.2.8
Nov 03 01:44:07.256 INFO kablam!    Compiling boolean_expression v0.3.8 (/source)
Nov 03 01:44:10.379 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 14.71s
Nov 03 01:44:10.383 INFO kablam! su: No module specific data is present
Nov 03 01:44:11.275 INFO running `"docker" "rm" "-f" "cb44495c397bc6f11b421ad2be4ac05c3f6064e84b9905f4fbb3ef85b2ad53ff"`
Nov 03 01:44:11.496 INFO blam! cb44495c397bc6f11b421ad2be4ac05c3f6064e84b9905f4fbb3ef85b2ad53ff
Nov 03 01:44:11.502 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-1/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-1/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 03 01:44:11.963 INFO blam! 21bcbe08846ed6ac8041f29aaa2758d2d2114035eba3aec252c759f9906d9e4c
Nov 03 01:44:11.967 INFO running `"docker" "start" "-a" "21bcbe08846ed6ac8041f29aaa2758d2d2114035eba3aec252c759f9906d9e4c"`
Nov 03 01:44:13.373 INFO kablam! usermod: no changes
Nov 03 01:44:13.451 INFO kablam!    Compiling boolean_expression v0.3.8 (/source)
Nov 03 01:44:19.139 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 5.74s
Nov 03 01:44:19.147 INFO kablam! su: No module specific data is present
Nov 03 01:44:19.802 INFO running `"docker" "rm" "-f" "21bcbe08846ed6ac8041f29aaa2758d2d2114035eba3aec252c759f9906d9e4c"`
Nov 03 01:44:20.215 INFO blam! 21bcbe08846ed6ac8041f29aaa2758d2d2114035eba3aec252c759f9906d9e4c
Nov 03 01:44:20.236 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-1/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-1/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 03 01:44:22.057 INFO blam! 62b87de627415e68a7e6a8ba825fd8655038883d6445a5c22fe17413178957a6
Nov 03 01:44:22.060 INFO running `"docker" "start" "-a" "62b87de627415e68a7e6a8ba825fd8655038883d6445a5c22fe17413178957a6"`
Nov 03 01:44:23.075 INFO kablam! usermod: no changes
Nov 03 01:44:23.199 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.06s
Nov 03 01:44:23.210 INFO kablam!      Running /target/debug/deps/boolean_expression-435bf335108906af
Nov 03 01:44:23.222 INFO blam! 
Nov 03 01:44:23.223 INFO blam! running 24 tests
Nov 03 01:44:23.223 INFO blam! test bdd::test::dot_output ... ok
Nov 03 01:44:23.223 INFO blam! test bdd::test::bdd_eval ... ok
Nov 03 01:44:23.223 INFO blam! test bdd::test::bdd_to_expr ... ok
Nov 03 01:44:23.223 INFO blam! test cubes::test::cube_eq ... ok
Nov 03 01:44:23.223 INFO blam! test bdd::test::persist_bdd ... ok
Nov 03 01:44:23.223 INFO blam! test bdd::test::max_sat ... ok
Nov 03 01:44:23.223 INFO blam! test cubes::test::cube_ord ... ok
Nov 03 01:44:23.223 INFO blam! test bdd::test::max_sat_min_var ... ok
Nov 03 01:44:23.223 INFO blam! test cubes::test::cube_merge ... ok
Nov 03 01:44:23.223 INFO blam! test bdd::test::load_bdd ... ok
Nov 03 01:44:23.223 INFO blam! test bdd::test::sat_one ... ok
Nov 03 01:44:23.223 INFO blam! test cubes::test::cube_with_var ... ok
Nov 03 01:44:23.223 INFO blam! test idd::test::test_idd_max_value ... ok
Nov 03 01:44:23.223 INFO blam! test idd::test::test_idd_term ... ok
Nov 03 01:44:23.223 INFO blam! test simplify::test::demorgan_and ... ok
Nov 03 01:44:23.223 INFO blam! test idd::test::test_idd_from_bdd ... ok
Nov 03 01:44:23.223 INFO blam! test idd::test::test_idd_eq ... ok
Nov 03 01:44:23.223 INFO blam! test idd::test::test_idd_const ... ok
Nov 03 01:44:23.223 INFO blam! test cubes::test::cubelist_merge ... ok
Nov 03 01:44:23.223 INFO blam! test simplify::test::demorgan_or ... ok
Nov 03 01:44:23.223 INFO blam! test simplify::test::distributive_law ... ok
Nov 03 01:44:23.223 INFO blam! test simplify::test::shortcircuit_and ... ok
Nov 03 01:44:23.223 INFO blam! test simplify::test::shortcircuit_or ... ok
Nov 03 01:44:23.444 INFO blam! test bdd::test::bdd_exhaustive_exprs ... ok
Nov 03 01:44:23.444 INFO kablam!    Doc-tests boolean_expression
Nov 03 01:44:23.444 INFO blam! 
Nov 03 01:44:23.444 INFO blam! test result: ok. 24 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 03 01:44:23.445 INFO blam! 
Nov 03 01:44:25.891 INFO blam! 
Nov 03 01:44:25.891 INFO blam! running 2 tests
Nov 03 01:44:30.755 INFO blam! test src/expr.rs - expr::Expr<T>::simplify_via_laws (line 130) ... ok
Nov 03 01:44:30.803 INFO blam! test src/expr.rs - expr::Expr<T>::simplify_via_bdd (line 159) ... ok
Nov 03 01:44:30.803 INFO blam! 
Nov 03 01:44:30.806 INFO blam! test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 03 01:44:30.806 INFO blam! 
Nov 03 01:44:30.816 INFO kablam! su: No module specific data is present
Nov 03 01:44:31.573 INFO running `"docker" "rm" "-f" "62b87de627415e68a7e6a8ba825fd8655038883d6445a5c22fe17413178957a6"`
Nov 03 01:44:31.931 INFO blam! 62b87de627415e68a7e6a8ba825fd8655038883d6445a5c22fe17413178957a6
