read_aiger_invalid_reset_literal.ys
102 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