Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Moved all tests in arch sub directory | Miodrag Milanovic | 2019-10-18 | 1 | -3/+0 |
| | |||||
* | Add new tests for Efinix architecture. | SergeyDegtyar | 2019-09-23 | 1 | -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. |