Merge pull request #30 from tahiat/preservation

Adding settings.gradle file for targets, modify log matching method

.gitignore

@@ -9,4 +9,9 @@ __pycache__/
 #Ignore compiled class file
 *.class
 
-output
+output
+
+amazon-corretto-8.jdk/
+amazon-corretto-8.tar.gz
+checker-framework-1.9.13.zip
+checker-framework-1.9.13/

Result.py

@@ -6,11 +6,12 @@ def __init__(self, name, status, reason):
             name (string): issue name
             status (string): PASS/FAIL
             reason (string): reason to fail
+            preservation_status (strig):  Whether the minimized program preserves the target behavior
         '''
         self.name = name
         self.status = status
         self.reason = reason
-        self.preservation_status = False
+        self.preservation_status = "Not executed"
 
     def set_preservation_status(self, status):
         '''

exception_data.py

@@ -1,5 +1,5 @@
 class ExceptionData:
-    def __init__(self, exception_class: str, exception: str, stack_trace: list):
+    def __init__(self, exception_class: str = "", exception: str = "", stack_trace: list = []):
         '''
         Constructor of the class
         Parameters:
@@ -9,4 +9,4 @@ def __init__(self, exception_class: str, exception: str, stack_trace: list):
         '''
         self.exception_class = exception_class
         self.exception = exception
-        self.stack_trace = stack_trace
+        self.stack_trace = stack_trace if stack_trace is not None else []