blob: b38d71ce73fb6ad2f7cde29baf31fd02daad0e7d [file] [log] [blame] [edit]
Regression test for optimizing boolean simplifier.