krr / IDP / issues / #723 - Memory issues — Bitbucket

Issue #723 new

Bart Bogaerts created an issue 2014-03-28

Recent bootstrapping code exposes problems in memory management.

Memory use of the test framework explodes because of the many calls to modelexpansion.

I believe that all bootstrapping related memory is freed.

Details: run for example tests/bounds on branch bootstrapping_better

Comments (4)

Broes De Cat
- assigned issue to
  
  Broes De Cat
- 2014-03-28T13:31:55+00:00
Broes De Cat
Refs #723: reduced memory overhead of propagation and adding completion. Enabled xsb for bootstrapping.

→ <<cset a6b66400598d>>
- 2014-03-28T15:50:10+00:00
Bart Bogaerts reporter
Refs #723: reduced memory overhead of propagation and adding completion. Enabled xsb for bootstrapping.

→ <<cset 98fbad7bcb6e>>
- 2014-04-02T15:35:28+00:00
Broes De Cat
Refs #723: reduced memory overhead of propagation and adding completion. Enabled xsb for bootstrapping.

→ <<cset c2451816c011>>
- 2014-05-21T09:52:48+00:00
Log in to comment

Assignee: Broes De Cat

Type: bug

Priority: major

Status: new

Component: –

Version: –

Votes: 0

Watchers: 1

Jira: the preferred issue tracker for Bitbucket. Join the team!