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
  4. ▲ 1
    BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
    story by PaulHoule · 2024-06-14 · 0 comments
  5. ▲ 1
    Benchexec: BenchExec: A Framework for Reliable Benchmarking and Resource Measur
    story by todsacerdoti · 2024-06-07 · 0 comments