From 0ca3661a57c4b5a091b626455f69d6d087c7c6dc Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Fri, 7 Feb 2014 21:19:36 +0100 Subject: Update to new lit configuration to support changes in LLVM3.4 --- test/lit.cfg | 19 +++++++++++++++++-- 1 file changed, 17 insertions(+), 2 deletions(-) (limited to 'test/lit.cfg') diff --git a/test/lit.cfg b/test/lit.cfg index 23696138..3d00da53 100644 --- a/test/lit.cfg +++ b/test/lit.cfg @@ -3,6 +3,15 @@ # Configuration file for the 'lit' test runner. import os +import sys +import re +import platform + +try: + import lit.util + import lit.formats +except ImportError: + pass # name: The name of this test suite. config.name = 'KLEE' @@ -66,8 +75,14 @@ for name in subs: # Get KLEE and Kleaver specific parameters passed on llvm-lit cmd line # e.g. llvm-lit --param klee_opts=--help -klee_extra_params = lit.params.get('klee_opts',"") -kleaver_extra_params = lit.params.get('kleaver_opts',"") +try: + lit.params +except AttributeError: + klee_extra_params = lit_config.params.get('klee_opts',"") + kleaver_extra_params = lit_config.params.get('kleaver_opts',"") +else: + klee_extra_params = lit.params.get('klee_opts',"") + kleaver_extra_params = lit.params.get('kleaver_opts',"") if len(klee_extra_params) != 0: print("Passing extra KLEE command line args: {0}".format(klee_extra_params)) -- cgit 1.4.1