mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2026-05-24 21:16:22 +00:00
Code Activity

Merge pull request #353 from inquisitour/add-itp-engine

Browse source 
Add ITP engine: interpolation-based model checking via itp-bmc
This commit is contained in:
Gus Smith 2026-03-30 12:29:24 -04:00 • committed by GitHub
commit ae9d4458ca
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
6 changed files with 185 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
sbysrc/sby_core.py
View file

@ -940,6 +940,7 @@ class SbyTask(SbyConfig):
"btormc": os.getenv("BTORMC", "btormc"),
"pono": os.getenv("PONO", "pono"),
"imctk-eqy-engine": os.getenv("IMCTK_EQY_ENGINE", "imctk-eqy-engine"),
"itp-bmc": os.getenv("ITP_BMC", "itp-bmc"),
}
self.taskloop = taskloop or SbyTaskloop()