3 Commits

Author	SHA1	Message	Date
Eddie Hung	caf4071c8b	Remove '-ignore_unknown_cells' option from 'sat'	2020-04-20 11:58:23 -07:00
Eddie Hung	a1573058e9	Simplify test case script	2020-04-20 11:54:10 -07:00
diego	22f440506b	Modifications of tests as per Eddie's request	2020-04-20 12:45:35 -05:00