mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2026-03-29 19:25:50 +00:00
Code Activity

itp engine: address review feedback - use constants

Browse source
This commit is contained in:
inquisitour 2026-03-14 20:33:17 +00:00
parent 7225ad24f1
commit 01a716bf2e
1 changed files with 5 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

7
sbysrc/sby_engine_itp.py
View file

@ -43,9 +43,12 @@ def run(mode, task, engine_idx, engine):
# Parse options
args = engine[1:]
DEFAULT_BOUND = 20
DEFAULT_SKIP = 0
# Defaults from task options
bound = getattr(task, "opt_depth", 20) or 20
skip = getattr(task, "opt_skip", 0) or 0
bound = getattr(task, "opt_depth", DEFAULT_BOUND) or DEFAULT_BOUND
skip = getattr(task, "opt_skip", DEFAULT_SKIP) or DEFAULT_SKIP
# Positional args override: itp [bound] [skip]
if len(args) > 0: