symcc_runtime 0.14.1

Build Concolic Tracing tools based on SymCC in Rust
Build #1571997 2024-12-02T22:03:15.341624+00:00
# rustc version
rustc 1.84.0-nightly (3fee0f12e 2024-11-20)# docs.rs version
docsrs 0.6.0 (3767aed0 2024-11-29)# build log
[INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace/builds/symcc_runtime-0.14.1/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace/builds/symcc_runtime-0.14.1/source:/opt/rustwide/workdir:ro,Z" "-v" "/home/cratesfyi/workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/home/cratesfyi/workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "DOCS_RS=1" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "6442450944" "--cpus" "6" "--user" "1001:1001" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2024-11-21" "rustdoc" "--lib" "-Zrustdoc-map" "--all-features" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20241120-1.84.0-nightly-3fee0f12e\", \"--static-root-path\", \"/-/rustdoc.static/\", \"--cap-lints\", \"warn\", \"--extern-html-root-takes-precedence\"]" "--offline" "-Zunstable-options" "--config=doc.extern-map.registries.crates-io=\"https://docs.rs/{pkg_name}/{version}/x86_64-unknown-linux-gnu\"" "-Zrustdoc-scrape-examples" "-j6" "--target" "x86_64-unknown-linux-gnu", kill_on_drop: false }`
[INFO] [stdout] 78c1fd68d2fa89e29b0e4e0c39ff840f42876a3c6cc5f50c6037fdc08fbfc713
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "78c1fd68d2fa89e29b0e4e0c39ff840f42876a3c6cc5f50c6037fdc08fbfc713", kill_on_drop: false }`
[INFO] [stderr] warning: target filter specified, but no targets matched; this is a no-op
[INFO] [stderr]  Documenting symcc_runtime v0.14.1 (/opt/rustwide/workdir)
[INFO] [stderr] error[E0407]: method `build_fp_neg` is not a member of trait `Filter`
[INFO] [stderr]    --> src/filter.rs:246:5
[INFO] [stderr]     |
[INFO] [stderr] 246 |       fn build_fp_neg(&mut self, _a: RSymExpr) -> bool {
[INFO] [stderr]     |       ^  ------------ help: there is an associated function with a similar name: `build_fp_rem`
[INFO] [stderr]     |  _____|
[INFO] [stderr]     | |
[INFO] [stderr] 247 | |         false
[INFO] [stderr] 248 | |     }
[INFO] [stderr]     | |_____^ not a member of trait `Filter`
[INFO] [stderr] 
[INFO] [stderr] error[E0407]: method `build_integer_from_buffer` is not a member of trait `Runtime`
[INFO] [stderr]   --> src/tracing.rs:68:5
[INFO] [stderr]    |
[INFO] [stderr] 68 | /     fn build_integer_from_buffer(
[INFO] [stderr] 69 | |         &mut self,
[INFO] [stderr] 70 | |         _buffer: *mut core::ffi::c_void,
[INFO] [stderr] 71 | |         _num_bits: core::ffi::c_uint,
[INFO] [stderr] ...  |
[INFO] [stderr] 74 | |         self.write_message(SymExpr::IntegerFromBuffer {})
[INFO] [stderr] 75 | |     }
[INFO] [stderr]    | |_____^ not a member of trait `Runtime`
[INFO] [stderr] 
[INFO] [stderr] error[E0407]: method `build_fp_neg` is not a member of trait `Runtime`
[INFO] [stderr]    --> src/tracing.rs:40:9
[INFO] [stderr]     |
[INFO] [stderr] 40  | /         fn $method_name(&mut self, $( $param_name : $param_type, )+ ) -> Option<RSymExpr> {
[INFO] [stderr] 41  | |             self.write_message(SymExpr::$message { $($param_name,)+ })
[INFO] [stderr] 42  | |         }
[INFO] [stderr]     | |_________^ not a member of trait `Runtime`
[INFO] [stderr] ...
[INFO] [stderr] 142 |       unary_expression_builder!(build_fp_neg, FloatNeg);
[INFO] [stderr]     |       -------------------------------------------------
[INFO] [stderr]     |       |                         |
[INFO] [stderr]     |       |                         help: there is an associated function with a similar name: `build_fp_rem`
[INFO] [stderr]     |       in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this error originates in the macro `expression_builder` which comes from the expansion of the macro `unary_expression_builder` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] error[E0407]: method `build_ite` is not a member of trait `Runtime`
[INFO] [stderr]    --> src/tracing.rs:40:9
[INFO] [stderr]     |
[INFO] [stderr] 40  | /         fn $method_name(&mut self, $( $param_name : $param_type, )+ ) -> Option<RSymExpr> {
[INFO] [stderr] 41  | |             self.write_message(SymExpr::$message { $($param_name,)+ })
[INFO] [stderr] 42  | |         }
[INFO] [stderr]     | |_________^ not a member of trait `Runtime`
[INFO] [stderr] ...
[INFO] [stderr] 151 |       expression_builder!(build_ite(cond: RSymExpr, a: RSymExpr, b: RSymExpr) => Ite);
[INFO] [stderr]     |       -------------------------------------------------------------------------------
[INFO] [stderr]     |       |                   |
[INFO] [stderr]     |       |                   help: there is an associated function with a similar name: `build_true`
[INFO] [stderr]     |       in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this error originates in the macro `expression_builder` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] For more information about this error, try `rustc --explain E0407`.
[INFO] [stderr] error: could not document `symcc_runtime`
[INFO] running `Command { std: "docker" "inspect" "78c1fd68d2fa89e29b0e4e0c39ff840f42876a3c6cc5f50c6037fdc08fbfc713", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "78c1fd68d2fa89e29b0e4e0c39ff840f42876a3c6cc5f50c6037fdc08fbfc713", kill_on_drop: false }`
[INFO] [stdout] 78c1fd68d2fa89e29b0e4e0c39ff840f42876a3c6cc5f50c6037fdc08fbfc713