diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-13 02:30:49 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-20 14:46:52 +0000 |
| commit | 3be371b38bba7facc74490f713659d99d621830d (patch) | |
| tree | 567c2944bc1bb7d388832abf3eed992995002e6c /test/lit.cfg | |
| parent | ad8b548626ba5b797f948200cff2d80d579a12c2 (diff) | |
| download | klee-3be371b38bba7facc74490f713659d99d621830d.tar.gz | |
Fix Feature/Envp.c test for llvm-lit by providing the PWD environmental variable
in test environment.
Diffstat (limited to 'test/lit.cfg')
| -rw-r--r-- | test/lit.cfg | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/lit.cfg b/test/lit.cfg index f81576f9..3bda57df 100644 --- a/test/lit.cfg +++ b/test/lit.cfg @@ -39,6 +39,7 @@ if klee_obj_root is not None: # Propogate 'HOME' through the environment. config.environment['HOME'] = os.environ['HOME'] +config.environment['PWD'] = os.environ['PWD'] ### |