mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-08-10 07:10:54 +00:00
Code Activity

Update unknowns on timeout

Browse source
This commit is contained in:
Krystine Sherwin 2025-07-08 15:47:34 +12:00
parent ceaeac43f7
commit f399acc22d
No known key found for this signature in database
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
sbysrc/sby_core.py
View file

@ -1254,6 +1254,8 @@ class SbyTask(SbyConfig):
proc.terminate(timeout=timeout) proc.terminate(timeout=timeout)
for proc in list(self.procs_pending): for proc in list(self.procs_pending):
proc.terminate(timeout=timeout) proc.terminate(timeout=timeout)
if timeout:
self.update_unknown_props(dict(source="timeout"))
def proc_failed(self, proc): def proc_failed(self, proc):
# proc parameter used by autotune override # proc parameter used by autotune override