diff options
author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-05-10 14:37:30 +0100 |
---|---|---|
committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-05-10 14:37:30 +0100 |
commit | 631da48e5bffbdd66ac6f076a8beb120385addfa (patch) | |
tree | eb15e88a7bfccecfd15aa1821dec8d91f115c84b /Test/lit.site.cfg | |
parent | 5c9156cb9422477f0fc1cd34d50753a6f7de09dc (diff) |
Added a sanity check to lit configuration so tests won't run
if solver executables are missing.
Diffstat (limited to 'Test/lit.site.cfg')
-rw-r--r-- | Test/lit.site.cfg | 21 |
1 files changed, 17 insertions, 4 deletions
diff --git a/Test/lit.site.cfg b/Test/lit.site.cfg index ba162703..f9bed3c8 100644 --- a/Test/lit.site.cfg +++ b/Test/lit.site.cfg @@ -65,10 +65,9 @@ repositoryRoot = up( ) lit_config.note('Repository root is {}'.format(repositoryRoot)) -boogieExecutable = os.path.join( repositoryRoot, - 'Binaries', - 'Boogie.exe' - ) +binaryDir = os.path.join( repositoryRoot, 'Binaries') +boogieExecutable = os.path.join( binaryDir, 'Boogie.exe') + if not os.path.exists(boogieExecutable): lit_config.fatal('Could not find Boogie.exe at {}'.format(boogieExecutable)) @@ -91,6 +90,20 @@ lit_config.note('Using Boogie: {}\n'.format(boogieExecutable)) config.substitutions.append( ('%boogie', boogieExecutable) ) +# Sanity check: Check solver executable is available +solvers = ['z3.exe','cvc4.exe'] +solverFound = False +for solver in solvers: + if os.path.exists( os.path.join(binaryDir, solver)): + solverFound = True + +if not solverFound: + lit_config.fatal('Could not find solver in "{binaryDir}". Tried looking for {solvers}'.format( + binaryDir=binaryDir, + solvers=solvers + ) + ) + # Add diff tool substitution diffExecutable = None if os.name == 'posix': |