[INFO] cloning repository https://github.com/vesy-io/vesy-rs
[INFO] running `"git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/vesy-io/vesy-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvesy-io%2Fvesy-rs"`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvesy-io%2Fvesy-rs'...
[INFO] running `"git" "rev-parse" "HEAD"`
[INFO] [stdout] 128436249d22dd0ede9d866f6a020a18c5300adc
[INFO] testing vesy-io/vesy-rs against master#28742a1146f10a4f09369baad027a464acb7a766 for pr-71274
[INFO] running `"git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvesy-io%2Fvesy-rs" "/workspace/builds/worker-5/source"`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/vesy-io/vesy-rs on toolchain 28742a1146f10a4f09369baad027a464acb7a766
[INFO] running `"/workspace/cargo-home/bin/cargo" "+28742a1146f10a4f09369baad027a464acb7a766" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started tweaking git repo https://github.com/vesy-io/vesy-rs
[INFO] finished tweaking git repo https://github.com/vesy-io/vesy-rs
[INFO] tweaked toml for git repo https://github.com/vesy-io/vesy-rs written to /workspace/builds/worker-5/source/Cargo.toml
[INFO] crate git repo https://github.com/vesy-io/vesy-rs already has a lockfile, it will not be regenerated
[INFO] running `"/workspace/cargo-home/bin/cargo" "+28742a1146f10a4f09369baad027a464acb7a766" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+28742a1146f10a4f09369baad027a464acb7a766" "build" "--frozen"`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 062c92eef677486268d0015736ddf2c10874a5dbea06bfae36a5207f3f751bf1
[INFO] running `"docker" "start" "-a" "062c92eef677486268d0015736ddf2c10874a5dbea06bfae36a5207f3f751bf1"`
[INFO] [stderr]    Compiling log v0.4.8
[INFO] [stderr]    Compiling z3-sys v0.5.0
[INFO] [stderr]    Compiling z3 v0.4.0
[INFO] [stderr]    Compiling test_z3 v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr] warning: unused variable: `value`
[INFO] [stderr]   --> src/main.rs:27:56
[INFO] [stderr]    |
[INFO] [stderr] 27 |     fn NewConst(ctx: &'a Context, variable_name: &str, value: i32 ) -> ConcolicInt<'a> {
[INFO] [stderr]    |                                                        ^^^^^ help: if this is intentional, prefix it with an underscore: `_value`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `iterations`
[INFO] [stderr]    --> src/main.rs:142:13
[INFO] [stderr]     |
[INFO] [stderr] 142 |         for iterations in 0..100 {
[INFO] [stderr]     |             ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_iterations`
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Bool`
[INFO] [stderr]  --> src/main.rs:6:5
[INFO] [stderr]   |
[INFO] [stderr] 6 |     Bool(ConcolicBool<'a>)
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: method `New` should have a snake case name
[INFO] [stderr]   --> src/main.rs:23:8
[INFO] [stderr]    |
[INFO] [stderr] 23 |     fn New(ctx: &'a Context, value: i32 ) -> ConcolicInt<'a> {
[INFO] [stderr]    |        ^^^ help: convert the identifier to snake case: `new`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(non_snake_case)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: method `NewConst` should have a snake case name
[INFO] [stderr]   --> src/main.rs:27:8
[INFO] [stderr]    |
[INFO] [stderr] 27 |     fn NewConst(ctx: &'a Context, variable_name: &str, value: i32 ) -> ConcolicInt<'a> {
[INFO] [stderr]    |        ^^^^^^^^ help: convert the identifier to snake case: `new_const`
[INFO] [stderr] 
[INFO] [stderr] error: linking with `cc` failed: exit code: 1
[INFO] [stderr]   |
[INFO] [stderr]   = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/test_z3-72dd9a131de47df9.test_z3.5dij6kzc-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/test_z3-72dd9a131de47df9.test_z3.5dij6kzc-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/test_z3-72dd9a131de47df9.test_z3.5dij6kzc-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/test_z3-72dd9a131de47df9.test_z3.5dij6kzc-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/test_z3-72dd9a131de47df9.test_z3.5dij6kzc-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/test_z3-72dd9a131de47df9.test_z3.5dij6kzc-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/test_z3-72dd9a131de47df9.test_z3.5dij6kzc-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/test_z3-72dd9a131de47df9.test_z3.5dij6kzc-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/test_z3-72dd9a131de47df9.test_z3.5dij6kzc-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/test_z3-72dd9a131de47df9.test_z3.5dij6kzc-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/test_z3-72dd9a131de47df9.test_z3.5dij6kzc-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/test_z3-72dd9a131de47df9.test_z3.5dij6kzc-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/test_z3-72dd9a131de47df9.test_z3.5dij6kzc-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/test_z3-72dd9a131de47df9.test_z3.5dij6kzc-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/test_z3-72dd9a131de47df9.test_z3.5dij6kzc-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/test_z3-72dd9a131de47df9.test_z3.5dij6kzc-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/test_z3-72dd9a131de47df9" "/opt/rustwide/target/debug/deps/test_z3-72dd9a131de47df9.46xtopq3hjmv6bt1.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libz3-e591f1bf31ccded5.rlib" "/opt/rustwide/target/debug/deps/libz3_sys-5928ff0312aa14bb.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-81e71b56f2a8a8f3.rlib" "/opt/rustwide/target/debug/deps/liblog-dd0cc9f7ce37032a.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-7bfa6ddb9b2ff1d3.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-1dac1a412c98f50d.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-b7841fd014bf83a1.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-338c0763450dca22.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-5f2e5d11836e0967.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-81a9070bd3553adf.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-e297830377b95af4.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-b38b87f2dd197fa0.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-601015f2e15e7e26.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-439f3a589bd88586.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-57ab7e6ac23ce11f.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-3aec7f88778e912a.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-b6806800b307d4b9.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-e49d7651b12f7563.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-e8266574e26adcc3.rlib" "-Wl,-Bdynamic" "-lz3" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil"
[INFO] [stderr]   = note: /usr/bin/ld: cannot find -lz3
[INFO] [stderr]           collect2: error: ld returned 1 exit status
[INFO] [stderr]           
[INFO] [stderr] 
[INFO] [stderr] error: aborting due to previous error; 5 warnings emitted
[INFO] [stderr] 
[INFO] [stderr] error: could not compile `test_z3`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] running `"docker" "inspect" "062c92eef677486268d0015736ddf2c10874a5dbea06bfae36a5207f3f751bf1"`
[INFO] running `"docker" "rm" "-f" "062c92eef677486268d0015736ddf2c10874a5dbea06bfae36a5207f3f751bf1"`
[INFO] [stdout] 062c92eef677486268d0015736ddf2c10874a5dbea06bfae36a5207f3f751bf1