circt icon indicating copy to clipboard operation
circt copied to clipboard

Published 20 hours ago • verified publisher icon llvm

[Verif] Add ignore attribute to formal

Open leonardt opened this issue 1 year ago • 0 comments

By default, circt-test will not include "ignored" verif.formal ops in the output but has an option --include-ignored to emit them.

leonardt avatar Oct 21 '24 15:10 leonardt