#717: WebSearch: SQPP and logicutils assertion error
-----------------------+----------------------
Reporter: simko | Owner: jblayloc
Type: defect | Status: new
Priority: major | Milestone:
Component: WebSearch | Version:
Keywords: |
-----------------------+----------------------
From time to time, SQPP calls `logically_reduce()` in a way that causes
assertion error in logicutils, resulting in a trace back like this:
{{{
File "/usr/lib64/python2.4/site-
packages/invenio/search_engine_query_parser.py", line 205, in
logically_reduce
s = str(to_cnf(s)) # does in 2 passes FIXME:
diagnose
File "/usr/lib64/python2.4/site-packages/invenio/logicutils.py", line
404, in to_cnf
if isinstance(s, str): s = expr(s)
File "/usr/lib64/python2.4/site-packages/invenio/logicutils.py", line
120, in expr
return eval(s, {'Expr':Expr})
File "<string>", line 0, in ?
File "/usr/lib64/python2.4/site-packages/invenio/logicutils.py", line
178, in __call__
assert is_symbol(self.op) and not self.args
AssertionError
}}}
This happened on CDS for query:
{{{
/search?as=1&m1=a&p1=%28%28rifa+ant%29+%28fire+ant+insect%29+%28imported+fire+ant%29+imported+fire+ant+solenopsis+invicta+%28solenopsis+invicta%29+red+imported+fire+ant%29&f1=&op1=a&m2=a&p2=&f2=title&op2=a&m3=a&p3=&f3=author&action_search=Search&d1d=&d1m=&d1y=1980&d2d=&d2m=&d2y=2011&sf=&so=d&rm=&rg=100&sc=0&of=xm&c=Photos&c=Videos&c=Press&c=Audio+Archives&c=Exhibition+Objects&c=Posters&c=Brochures&c=HEP+Institutes&c=Experiments+at+CERN&cc=Multimedia+%26+Outreach
}}}
If helpful, full frame stack dump available upon request. :)
--
Ticket URL: <http://invenio-software.org/ticket/717>
Invenio <http://invenio-software.org>
