You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
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.The text was updated successfully, but these errors were encountered: