aboutsummaryrefslogtreecommitdiffstats
path: root/tests/efinix/.gitignore
Commit message (Collapse)AuthorAgeFilesLines
* Moved all tests in arch sub directoryMiodrag Milanovic2019-10-181-3/+0
|
* Add new tests for Efinix architecture.SergeyDegtyar2019-09-231-0/+3
Problems/questions: - fsm.ys. equiv_opt -assert failed because of unproven cells; - latches.ys,tribuf.ys - internal cells present; - memory.ys - sat called with -verify and proof did fail.