Message in Chinese (Simplified) (中文(简体))
后置条件在引发异常后失败: <var>X</var>
Unlocalized message
Postcondition failed after throwing an exception: <var>X</var>
Search by Google后置条件在引发异常后失败: <var>X</var>
Postcondition failed after throwing an exception: <var>X</var>
Search by Google