read_aiger_bad_state_property.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