mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-12-28 07:46:38 +00:00
Code Activity

Update sbysrc/sby_engine_btor.py

Browse source 
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
This commit is contained in:
Yuheng Su 2025-12-09 09:34:19 +08:00 • committed by GitHub
parent f1fdb26ffa
commit 5b2058c628
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
sbysrc/sby_engine_btor.py
View file

@ -85,7 +85,7 @@ def run(mode, task, engine_idx, engine):
+ solver_args[1:]
)
else:
task.error("The rIC3 solver is only supported in bmc and prove mode.")
task.error("The rIC3 solver is only supported in bmc and prove modes.")
else:
task.error(f"Invalid solver command {solver_args[0]}.")