Project

General

Profile

Bug #5010

Theoref bug: GNU MP: Cannot reallocate memory

Added by Sepideh Asadi about 2 years ago. Updated almost 2 years ago.

Status:
In Progress
Priority:
Low
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)

History

#1 Updated by Karine Even Mendoza about 2 years ago

Not sure it is coming from HiFrog...

Maybe issue of libtool and GMP. Any idea?

#2 Updated by Karine Even Mendoza almost 2 years ago

  • Priority changed from Normal to Low

MEM ISSUES - LOW Priority

#3 Updated by Karine Even Mendoza almost 2 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

Also available in: Atom PDF