Disable testIsValidUuid as flaky (#1005)

dtim · web-flow · commit dc0985d9d838 · 2022-09-23T17:52:19.000Z
This test is not flaky per se, but it often fails on GitHub
(probably some resource issue with Z3).
diff --git a/utbot-framework-test/src/test/kotlin/org/utbot/examples/strings/StringExamplesTest.kt b/utbot-framework-test/src/test/kotlin/org/utbot/examples/strings/StringExamplesTest.kt
@@ -251,6 +251,7 @@ internal class StringExamplesTest : UtValueTestCaseChecker(
     }
 
     @Test
+    @Disabled("Flaky on GitHub: https://github.com/UnitTestBot/UTBotJava/issues/1004")
     fun testIsValidUuid() {
         val pattern = Regex("[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}")
         check(

Original file line number	Diff line number	Diff line change
`@@ -251,6 +251,7 @@ internal class StringExamplesTest : UtValueTestCaseChecker(`
`251`	`251`	`}`
`252`	`252`
`253`	`253`	`@Test`
	`254`	`+ @Disabled("Flaky on GitHub: https://github.com/UnitTestBot/UTBotJava/issues/1004")`
`254`	`255`	`fun testIsValidUuid() {`
`255`	`256`	`val pattern = Regex("[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}")`
`256`	`257`	`check(`