Fixed reporting of java_runtime_dir used by WALA.

This commit is contained in:
Achim D. Brucker 2016-09-18 15:01:50 +01:00
parent a09f91882f
commit 882c2013e9
1 changed files with 1 additions and 1 deletions

View File

@ -99,7 +99,7 @@ public class TestSuite {
for (String element : libs) {
log.info(" "+element);
}
log.info(" J2SE directory: " + WalaProperties.J2SE_DIR);
log.info(" J2SE directory: " + AnalysisUtil.getPropertyString(WalaProperties.J2SE_DIR));
log.info(" Analysis depth: " + AnalysisUtil.getPropertyInteger(AnalysisUtil.CONFIG_ANALYSIS_DEPTH));
log.info(" Main config file: " + AnalysisUtil.getPropertyString("MAIN_CONFIG"));
log.info(" Print subgraphs: " + AnalysisUtil.getPropertyBoolean(AnalysisUtil.CONFIG_BOOLEAN_PRINT_SUBGRAPHS));