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

Add smtc option

Browse source
This commit is contained in:
Clifford Wolf 2017-02-27 22:28:31 +01:00
parent ad304ddda7
commit 81144819e5
2 changed files with 9 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
sbysrc/sby_core.py
View file

@ -435,6 +435,12 @@ class SbyJob:
self.handle_bool_option("wait", False)
self.handle_int_option("timeout", None)
self.handle_str_option("smtc", None)
if self.opt_smtc is not None:
for engine in self.engines:
assert engine[0] == "smtbmc"
self.copy_src()
if self.opt_mode == "bmc":