projects
/
lttv.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Perform factor reduction as a modular step
[lttv.git]
/
lttv
/
lttv
/
sync
/
event_analysis_eval.c
diff --git
a/lttv/lttv/sync/event_analysis_eval.c
b/lttv/lttv/sync/event_analysis_eval.c
index 27d877d8a7c3b407d04a65ebe5a213b0304163f7..4aa6a7a5ef3b87ad974f693de4da6929daedfdff 100644
(file)
--- a/
lttv/lttv/sync/event_analysis_eval.c
+++ b/
lttv/lttv/sync/event_analysis_eval.c
@@
-557,8
+557,8
@@
static void destroyAnalysisEval(SyncState* const syncState)
g_hash_table_destroy(stats->exchangeRtt);
#ifdef HAVE_LIBGLPK
g_hash_table_destroy(stats->exchangeRtt);
#ifdef HAVE_LIBGLPK
- freeAllFactors(stats->chFactorsArray);
- freeAllFactors(stats->lpFactorsArray);
+ freeAllFactors(stats->chFactorsArray
, syncState->traceNb
);
+ freeAllFactors(stats->lpFactorsArray
, syncState->traceNb
);
#endif
free(stats);
#endif
free(stats);
@@
-596,7
+596,7
@@
static void destroyAnalysisEval(SyncState* const syncState)
if (!syncState->stats)
{
if (!syncState->stats)
{
- freeAllFactors(graphs->lpFactorsArray);
+ freeAllFactors(graphs->lpFactorsArray
, syncState->traceNb
);
}
#endif
}
#endif
@@
-1860,7
+1860,8
@@
static void finalizeAnalysisEvalLP(SyncState* const syncState)
}
#endif
}
#endif
- freeAllFactors(analysisData->chullSS->analysisModule->finalizeAnalysis(analysisData->chullSS));
+ freeAllFactors(analysisData->chullSS->analysisModule->finalizeAnalysis(analysisData->chullSS),
+ analysisData->chullSS->traceNb);
}
}
This page took
0.023812 seconds
and
4
git commands to generate.