aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/Core/StatsTracker.cpp
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2016-03-01 14:36:13 +0000
committerCristian Cadar <c.cadar@imperial.ac.uk>2016-03-01 14:36:49 +0000
commitf244db54bfc37f5cc1d831f54c74e818e69bd28c (patch)
tree28e8b7f0846ec62c98efcc9f1e40b649e253f6ad /lib/Core/StatsTracker.cpp
parentce1dd5a7f3de7b536a9ff266a9231b44a053fe95 (diff)
downloadklee-f244db54bfc37f5cc1d831f54c74e818e69bd28c.tar.gz
Documented default values for various options and improved the description of some.
Diffstat (limited to 'lib/Core/StatsTracker.cpp')
-rw-r--r--lib/Core/StatsTracker.cpp29
1 files changed, 15 insertions, 14 deletions
diff --git a/lib/Core/StatsTracker.cpp b/lib/Core/StatsTracker.cpp
index 9995b7e2..5e77172e 100644
--- a/lib/Core/StatsTracker.cpp
+++ b/lib/Core/StatsTracker.cpp
@@ -68,45 +68,46 @@ using namespace llvm;
namespace {
cl::opt<bool>
TrackInstructionTime("track-instruction-time",
- cl::desc("Enable tracking of time for individual instructions"),
- cl::init(false));
+ cl::init(false),
+ cl::desc("Enable tracking of time for individual instructions (default=off)"));
cl::opt<bool>
OutputStats("output-stats",
- cl::desc("Write running stats trace file"),
- cl::init(true));
+ cl::init(true),
+ cl::desc("Write running stats trace file (default=on)"));
cl::opt<bool>
OutputIStats("output-istats",
- cl::desc("Write instruction level statistics (in callgrind format)"),
- cl::init(true));
+ cl::init(true),
+ cl::desc("Write instruction level statistics in callgrind format (default=on)"));
cl::opt<double>
StatsWriteInterval("stats-write-interval",
- cl::desc("Approximate number of seconds between stats writes (default: 1.0)"),
- cl::init(1.));
+ cl::init(1.),
+ cl::desc("Approximate number of seconds between stats writes (default=1.0s)"));
cl::opt<double>
IStatsWriteInterval("istats-write-interval",
- cl::desc("Approximate number of seconds between istats writes (default: 10.0)"),
- cl::init(10.));
+ cl::init(10.),
+ cl::desc("Approximate number of seconds between istats writes (default: 10.0s)"));
/*
cl::opt<double>
BranchCovCountsWriteInterval("branch-cov-counts-write-interval",
- cl::desc("Approximate number of seconds between run.branches writes (default: 5.0)"),
+ cl::desc("Approximate number of seconds between run.branches writes (default: 5.0s)"),
cl::init(5.));
*/
// XXX I really would like to have dynamic rate control for something like this.
cl::opt<double>
UncoveredUpdateInterval("uncovered-update-interval",
- cl::init(30.));
+ cl::init(30.),
+ cl::desc("(default=30.0s)"));
cl::opt<bool>
UseCallPaths("use-call-paths",
- cl::desc("Enable calltree tracking for instruction level statistics"),
- cl::init(true));
+ cl::init(true),
+ cl::desc("Enable calltree tracking for instruction level statistics (default=on)"));
}