jjUdZddlmZddlmZddlmZddlmZddlmZddl m Z ddl m Z dd l Z dd lmZdd lmZdd lmZdd lmZddlmZddlmZddlmZddlmZddlmZddlmZddlm Z ddlm!Z!d Z"de#d<d Z$de#d<d Z%de#d<dZ&dZ'de#d<d Z(d!e#d"<e'e(fZ)d)d#Z*d*d$Z+d+d%Z,d,d&Z-d-d'Z. d.d(Z/y )/z"Utilities for assertion debugging.) annotations)Callable)Iterator)Sequence)Literal) normalize)outcomesN)saferepr)saferepr_unlimited)_compare_eq_any)SET_COMPARISON_FUNCTIONS)isset)istext)_AssertionTextDiffStyle)_HighlightFunc) _notin_text)dummy_highlighter)Config) UsageErrorz2Callable[[str, object, object], str | None] | None _reprcomparez&Callable[[int, str, str], None] | None_assertion_passz Config | None_configassertion_text_diff_stylendiffzLiteral['ndiff']ASSERTION_TEXT_DIFF_STYLE_NDIFFblockzLiteral['block']ASSERTION_TEXT_DIFF_STYLE_BLOCKct|jt}|xdk(r|Sxdk(r|S djdtD}t td|d|)Nrrz, c32K|]}t|ywN)repr).0choices X/opt/eval-harness/bench_task/venv/lib/python3.12/site-packages/_pytest/assertion/util.py z0get_assertion_text_diff_style..8s !'V  sz must be one of z; got )strgetiniASSERTION_TEXT_DIFF_STYLE_INIjoin!ASSERTION_TEXT_DIFF_STYLE_CHOICESr)configstylechoicess r$get_assertion_text_diff_styler.2s{  ;< =E   L L ii +L G011A'&QVPYZ ct|yr )r.)r+s r$"validate_assertion_text_diff_styler1@s !&)r/cPt|}t|}dj|S)aFormat an explanation. Normally all embedded newlines are escaped, however there are three exceptions: \n{, \n} and \n~. The first two are intended cover nested explanations, see function and attribute explanations for examples (.visit_Call(), visit_Attribute()). The last one is for when one explanation needs to span multiple lines, e.g. when displaying diffs.  )_split_explanation _format_linesr)) explanationlinesresults r$format_explanationr9Ds' { +E 5 !F 99V r/c|xsdjd}|dg}|ddD]-}|r|ddvr|j||dxxd|zz cc</|S) zReturn a list of individual lines in the explanation. This will return a list of lines split on '\n{', '\n}' and '\n~'. Any other newlines will be escaped and appear in the line as the literal '\n' characters. r3rN){}~>z\n)splitappend)r6 raw_linesr7valuess r$r4r4Ssm"))$/I q\NEAB-( fQi#77 LL "I 'I ( Lr/ct|dd}dg}dg}|ddD]"}|jdro|drd}nd}|jt||dxxdz cc<|jd|jdd t|dz zz|z|ddz|jd r4|j |j ||dxx|ddz cc<|dd vsJ|dxxdz cc<|jd r t|n t|dz }|jd |z|ddz%t|dk(sJ|S) a Format the individual lines. This will replace the '{', '}' and '~' characters of our mini formatting language with the proper 'where ...', 'and ...' and ' + ...' text, taking care of indentation along the way. Return a list of formatted lines. Nr<rr=rAzand zwhere z +z r>)r?r@r?)list startswithrClenpop)r7r8stackstackcntlinesindents r$r5r5dsR%)_F CEsHab 4 ??3 | LLV % RLA L OOA  MM$Ua!881!=<=>= uc " > eT "iu&= = {&tyA 'C c"g  ! T7iH eW J  1RD*.G%< :$) F8^t  ug6F / /E$KE%L-b1${GTF"XF  D" 2:H"&J   ==  <]]00==?MMO MH"OJ:,VW X <; rs("$$$!)3:C+,=46N!%DH @G;?7> ;4;!1;4;!1;##%! * " FP< P< P< P<  P<  P< 7P<P