diff options
author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-03-01 14:36:13 +0000 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-03-01 14:36:49 +0000 |
commit | f244db54bfc37f5cc1d831f54c74e818e69bd28c (patch) | |
tree | 28e8b7f0846ec62c98efcc9f1e40b649e253f6ad /lib/Core/StatsTracker.cpp | |
parent | ce1dd5a7f3de7b536a9ff266a9231b44a053fe95 (diff) | |
download | klee-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.cpp | 29 |
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)")); } |