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
model-checker : use xbt_free_f instead of a new function which do the same thing
[simgrid.git]
/
src
/
mc
/
mc_dpor.c
diff --git
a/src/mc/mc_dpor.c
b/src/mc/mc_dpor.c
index
c9e1abb
..
d0ab84f
100644
(file)
--- a/
src/mc/mc_dpor.c
+++ b/
src/mc/mc_dpor.c
@@
-11,10
+11,6
@@
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_dpor, mc,
xbt_dynar_t visited_states;
xbt_dict_t first_enabled_state;
xbt_dynar_t visited_states;
xbt_dict_t first_enabled_state;
-static void dict_data_free(void *d){
- xbt_free((char *)d);
-}
-
static void visited_state_free(mc_visited_state_t state){
if(state){
MC_free_snapshot(state->system_state);
static void visited_state_free(mc_visited_state_t state){
if(state){
MC_free_snapshot(state->system_state);
@@
-197,7
+193,7
@@
void MC_dpor_init()
initial_state = MC_state_new();
visited_states = xbt_dynar_new(sizeof(mc_visited_state_t), visited_state_free_voidp);
initial_state = MC_state_new();
visited_states = xbt_dynar_new(sizeof(mc_visited_state_t), visited_state_free_voidp);
- first_enabled_state = xbt_dict_new_homogeneous(&
dict_data_free
);
+ first_enabled_state = xbt_dict_new_homogeneous(&
xbt_free_f
);
MC_UNSET_RAW_MEM;
MC_UNSET_RAW_MEM;