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/pagoda.properties | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/resources/pagoda.properties') 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