Change logger back

Author: sergeypospelov

utbot-framework/src/test/resources/log4j2.xml

@@ -17,7 +17,7 @@
     </Appenders>
     <Loggers>
         <!--        Uncomment this logger to see path -->
-        <Logger name="org.utbot.engine.Traverser.path" level="debug"/>
+        <Logger name="org.utbot.engine.UtBotSymbolicEngine.path" level="debug"/>
 
 
         <!-- Set this logger level to TRACE to see SMT requests, and SAT/UNSAT/UNKNOWN responses -->

utbot-junit-contest/src/main/resources/log4j2.xml

@@ -19,7 +19,7 @@
         </Logger>
 
 
-        <Logger name="org.utbot.engine.Traverser" level="debug"/>
+        <Logger name="org.utbot.engine.UtBotSymbolicEngine" level="debug"/>
         <Logger name="org.utbot.instrumentation" level="trace"/>
 
         <Logger name="org.utbot.engine.selectors.strategies.GraphViz" level="debug">