Actions
Bug #5010
openTheoref bug: GNU MP: Cannot reallocate memory
Start date:
16/04/2017
Due date:
% Done:
60%
Estimated time:
Description
./hifrog --theoref mem.c —claim 143
GNU MP: Cannot reallocate memory (old_size=1184 new_size=1200)
Aborted (core dumped)
Updated by Karine Even Mendoza over 7 years ago
Not sure it is coming from HiFrog...
Maybe issue of libtool and GMP. Any idea?
Updated by Karine Even Mendoza about 7 years ago
- Priority changed from Normal to Low
MEM ISSUES - LOW Priority
Updated by Karine Even Mendoza about 7 years ago
- Status changed from New to In Progress
- Assignee set to Antti Hyvärinen
- % Done changed from 0 to 60
Add type-byte-constraints (option 2 to solve this issue).
Seems to bound the formula, however we need to move this logic to the solver at some point
Actions