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: use task.opt_depth and task.opt_skip directly

Browse source
This commit is contained in:
inquisitour 2026-03-15 23:44:26 +00:00
parent 01a716bf2e
commit a6a42216f5
1 changed files with 2 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

7
sbysrc/sby_engine_itp.py
View file

@ -43,12 +43,9 @@ 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", DEFAULT_BOUND) or DEFAULT_BOUND
skip = getattr(task, "opt_skip", DEFAULT_SKIP) or DEFAULT_SKIP
bound = task.opt_depth
skip = task.opt_skip
# Positional args override: itp [bound] [skip]
if len(args) > 0: