Dec 13 03:28:16.101 INFO testing shnarazk/splr against try#aa49d8ef14939ddec0e34b346b60174a5673d48f for pr-56550
Dec 13 03:28:16.101 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-7/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/pr-56550/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/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 +aa49d8ef14939ddec0e34b346b60174a5673d48f-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"`
Dec 13 03:28:16.832 INFO [stdout] e1b6971b4ae46e7e57b0bb13a1a23e9c631a08c9f37d5b6c12cb9f9dddb3a4f7
Dec 13 03:28:16.834 INFO running `"docker" "start" "-a" "e1b6971b4ae46e7e57b0bb13a1a23e9c631a08c9f37d5b6c12cb9f9dddb3a4f7"`
Dec 13 03:28:18.935 INFO [stderr] usermod: no changes
Dec 13 03:28:19.001 INFO [stderr]    Compiling splr v0.0.8 (/source)
Dec 13 03:28:25.323 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 6.32s
Dec 13 03:28:25.323 INFO [stderr] su: No module specific data is present
Dec 13 03:28:26.587 INFO running `"docker" "inspect" "e1b6971b4ae46e7e57b0bb13a1a23e9c631a08c9f37d5b6c12cb9f9dddb3a4f7"`
Dec 13 03:28:26.955 INFO running `"docker" "rm" "-f" "e1b6971b4ae46e7e57b0bb13a1a23e9c631a08c9f37d5b6c12cb9f9dddb3a4f7"`
Dec 13 03:28:27.295 INFO [stdout] e1b6971b4ae46e7e57b0bb13a1a23e9c631a08c9f37d5b6c12cb9f9dddb3a4f7
Dec 13 03:28:27.301 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-7/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/pr-56550/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/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 +aa49d8ef14939ddec0e34b346b60174a5673d48f-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"`
Dec 13 03:28:28.032 INFO [stdout] 873d2b5fc2bbcc0a7ef91cc9faac70f6353e8f7a7b2a1ba4987e6f5b00667f70
Dec 13 03:28:28.035 INFO running `"docker" "start" "-a" "873d2b5fc2bbcc0a7ef91cc9faac70f6353e8f7a7b2a1ba4987e6f5b00667f70"`
Dec 13 03:28:29.432 INFO [stderr] usermod: no changes
Dec 13 03:28:29.507 INFO [stderr]    Compiling splr v0.0.8 (/source)
Dec 13 03:28:33.394 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 3.93s
Dec 13 03:28:33.403 INFO [stderr] su: No module specific data is present
Dec 13 03:28:34.867 INFO running `"docker" "inspect" "873d2b5fc2bbcc0a7ef91cc9faac70f6353e8f7a7b2a1ba4987e6f5b00667f70"`
Dec 13 03:28:35.209 INFO running `"docker" "rm" "-f" "873d2b5fc2bbcc0a7ef91cc9faac70f6353e8f7a7b2a1ba4987e6f5b00667f70"`
Dec 13 03:28:35.471 INFO [stdout] 873d2b5fc2bbcc0a7ef91cc9faac70f6353e8f7a7b2a1ba4987e6f5b00667f70
Dec 13 03:28:35.473 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-7/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/pr-56550/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/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 +aa49d8ef14939ddec0e34b346b60174a5673d48f-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"`
Dec 13 03:28:35.967 INFO [stdout] 0aca457e2db42b94c3a08f6c42335c3606a2fc9297e1bf51edc59c809b081531
Dec 13 03:28:35.975 INFO running `"docker" "start" "-a" "0aca457e2db42b94c3a08f6c42335c3606a2fc9297e1bf51edc59c809b081531"`
Dec 13 03:28:37.300 INFO [stderr] usermod: no changes
Dec 13 03:28:37.383 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.05s
Dec 13 03:28:37.392 INFO [stderr]      Running /target/debug/deps/splr-1bbee4324f9ba03d
Dec 13 03:28:37.399 INFO [stderr]      Running /target/debug/deps/dmcr-d825201a0994bc99
Dec 13 03:28:37.399 INFO [stdout] 
Dec 13 03:28:37.399 INFO [stdout] running 0 tests
Dec 13 03:28:37.399 INFO [stdout] 
Dec 13 03:28:37.399 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 13 03:28:37.399 INFO [stdout] 
Dec 13 03:28:37.403 INFO [stdout] 
Dec 13 03:28:37.403 INFO [stderr]      Running /target/debug/deps/mkchain-f09d61ae6754868a
Dec 13 03:28:37.403 INFO [stdout] running 0 tests
Dec 13 03:28:37.403 INFO [stderr]      Running /target/debug/deps/splr-fdc36ccb095e83a8
Dec 13 03:28:37.403 INFO [stdout] 
Dec 13 03:28:37.403 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 13 03:28:37.403 INFO [stdout] 
Dec 13 03:28:37.403 INFO [stdout] 
Dec 13 03:28:37.403 INFO [stdout] running 0 tests
Dec 13 03:28:37.403 INFO [stdout] 
Dec 13 03:28:37.403 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 13 03:28:37.403 INFO [stdout] 
Dec 13 03:28:37.407 INFO [stdout] 
Dec 13 03:28:37.407 INFO [stderr]      Running /target/debug/deps/test_clause-76abff3ff8d29fe1
Dec 13 03:28:37.407 INFO [stdout] running 0 tests
Dec 13 03:28:37.407 INFO [stdout] 
Dec 13 03:28:37.407 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 13 03:28:37.407 INFO [stdout] 
Dec 13 03:28:37.413 INFO [stdout] 
Dec 13 03:28:37.413 INFO [stdout] running 1 test
Dec 13 03:28:37.422 INFO [stdout] test clause_sort ... ok
Dec 13 03:28:37.422 INFO [stderr]      Running /target/debug/deps/test_eliminator-772ae1e871d58d3e
Dec 13 03:28:37.422 INFO [stdout] 
Dec 13 03:28:37.422 INFO [stderr]    Doc-tests splr
Dec 13 03:28:37.422 INFO [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 13 03:28:37.422 INFO [stdout] 
Dec 13 03:28:37.422 INFO [stdout] 
Dec 13 03:28:37.422 INFO [stdout] running 0 tests
Dec 13 03:28:37.422 INFO [stdout] 
Dec 13 03:28:37.422 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 13 03:28:37.422 INFO [stdout] 
Dec 13 03:28:37.867 INFO [stdout] 
Dec 13 03:28:37.867 INFO [stdout] running 3 tests
Dec 13 03:28:37.867 INFO [stdout] test src/macros.rs - iref (line 2) ... ignored
Dec 13 03:28:38.811 INFO [stdout] test src/types.rs - types::LiteralEncoding (line 42) ... ok
Dec 13 03:28:38.987 INFO [stdout] test src/types.rs - types::Lit (line 17) ... ok
Dec 13 03:28:38.987 INFO [stdout] 
Dec 13 03:28:38.987 INFO [stdout] test result: ok. 2 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out
Dec 13 03:28:38.987 INFO [stdout] 
Dec 13 03:28:39.003 INFO [stderr] su: No module specific data is present
Dec 13 03:28:40.071 INFO running `"docker" "inspect" "0aca457e2db42b94c3a08f6c42335c3606a2fc9297e1bf51edc59c809b081531"`
Dec 13 03:28:40.448 INFO running `"docker" "rm" "-f" "0aca457e2db42b94c3a08f6c42335c3606a2fc9297e1bf51edc59c809b081531"`
Dec 13 03:28:40.823 INFO [stdout] 0aca457e2db42b94c3a08f6c42335c3606a2fc9297e1bf51edc59c809b081531