Closed EmileTrotignon closed 9 months ago
Here is an extract from the cram test that triggered this issue
$ export SHERLODOC_DB=db.bin $ export SHERLODOC_FORMAT=ancient $ sherlodoc index --index-docstring=false $(find ./docs/odoc/base/ -name "*.odocl") > /dev/null find: './docs/odoc/base/': No such file or directory $ sherlodoc search --print-cost --limit 100 "S_poly" 232411 Segmentation fault (core dumped) sherlodoc search --print-cost --limit 100 "S_poly" [139]
It does not happen with marshal :
$ export SHERLODOC_DB=db.bin $ export SHERLODOC_FORMAT=marshal $ sherlodoc index --index-docstring=false $(find ./docs/odoc/base/ -name "*.odocl") > /dev/null find: './docs/odoc/base/': No such file or directory $ sherlodoc search --print-cost --limit 100 "S_poly" [No results]
I believe this was fixed in #4 but we need to keep watch on ancient segfaults in the future :/
Here is an extract from the cram test that triggered this issue
It does not happen with marshal :