klee: 3.1 -> 3.1-unstable-2025-07-11, bump to LLVM 18#435927
Merged
OfBorg / klee, klee.passthru.tests on aarch64-darwin
skipped
Aug 30, 2025 in 0s
No attempt
The following builds were skipped because they don't evaluate on aarch64-darwin: klee, klee.passthru.tests
Details
Partial log
{ nixpkgs.config.allowBroken = true; }
in configuration.nix to override this.
c) For `nix-env`, `nix-build`, `nix-shell` or any other Nix command you can add
{ allowBroken = true; }
to ~/.config/nixpkgs/config.nix.
Cannot nix-instantiate `klee.passthru.tests` because:
error: attribute 'tests' in selection path 'klee.passthru.tests' not found
Loading