read_aiger_cant_interpret_first_char.ys
95 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