Dvlab Open Wiki
Mlglu.mdd_get_manager corruption
- Submitted by: Vishwa
- Date: Jan 14, 2006
- Assigned to: Vishwa
Marco has fixed this bug. Thanks Marco.
Calling Mlglu.mdd_get_manager corrupts memory causing a segmentation violation eventually. I noticed when debugging the simulation crash for a large number of cycles. During simulation we generate a line of HTML for every cycle. This line contains the cycle number, the action chosen and the values of all variables in a random minterm from the possible next states.
All mlglu functions that we use per cycle get the mdd manager using the call Mlglu.mdd_get_manager using the statesets computed. This mechanism to get the mdd manager corrupts memory causing an eventual seg fault.
The correct way (and also the consistent way of getting the mdd manager in ticc) is through the function Symprog.get_mgr. This function has no side effects and everything works as it should.
This bug has been filed to track the crash caused by using Mlglu.mdd_get_manager. I need to understand the way such parameters are packaged in C and passed across to OCAML before I can make more progress.