Remove special case for RefinementSolver in log4j2.xml

Signed-off-by: Hernan Ponce de Leon <[email protected]>

Author: hernan-poncedeleon

dartagnan/src/main/resources/log4j2.xml

@@ -13,19 +13,9 @@
         <File name="File" fileName="${logDir}/logs/${logFile}.log">
             <PatternLayout pattern="%d{[dd.MM.yyyy] HH:mm:ss} %highlight{[%level]} %C{1}.%M - %msg%n"/>
         </File>
-        <Console name="Refinement_Console" target="SYSTEM_OUT">
-            <PatternLayout pattern="%d{[dd.MM.yyyy] HH:mm:ss} %highlight{[%level]} %C{1}.%M - %msg%n"/>
-        </Console>
-        <File name="Refinement_File" fileName="${logDir}/logs/refinement.log">
-            <PatternLayout pattern="%d{[dd.MM.yyyy] HH:mm:ss} %highlight{[%level]} %C{1}.%M - %msg%n"/>
-        </File>
     </Appenders>
 
     <Loggers>
-        <Logger name="com.dat3m.dartagnan.verification.solving.RefinementSolver" level="${sys:logLevel:-WARN}" additivity="false">
-            <AppenderRef ref="Refinement_Console"/>
-            <AppenderRef ref="Refinement_File"/>
-        </Logger>
         <Root level="${sys:logLevel:-WARN}">
             <AppenderRef ref="Console"/>
             <AppenderRef ref="File"/>

dartagnan/src/test/resources/log4j2.xml

@@ -13,19 +13,9 @@
         <File name="File" fileName="${logDir}/surefire-logs/${logFile}.log">
             <PatternLayout pattern="%d{[dd.MM.yyyy] HH:mm:ss} %highlight{[%level]} %C{1}.%M - %msg%n"/>
         </File>
-        <Console name="Refinement_Console" target="SYSTEM_OUT">
-            <PatternLayout pattern="%d{[dd.MM.yyyy] HH:mm:ss} %highlight{[%level]} %C{1}.%M - %msg%n"/>
-        </Console>
-        <File name="Refinement_File" fileName="${logDir}/surefire-logs/refinement.log">
-            <PatternLayout pattern="%d{[dd.MM.yyyy] HH:mm:ss} %highlight{[%level]} %C{1}.%M - %msg%n"/>
-        </File>
     </Appenders>
 
     <Loggers>
-        <Logger name="com.dat3m.dartagnan.verification.solving.RefinementSolver" level="off" additivity="false">
-            <AppenderRef ref="Refinement_Console"/>
-            <AppenderRef ref="Refinement_File"/>
-        </Logger>
         <Root level="off">
             <AppenderRef ref="Console"/>
             <AppenderRef ref="File"/>