Dec 07 07:16:26.156 INFO testing minisat-0.4.0 against try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468 for pr-56514
Dec 07 07:16:26.156 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-0/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-56514/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/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 +6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-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 07 07:16:26.588 INFO [stdout] 8ed219b057bff3519d50abfbaf573222aeb79af6e83277be3911091e31d7fced
Dec 07 07:16:26.590 INFO running `"docker" "start" "-a" "8ed219b057bff3519d50abfbaf573222aeb79af6e83277be3911091e31d7fced"`
Dec 07 07:16:28.439 INFO [stderr] usermod: no changes
Dec 07 07:16:28.606 INFO [stderr]    Compiling minisat v0.4.0 (/source)
Dec 07 07:16:40.182 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 11.72s
Dec 07 07:16:40.192 INFO [stderr] su: No module specific data is present
Dec 07 07:16:40.550 INFO running `"docker" "inspect" "8ed219b057bff3519d50abfbaf573222aeb79af6e83277be3911091e31d7fced"`
Dec 07 07:16:40.650 INFO running `"docker" "rm" "-f" "8ed219b057bff3519d50abfbaf573222aeb79af6e83277be3911091e31d7fced"`
Dec 07 07:16:40.900 INFO [stdout] 8ed219b057bff3519d50abfbaf573222aeb79af6e83277be3911091e31d7fced
Dec 07 07:16:40.908 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-0/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-56514/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/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 +6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-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 07 07:16:41.275 INFO [stdout] 569699e7847c2cf76eafc7b9fa8a5b96d6a72332ae3485522b750e74edffef10
Dec 07 07:16:41.277 INFO running `"docker" "start" "-a" "569699e7847c2cf76eafc7b9fa8a5b96d6a72332ae3485522b750e74edffef10"`
Dec 07 07:16:42.296 INFO [stderr] usermod: no changes
Dec 07 07:16:42.477 INFO [stderr]    Compiling quickcheck v0.7.2
Dec 07 07:16:45.734 INFO [stderr]    Compiling minisat v0.4.0 (/source)
Dec 07 07:16:51.276 INFO [stderr] error: linking with `cc` failed: exit code: 1
Dec 07 07:16:51.277 INFO [stderr]   |
Dec 07 07:16:51.277 INFO [stderr]   = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/rustup-home/toolchains/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.0.rcgu.o" "/target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.1.rcgu.o" "/target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.10.rcgu.o" "/target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.11.rcgu.o" "/target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.12.rcgu.o" "/target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.13.rcgu.o" "/target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.14.rcgu.o" "/target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.15.rcgu.o" "/target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.2.rcgu.o" "/target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.3.rcgu.o" "/target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.4.rcgu.o" "/target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.5.rcgu.o" "/target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.6.rcgu.o" "/target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.7.rcgu.o" "/target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.8.rcgu.o" "/target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.9.rcgu.o" "-o" "/target/debug/deps/minisat-2f21dc16fbfd6225" "/target/debug/deps/minisat-2f21dc16fbfd6225.4ls7lvq2ey5vyfgg.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/target/debug/deps" "-L" "/target/debug/build/minisat-672f783811b82e47/out" "-L" "/rustup-home/toolchains/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "-Wl,--whole-archive" "-lminisat" "-Wl,--no-whole-archive" "-Wl,-Bdynamic" "-lstdc++" "-Wl,-Bstatic" "/rustup-home/toolchains/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-60534e74e3d29939.rlib" "/rustup-home/toolchains/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-a56dcd867f615e20.rlib" "/rustup-home/toolchains/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-fb18165b0534e68e.rlib" "/target/debug/deps/libitertools-cfcd432a67093ac0.rlib" "/target/debug/deps/libeither-f0edfb4bd036f1d5.rlib" "/target/debug/deps/libquickcheck-b9f7aeb9a4c81aa6.rlib" "/target/debug/deps/librand-b2fd8fe270f0a66a.rlib" "/target/debug/deps/librand_core-a3f7ac457c4e7bcb.rlib" "/target/debug/deps/librand_core-7bfb5635f4e4c3c4.rlib" "/target/debug/deps/libenv_logger-18b2aa9aaea34100.rlib" "/target/debug/deps/libregex-91a85099c5026c1b.rlib" "/target/debug/deps/libutf8_ranges-d4a56c9ac51c1f3f.rlib" "/target/debug/deps/libregex_syntax-05c82a1fe23a7ed9.rlib" "/target/debug/deps/libucd_util-bbdc8590d19f5077.rlib" "/target/debug/deps/libthread_local-5d08ff69d5e49866.rlib" "/target/debug/deps/liblazy_static-31b1ea09d67d1701.rlib" "/target/debug/deps/libaho_corasick-9b6a827b67947a57.rlib" "/target/debug/deps/libmemchr-aa246064a55d2821.rlib" "/target/debug/deps/libatty-0c8423816d56003a.rlib" "/target/debug/deps/liblibc-1c8349feb14a25ce.rlib" "/target/debug/deps/libhumantime-ed753b103914087f.rlib" "/target/debug/deps/libquick_error-48fecbb8e767def6.rlib" "/target/debug/deps/libtermcolor-c297fac905356911.rlib" "/target/debug/deps/liblog-f1e7ffd69e79796e.rlib" "/target/debug/deps/libcfg_if-894c485378395d96.rlib" "-Wl,--start-group" "/rustup-home/toolchains/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-1783ee7db416cd31.rlib" "/rustup-home/toolchains/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-d52c5951c3cd2e1d.rlib" "/rustup-home/toolchains/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-9a81b01b5e0e175b.rlib" "/rustup-home/toolchains/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-f1a5585a81eb855e.rlib" "/rustup-home/toolchains/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-0a7b7470c80cad43.rlib" "/rustup-home/toolchains/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-d6e924fd18f7775d.rlib" "-Wl,--end-group" "/rustup-home/toolchains/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-0ed18ce3338a020a.rlib" "-Wl,-Bdynamic" "-lutil" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-lutil"
Dec 07 07:16:51.277 INFO [stderr]   = note: /target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.1.rcgu.o: In function `minisat::Lit::into_var::hacc2ffea70a070a1':
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:156: undefined reference to `minisat_var'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:157: undefined reference to `minisat_sign'
Dec 07 07:16:51.277 INFO [stderr]           /target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.1.rcgu.o: In function `minisat::Lit::from_var_sign::h8eb2e980c57b7ee7':
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:161: undefined reference to `minisat_mkLit'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:162: undefined reference to `minisat_negate'
Dec 07 07:16:51.277 INFO [stderr]           /target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.1.rcgu.o: In function `_$LT$minisat..Lit$u20$as$u20$core..ops..bit..Not$GT$::not::hff9e10fda293efc5':
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:186: undefined reference to `minisat_negate'
Dec 07 07:16:51.277 INFO [stderr]           /target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.1.rcgu.o: In function `minisat::Solver::new::h4545a85f340aae80':
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:196: undefined reference to `minisat_new'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:199: undefined reference to `minisat_eliminate'
Dec 07 07:16:51.277 INFO [stderr]           /target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.1.rcgu.o: In function `minisat::Solver::new_lit::ha75fe8ac7b1a55f9':
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:206: undefined reference to `minisat_newLit'
Dec 07 07:16:51.277 INFO [stderr]           /target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::h0a698157387772d0':
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 07 07:16:51.277 INFO [stderr]           /target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::h2df375fa53f6780e':
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 07 07:16:51.277 INFO [stderr]           /target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::h42b220c2946f5a21':
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 07 07:16:51.277 INFO [stderr]           /target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::h4c23c005db11c47b':
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 07 07:16:51.277 INFO [stderr]           /target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::h64cd36ded6339ebc':
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 07 07:16:51.277 INFO [stderr]           /target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::h70fcb47cb62d9951':
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 07 07:16:51.277 INFO [stderr]           /target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::h7f728603fc7dd851':
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 07 07:16:51.277 INFO [stderr]           /target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::h8d8d617c0bd35951':
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 07 07:16:51.277 INFO [stderr]           /target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::ha2ffc0eec903e60b':
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 07 07:16:51.277 INFO [stderr]           /target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::hba57c0971c0c9230':
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 07 07:16:51.277 INFO [stderr]           /target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::hd5f693dd73a1c8bb':
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 07 07:16:51.277 INFO [stderr]           /target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.1.rcgu.o: In function `minisat::Solver::solve_under_assumptions::h3debf118d22a4f88':
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:241: undefined reference to `minisat_solve_begin'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:248: undefined reference to `minisat_solve_addLit'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:252: undefined reference to `minisat_solve_commit'
Dec 07 07:16:51.277 INFO [stderr]           /target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.1.rcgu.o: In function `minisat::Solver::solve_under_assumptions::he889773cd65bf1b5':
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:241: undefined reference to `minisat_solve_begin'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:248: undefined reference to `minisat_solve_addLit'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:252: undefined reference to `minisat_solve_commit'
Dec 07 07:16:51.277 INFO [stderr]           /target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.1.rcgu.o: In function `minisat::Solver::num_clauses::h8081653693ba40ad':
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:466: undefined reference to `minisat_num_clauses'
Dec 07 07:16:51.277 INFO [stderr]           /target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.1.rcgu.o: In function `minisat::Solver::num_vars::h43974b9ec87d34ed':
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:476: undefined reference to `minisat_num_vars'
Dec 07 07:16:51.277 INFO [stderr]           /target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.1.rcgu.o: In function `_$LT$minisat..Solver$u20$as$u20$core..ops..drop..Drop$GT$::drop::h38b10d2e3f4007ab':
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:487: undefined reference to `minisat_delete'
Dec 07 07:16:51.277 INFO [stderr]           /target/debug/deps/minisat-2f21dc16fbfd6225.minisat.d68g92rt-cgu.1.rcgu.o: In function `_$LT$minisat..Bool$u20$as$u20$minisat..ModelValue$LT$$u27$a$GT$$GT$::value::h582db2703880475e':
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:522: undefined reference to `minisat_modelValue_Lit'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:523: undefined reference to `minisat_get_l_True'
Dec 07 07:16:51.277 INFO [stderr]           /source/src/lib.rs:525: undefined reference to `minisat_get_l_False'
Dec 07 07:16:51.277 INFO [stderr]           collect2: error: ld returned 1 exit status
Dec 07 07:16:51.277 INFO [stderr]           
Dec 07 07:16:51.277 INFO [stderr] 
Dec 07 07:16:51.292 INFO [stderr] error: aborting due to previous error
Dec 07 07:16:51.292 INFO [stderr] 
Dec 07 07:16:51.312 INFO [stderr] error: Could not compile `minisat`.
Dec 07 07:16:51.312 INFO [stderr] 
Dec 07 07:16:51.312 INFO [stderr] To learn more, run the command again with --verbose.
Dec 07 07:16:51.319 INFO [stderr] su: No module specific data is present
Dec 07 07:16:51.992 INFO running `"docker" "inspect" "569699e7847c2cf76eafc7b9fa8a5b96d6a72332ae3485522b750e74edffef10"`
Dec 07 07:16:52.284 INFO running `"docker" "rm" "-f" "569699e7847c2cf76eafc7b9fa8a5b96d6a72332ae3485522b750e74edffef10"`
Dec 07 07:16:52.608 INFO [stdout] 569699e7847c2cf76eafc7b9fa8a5b96d6a72332ae3485522b750e74edffef10