Nov 18 16:23:32.045 INFO testing debug_sat-0.4.0 against try#2e026d6e5d7621634147ad4c8074f1d964dbb1be for pr-55982
Nov 18 16:23:32.045 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-0/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-55982/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/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 +2e026d6e5d7621634147ad4c8074f1d964dbb1be-alt build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 18 16:23:32.300 INFO [stdout] 967d4be298e7684bef88349a9ea400278d04fa43c1d07818762e4f5eff5ecb20
Nov 18 16:23:32.308 INFO running `"docker" "start" "-a" "967d4be298e7684bef88349a9ea400278d04fa43c1d07818762e4f5eff5ecb20"`
Nov 18 16:23:32.944 INFO [stderr] usermod: no changes
Nov 18 16:23:32.973 INFO [stderr]    Compiling debug_sat v0.4.0 (/source)
Nov 18 16:23:34.235 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.27s
Nov 18 16:23:34.235 INFO [stderr] su: No module specific data is present
Nov 18 16:23:34.975 INFO running `"docker" "inspect" "967d4be298e7684bef88349a9ea400278d04fa43c1d07818762e4f5eff5ecb20"`
Nov 18 16:23:35.218 INFO running `"docker" "rm" "-f" "967d4be298e7684bef88349a9ea400278d04fa43c1d07818762e4f5eff5ecb20"`
Nov 18 16:23:35.353 INFO [stdout] 967d4be298e7684bef88349a9ea400278d04fa43c1d07818762e4f5eff5ecb20
Nov 18 16:23:35.359 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-0/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-55982/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/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 +2e026d6e5d7621634147ad4c8074f1d964dbb1be-alt test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 18 16:23:35.679 INFO [stdout] 5ebdf43c42555a744db306d0d3c7a44e823031acc7809c5b7db718975559a986
Nov 18 16:23:35.681 INFO running `"docker" "start" "-a" "5ebdf43c42555a744db306d0d3c7a44e823031acc7809c5b7db718975559a986"`
Nov 18 16:23:36.693 INFO [stderr] usermod: no changes
Nov 18 16:23:36.734 INFO [stderr]    Compiling debug_sat v0.4.0 (/source)
Nov 18 16:23:39.130 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 2.40s
Nov 18 16:23:39.135 INFO [stderr] su: No module specific data is present
Nov 18 16:23:39.655 INFO running `"docker" "inspect" "5ebdf43c42555a744db306d0d3c7a44e823031acc7809c5b7db718975559a986"`
Nov 18 16:23:39.832 INFO running `"docker" "rm" "-f" "5ebdf43c42555a744db306d0d3c7a44e823031acc7809c5b7db718975559a986"`
Nov 18 16:23:39.988 INFO [stdout] 5ebdf43c42555a744db306d0d3c7a44e823031acc7809c5b7db718975559a986
Nov 18 16:23:39.992 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-0/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-55982/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/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 +2e026d6e5d7621634147ad4c8074f1d964dbb1be-alt test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 18 16:23:40.311 INFO [stdout] b76c587cf0c121d401caa90fd767b10692bcf02423614d707434880deda26d32
Nov 18 16:23:40.321 INFO running `"docker" "start" "-a" "b76c587cf0c121d401caa90fd767b10692bcf02423614d707434880deda26d32"`
Nov 18 16:23:40.973 INFO [stderr] usermod: no changes
Nov 18 16:23:41.003 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.01s
Nov 18 16:23:41.003 INFO [stderr]      Running /target/debug/deps/debug_sat-c73ebf29291e895a
Nov 18 16:23:41.008 INFO [stdout] 
Nov 18 16:23:41.008 INFO [stdout] running 47 tests
Nov 18 16:23:41.008 INFO [stdout] test tests::and_commutative ... ok
Nov 18 16:23:41.009 INFO [stdout] test tests::eq_commutative ... ok
Nov 18 16:23:41.023 INFO [stdout] test tests::false_and ... ok
Nov 18 16:23:41.023 INFO [stdout] test tests::eq_imply ... ok
Nov 18 16:23:41.023 INFO [stdout] test tests::eq_or ... ok
Nov 18 16:23:41.023 INFO [stdout] test tests::eq_true ... ok
Nov 18 16:23:41.023 INFO [stdout] test tests::eq_and ... ok
Nov 18 16:23:41.023 INFO [stdout] test tests::neq_and ... ok
Nov 18 16:23:41.023 INFO [stdout] test tests::invert ... ok
Nov 18 16:23:41.024 INFO [stdout] test tests::false_imply ... ok
Nov 18 16:23:41.024 INFO [stdout] test tests::and_true ... ok
Nov 18 16:23:41.027 INFO [stdout] test tests::false_eq ... ok
Nov 18 16:23:41.031 INFO [stdout] test tests::paradox ... ok
Nov 18 16:23:41.031 INFO [stdout] test tests::path_not_and ... ok
Nov 18 16:23:41.031 INFO [stdout] test tests::path_not_not ... ok
Nov 18 16:23:41.031 INFO [stdout] test tests::path_not_or ... ok
Nov 18 16:23:41.031 INFO [stdout] test tests::path_or_not ... ok
Nov 18 16:23:41.033 INFO [stdout] test tests::neq_imply ... ok
Nov 18 16:23:41.033 INFO [stdout] test tests::neq_or ... ok
Nov 18 16:23:41.033 INFO [stdout] test tests::or_commutative ... ok
Nov 18 16:23:41.033 INFO [stdout] test tests::or_false ... ok
Nov 18 16:23:41.033 INFO [stdout] test tests::path_and_not ... ok
Nov 18 16:23:41.033 INFO [stdout] test tests::proof_10 ... ok
Nov 18 16:23:41.033 INFO [stdout] test tests::proof_11 ... ok
Nov 18 16:23:41.039 INFO [stdout] test tests::proof_1 ... ok
Nov 18 16:23:41.039 INFO [stdout] test tests::proof_13 ... ok
Nov 18 16:23:41.039 INFO [stdout] test tests::proof_12 ... ok
Nov 18 16:23:41.039 INFO [stdout] test tests::proof_17 ... ok
Nov 18 16:23:41.039 INFO [stdout] test tests::proof_18 ... ok
Nov 18 16:23:41.039 INFO [stdout] test tests::proof_2 ... ok
Nov 18 16:23:41.041 INFO [stdout] test tests::proof_4 ... ok
Nov 18 16:23:41.041 INFO [stdout] test tests::proof_6 ... ok
Nov 18 16:23:41.041 INFO [stdout] test tests::proof_3 ... ok
Nov 18 16:23:41.041 INFO [stdout] test tests::proof_7 ... ok
Nov 18 16:23:41.041 INFO [stdout] test tests::proof_8 ... ok
Nov 18 16:23:41.041 INFO [stdout] test tests::propagate_equality ... ok
Nov 18 16:23:41.041 INFO [stdout] test tests::proof_9 ... ok
Nov 18 16:23:41.041 INFO [stdout] test tests::proof_5 ... ok
Nov 18 16:23:41.041 INFO [stdout] test tests::true_eq ... ok
Nov 18 16:23:41.041 INFO [stdout] test tests::propagate_inequality ... ok
Nov 18 16:23:41.044 INFO [stdout] test tests::true_imply ... ok
Nov 18 16:23:41.044 INFO [stdout] test tests::true_or ... ok
Nov 18 16:23:41.059 INFO [stdout] test tests::proof_14 ... ok
Nov 18 16:23:41.059 INFO [stdout] test tests::proof_15 ... ok
Nov 18 16:23:41.059 INFO [stdout] test tests::proof_16 ... ok
Nov 18 16:23:41.491 INFO [stdout] test tests::bench_propagate_equality ... ok
Nov 18 16:23:42.454 INFO [stdout] test tests::bench_propagate_inequality ... ok
Nov 18 16:23:42.454 INFO [stdout] 
Nov 18 16:23:42.454 INFO [stdout] test result: ok. 47 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 18 16:23:42.454 INFO [stdout] 
Nov 18 16:23:42.454 INFO [stderr]    Doc-tests debug_sat
Nov 18 16:23:43.079 INFO [stdout] 
Nov 18 16:23:43.079 INFO [stdout] running 3 tests
Nov 18 16:23:44.453 INFO [stdout] test src/lib.rs -  (line 55) ... ok
Nov 18 16:23:44.460 INFO [stdout] test src/lib.rs -  (line 69) ... ok
Nov 18 16:23:44.505 INFO [stdout] test src/lib.rs -  (line 26) ... ok
Nov 18 16:23:44.505 INFO [stdout] 
Nov 18 16:23:44.505 INFO [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 18 16:23:44.505 INFO [stdout] 
Nov 18 16:23:44.518 INFO [stderr] su: No module specific data is present
Nov 18 16:23:44.959 INFO running `"docker" "inspect" "b76c587cf0c121d401caa90fd767b10692bcf02423614d707434880deda26d32"`
Nov 18 16:23:45.113 INFO running `"docker" "rm" "-f" "b76c587cf0c121d401caa90fd767b10692bcf02423614d707434880deda26d32"`
Nov 18 16:23:45.278 INFO [stdout] b76c587cf0c121d401caa90fd767b10692bcf02423614d707434880deda26d32