symcc

1.0-unstable-2024-07-16BlockedDependencies →

Efficient compiler-based symbolic execution

Blocked by failed dependencies; not queued for a build.

No build output for this package in this campaign. Open a dependency's failure log below.

Planning log · · This campaign

pkgs/by-name/sy/symcc/package.nix

Blocking dependencies

llvm-19.1.7

Compilation or linking failed

Failure log · · This campaign

z3-4.15.1

Compilation or linking failed

Failure log · · This campaign

x86_64-unknown-linux-gnufilc0-gcc-14.3.0

Compilation or linking failed

Failure log · · This campaign

Via x86_64-unknown-linux-gnufilc0-clang-wrapper-19.1.7

compiler-rt-libc-19.1.7

Configuration failed

Failure log · · This campaign

Via x86_64-unknown-linux-gnufilc0-clang-wrapper-19.1.7