benchexec

benchexec 3.35 · pkgs/by-name/be/benchexec/package.nix

Health

Risk

risk 1 low

+1 no versionCheckHook

Version

3.35 no newer release in its git tags

Channels

master 3.35 · nixos-unstable 3.27 · nixos-26.05 3.27 master is ahead of nixos-unstable, nixos-26.05

Hydra

succeeded 2d ago

Advisories

none open

Packaging

no versionCheckHook

Packagewhat each field means

Description

Framework for Reliable Benchmarking and Resource Measurement

Homepage

https://github.com/sosy-lab/benchexec

License

Apache-2.0

Platforms

31 platforms: Linux, Darwin

Main program

benchexec

Source provenance

not set: built from source

Outputs

out dist

Status

not broken, not insecure, free

Position

pkgs/by-name/be/benchexec/package.nix:63

Maintainers

lorenzleutgeb

Version bumps 0all open bumps

None open.

Pull requests 1

python3Packages.{pygments,pymdown-extensions}: update

#571450 by attilaolah · opened 9d ago · checks fail

Closed or merged in the synced window 3

staging-next 2026-10-08

#571813 by vcunat · merged 10h ago

python3Packages.levenshtein: 0.27.4 -> 0.27.5, fix build with cython 3.3.0

#570347 by ryand56 · closed 7d ago

[python-updates] major updates 2026-08-18

#554025 by dotlambda · merged 8d ago

Issues 0

None open.