Skip to content

/ riscv-formal

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix PREUNSAT errors in QuickStart Guide Exercise 1 (picorv32) #43

Open
wants to merge 3 commits into
base: master
from
+1 −1
Open

Fix PREUNSAT errors in QuickStart Guide Exercise 1 (picorv32) #43

Changes from 1 commit
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
35a6553
Pass --nopresat flag to sby
DonaldKellett Aug 18, 2020
d9c5076
Remove --nopresat flag in checks/genchecks.py
Aug 18, 2020
b323abe
Add --nopresat flag to sby
Aug 18, 2020
File filter...
Filter file types
Clear filters
Jump to…
Jump to file
Failed to load files.

Always

Just for now

Prev

Add --nopresat flag to sby

  • Loading branch information
Donald Sebastian Leung
Donald Sebastian Leung committed Aug 18, 2020
commit b323abe6ae617f3288b86f7c35c529ea8478247e
2 checks/genchecks.py
View file
Open in desktop
@@ -154,7 +154,7 @@ def print_hfmt(f, text, **kwargs):
hargs["engine"] = "btor btormc"
hargs["ilang_file"] = corename + "-hier.il"
else:
hargs["engine"] = "smtbmc %s%s" % ("--dumpsmt2 " if dumpsmt2 else "", solver)
hargs["engine"] = "smtbmc --nopresat %s%s" % ("--dumpsmt2 " if dumpsmt2 else "", solver)
hargs["ilang_file"] = corename + "-hier.il"

def test_disabled(check):
ProTip! Use n and p to navigate between commits in a pull request.