返回 DeepSeek-Reasonix
budget.py
根目录 / benchmarks / verification-stress / tasks / vs-neu-unitshift / workdir / budget.py
1 import timings
2
3 def within_budget(entries):
4 return sum(e["elapsed_ms"] for e in entries) <= timings.BUDGET_MS
5
5 lines PYTHON