christoph/fail
1
Fork 0
Code Releases Activity

prune-trace: --no-weighting for SamplingPruner

Browse Source 
Analogous to the FESamplingPruner, the --no-weighting switch disables the
equivalence-class weighting by using a weight of one instead of the
equivalence-class size.  This is usually not a good idea, and should only
be used for demonstration purposes, or if the fault model requires
weight-less sampling.

The --no-weighting switch was introduced with an earlier commit, but
did not have an effect until now.

Change-Id: If2ebf775bea7f2e3f8c293abbae08f1eb00cacf1
This commit is contained in:
Horst Schirmeier
2015-02-02 13:46:34 +01:00
parent 1dcd4fbeb2
commit 6995dffca8
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
tools/prune-trace/SamplingPruner.cc
View File

@ -49,6 +49,10 @@ bool SamplingPruner::prune_all()
m_use_known_results = true;
}
if (cmd[NO_WEIGHTING]) {
m_weighting = false;
}
// for each variant:
for (std::vector<fail::Database::Variant>::const_iterator it = m_variants.begin();
it != m_variants.end(); ++it) {