aboutsummaryrefslogtreecommitdiffstats
path: root/tests/various/dynamic_part_select.ys
Commit message (Expand)AuthorAgeFilesLines
* Remove '-ignore_unknown_cells' option from 'sat'Eddie Hung2020-04-201-6/+6
* Simplify test case scriptEddie Hung2020-04-201-30/+17
* Modifications of tests as per Eddie's requestdiego2020-04-201-0/+119