Fix assertions (#1096)

Author: SBOne-Kenobi

utbot-framework-api/src/main/kotlin/org/utbot/framework/UtSettings.kt

@@ -240,6 +240,13 @@ object UtSettings : AbstractSettings(
      */
     var treatOverflowAsError: Boolean by getBooleanProperty(false)
 
+    /**
+     * Generate tests that treat assertions as error suits.
+     *
+     * True by default.
+     */
+    var treatAssertAsErrorSuit: Boolean by getBooleanProperty(true)
+
     /**
      * Instrument all classes before start
      */

utbot-framework-test/src/test/kotlin/org/utbot/examples/codegen/JavaAssertTest.kt

@@ -5,7 +5,10 @@ import org.utbot.tests.infrastructure.UtValueTestCaseChecker
 import org.utbot.tests.infrastructure.isException
 import org.utbot.testcheckers.eq
 
-class JavaAssertTest : UtValueTestCaseChecker(testClass = JavaAssert::class){
+class JavaAssertTest : UtValueTestCaseChecker(
+    testClass = JavaAssert::class,
+    testCodeGeneration = false
+) {
     @Test
     fun testAssertPositive() {
         checkWithException(

utbot-framework/src/main/kotlin/org/utbot/framework/codegen/model/constructor/tree/CgMethodConstructor.kt

@@ -149,6 +149,7 @@ import org.utbot.summary.SummarySentenceConstants.TAB
 import java.lang.reflect.InvocationTargetException
 import java.security.AccessControlException
 import java.lang.reflect.ParameterizedType
+import org.utbot.framework.UtSettings
 
 private const val DEEP_EQUALS_MAX_DEPTH = 5 // TODO move it to plugin settings?
 
@@ -365,6 +366,7 @@ internal class CgMethodConstructor(val context: CgContext) : CgContextOwner by c
         if (exception is AccessControlException) return false
         // tests with timeout or crash should be processed differently
         if (exception is TimeoutException || exception is ConcreteExecutionFailureException) return false
+        if (UtSettings.treatAssertAsErrorSuit && exception is AssertionError) return false
 
         val exceptionRequiresAssert = exception !is RuntimeException || runtimeExceptionTestsBehaviour == PASS
         val exceptionIsExplicit = execution.result is UtExplicitlyThrownException