diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-28 00:11:16 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-28 00:11:16 +0000 |
| commit | aa9c2410b3fea708fbd6f62f346c9c864a96598e (patch) | |
| tree | f789a9e46d39ddce1d27917e9cbfbab52da8b9b1 /lib/Core/StatsTracker.cpp | |
| parent | e49c1e1958e863195b01d99c92194289b4034bbb (diff) | |
| download | klee-aa9c2410b3fea708fbd6f62f346c9c864a96598e.tar.gz | |
Allow passing arbitrary command line flags to klee and kleaver
when running llvm-lit. This is done by doing something like
$ cd test/
$ llvm-lit --param klee_opts=--xxx --param kleaver_opts=--yyy .
This would pass "--xxx" as an extra option to KLEE when running
tests and would pass "--yyy" as an extra option to kleaver when
running tests.
This feature has been added to make it easy to pass different flags to
KLEE or Kleaver without needing to modify tests or recompile KLEE with
different defaults (yuck!).
Diffstat (limited to 'lib/Core/StatsTracker.cpp')
0 files changed, 0 insertions, 0 deletions