read_aiger_invalid_aiger_header.ys
99 Bytes
-
Add tests for error messages to 'frontends' group · dd522d08Testing problems: frontends.read_liberty_error.read_liberty_error_read_liberty_redefenition_of_module - Typo in the message "Re-definition of of cell/module..."
SergeyDegtyar committed