A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[mc] Add remote_ptr for marking pointers-to/addresses-in the remote process
[simgrid.git]
/
src
/
mc
/
mc_diff.cpp
diff --git
a/src/mc/mc_diff.cpp
b/src/mc/mc_diff.cpp
index
dd2a16f
..
82c1d0a
100644
(file)
--- a/
src/mc/mc_diff.cpp
+++ b/
src/mc/mc_diff.cpp
@@
-366,7
+366,7
@@
int init_heap_information(xbt_mheap_t heap1, xbt_mheap_t heap2, xbt_dynar_t i1,
state->heaplimit = ((struct mdesc *) heap1)->heaplimit;
state->heaplimit = ((struct mdesc *) heap1)->heaplimit;
- state->std_heap_copy = *
MC_process_get_heap(&mc_model_checker->process()
);
+ state->std_heap_copy = *
mc_model_checker->process().get_heap(
);
state->heapsize1 = heap1->heapsize;
state->heapsize2 = heap2->heapsize;
state->heapsize1 = heap1->heapsize;
state->heapsize2 = heap2->heapsize;
@@
-1610,7
+1610,7
@@
int mmalloc_linear_compare_heap(xbt_mheap_t heap1, xbt_mheap_t heap2)
/* Heap information */
state->heaplimit = ((struct mdesc *) heap1)->heaplimit;
/* Heap information */
state->heaplimit = ((struct mdesc *) heap1)->heaplimit;
- state->std_heap_copy = *
MC_process_get_heap(&mc_model_checker->process()
);
+ state->std_heap_copy = *
mc_model_checker->process().get_heap(
);
state->heapbase1 = (char *) heap1 + BLOCKSIZE;
state->heapbase2 = (char *) heap2 + BLOCKSIZE;
state->heapbase1 = (char *) heap1 + BLOCKSIZE;
state->heapbase2 = (char *) heap2 + BLOCKSIZE;