Opened 6 years ago

Last modified 6 years ago

#26 assigned defect

The weakmem runtime leaks memory

Reported by: mornfall Owned by: Vladimír Štill
Priority: major Milestone: 5.0
Component: DiOS Keywords:
Cc:

Description

Not super critical, since we can run relaxed-memory checks and leak checks separately, but it'd be better not to leak (most likely also for memory consumption and model checking performance in general).

Change History (1)

comment:1 Changed 6 years ago by mornfall

Milestone: future → 5.0

Milestone renamed

Note: See TracTickets for help on using tickets.