Dec 15 04:43:09.596 INFO testing minisat-0.4.0 against master#bd47d6825bf4090517549d33cfef10d3300b4a75 for pr-56550
Dec 15 04:43:09.596 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-2/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/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 +bd47d6825bf4090517549d33cfef10d3300b4a75-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 15 04:43:10.017 INFO [stdout] 7b2909ac85e10aaa9df97b5c1c9e5a1508aa00a5448a12c89563060ba733afa7
Dec 15 04:43:10.022 INFO running `"docker" "start" "-a" "7b2909ac85e10aaa9df97b5c1c9e5a1508aa00a5448a12c89563060ba733afa7"`
Dec 15 04:43:11.540 INFO [stderr] usermod: no changes
Dec 15 04:43:11.717 INFO [stderr]    Compiling minisat v0.4.0 (/source)
Dec 15 04:43:26.268 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 14.70s
Dec 15 04:43:26.288 INFO [stderr] su: No module specific data is present
Dec 15 04:43:28.155 INFO running `"docker" "inspect" "7b2909ac85e10aaa9df97b5c1c9e5a1508aa00a5448a12c89563060ba733afa7"`
Dec 15 04:43:28.535 INFO running `"docker" "rm" "-f" "7b2909ac85e10aaa9df97b5c1c9e5a1508aa00a5448a12c89563060ba733afa7"`
Dec 15 04:43:28.895 INFO [stdout] 7b2909ac85e10aaa9df97b5c1c9e5a1508aa00a5448a12c89563060ba733afa7
Dec 15 04:43:28.900 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-2/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/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 +bd47d6825bf4090517549d33cfef10d3300b4a75-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 15 04:43:29.353 INFO [stdout] 035a8a41b8aef153b145f4aa1eeb306c9bc2e5f14faec2d2c52629b22afaf2b7
Dec 15 04:43:29.355 INFO running `"docker" "start" "-a" "035a8a41b8aef153b145f4aa1eeb306c9bc2e5f14faec2d2c52629b22afaf2b7"`
Dec 15 04:43:31.579 INFO [stderr] usermod: no changes
Dec 15 04:43:31.736 INFO [stderr]    Compiling quickcheck v0.7.2
Dec 15 04:43:35.838 INFO [stderr]    Compiling minisat v0.4.0 (/source)
Dec 15 04:43:42.106 INFO [stderr] error: linking with `cc` failed: exit code: 1
Dec 15 04:43:42.106 INFO [stderr]   |
Dec 15 04:43:42.106 INFO [stderr]   = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/rustup-home/toolchains/bd47d6825bf4090517549d33cfef10d3300b4a75-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.0.rcgu.o" "/target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.1.rcgu.o" "/target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.10.rcgu.o" "/target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.11.rcgu.o" "/target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.12.rcgu.o" "/target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.13.rcgu.o" "/target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.14.rcgu.o" "/target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.15.rcgu.o" "/target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.2.rcgu.o" "/target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.3.rcgu.o" "/target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.4.rcgu.o" "/target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.5.rcgu.o" "/target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.6.rcgu.o" "/target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.7.rcgu.o" "/target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.8.rcgu.o" "/target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.9.rcgu.o" "-o" "/target/debug/deps/minisat-0b2cd7c90ea2d20b" "/target/debug/deps/minisat-0b2cd7c90ea2d20b.1is9ntwq5dwlv7jz.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/target/debug/deps" "-L" "/target/debug/build/minisat-b119af37c69baa46/out" "-L" "/rustup-home/toolchains/bd47d6825bf4090517549d33cfef10d3300b4a75-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/bd47d6825bf4090517549d33cfef10d3300b4a75-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-aa5cd891fc47dfb6.rlib" "/rustup-home/toolchains/bd47d6825bf4090517549d33cfef10d3300b4a75-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-eebd348c1ae99c6e.rlib" "/rustup-home/toolchains/bd47d6825bf4090517549d33cfef10d3300b4a75-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-1c6009f7e5c3c107.rlib" "/target/debug/deps/libitertools-4325f3a192983ea8.rlib" "/target/debug/deps/libeither-2b924afa8236251e.rlib" "/target/debug/deps/libquickcheck-bb44dfb99870c8f1.rlib" "/target/debug/deps/librand-352fcebecf17ad3c.rlib" "/target/debug/deps/librand_core-2ed12a4bec82d10f.rlib" "/target/debug/deps/librand_core-4d80a72ffaf9eb1a.rlib" "/target/debug/deps/libenv_logger-b5f0df4e27cbe4f6.rlib" "/target/debug/deps/libregex-10b98777814aeed9.rlib" "/target/debug/deps/libutf8_ranges-a49108dbcb6538b4.rlib" "/target/debug/deps/libregex_syntax-aa385bcf872a05b7.rlib" "/target/debug/deps/libucd_util-6c09fce2fbf642a9.rlib" "/target/debug/deps/libthread_local-72ea2f9d4847dbea.rlib" "/target/debug/deps/liblazy_static-a5a134b4bd788e5d.rlib" "/target/debug/deps/libaho_corasick-7ad5125190e25d01.rlib" "/target/debug/deps/libmemchr-d83a575a7ce27ece.rlib" "/target/debug/deps/libatty-cf5c7101b5923bfd.rlib" "/target/debug/deps/liblibc-86365759ef021c3e.rlib" "/target/debug/deps/libhumantime-2c8b3c3e72abfca1.rlib" "/target/debug/deps/libquick_error-dffd2aa634700f66.rlib" "/target/debug/deps/libtermcolor-f7580ebaa5cba6a7.rlib" "/target/debug/deps/liblog-0451786c76c9c7a3.rlib" "/target/debug/deps/libcfg_if-fd2ce6e5d58c0552.rlib" "-Wl,--start-group" "/rustup-home/toolchains/bd47d6825bf4090517549d33cfef10d3300b4a75-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-748af87fcc6c3a49.rlib" "/rustup-home/toolchains/bd47d6825bf4090517549d33cfef10d3300b4a75-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-0d0fc9a4e3a019fc.rlib" "/rustup-home/toolchains/bd47d6825bf4090517549d33cfef10d3300b4a75-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-0aeb98e3ac6cf6d2.rlib" "/rustup-home/toolchains/bd47d6825bf4090517549d33cfef10d3300b4a75-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-1c913d008c608484.rlib" "/rustup-home/toolchains/bd47d6825bf4090517549d33cfef10d3300b4a75-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-ddc5c7b39633b7b3.rlib" "/rustup-home/toolchains/bd47d6825bf4090517549d33cfef10d3300b4a75-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-02cab32753740b78.rlib" "/rustup-home/toolchains/bd47d6825bf4090517549d33cfef10d3300b4a75-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-abcd26adb0919b33.rlib" "-Wl,--end-group" "/rustup-home/toolchains/bd47d6825bf4090517549d33cfef10d3300b4a75-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-e4966369233fd0ee.rlib" "-Wl,-Bdynamic" "-lutil" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-lutil"
Dec 15 04:43:42.106 INFO [stderr]   = note: /target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.1.rcgu.o: In function `minisat::Lit::into_var::hfe64e76be5703a82':
Dec 15 04:43:42.106 INFO [stderr]           /source/src/lib.rs:156: undefined reference to `minisat_var'
Dec 15 04:43:42.106 INFO [stderr]           /source/src/lib.rs:157: undefined reference to `minisat_sign'
Dec 15 04:43:42.106 INFO [stderr]           /target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.1.rcgu.o: In function `minisat::Lit::from_var_sign::hd0fde75bd00b929c':
Dec 15 04:43:42.106 INFO [stderr]           /source/src/lib.rs:161: undefined reference to `minisat_mkLit'
Dec 15 04:43:42.106 INFO [stderr]           /source/src/lib.rs:162: undefined reference to `minisat_negate'
Dec 15 04:43:42.106 INFO [stderr]           /target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.1.rcgu.o: In function `_$LT$minisat..Lit$u20$as$u20$core..ops..bit..Not$GT$::not::hf7d2fe6dea578d00':
Dec 15 04:43:42.106 INFO [stderr]           /source/src/lib.rs:186: undefined reference to `minisat_negate'
Dec 15 04:43:42.106 INFO [stderr]           /target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.1.rcgu.o: In function `minisat::Solver::new::h0eb5656574a87176':
Dec 15 04:43:42.106 INFO [stderr]           /source/src/lib.rs:196: undefined reference to `minisat_new'
Dec 15 04:43:42.106 INFO [stderr]           /source/src/lib.rs:199: undefined reference to `minisat_eliminate'
Dec 15 04:43:42.106 INFO [stderr]           /target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.1.rcgu.o: In function `minisat::Solver::new_lit::h31202c307907e00b':
Dec 15 04:43:42.106 INFO [stderr]           /source/src/lib.rs:206: undefined reference to `minisat_newLit'
Dec 15 04:43:42.107 INFO [stderr]           /target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::h113fce61a5c454f7':
Dec 15 04:43:42.107 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 15 04:43:42.107 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 15 04:43:42.108 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 15 04:43:42.108 INFO [stderr]           /target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::h2b7158aa942ff48b':
Dec 15 04:43:42.108 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 15 04:43:42.108 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 15 04:43:42.108 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 15 04:43:42.108 INFO [stderr]           /target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::h3fedf529afab7524':
Dec 15 04:43:42.108 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 15 04:43:42.109 INFO [stderr]           /target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::h52d0036ae3b1cf5d':
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 15 04:43:42.109 INFO [stderr]           /target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::h76cb207f5355cf4b':
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 15 04:43:42.109 INFO [stderr]           /target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::h7cfb4ff81f7067ca':
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 15 04:43:42.109 INFO [stderr]           /target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::h9c05909ba59f6cc6':
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 15 04:43:42.109 INFO [stderr]           /target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::hb44f0079ae658f30':
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 15 04:43:42.109 INFO [stderr]           /target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::hcdfb5d3db2fe4bcf':
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 15 04:43:42.109 INFO [stderr]           /target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::hd8a76fa48f2a2bbf':
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 15 04:43:42.109 INFO [stderr]           /target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.1.rcgu.o: In function `minisat::Solver::add_clause::hee5259175867a66a':
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:211: undefined reference to `minisat_addClause_begin'
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:218: undefined reference to `minisat_addClause_addLit'
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:222: undefined reference to `minisat_addClause_commit'
Dec 15 04:43:42.109 INFO [stderr]           /target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.1.rcgu.o: In function `minisat::Solver::solve_under_assumptions::h0876db795c5bd0b0':
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:241: undefined reference to `minisat_solve_begin'
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:248: undefined reference to `minisat_solve_addLit'
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:252: undefined reference to `minisat_solve_commit'
Dec 15 04:43:42.109 INFO [stderr]           /target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.1.rcgu.o: In function `minisat::Solver::solve_under_assumptions::h1a9710429956939b':
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:241: undefined reference to `minisat_solve_begin'
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:248: undefined reference to `minisat_solve_addLit'
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:252: undefined reference to `minisat_solve_commit'
Dec 15 04:43:42.109 INFO [stderr]           /target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.1.rcgu.o: In function `minisat::Solver::num_clauses::h847e192e883c559d':
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:466: undefined reference to `minisat_num_clauses'
Dec 15 04:43:42.109 INFO [stderr]           /target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.1.rcgu.o: In function `minisat::Solver::num_vars::h0549e16bd620fb8a':
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:476: undefined reference to `minisat_num_vars'
Dec 15 04:43:42.109 INFO [stderr]           /target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.1.rcgu.o: In function `_$LT$minisat..Solver$u20$as$u20$core..ops..drop..Drop$GT$::drop::hcef6a005ed97d064':
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:487: undefined reference to `minisat_delete'
Dec 15 04:43:42.109 INFO [stderr]           /target/debug/deps/minisat-0b2cd7c90ea2d20b.minisat.f33d2q1z-cgu.1.rcgu.o: In function `_$LT$minisat..Bool$u20$as$u20$minisat..ModelValue$LT$$u27$a$GT$$GT$::value::h42fdee9042bbbbc5':
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:522: undefined reference to `minisat_modelValue_Lit'
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:523: undefined reference to `minisat_get_l_True'
Dec 15 04:43:42.109 INFO [stderr]           /source/src/lib.rs:525: undefined reference to `minisat_get_l_False'
Dec 15 04:43:42.109 INFO [stderr]           collect2: error: ld returned 1 exit status
Dec 15 04:43:42.109 INFO [stderr]           
Dec 15 04:43:42.109 INFO [stderr] 
Dec 15 04:43:42.119 INFO [stderr] error: aborting due to previous error
Dec 15 04:43:42.119 INFO [stderr] 
Dec 15 04:43:42.157 INFO [stderr] error: Could not compile `minisat`.
Dec 15 04:43:42.157 INFO [stderr] 
Dec 15 04:43:42.157 INFO [stderr] To learn more, run the command again with --verbose.
Dec 15 04:43:42.159 INFO [stderr] su: No module specific data is present
Dec 15 04:43:42.928 INFO running `"docker" "inspect" "035a8a41b8aef153b145f4aa1eeb306c9bc2e5f14faec2d2c52629b22afaf2b7"`
Dec 15 04:43:43.131 INFO running `"docker" "rm" "-f" "035a8a41b8aef153b145f4aa1eeb306c9bc2e5f14faec2d2c52629b22afaf2b7"`
Dec 15 04:43:43.353 INFO [stdout] 035a8a41b8aef153b145f4aa1eeb306c9bc2e5f14faec2d2c52629b22afaf2b7