terapines
/
circt
mirror of https://github.com/llvm/circt.git
2
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
circt/tools/circt-test
History
Lenny Truong 2bd44c813a
[Verif] Add ignore attribute to formal (#7719) 
By default, `circt-test` will not include "ignored" verif.formal ops
in the output list but has an option `--list-ignored` to emit them.
 		2024-10-31 16:25:00 -07:00
..
CMakeLists.txt [circt-test] Add simple SymbiYosys test runner (#7756) 2024-10-31 10:14:55 -07:00
circt-test-runner-sby.py [circt-test] Add simple SymbiYosys test runner (#7756) 2024-10-31 10:14:55 -07:00
circt-test.cpp [Verif] Add ignore attribute to formal (#7719) 2024-10-31 16:25:00 -07:00