Theoref bug: GNU MP: Cannot reallocate memory
./hifrog --theoref mem.c —claim 143
GNU MP: Cannot reallocate memory (old_size=1184 new_size=1200)
Aborted (core dumped)
Not sure it is coming from HiFrog...
Maybe issue of libtool and GMP. Any idea?
- Priority changed from Normal to Low
MEM ISSUES - LOW Priority
- 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
Also available in: Atom