search

MathWebSearch / mws

MathWebSearch Implementation
https://search.mathweb.org/
GNU General Public License v3.0
46 stars 12 forks source link

Index assertion failed #55

Closed cprodescu closed 10 years ago

cprodescu commented 10 years ago

We have seen inconsistencies when using the NTCIR index to generate annotated documents for a few harvests (affecting 16 out of 2596 harvests):

harvests2json: mws/src/mws/index/IndexAccessor.hpp:103: static uint64_t mws::index::IndexAccessor::getFormulaId(mws::index::IndexAccessor::Node*): Assertion `leaf->type == LEAF_NODE' failed.
cprodescu commented 10 years ago

Cannot repro this with newly generated indexes. I assume the bug was fixed at 14c797a5c49d6f22052f64726e56842065599637.