Dec 01 17:28:33.836 INFO testing flammel/rustasata against 1.30.1 for beta-1.31-5
Dec 01 17:28:33.836 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-6/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/beta-1.31-5/1.30.1:/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.1 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"`
Dec 01 17:28:34.579 INFO [stdout] 1ac30d00a7cf12c47dee068b1a3f7cc911ef6c657815bde7e10a7fee3bfb838f
Dec 01 17:28:34.581 INFO running `"docker" "start" "-a" "1ac30d00a7cf12c47dee068b1a3f7cc911ef6c657815bde7e10a7fee3bfb838f"`
Dec 01 17:28:36.470 INFO [stderr] usermod: no changes
Dec 01 17:28:36.649 INFO [stderr]    Compiling indexmap v0.4.1
Dec 01 17:28:38.199 INFO [stderr]    Compiling priority-queue v0.5.2
Dec 01 17:28:39.119 INFO [stderr]    Compiling rustasata v0.1.0 (/source)
Dec 01 17:28:44.802 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 8.31s
Dec 01 17:28:44.811 INFO [stderr] su: No module specific data is present
Dec 01 17:28:45.879 INFO running `"docker" "inspect" "1ac30d00a7cf12c47dee068b1a3f7cc911ef6c657815bde7e10a7fee3bfb838f"`
Dec 01 17:28:46.135 INFO running `"docker" "rm" "-f" "1ac30d00a7cf12c47dee068b1a3f7cc911ef6c657815bde7e10a7fee3bfb838f"`
Dec 01 17:28:46.339 INFO [stdout] 1ac30d00a7cf12c47dee068b1a3f7cc911ef6c657815bde7e10a7fee3bfb838f
Dec 01 17:28:46.341 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-6/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/beta-1.31-5/1.30.1:/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.1 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"`
Dec 01 17:28:46.763 INFO [stdout] 1a4a745e932edd3189ea06e66182f5e877978885bde1ce79a42ace330da98571
Dec 01 17:28:46.765 INFO running `"docker" "start" "-a" "1a4a745e932edd3189ea06e66182f5e877978885bde1ce79a42ace330da98571"`
Dec 01 17:28:48.435 INFO [stderr] usermod: no changes
Dec 01 17:28:48.721 INFO [stderr]    Compiling criterion-stats v0.2.5
Dec 01 17:28:48.721 INFO [stderr]    Compiling itertools-num v0.1.2
Dec 01 17:28:48.731 INFO [stderr]    Compiling csv v1.0.1
Dec 01 17:28:48.743 INFO [stderr]    Compiling chrono v0.4.6
Dec 01 17:28:48.755 INFO [stderr]    Compiling regex v1.0.4
Dec 01 17:28:56.690 INFO [stderr]    Compiling simplelog v0.5.2
Dec 01 17:29:05.455 INFO [stderr]    Compiling handlebars v0.32.4
Dec 01 17:29:13.911 INFO [stderr]    Compiling criterion v0.2.5
Dec 01 17:29:24.179 INFO [stderr]    Compiling rustasata v0.1.0 (/source)
Dec 01 17:29:27.537 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 39.09s
Dec 01 17:29:27.549 INFO [stderr] su: No module specific data is present
Dec 01 17:29:28.491 INFO running `"docker" "inspect" "1a4a745e932edd3189ea06e66182f5e877978885bde1ce79a42ace330da98571"`
Dec 01 17:29:28.779 INFO running `"docker" "rm" "-f" "1a4a745e932edd3189ea06e66182f5e877978885bde1ce79a42ace330da98571"`
Dec 01 17:29:29.071 INFO [stdout] 1a4a745e932edd3189ea06e66182f5e877978885bde1ce79a42ace330da98571
Dec 01 17:29:29.083 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-6/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/beta-1.31-5/1.30.1:/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.1 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"`
Dec 01 17:29:29.560 INFO [stdout] cb491d4307f8eeac7fa0ee0f4ffd9e3be2b3decefd466351fec603838c96258d
Dec 01 17:29:29.562 INFO running `"docker" "start" "-a" "cb491d4307f8eeac7fa0ee0f4ffd9e3be2b3decefd466351fec603838c96258d"`
Dec 01 17:29:31.622 INFO [stderr] usermod: no changes
Dec 01 17:29:31.819 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.16s
Dec 01 17:29:31.839 INFO [stderr]      Running /target/debug/deps/rustasata-a8c66dfa2819d53f
Dec 01 17:29:31.845 INFO [stdout] 
Dec 01 17:29:31.845 INFO [stdout] running 4 tests
Dec 01 17:29:31.845 INFO [stdout] test clause::tests::propagate_swaps_literals_and_returns_new_watched ... ok
Dec 01 17:29:31.845 INFO [stdout] test clause::tests::watched_literals_returns_unit ... ok
Dec 01 17:29:31.846 INFO [stdout] test clause::tests::watched_literals_returns_first_two ... ok
Dec 01 17:29:31.847 INFO [stderr]      Running /target/debug/deps/rustasata-0e8052c023bf3eb0
Dec 01 17:29:31.847 INFO [stdout] test solver::tests::backtrack ... ok
Dec 01 17:29:31.847 INFO [stdout] 
Dec 01 17:29:31.847 INFO [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 01 17:29:31.847 INFO [stdout] 
Dec 01 17:29:31.849 INFO [stdout] 
Dec 01 17:29:31.849 INFO [stdout] running 0 tests
Dec 01 17:29:31.849 INFO [stdout] 
Dec 01 17:29:31.849 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 01 17:29:31.849 INFO [stdout] 
Dec 01 17:29:31.849 INFO [stderr]      Running /target/debug/deps/tests-6df2a6d45b66c3eb
Dec 01 17:29:31.852 INFO [stdout] 
Dec 01 17:29:31.852 INFO [stdout] running 27 tests
Dec 01 17:29:31.853 INFO [stdout] test test_contradiction ... ok
Dec 01 17:29:31.853 INFO [stdout] test test_bcp_5 ... ok
Dec 01 17:29:31.853 INFO [stdout] test test_bcp_4 ... ok
Dec 01 17:29:31.854 INFO [stdout] test test_bcp_3 ... ok
Dec 01 17:29:31.854 INFO [stdout] test test_file_easy_1 ... ignored
Dec 01 17:29:31.854 INFO [stdout] test test_file_satlib_uf125_538 ... ignored
Dec 01 17:29:31.854 INFO [stdout] test test_file_satlib_uf20_91 ... ignored
Dec 01 17:29:31.854 INFO [stdout] test test_file_satlib_uuf125_538 ... ignored
Dec 01 17:29:31.854 INFO [stdout] test test_file_trivial_1 ... ignored
Dec 01 17:29:31.854 INFO [stdout] test test_file_trivial_2 ... ignored
Dec 01 17:29:31.854 INFO [stdout] test test_file_trivial_3 ... ignored
Dec 01 17:29:31.854 INFO [stdout] test test_file_trivial_4 ... ignored
Dec 01 17:29:31.854 INFO [stdout] test test_file_trivial_5 ... ignored
Dec 01 17:29:31.854 INFO [stdout] test test_file_trivial_6 ... ignored
Dec 01 17:29:31.854 INFO [stdout] test test_file_trivial_7 ... ignored
Dec 01 17:29:31.858 INFO [stdout] test test_bcp_1 ... ok
Dec 01 17:29:31.859 INFO [stdout] test test_double_negative ... ok
Dec 01 17:29:31.859 INFO [stdout] test test_tiny_sat_instance_1 ... ok
Dec 01 17:29:31.859 INFO [stdout] test test_bcp_6 ... ok
Dec 01 17:29:31.859 INFO [stdout] test test_bcp_7 ... ok
Dec 01 17:29:31.859 INFO [stdout] test test_tiny_sat_instance_2 ... ok
Dec 01 17:29:31.859 INFO [stdout] test test_tiny_sat_instance_3 ... ok
Dec 01 17:29:31.859 INFO [stdout] test test_tiny_sat_instance_4 ... ok
Dec 01 17:29:31.859 INFO [stdout] test test_double_positive ... ok
Dec 01 17:29:31.859 INFO [stdout] test test_empty_formula ... ok
Dec 01 17:29:31.859 INFO [stdout] test test_bcp_2 ... ok
Dec 01 17:29:31.859 INFO [stdout] test test_one_clause_duplicate_literals ... ok
Dec 01 17:29:31.859 INFO [stdout] 
Dec 01 17:29:31.859 INFO [stdout] test result: ok. 16 passed; 0 failed; 11 ignored; 0 measured; 0 filtered out
Dec 01 17:29:31.859 INFO [stdout] 
Dec 01 17:29:31.862 INFO [stderr]    Doc-tests rustasata
Dec 01 17:29:32.795 INFO [stdout] 
Dec 01 17:29:32.795 INFO [stdout] running 0 tests
Dec 01 17:29:32.795 INFO [stdout] 
Dec 01 17:29:32.795 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 01 17:29:32.795 INFO [stdout] 
Dec 01 17:29:32.800 INFO [stderr] su: No module specific data is present
Dec 01 17:29:33.756 INFO running `"docker" "inspect" "cb491d4307f8eeac7fa0ee0f4ffd9e3be2b3decefd466351fec603838c96258d"`
Dec 01 17:29:33.993 INFO running `"docker" "rm" "-f" "cb491d4307f8eeac7fa0ee0f4ffd9e3be2b3decefd466351fec603838c96258d"`
Dec 01 17:29:34.239 INFO [stdout] cb491d4307f8eeac7fa0ee0f4ffd9e3be2b3decefd466351fec603838c96258d
