Correct tests in CommonMockExampleTest, do related fixes

Author: EgorkaKulikov

utbot-framework-test/src/test/kotlin/org/utbot/examples/mock/CommonMocksExampleTest.kt

@@ -7,14 +7,27 @@ import org.utbot.testing.DoNotCalculate
 import org.utbot.testing.UtValueTestCaseChecker
 
 internal class CommonMocksExampleTest: UtValueTestCaseChecker(testClass = CommonMocksExample::class) {
+
     @Test
-    fun testMockInterfaceWithoutImplementors() {
+    fun testMockInterfaceWithoutImplementorsWithNoMocksStrategy() {
+        checkMocks(
+            CommonMocksExample::mockInterfaceWithoutImplementors,
+            eq(1),
+            { v, mocks, _ -> v == null && mocks.isEmpty() },
+            coverage = DoNotCalculate,
+            mockStrategy = MockStrategyApi.NO_MOCKS,
+        )
+    }
+
+    @Test
+    fun testMockInterfaceWithoutImplementorsWithMockingStrategy() {
         checkMocks(
             CommonMocksExample::mockInterfaceWithoutImplementors,
             eq(2),
             { v, mocks, _ -> v == null && mocks.isEmpty() },
             { _, mocks, _ -> mocks.singleOrNull() != null },
-            coverage = DoNotCalculate
+            coverage = DoNotCalculate,
+            mockStrategy = MockStrategyApi.OTHER_CLASSES,
         )
     }
 

utbot-framework/src/main/kotlin/org/utbot/engine/Traverser.kt

@@ -277,8 +277,6 @@ class Traverser(
 
     internal val objectCounter = ObjectCounter(TypeRegistry.objectCounterInitialValue)
 
-
-
     private fun findNewAddr(insideStaticInitializer: Boolean): UtAddrExpression {
         val newAddr = objectCounter.createNewAddr()
         // return negative address for objects created inside static initializer
@@ -1387,7 +1385,7 @@ class Traverser(
 
             val mockedObject = mockedObjectInfo.value
             if (mockedObjectInfo is UnexpectedMock) {
-                queuedSymbolicStateUpdates += UtFalse.asHardConstraint()
+                error("Wrong mocker configuration, it has NO_MOCK stategy, but decided to mock $type object")
             }
 
 
@@ -1480,7 +1478,8 @@ class Traverser(
 
             val mockedObject = mockedObjectInfo.value ?: error("Mocked value cannot be null after force mock")
             if (mockedObjectInfo is UnexpectedMock) {
-                queuedSymbolicStateUpdates += UtFalse.asHardConstraint()
+                queuedSymbolicStateUpdates += nullEqualityConstraint.asHardConstraint()
+                return mockedObject
             }
 
             queuedSymbolicStateUpdates += MemoryUpdate(mockInfos = persistentListOf(MockInfoEnriched(mockInfo)))
@@ -2721,7 +2720,7 @@ class Traverser(
                         // TODO isMock????
                         InvocationTarget(mockedObject, method, constraints)
                     }
-                    is UnexpectedMock -> null
+                    is UnexpectedMock -> unreachableBranch("If it ever happens, it should be investigated")
                 }
             }
     }