Commit775a38b

authored and

committed

Fix assertions (#1096)

(cherry picked from commit677c15c)

1 parentd5ae1fc commit775a38bCopy full SHA for 775a38b

File tree

+13

-1

lines changed

utbot-framework-api/src/main/kotlin/org/utbot/framework
- UtSettings.kt
utbot-framework-test/src/test/kotlin/org/utbot/examples/codegen
- JavaAssertTest.kt
utbot-framework/src/main/kotlin/org/utbot/framework/codegen/model/constructor/tree
- CgMethodConstructor.kt

+13

-1

lines changed

Lines changed: 7 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -263,6 +263,13 @@ object UtSettings : AbstractSettings(`
`263`	`263`	`*/`
`264`	`264`	`var treatOverflowAsError:Boolean by getBooleanProperty(false)`
`265`	`265`
	`266`	`+/**`
	`267`	`+ * Generate tests that treat assertions as error suits.`
	`268`	`+ *`
	`269`	`+ * True by default.`
	`270`	`+*/`
	`271`	`+var treatAssertAsErrorSuit:Boolean by getBooleanProperty(true)`
	`272`	`+`
`266`	`273`	`/**`
`267`	`274`	`* Instrument all classes before start`
`268`	`275`	`*/`

Lines changed: 4 additions & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -5,7 +5,10 @@ import org.utbot.tests.infrastructure.UtValueTestCaseChecker`
`5`	`5`	`importorg.utbot.tests.infrastructure.isException`
`6`	`6`	`importorg.utbot.testcheckers.eq`
`7`	`7`
`8`		`-classJavaAssertTest :UtValueTestCaseChecker(testClass =JavaAssert::class){`
	`8`	`+classJavaAssertTest :UtValueTestCaseChecker(`
	`9`	`+ testClass =JavaAssert::class,`
	`10`	`+ testCodeGeneration =false`
	`11`	`+) {`
`9`	`12`	`@Test`
`10`	`13`	`funtestAssertPositive() {`
`11`	`14`	`checkWithException(`

Lines changed: 2 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -144,6 +144,7 @@ import org.utbot.summary.SummarySentenceConstants.TAB`
`144`	`144`	`importjava.lang.reflect.InvocationTargetException`
`145`	`145`	`importjava.security.AccessControlException`
`146`	`146`	`importjava.lang.reflect.ParameterizedType`
	`147`	`+importorg.utbot.framework.UtSettings`
`147`	`148`
`148`	`149`	`privateconstvalDEEP_EQUALS_MAX_DEPTH=5// TODO move it to plugin settings?`
`149`	`150`
`@@ -361,6 +362,7 @@ internal class CgMethodConstructor(val context: CgContext) : CgContextOwner by c`
`361`	`362`	`if (exceptionisAccessControlException)returnfalse`
`362`	`363`	`// tests with timeout or crash should be processed differently`
`363`	`364`	`if (exceptionisTimeoutException\|\| exceptionisConcreteExecutionFailureException)returnfalse`
	`365`	`+if (UtSettings.treatAssertAsErrorSuit&& exceptionisAssertionError)returnfalse`
`364`	`366`
`365`	`367`	`val exceptionRequiresAssert= exception!isRuntimeException\|\| runtimeExceptionTestsBehaviour==PASS`
`366`	`368`	`val exceptionIsExplicit= execution.resultisUtExplicitlyThrownException`

Comments

(0)