Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove '-ignore_unknown_cells' option from 'sat' | Eddie Hung | 2020-04-20 | 1 | -6/+6 |
| | |||||
* | Simplify test case script | Eddie Hung | 2020-04-20 | 1 | -30/+17 |
| | |||||
* | Modifications of tests as per Eddie's request | diego | 2020-04-20 | 1 | -0/+119 |