Hacker GitHub

← All repos

sosy-lab/benchexec

View on GitHub ↗ ★ 295 Python

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

5 mentions on Hacker News by 3 people: 2 stories, 3 comments · first 2024-06-07 · latest 2025-12-19

Mentions per year 5 mentions · busiest year 2024 (3)
20082026
AllStoriesComments NewestTopOldest
  1. …to create a container that restricts interference of [each program] with the benchmarking host." https://github.com/sosy-lab/benchexec
    comment by igouy · 2025-12-19 · in Programming language speed comparison using Leibniz formula for π
  2. > not visible in benchmarks fwiw benchmarksgame uses benchexec https://github.com/sosy-lab/benchexec
    comment by igouy · 2025-11-07 · in A Note on Fil-C
  3. No interest in a more general tool? https://github.com/sosy-lab/benchexec
    comment by igouy · 2024-12-24 · in JavaScript Benchmarking Is a Mess