Skip to content
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

Allow selecting proof engine in FHDLTestCase #376

Closed
awygle opened this issue May 1, 2020 · 1 comment
Closed

Allow selecting proof engine in FHDLTestCase #376

awygle opened this issue May 1, 2020 · 1 comment
Labels

Comments

@awygle
Copy link
Contributor

awygle commented May 1, 2020

Assuming that FHDLTestCase is intended to be used by the general public, it would be convenient to be able to specify the proof engine to use. abc pdr, for example, can solve certain proofs that fail k-induction.

@whitequark
Copy link
Member

It is absolutely not intended to be a public API, just like anything else in nmigen.test. Just another confusing Python convention where tests end up a part of the main package.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Development

No branches or pull requests

2 participants