Dec 03 01:39:12.375 INFO testing minisat-0.3.0 against master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61 for beta-1.31-5
Dec 03 01:39:12.376 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-2/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/beta-1.31-5/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/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 +8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt 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:12.844 INFO [stdout] 63d37abd822adbb1677e25d13cba26d68a3fc410d90afa595c535bfd9a4972ec
Dec 03 01:39:12.846 INFO running `"docker" "start" "-a" "63d37abd822adbb1677e25d13cba26d68a3fc410d90afa595c535bfd9a4972ec"`
Dec 03 01:39:14.775 INFO [stderr] usermod: no changes
Dec 03 01:39:14.906 INFO [stderr]    Compiling bindgen v0.42.3
Dec 03 01:39:14.912 INFO [stderr]    Compiling clang-sys v0.26.3
Dec 03 01:39:14.912 INFO [stderr]    Compiling cexpr v0.3.3
Dec 03 01:39:52.269 INFO [stderr]    Compiling minisat v0.3.0 (/source)
Dec 03 01:40:02.692 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 47.90s
Dec 03 01:40:02.699 INFO [stderr] su: No module specific data is present
Dec 03 01:40:03.105 INFO running `"docker" "inspect" "63d37abd822adbb1677e25d13cba26d68a3fc410d90afa595c535bfd9a4972ec"`
Dec 03 01:40:03.291 INFO running `"docker" "rm" "-f" "63d37abd822adbb1677e25d13cba26d68a3fc410d90afa595c535bfd9a4972ec"`
Dec 03 01:40:03.499 INFO [stdout] 63d37abd822adbb1677e25d13cba26d68a3fc410d90afa595c535bfd9a4972ec
Dec 03 01:40:03.501 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-2/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/beta-1.31-5/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/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 +8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt 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:03.884 INFO [stdout] 9c213c392489e01f6590cecb9be437a3737056494065942f2c1309a497486e3e
Dec 03 01:40:03.887 INFO running `"docker" "start" "-a" "9c213c392489e01f6590cecb9be437a3737056494065942f2c1309a497486e3e"`
Dec 03 01:40:04.496 INFO [stderr] usermod: no changes
Dec 03 01:40:04.580 INFO [stderr]    Compiling minisat v0.3.0 (/source)
Dec 03 01:40:07.565 INFO [stderr] error: linking with `cc` failed: exit code: 1
Dec 03 01:40:07.565 INFO [stderr]   |
Dec 03 01:40:07.565 INFO [stderr]   = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/rustup-home/toolchains/8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.0.rcgu.o" "/target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.1.rcgu.o" "/target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.10.rcgu.o" "/target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.11.rcgu.o" "/target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.12.rcgu.o" "/target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.13.rcgu.o" "/target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.14.rcgu.o" "/target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.15.rcgu.o" "/target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.2.rcgu.o" "/target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.3.rcgu.o" "/target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.4.rcgu.o" "/target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.5.rcgu.o" "/target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.6.rcgu.o" "/target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.7.rcgu.o" "/target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.8.rcgu.o" "/target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.9.rcgu.o" "-o" "/target/debug/deps/minisat-f5b8540302101abb" "/target/debug/deps/minisat-f5b8540302101abb.4109vkag29sykzge.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/target/debug/deps" "-L" "/target/debug/build/minisat-ece87443cc8ae1be/out" "-L" "/rustup-home/toolchains/8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-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/8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-3aaf2da807b025df.rlib" "/rustup-home/toolchains/8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-a89d01392bb45da8.rlib" "/rustup-home/toolchains/8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-0a9476f67a8d1ad5.rlib" "/target/debug/deps/libitertools-90883dd89428f619.rlib" "/target/debug/deps/libeither-3c821f195bc7ba05.rlib" "-Wl,--start-group" "/rustup-home/toolchains/8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-223739ea87b9a0b5.rlib" "/rustup-home/toolchains/8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-6ae4dfa984b116fe.rlib" "/rustup-home/toolchains/8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc_jemalloc-d0de55d071ae212c.rlib" "/rustup-home/toolchains/8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-56e6e4959fbf1e49.rlib" "/rustup-home/toolchains/8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc_system-74e77b0ac85c5e20.rlib" "/rustup-home/toolchains/8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-2e7d77edf47b6d69.rlib" "/rustup-home/toolchains/8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-c763cb552c7cefdf.rlib" "/rustup-home/toolchains/8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-5bafd13887121bda.rlib" "-Wl,--end-group" "/rustup-home/toolchains/8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-97868d8b5036fe99.rlib" "-Wl,-Bdynamic" "-ldl" "-lrt" "-lpthread" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-lutil"
Dec 03 01:40:07.565 INFO [stderr]   = note: /target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.1.rcgu.o: In function `minisat::Lit::into_var::hd0e745ad1d9a975d':
Dec 03 01:40:07.565 INFO [stderr]           /source/src/lib.rs:127: undefined reference to `minisat_var'
Dec 03 01:40:07.565 INFO [stderr]           /source/src/lib.rs:128: undefined reference to `minisat_sign'
Dec 03 01:40:07.565 INFO [stderr]           /target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.1.rcgu.o: In function `minisat::Lit::from_var_sign::h1fe37097c0cd8776':
Dec 03 01:40:07.565 INFO [stderr]           /source/src/lib.rs:132: undefined reference to `minisat_mkLit'
Dec 03 01:40:07.565 INFO [stderr]           /source/src/lib.rs:133: undefined reference to `minisat_negate'
Dec 03 01:40:07.565 INFO [stderr]           /target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.1.rcgu.o: In function `_$LT$minisat..Lit$u20$as$u20$core..ops..bit..Not$GT$::not::h6554a681f0eaa2f2':
Dec 03 01:40:07.565 INFO [stderr]           /source/src/lib.rs:157: undefined reference to `minisat_negate'
Dec 03 01:40:07.565 INFO [stderr]           /target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.1.rcgu.o: In function `minisat::Sat::new::h434a9a2fcbf290fc':
Dec 03 01:40:07.565 INFO [stderr]           /source/src/lib.rs:342: undefined reference to `minisat_new'
Dec 03 01:40:07.565 INFO [stderr]           /source/src/lib.rs:345: undefined reference to `minisat_eliminate'
Dec 03 01:40:07.565 INFO [stderr]           /target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.1.rcgu.o: In function `minisat::Sat::new_lit::hfa5810f0cf342f13':
Dec 03 01:40:07.565 INFO [stderr]           /source/src/lib.rs:352: undefined reference to `minisat_newLit'
Dec 03 01:40:07.565 INFO [stderr]           /target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.1.rcgu.o: In function `minisat::Sat::add_clause::h12f31d95d77b5dab':
Dec 03 01:40:07.565 INFO [stderr]           /source/src/lib.rs:391: undefined reference to `minisat_addClause_begin'
Dec 03 01:40:07.565 INFO [stderr]           /source/src/lib.rs:398: undefined reference to `minisat_addClause_addLit'
Dec 03 01:40:07.565 INFO [stderr]           /source/src/lib.rs:402: undefined reference to `minisat_addClause_commit'
Dec 03 01:40:07.565 INFO [stderr]           /target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.1.rcgu.o: In function `minisat::Sat::add_clause::h1e3192efc92e29c2':
Dec 03 01:40:07.565 INFO [stderr]           /source/src/lib.rs:391: undefined reference to `minisat_addClause_begin'
Dec 03 01:40:07.565 INFO [stderr]           /source/src/lib.rs:398: undefined reference to `minisat_addClause_addLit'
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:402: undefined reference to `minisat_addClause_commit'
Dec 03 01:40:07.566 INFO [stderr]           /target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.1.rcgu.o: In function `minisat::Sat::add_clause::h2b16656f20c8c8f6':
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:391: undefined reference to `minisat_addClause_begin'
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:398: undefined reference to `minisat_addClause_addLit'
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:402: undefined reference to `minisat_addClause_commit'
Dec 03 01:40:07.566 INFO [stderr]           /target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.1.rcgu.o: In function `minisat::Sat::add_clause::h64f897bf2ee3a1c0':
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:391: undefined reference to `minisat_addClause_begin'
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:398: undefined reference to `minisat_addClause_addLit'
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:402: undefined reference to `minisat_addClause_commit'
Dec 03 01:40:07.566 INFO [stderr]           /target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.1.rcgu.o: In function `minisat::Sat::add_clause::h6601991f9856e30d':
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:391: undefined reference to `minisat_addClause_begin'
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:398: undefined reference to `minisat_addClause_addLit'
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:402: undefined reference to `minisat_addClause_commit'
Dec 03 01:40:07.566 INFO [stderr]           /target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.1.rcgu.o: In function `minisat::Sat::add_clause::h7ab944c60118fe29':
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:391: undefined reference to `minisat_addClause_begin'
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:398: undefined reference to `minisat_addClause_addLit'
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:402: undefined reference to `minisat_addClause_commit'
Dec 03 01:40:07.566 INFO [stderr]           /target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.1.rcgu.o: In function `minisat::Sat::add_clause::ha3e02e903bac8012':
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:391: undefined reference to `minisat_addClause_begin'
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:398: undefined reference to `minisat_addClause_addLit'
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:402: undefined reference to `minisat_addClause_commit'
Dec 03 01:40:07.566 INFO [stderr]           /target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.1.rcgu.o: In function `minisat::Sat::add_clause::hab4897e047f3a6a6':
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:391: undefined reference to `minisat_addClause_begin'
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:398: undefined reference to `minisat_addClause_addLit'
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:402: undefined reference to `minisat_addClause_commit'
Dec 03 01:40:07.566 INFO [stderr]           /target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.1.rcgu.o: In function `minisat::Sat::add_clause::hd29da9b5089df041':
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:391: undefined reference to `minisat_addClause_begin'
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:398: undefined reference to `minisat_addClause_addLit'
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:402: undefined reference to `minisat_addClause_commit'
Dec 03 01:40:07.566 INFO [stderr]           /target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.1.rcgu.o: In function `minisat::Sat::add_clause::hf6d45bd7e88c9ae0':
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:391: undefined reference to `minisat_addClause_begin'
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:398: undefined reference to `minisat_addClause_addLit'
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:402: undefined reference to `minisat_addClause_commit'
Dec 03 01:40:07.566 INFO [stderr]           /target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.1.rcgu.o: In function `minisat::Sat::solve_under_assumptions::h4a5964d22a7b7f87':
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:421: undefined reference to `minisat_solve_begin'
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:428: undefined reference to `minisat_solve_addLit'
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:432: undefined reference to `minisat_solve_commit'
Dec 03 01:40:07.566 INFO [stderr]           /target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.1.rcgu.o: In function `minisat::Sat::solve_under_assumptions::h6f5e324e0eb9c84d':
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:421: undefined reference to `minisat_solve_begin'
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:428: undefined reference to `minisat_solve_addLit'
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:432: undefined reference to `minisat_solve_commit'
Dec 03 01:40:07.566 INFO [stderr]           /target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.1.rcgu.o: In function `minisat::Sat::num_clauses::ha0b3669c90dcda25':
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:618: undefined reference to `minisat_num_clauses'
Dec 03 01:40:07.566 INFO [stderr]           /target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.1.rcgu.o: In function `minisat::Sat::num_vars::h0d000cb50970ce27':
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:626: undefined reference to `minisat_num_vars'
Dec 03 01:40:07.566 INFO [stderr]           /target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.1.rcgu.o: In function `_$LT$minisat..Sat$u20$as$u20$core..ops..drop..Drop$GT$::drop::h0a552494195a4718':
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:636: undefined reference to `minisat_delete'
Dec 03 01:40:07.566 INFO [stderr]           /target/debug/deps/minisat-f5b8540302101abb.minisat.304umxdn-cgu.1.rcgu.o: In function `_$LT$minisat..Bool$u20$as$u20$minisat..ModelValue$LT$$u27$a$GT$$GT$::value::h244c7c59aeea1061':
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:808: undefined reference to `minisat_modelValue_Lit'
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:809: undefined reference to `minisat_get_l_True'
Dec 03 01:40:07.566 INFO [stderr]           /source/src/lib.rs:811: undefined reference to `minisat_get_l_False'
Dec 03 01:40:07.566 INFO [stderr]           collect2: error: ld returned 1 exit status
Dec 03 01:40:07.566 INFO [stderr]           
Dec 03 01:40:07.566 INFO [stderr] 
Dec 03 01:40:07.566 INFO [stderr] error: aborting due to previous error
Dec 03 01:40:07.566 INFO [stderr] 
Dec 03 01:40:07.572 INFO [stderr] error: Could not compile `minisat`.
Dec 03 01:40:07.572 INFO [stderr] 
Dec 03 01:40:07.572 INFO [stderr] To learn more, run the command again with --verbose.
Dec 03 01:40:07.573 INFO [stderr] su: No module specific data is present
Dec 03 01:40:08.019 INFO running `"docker" "inspect" "9c213c392489e01f6590cecb9be437a3737056494065942f2c1309a497486e3e"`
Dec 03 01:40:08.163 INFO running `"docker" "rm" "-f" "9c213c392489e01f6590cecb9be437a3737056494065942f2c1309a497486e3e"`
Dec 03 01:40:08.269 INFO [stdout] 9c213c392489e01f6590cecb9be437a3737056494065942f2c1309a497486e3e