From be340780e6261416320dd099753e17080de69534 Mon Sep 17 00:00:00 2001
From: Andrew Santosa <santosa_1999@yahoo.com>
Date: Thu, 21 Jun 2018 14:14:08 +0800
Subject: Added gen-bout tool to generate ktest file (file.bout) using
 specified concrete arguments and files.

* Sample use cases:
  * Using an interesting input as a seed, such as a crashing input.
  * Analyzing the path condition of a crashing input.
* Also added the test: test/Runtime/POSIX/GenBout.c
---
 test/lit.cfg | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'test/lit.cfg')

diff --git a/test/lit.cfg b/test/lit.cfg
index a9982150..4913fa5f 100644
--- a/test/lit.cfg
+++ b/test/lit.cfg
@@ -138,7 +138,8 @@ if len(kleaver_extra_params) != 0:
 subs = [ ('%kleaver', 'kleaver', kleaver_extra_params),
          ('%klee-replay', 'klee-replay', ''),
          ('%klee','klee', klee_extra_params),
-         ('%ktest-tool', 'ktest-tool', '')
+         ('%ktest-tool', 'ktest-tool', ''),
+         ('%gen-bout', 'gen-bout', '')
 ]
 for s,basename,extra_args in subs:
   config.substitutions.append(
-- 
cgit 1.4.1