[INFO] crate z3 0.4.0 is already in cache [INFO] testing z3-0.4.0 against master#28742a1146f10a4f09369baad027a464acb7a766 for pr-71274 [INFO] extracting crate z3 0.4.0 into /workspace/builds/worker-7/source [INFO] validating manifest of crates.io crate z3 0.4.0 on toolchain 28742a1146f10a4f09369baad027a464acb7a766 [INFO] running `"/workspace/cargo-home/bin/cargo" "+28742a1146f10a4f09369baad027a464acb7a766" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started tweaking crates.io crate z3 0.4.0 [INFO] finished tweaking crates.io crate z3 0.4.0 [INFO] tweaked toml for crates.io crate z3 0.4.0 written to /workspace/builds/worker-7/source/Cargo.toml [INFO] running `"/workspace/cargo-home/bin/cargo" "+28742a1146f10a4f09369baad027a464acb7a766" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [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-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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] 2281a9f552934f310aff5c982fce5f607a984bc904628e1e5366c3609fd81061 [INFO] running `"docker" "start" "-a" "2281a9f552934f310aff5c982fce5f607a984bc904628e1e5366c3609fd81061"` [INFO] [stderr] Compiling z3 v0.4.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:862:5 [INFO] [stderr] | [INFO] [stderr] 862 | /// Bitwise negation [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_doc_comments)]` on by default [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:864:5 [INFO] [stderr] | [INFO] [stderr] 864 | /// Two's complement negation [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:866:5 [INFO] [stderr] | [INFO] [stderr] 866 | /// Bitwise and [INFO] [stderr] | ^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:868:5 [INFO] [stderr] | [INFO] [stderr] 868 | /// Bitwise or [INFO] [stderr] | ^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:870:5 [INFO] [stderr] | [INFO] [stderr] 870 | /// Bitwise exclusive-or [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:872:5 [INFO] [stderr] | [INFO] [stderr] 872 | /// Bitwise nand [INFO] [stderr] | ^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:874:5 [INFO] [stderr] | [INFO] [stderr] 874 | /// Bitwise nor [INFO] [stderr] | ^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:876:5 [INFO] [stderr] | [INFO] [stderr] 876 | /// Bitwise xnor [INFO] [stderr] | ^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:878:5 [INFO] [stderr] | [INFO] [stderr] 878 | /// Conjunction of all the bits in the vector. Returns a BV with size (bitwidth) 1. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:880:5 [INFO] [stderr] | [INFO] [stderr] 880 | /// Disjunction of all the bits in the vector. Returns a BV with size (bitwidth) 1. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:884:5 [INFO] [stderr] | [INFO] [stderr] 884 | /// Addition [INFO] [stderr] | ^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:886:5 [INFO] [stderr] | [INFO] [stderr] 886 | /// Subtraction [INFO] [stderr] | ^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:888:5 [INFO] [stderr] | [INFO] [stderr] 888 | /// Multiplication [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:890:5 [INFO] [stderr] | [INFO] [stderr] 890 | /// Unsigned division [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:892:5 [INFO] [stderr] | [INFO] [stderr] 892 | /// Signed division [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:894:5 [INFO] [stderr] | [INFO] [stderr] 894 | /// Unsigned remainder [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:896:5 [INFO] [stderr] | [INFO] [stderr] 896 | /// Signed remainder (sign follows dividend) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:898:5 [INFO] [stderr] | [INFO] [stderr] 898 | /// Signed remainder (sign follows divisor) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:902:5 [INFO] [stderr] | [INFO] [stderr] 902 | /// Unsigned less than [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:904:5 [INFO] [stderr] | [INFO] [stderr] 904 | /// Signed less than [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:906:5 [INFO] [stderr] | [INFO] [stderr] 906 | /// Unsigned less than or equal [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:908:5 [INFO] [stderr] | [INFO] [stderr] 908 | /// Signed less than or equal [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:910:5 [INFO] [stderr] | [INFO] [stderr] 910 | /// Unsigned greater or equal [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:912:5 [INFO] [stderr] | [INFO] [stderr] 912 | /// Signed greater or equal [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:914:5 [INFO] [stderr] | [INFO] [stderr] 914 | /// Unsigned greater than [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:916:5 [INFO] [stderr] | [INFO] [stderr] 916 | /// Signed greater than [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:920:5 [INFO] [stderr] | [INFO] [stderr] 920 | /// Shift left [INFO] [stderr] | ^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:922:5 [INFO] [stderr] | [INFO] [stderr] 922 | /// Logical shift right (add zeroes in the high bits) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:924:5 [INFO] [stderr] | [INFO] [stderr] 924 | /// Arithmetic shift right (sign-extend in the high bits) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:926:5 [INFO] [stderr] | [INFO] [stderr] 926 | /// Rotate left [INFO] [stderr] | ^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:928:5 [INFO] [stderr] | [INFO] [stderr] 928 | /// Rotate right [INFO] [stderr] | ^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:931:5 [INFO] [stderr] | [INFO] [stderr] 931 | /// Concatenate two bitvectors [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:935:5 [INFO] [stderr] | [INFO] [stderr] 935 | /// Check if addition overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:937:5 [INFO] [stderr] | [INFO] [stderr] 937 | /// Check if addition underflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:939:5 [INFO] [stderr] | [INFO] [stderr] 939 | /// Check if subtraction overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:941:5 [INFO] [stderr] | [INFO] [stderr] 941 | /// Check if subtraction underflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:943:5 [INFO] [stderr] | [INFO] [stderr] 943 | /// Check if signed division overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:945:5 [INFO] [stderr] | [INFO] [stderr] 945 | /// Check if negation overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:947:5 [INFO] [stderr] | [INFO] [stderr] 947 | /// Check if multiplication overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:949:5 [INFO] [stderr] | [INFO] [stderr] 949 | /// Check if multiplication underflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1143:5 [INFO] [stderr] | [INFO] [stderr] 1143 | /// Take the intersection of a list of sets. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1145:5 [INFO] [stderr] | [INFO] [stderr] 1145 | /// Take the union of a list of sets. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1147:5 [INFO] [stderr] | [INFO] [stderr] 1147 | /// Check if the set is a subset of another set. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1149:5 [INFO] [stderr] | [INFO] [stderr] 1149 | /// Take the complement of the set. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1151:5 [INFO] [stderr] | [INFO] [stderr] 1151 | /// Take the set difference between two sets. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: 45 warnings emitted [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 3.07s [INFO] running `"docker" "inspect" "2281a9f552934f310aff5c982fce5f607a984bc904628e1e5366c3609fd81061"` [INFO] running `"docker" "rm" "-f" "2281a9f552934f310aff5c982fce5f607a984bc904628e1e5366c3609fd81061"` [INFO] [stdout] 2281a9f552934f310aff5c982fce5f607a984bc904628e1e5366c3609fd81061 [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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" "test" "--frozen" "--no-run"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] c51fef710cd9f747ab5878babc060cf19b9472547576432da662ea9359d7f545 [INFO] running `"docker" "start" "-a" "c51fef710cd9f747ab5878babc060cf19b9472547576432da662ea9359d7f545"` [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:862:5 [INFO] [stderr] | [INFO] [stderr] 862 | /// Bitwise negation [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_doc_comments)]` on by default [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:864:5 [INFO] [stderr] | [INFO] [stderr] 864 | /// Two's complement negation [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:866:5 [INFO] [stderr] | [INFO] [stderr] 866 | /// Bitwise and [INFO] [stderr] | ^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:868:5 [INFO] [stderr] | [INFO] [stderr] 868 | /// Bitwise or [INFO] [stderr] | ^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:870:5 [INFO] [stderr] | [INFO] [stderr] 870 | /// Bitwise exclusive-or [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:872:5 [INFO] [stderr] | [INFO] [stderr] 872 | /// Bitwise nand [INFO] [stderr] | ^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:874:5 [INFO] [stderr] | [INFO] [stderr] 874 | /// Bitwise nor [INFO] [stderr] | ^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:876:5 [INFO] [stderr] | [INFO] [stderr] 876 | /// Bitwise xnor [INFO] [stderr] | ^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:878:5 [INFO] [stderr] | [INFO] [stderr] 878 | /// Conjunction of all the bits in the vector. Returns a BV with size (bitwidth) 1. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:880:5 [INFO] [stderr] | [INFO] [stderr] 880 | /// Disjunction of all the bits in the vector. Returns a BV with size (bitwidth) 1. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:884:5 [INFO] [stderr] | [INFO] [stderr] 884 | /// Addition [INFO] [stderr] | ^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:886:5 [INFO] [stderr] | [INFO] [stderr] 886 | /// Subtraction [INFO] [stderr] | ^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:888:5 [INFO] [stderr] | [INFO] [stderr] 888 | /// Multiplication [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:890:5 [INFO] [stderr] | [INFO] [stderr] 890 | /// Unsigned division [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:892:5 [INFO] [stderr] | [INFO] [stderr] 892 | /// Signed division [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:894:5 [INFO] [stderr] | [INFO] [stderr] 894 | /// Unsigned remainder [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:896:5 [INFO] [stderr] | [INFO] [stderr] 896 | /// Signed remainder (sign follows dividend) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:898:5 [INFO] [stderr] | [INFO] [stderr] 898 | /// Signed remainder (sign follows divisor) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:902:5 [INFO] [stderr] | [INFO] [stderr] 902 | /// Unsigned less than [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:904:5 [INFO] [stderr] | [INFO] [stderr] 904 | /// Signed less than [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:906:5 [INFO] [stderr] | [INFO] [stderr] 906 | /// Unsigned less than or equal [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:908:5 [INFO] [stderr] | [INFO] [stderr] 908 | /// Signed less than or equal [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:910:5 [INFO] [stderr] | [INFO] [stderr] 910 | /// Unsigned greater or equal [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:912:5 [INFO] [stderr] | [INFO] [stderr] 912 | /// Signed greater or equal [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:914:5 [INFO] [stderr] | [INFO] [stderr] 914 | /// Unsigned greater than [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:916:5 [INFO] [stderr] | [INFO] [stderr] 916 | /// Signed greater than [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:920:5 [INFO] [stderr] | [INFO] [stderr] 920 | /// Shift left [INFO] [stderr] | ^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:922:5 [INFO] [stderr] | [INFO] [stderr] 922 | /// Logical shift right (add zeroes in the high bits) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:924:5 [INFO] [stderr] | [INFO] [stderr] 924 | /// Arithmetic shift right (sign-extend in the high bits) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:926:5 [INFO] [stderr] | [INFO] [stderr] 926 | /// Rotate left [INFO] [stderr] | ^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:928:5 [INFO] [stderr] | [INFO] [stderr] 928 | /// Rotate right [INFO] [stderr] | ^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:931:5 [INFO] [stderr] | [INFO] [stderr] 931 | /// Concatenate two bitvectors [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:935:5 [INFO] [stderr] | [INFO] [stderr] 935 | /// Check if addition overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:937:5 [INFO] [stderr] | [INFO] [stderr] 937 | /// Check if addition underflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:939:5 [INFO] [stderr] | [INFO] [stderr] 939 | /// Check if subtraction overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:941:5 [INFO] [stderr] | [INFO] [stderr] 941 | /// Check if subtraction underflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:943:5 [INFO] [stderr] | [INFO] [stderr] 943 | /// Check if signed division overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:945:5 [INFO] [stderr] | [INFO] [stderr] 945 | /// Check if negation overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:947:5 [INFO] [stderr] | [INFO] [stderr] 947 | /// Check if multiplication overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:949:5 [INFO] [stderr] | [INFO] [stderr] 949 | /// Check if multiplication underflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1143:5 [INFO] [stderr] | [INFO] [stderr] 1143 | /// Take the intersection of a list of sets. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1145:5 [INFO] [stderr] | [INFO] [stderr] 1145 | /// Take the union of a list of sets. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1147:5 [INFO] [stderr] | [INFO] [stderr] 1147 | /// Check if the set is a subset of another set. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1149:5 [INFO] [stderr] | [INFO] [stderr] 1149 | /// Take the complement of the set. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1151:5 [INFO] [stderr] | [INFO] [stderr] 1151 | /// Take the set difference between two sets. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: 45 warnings emitted [INFO] [stderr] [INFO] [stderr] Compiling env_logger v0.6.2 [INFO] [stderr] Compiling z3 v0.4.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:862:5 [INFO] [stderr] | [INFO] [stderr] 862 | /// Bitwise negation [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_doc_comments)]` on by default [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:864:5 [INFO] [stderr] | [INFO] [stderr] 864 | /// Two's complement negation [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:866:5 [INFO] [stderr] | [INFO] [stderr] 866 | /// Bitwise and [INFO] [stderr] | ^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:868:5 [INFO] [stderr] | [INFO] [stderr] 868 | /// Bitwise or [INFO] [stderr] | ^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:870:5 [INFO] [stderr] | [INFO] [stderr] 870 | /// Bitwise exclusive-or [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:872:5 [INFO] [stderr] | [INFO] [stderr] 872 | /// Bitwise nand [INFO] [stderr] | ^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:874:5 [INFO] [stderr] | [INFO] [stderr] 874 | /// Bitwise nor [INFO] [stderr] | ^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:876:5 [INFO] [stderr] | [INFO] [stderr] 876 | /// Bitwise xnor [INFO] [stderr] | ^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:878:5 [INFO] [stderr] | [INFO] [stderr] 878 | /// Conjunction of all the bits in the vector. Returns a BV with size (bitwidth) 1. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:880:5 [INFO] [stderr] | [INFO] [stderr] 880 | /// Disjunction of all the bits in the vector. Returns a BV with size (bitwidth) 1. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:884:5 [INFO] [stderr] | [INFO] [stderr] 884 | /// Addition [INFO] [stderr] | ^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:886:5 [INFO] [stderr] | [INFO] [stderr] 886 | /// Subtraction [INFO] [stderr] | ^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:888:5 [INFO] [stderr] | [INFO] [stderr] 888 | /// Multiplication [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:890:5 [INFO] [stderr] | [INFO] [stderr] 890 | /// Unsigned division [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:892:5 [INFO] [stderr] | [INFO] [stderr] 892 | /// Signed division [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:894:5 [INFO] [stderr] | [INFO] [stderr] 894 | /// Unsigned remainder [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:896:5 [INFO] [stderr] | [INFO] [stderr] 896 | /// Signed remainder (sign follows dividend) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:898:5 [INFO] [stderr] | [INFO] [stderr] 898 | /// Signed remainder (sign follows divisor) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:902:5 [INFO] [stderr] | [INFO] [stderr] 902 | /// Unsigned less than [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:904:5 [INFO] [stderr] | [INFO] [stderr] 904 | /// Signed less than [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:906:5 [INFO] [stderr] | [INFO] [stderr] 906 | /// Unsigned less than or equal [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:908:5 [INFO] [stderr] | [INFO] [stderr] 908 | /// Signed less than or equal [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:910:5 [INFO] [stderr] | [INFO] [stderr] 910 | /// Unsigned greater or equal [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:912:5 [INFO] [stderr] | [INFO] [stderr] 912 | /// Signed greater or equal [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:914:5 [INFO] [stderr] | [INFO] [stderr] 914 | /// Unsigned greater than [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:916:5 [INFO] [stderr] | [INFO] [stderr] 916 | /// Signed greater than [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:920:5 [INFO] [stderr] | [INFO] [stderr] 920 | /// Shift left [INFO] [stderr] | ^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:922:5 [INFO] [stderr] | [INFO] [stderr] 922 | /// Logical shift right (add zeroes in the high bits) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:924:5 [INFO] [stderr] | [INFO] [stderr] 924 | /// Arithmetic shift right (sign-extend in the high bits) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:926:5 [INFO] [stderr] | [INFO] [stderr] 926 | /// Rotate left [INFO] [stderr] | ^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:928:5 [INFO] [stderr] | [INFO] [stderr] 928 | /// Rotate right [INFO] [stderr] | ^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:931:5 [INFO] [stderr] | [INFO] [stderr] 931 | /// Concatenate two bitvectors [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:935:5 [INFO] [stderr] | [INFO] [stderr] 935 | /// Check if addition overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:937:5 [INFO] [stderr] | [INFO] [stderr] 937 | /// Check if addition underflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:939:5 [INFO] [stderr] | [INFO] [stderr] 939 | /// Check if subtraction overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:941:5 [INFO] [stderr] | [INFO] [stderr] 941 | /// Check if subtraction underflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:943:5 [INFO] [stderr] | [INFO] [stderr] 943 | /// Check if signed division overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:945:5 [INFO] [stderr] | [INFO] [stderr] 945 | /// Check if negation overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:947:5 [INFO] [stderr] | [INFO] [stderr] 947 | /// Check if multiplication overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:949:5 [INFO] [stderr] | [INFO] [stderr] 949 | /// Check if multiplication underflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1143:5 [INFO] [stderr] | [INFO] [stderr] 1143 | /// Take the intersection of a list of sets. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1145:5 [INFO] [stderr] | [INFO] [stderr] 1145 | /// Take the union of a list of sets. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1147:5 [INFO] [stderr] | [INFO] [stderr] 1147 | /// Check if the set is a subset of another set. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1149:5 [INFO] [stderr] | [INFO] [stderr] 1149 | /// Take the complement of the set. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1151:5 [INFO] [stderr] | [INFO] [stderr] 1151 | /// Take the set difference between two sets. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [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/lib-502de7f89c389cba.lib.eqbhakcv-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.38zxpphq8ilpb8pd.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/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-0d6dc123ac3da8e3.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-6665100adb88b877.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-b227005fb2b80a78.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-f520069809185d79.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-918304762f2d1de8.rlib" "/opt/rustwide/target/debug/deps/libz3-2d4ca85ac78afe06.rlib" "/opt/rustwide/target/debug/deps/libz3_sys-5928ff0312aa14bb.rlib" "/opt/rustwide/target/debug/deps/libenv_logger-2ced888e84915fd6.rlib" "/opt/rustwide/target/debug/deps/libregex-5673d2c692486c34.rlib" "/opt/rustwide/target/debug/deps/libthread_local-99a05dc3a68e4d67.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-81e71b56f2a8a8f3.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-895f7b6116abae12.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-171112384f1bc6b1.rlib" "/opt/rustwide/target/debug/deps/libmemchr-e6743c7b9c8d789f.rlib" "/opt/rustwide/target/debug/deps/libatty-15974d6c3d773cf6.rlib" "/opt/rustwide/target/debug/deps/liblibc-941bae9845420ecf.rlib" "/opt/rustwide/target/debug/deps/libhumantime-335d91f662dd71ff.rlib" "/opt/rustwide/target/debug/deps/libquick_error-c339d616bf8720e1.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-ccddc316a849d2dd.rlib" "/opt/rustwide/target/debug/deps/liblog-e05329b9ca199b2b.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" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" "-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 [INFO] [stderr] [INFO] [stderr] error: could not compile `z3`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [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/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.3psioq1rqsxjs8hc.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/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-0d6dc123ac3da8e3.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-6665100adb88b877.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-b227005fb2b80a78.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-f520069809185d79.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-918304762f2d1de8.rlib" "/opt/rustwide/target/debug/deps/libz3-2d4ca85ac78afe06.rlib" "/opt/rustwide/target/debug/deps/libz3_sys-5928ff0312aa14bb.rlib" "/opt/rustwide/target/debug/deps/libsemver-f44c1739bb09819b.rlib" "/opt/rustwide/target/debug/deps/libsemver_parser-29e0db7194edeca5.rlib" "/opt/rustwide/target/debug/deps/libenv_logger-2ced888e84915fd6.rlib" "/opt/rustwide/target/debug/deps/libregex-5673d2c692486c34.rlib" "/opt/rustwide/target/debug/deps/libthread_local-99a05dc3a68e4d67.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-81e71b56f2a8a8f3.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-895f7b6116abae12.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-171112384f1bc6b1.rlib" "/opt/rustwide/target/debug/deps/libmemchr-e6743c7b9c8d789f.rlib" "/opt/rustwide/target/debug/deps/libatty-15974d6c3d773cf6.rlib" "/opt/rustwide/target/debug/deps/liblibc-941bae9845420ecf.rlib" "/opt/rustwide/target/debug/deps/libhumantime-335d91f662dd71ff.rlib" "/opt/rustwide/target/debug/deps/libquick_error-c339d616bf8720e1.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-ccddc316a849d2dd.rlib" "/opt/rustwide/target/debug/deps/liblog-e05329b9ca199b2b.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" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" "-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 [INFO] [stderr] [INFO] [stderr] error: could not compile `z3`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [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/z3-4fa1436f3c44d9ab.z3.c7nrlets-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab.z3.c7nrlets-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab.z3.c7nrlets-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab.z3.c7nrlets-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab.z3.c7nrlets-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab.z3.c7nrlets-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab.z3.c7nrlets-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab.z3.c7nrlets-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab.z3.c7nrlets-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab.z3.c7nrlets-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab.z3.c7nrlets-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab.z3.c7nrlets-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab.z3.c7nrlets-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab.1hrytkjs5v476rra.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/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-0d6dc123ac3da8e3.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-6665100adb88b877.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-b227005fb2b80a78.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-f520069809185d79.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-918304762f2d1de8.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-e05329b9ca199b2b.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; 45 warnings emitted [INFO] [stderr] [INFO] [stderr] error: could not compile `z3`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] running `"docker" "inspect" "c51fef710cd9f747ab5878babc060cf19b9472547576432da662ea9359d7f545"` [INFO] running `"docker" "rm" "-f" "c51fef710cd9f747ab5878babc060cf19b9472547576432da662ea9359d7f545"` [INFO] [stdout] c51fef710cd9f747ab5878babc060cf19b9472547576432da662ea9359d7f545