From 8c04e4d8003f33848ee84011f8427fe92d55001f Mon Sep 17 00:00:00 2001 From: RncLsn Date: Fri, 5 Jun 2015 12:22:31 +0100 Subject: Violation statistics. --- src/resources/log4j.properties | 2 +- src/resources/pagoda.properties | 4 +++- 2 files changed, 4 insertions(+), 2 deletions(-) (limited to 'src/resources') diff --git a/src/resources/log4j.properties b/src/resources/log4j.properties index 3bfd32e..52688d5 100644 --- a/src/resources/log4j.properties +++ b/src/resources/log4j.properties @@ -1,4 +1,4 @@ -log = . +log = ./logs log4j.rootLogger=DEBUG, CONSOLE, FILE_LAST, FILE log4j.appender.CONSOLE=org.apache.log4j.ConsoleAppender diff --git a/src/resources/pagoda.properties b/src/resources/pagoda.properties index bd387b9..64de225 100644 --- a/src/resources/pagoda.properties +++ b/src/resources/pagoda.properties @@ -1,3 +1,5 @@ debug=true useAlwaysSimpleUpperBound=false -useSkolemUpperBound=true \ No newline at end of file +useSkolemUpperBound=true + +statisticsDir=/home/alessandro/Dropbox/Oxford/PAGOdA/statistics \ No newline at end of file -- cgit v1.2.3