Memory limit as integer / overflow
Bug #1293240 reported by
Mathias Grund Sørensen
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| verifypn |
Fix Released
|
Critical
|
Jiri Srba | ||
Bug Description
The default value for the memory limit overflows on line 73 in VerifyPN.cpp.
Also, it appears that the memory limit is in KB (input value in MB is multiplied with 1024). If so, I would think the initial value should be 3*1024*1024 not 3*1024*1024*1024 (solving the overflow).
Related branches
lp:~verifypn-maintainers/verifypn/memoryLimitBug
- Jonas Finnemann Jensen: Approve
- Jiri Srba: Approve
-
Diff: 54 lines (+8/-9)2 files modifiedPetriEngine/Structures/LimitedStateAllocator.h (+3/-3)
VerifyPN.cpp (+5/-6)
| Changed in verifypn: | |
| status: | New → In Progress |
| importance: | Undecided → Critical |
| assignee: | nobody → Jiri Srba (srba) |
| Changed in verifypn: | |
| status: | In Progress → Fix Committed |
| Changed in verifypn: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
