From 8ec1196c7b029b83787225010194b44ea2614523 Mon Sep 17 00:00:00 2001 From: Hristina Palikareva Date: Thu, 3 Oct 2013 18:23:19 +0100 Subject: Extending ./configure with support to use metaSMT. --- include/klee/Config/config.h.in | 3 +++ 1 file changed, 3 insertions(+) (limited to 'include') diff --git a/include/klee/Config/config.h.in b/include/klee/Config/config.h.in index 4ce9714d..a751bc07 100644 --- a/include/klee/Config/config.h.in +++ b/include/klee/Config/config.h.in @@ -78,4 +78,7 @@ /* Define to 1 if you have the ANSI C header files. */ #undef STDC_HEADERS +/* Supporting metaSMT API */ +#undef SUPPORT_METASMT + #endif -- cgit 1.4.1