Dec 03 01:39:15.789 INFO testing minisat-0.3.0 against 1.30.1 for beta-1.31-5
Dec 03 01:39:15.789 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-4/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/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 03 01:39:16.166 INFO [stdout] 872520133d37df5919609a3137952a0dda83cd8630e7201fddb4ba4f1d26f1e0
Dec 03 01:39:16.169 INFO running `"docker" "start" "-a" "872520133d37df5919609a3137952a0dda83cd8630e7201fddb4ba4f1d26f1e0"`
Dec 03 01:39:18.415 INFO [stderr] usermod: no changes
Dec 03 01:39:18.570 INFO [stderr]    Compiling clang-sys v0.26.3
Dec 03 01:39:18.570 INFO [stderr]    Compiling which v1.0.5
Dec 03 01:39:18.587 INFO [stderr]    Compiling nom v4.1.1
Dec 03 01:39:18.589 INFO [stderr]    Compiling env_logger v0.5.13
Dec 03 01:39:22.075 INFO [stderr]    Compiling bindgen v0.42.3
Dec 03 01:39:25.311 INFO [stderr]    Compiling cexpr v0.3.3
Dec 03 01:39:54.391 INFO [stderr]    Compiling minisat v0.3.0 (/source)
Dec 03 01:40:04.179 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 45.72s
Dec 03 01:40:04.184 INFO [stderr] su: No module specific data is present
Dec 03 01:40:04.435 INFO running `"docker" "inspect" "872520133d37df5919609a3137952a0dda83cd8630e7201fddb4ba4f1d26f1e0"`
Dec 03 01:40:04.529 INFO running `"docker" "rm" "-f" "872520133d37df5919609a3137952a0dda83cd8630e7201fddb4ba4f1d26f1e0"`
Dec 03 01:40:04.660 INFO [stdout] 872520133d37df5919609a3137952a0dda83cd8630e7201fddb4ba4f1d26f1e0
Dec 03 01:40:04.663 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-4/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/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 03 01:40:04.870 INFO [stdout] a94f744263bd9dbc231b62b6d58676b7a9ca0f1baca6ef0b5f83f4db7bcf14a1
Dec 03 01:40:04.876 INFO running `"docker" "start" "-a" "a94f744263bd9dbc231b62b6d58676b7a9ca0f1baca6ef0b5f83f4db7bcf14a1"`
Dec 03 01:40:05.371 INFO [stderr] usermod: no changes
Dec 03 01:40:05.467 INFO [stderr]    Compiling minisat v0.3.0 (/source)
Dec 03 01:40:08.243 INFO [stderr] error: linking with `cc` failed: exit code: 1
Dec 03 01:40:08.243 INFO [stderr]   |
Dec 03 01:40:08.243 INFO [stderr]   = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/rustup-home/toolchains/1.30.1-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.0.rcgu.o" "/target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.1.rcgu.o" "/target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.10.rcgu.o" "/target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.11.rcgu.o" "/target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.12.rcgu.o" "/target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.13.rcgu.o" "/target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.14.rcgu.o" "/target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.15.rcgu.o" "/target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.2.rcgu.o" "/target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.3.rcgu.o" "/target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.4.rcgu.o" "/target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.5.rcgu.o" "/target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.6.rcgu.o" "/target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.7.rcgu.o" "/target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.8.rcgu.o" "/target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.9.rcgu.o" "-o" "/target/debug/deps/minisat-1a06812dbfd54dec" "/target/debug/deps/minisat-1a06812dbfd54dec.2ye5riqewl7fitl5.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/target/debug/deps" "-L" "/target/debug/build/minisat-02cb1a490ead9560/out" "-L" "/rustup-home/toolchains/1.30.1-x86_64-unknown-linux-gnu/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/1.30.1-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-7d3b79922a124995.rlib" "/rustup-home/toolchains/1.30.1-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-1fdcd4606476a7b2.rlib" "/rustup-home/toolchains/1.30.1-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-5677446c1fdbeb16.rlib" "/target/debug/deps/libitertools-d91bfa3c48f8f6f8.rlib" "/target/debug/deps/libeither-68d994289dfe3fb8.rlib" "-Wl,--start-group" "/rustup-home/toolchains/1.30.1-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-a021829e87e39dcf.rlib" "/rustup-home/toolchains/1.30.1-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-ce8b5a3ae3174a34.rlib" "/rustup-home/toolchains/1.30.1-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc_jemalloc-e0a5861af782ac1b.rlib" "/rustup-home/toolchains/1.30.1-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-faa54f218b0e3149.rlib" "/rustup-home/toolchains/1.30.1-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc_system-60c1f13c2a2bc637.rlib" "/rustup-home/toolchains/1.30.1-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-62fff61d9c213778.rlib" "/rustup-home/toolchains/1.30.1-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-457f5d21aa274348.rlib" "/rustup-home/toolchains/1.30.1-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-4694ab1fde4317be.rlib" "-Wl,--end-group" "/rustup-home/toolchains/1.30.1-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-95d769f09dd6e7cb.rlib" "-Wl,-Bdynamic" "-ldl" "-lrt" "-lpthread" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-lutil"
Dec 03 01:40:08.243 INFO [stderr]   = note: /target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.1.rcgu.o: In function `minisat::Lit::into_var::h546f3acd002b2d4d':
Dec 03 01:40:08.243 INFO [stderr]           /source/src/lib.rs:127: undefined reference to `minisat_var'
Dec 03 01:40:08.243 INFO [stderr]           /source/src/lib.rs:128: undefined reference to `minisat_sign'
Dec 03 01:40:08.243 INFO [stderr]           /target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.1.rcgu.o: In function `minisat::Lit::from_var_sign::hdcab6bd612dc94a2':
Dec 03 01:40:08.243 INFO [stderr]           /source/src/lib.rs:132: undefined reference to `minisat_mkLit'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:133: undefined reference to `minisat_negate'
Dec 03 01:40:08.244 INFO [stderr]           /target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.1.rcgu.o: In function `_$LT$minisat..Lit$u20$as$u20$core..ops..bit..Not$GT$::not::h252a8222f81c7ab9':
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:157: undefined reference to `minisat_negate'
Dec 03 01:40:08.244 INFO [stderr]           /target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.1.rcgu.o: In function `minisat::Sat::new::h1cb187cb99f678a7':
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:342: undefined reference to `minisat_new'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:345: undefined reference to `minisat_eliminate'
Dec 03 01:40:08.244 INFO [stderr]           /target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.1.rcgu.o: In function `minisat::Sat::new_lit::he2a9c02e7981448d':
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:352: undefined reference to `minisat_newLit'
Dec 03 01:40:08.244 INFO [stderr]           /target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.1.rcgu.o: In function `minisat::Sat::add_clause::h0fda9ad85496634d':
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:391: undefined reference to `minisat_addClause_begin'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:398: undefined reference to `minisat_addClause_addLit'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:402: undefined reference to `minisat_addClause_commit'
Dec 03 01:40:08.244 INFO [stderr]           /target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.1.rcgu.o: In function `minisat::Sat::add_clause::h23b80da1ade6053f':
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:391: undefined reference to `minisat_addClause_begin'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:398: undefined reference to `minisat_addClause_addLit'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:402: undefined reference to `minisat_addClause_commit'
Dec 03 01:40:08.244 INFO [stderr]           /target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.1.rcgu.o: In function `minisat::Sat::add_clause::h2ce7277aca5806a9':
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:391: undefined reference to `minisat_addClause_begin'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:398: undefined reference to `minisat_addClause_addLit'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:402: undefined reference to `minisat_addClause_commit'
Dec 03 01:40:08.244 INFO [stderr]           /target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.1.rcgu.o: In function `minisat::Sat::add_clause::h4c6623fac5a3437f':
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:391: undefined reference to `minisat_addClause_begin'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:398: undefined reference to `minisat_addClause_addLit'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:402: undefined reference to `minisat_addClause_commit'
Dec 03 01:40:08.244 INFO [stderr]           /target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.1.rcgu.o: In function `minisat::Sat::add_clause::h72b7b5549bcd894b':
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:391: undefined reference to `minisat_addClause_begin'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:398: undefined reference to `minisat_addClause_addLit'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:402: undefined reference to `minisat_addClause_commit'
Dec 03 01:40:08.244 INFO [stderr]           /target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.1.rcgu.o: In function `minisat::Sat::add_clause::h83a1ab199002ecc0':
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:391: undefined reference to `minisat_addClause_begin'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:398: undefined reference to `minisat_addClause_addLit'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:402: undefined reference to `minisat_addClause_commit'
Dec 03 01:40:08.244 INFO [stderr]           /target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.1.rcgu.o: In function `minisat::Sat::add_clause::h898b78dd0679ef17':
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:391: undefined reference to `minisat_addClause_begin'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:398: undefined reference to `minisat_addClause_addLit'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:402: undefined reference to `minisat_addClause_commit'
Dec 03 01:40:08.244 INFO [stderr]           /target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.1.rcgu.o: In function `minisat::Sat::add_clause::hd2c7f5fd134e5bcb':
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:391: undefined reference to `minisat_addClause_begin'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:398: undefined reference to `minisat_addClause_addLit'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:402: undefined reference to `minisat_addClause_commit'
Dec 03 01:40:08.244 INFO [stderr]           /target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.1.rcgu.o: In function `minisat::Sat::add_clause::he64b255bde6d3422':
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:391: undefined reference to `minisat_addClause_begin'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:398: undefined reference to `minisat_addClause_addLit'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:402: undefined reference to `minisat_addClause_commit'
Dec 03 01:40:08.244 INFO [stderr]           /target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.1.rcgu.o: In function `minisat::Sat::add_clause::hfe4e48938f591d6c':
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:391: undefined reference to `minisat_addClause_begin'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:398: undefined reference to `minisat_addClause_addLit'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:402: undefined reference to `minisat_addClause_commit'
Dec 03 01:40:08.244 INFO [stderr]           /target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.1.rcgu.o: In function `minisat::Sat::solve_under_assumptions::h518b565d65a1c158':
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:421: undefined reference to `minisat_solve_begin'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:428: undefined reference to `minisat_solve_addLit'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:432: undefined reference to `minisat_solve_commit'
Dec 03 01:40:08.244 INFO [stderr]           /target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.1.rcgu.o: In function `minisat::Sat::solve_under_assumptions::hd8d99ae68ad36cbb':
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:421: undefined reference to `minisat_solve_begin'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:428: undefined reference to `minisat_solve_addLit'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:432: undefined reference to `minisat_solve_commit'
Dec 03 01:40:08.244 INFO [stderr]           /target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.1.rcgu.o: In function `minisat::Sat::num_clauses::h15dba0fb7634db51':
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:618: undefined reference to `minisat_num_clauses'
Dec 03 01:40:08.244 INFO [stderr]           /target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.1.rcgu.o: In function `minisat::Sat::num_vars::h857b964ecabd7464':
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:626: undefined reference to `minisat_num_vars'
Dec 03 01:40:08.244 INFO [stderr]           /target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.1.rcgu.o: In function `_$LT$minisat..Sat$u20$as$u20$core..ops..drop..Drop$GT$::drop::h523ab3fd4a5f61a4':
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:636: undefined reference to `minisat_delete'
Dec 03 01:40:08.244 INFO [stderr]           /target/debug/deps/minisat-1a06812dbfd54dec.minisat.5lv75ee1-cgu.1.rcgu.o: In function `_$LT$minisat..Bool$u20$as$u20$minisat..ModelValue$LT$$u27$a$GT$$GT$::value::h6fa202be1f1ad287':
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:808: undefined reference to `minisat_modelValue_Lit'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:809: undefined reference to `minisat_get_l_True'
Dec 03 01:40:08.244 INFO [stderr]           /source/src/lib.rs:811: undefined reference to `minisat_get_l_False'
Dec 03 01:40:08.244 INFO [stderr]           collect2: error: ld returned 1 exit status
Dec 03 01:40:08.244 INFO [stderr]           
Dec 03 01:40:08.244 INFO [stderr] 
Dec 03 01:40:08.249 INFO [stderr] error: aborting due to previous error
Dec 03 01:40:08.249 INFO [stderr] 
Dec 03 01:40:08.263 INFO [stderr] error: Could not compile `minisat`.
Dec 03 01:40:08.263 INFO [stderr] 
Dec 03 01:40:08.263 INFO [stderr] To learn more, run the command again with --verbose.
Dec 03 01:40:08.265 INFO [stderr] su: No module specific data is present
Dec 03 01:40:08.564 INFO running `"docker" "inspect" "a94f744263bd9dbc231b62b6d58676b7a9ca0f1baca6ef0b5f83f4db7bcf14a1"`
Dec 03 01:40:08.692 INFO running `"docker" "rm" "-f" "a94f744263bd9dbc231b62b6d58676b7a9ca0f1baca6ef0b5f83f4db7bcf14a1"`
Dec 03 01:40:08.802 INFO [stdout] a94f744263bd9dbc231b62b6d58676b7a9ca0f1baca6ef0b5f83f4db7bcf14a1
