[1.x] Flaky Test: sbt.TagsTest #7918
Description
c.c. https://github.com/sbt/sbt/actions/runs/12046093848/job/33585869817
Consistently reproducible locally on current latest 1.10.x HEAD commit aae3dbd
failing seed for Tags.exclusive only allows a group with an excusive tag when the size is one is MfvVMxhwE6HKUzoUozqvPdBGCt7elPs5259yJ7XqC1N=
[info] ! Tags.exclusive only allows a group with an excusive tag when the size is one: Falsified after 647 passed tests.
[info] > Labels of failing property:
[info] TagMap: Map(Tag(all) -> 0, Tag(wmbvQbldusO) -> 1)
[info] > ARG_0: Map(Tag(all) -> -1)
[info] > ARG_1: Size(1)
[info] > ARG_2: Tag(wmbvQbldusO)
[info] > ARG_0_ORIGINAL: Map(Tag(yQyakdvjLbxosUzLdXW) -> -2001649111, Tag(all) -> -1055302035, Tag(hbARIjWjdnOLd) -> -321245898, Tag(Oitw) -> 707570372, Tag(TpfvOOGIQycYaGdKPSUcIeerACCbQwDsSZAWHXmRkATnC) -> 0, Tag(pqvzKCWzPFZqlendCwdrK) -> 2147483647, Tag(UGszjLfMiNDGvQmXlChztkjXgyAIQYktbQhkGsYDFTlzTTrGTTW) -> 0, Tag(cilVKMPLvZZYgDaCD) -> -2147483648, Tag(IvjdVjaxhQmlslHpCopkJTRmBMqpDOPTVpomyUYhnXzbtMAHcwQaFrdvYDPRNEKOXZGoeXs) -> 2147483647, Tag(BwQqfrDfHZoQaLhxgAYmf) -> -1045648260, Tag(cmEeFJnYzUXqkNXbioZjHIhloWMJwensiDPwnNJbKTQPioBNzvQOZQrntmkiTxTuftJ) -> -485834073, Tag(nHljcPZgijCvDTgyjbN) -> 1413490635, Tag(SZTPtekWrTZVuYPawQjTZjrBLzoJTwYczosaIOxCkQURyuuTLhQxMUWLMWnxRuPGaZzCM) -> -2147483648, Tag(yspxqLQlVMVuRkuyIlLcrzZwKkTXpYjl) -> 1942257436, Tag(DrYDxLCVMMhVjhaacYJpbTGTktoRrAHx) -> 1544911391, Tag(tconjheyXxGywQAwXYvEqhxlaYlJAUsPflfkWQYiSYQijMtyLqMYbcjhPXGDniX) -> 1, Tag(SyKwtCbLsipoDJdRYWkMbeTyoSyJv) -> -1263283973, Tag(xzXoUNBwAEslRDPSFopcXWyKheXzLRLDXYeKgxuqXNppKev) -> -79566689, Tag(pcueQdhFvQOpQsKVwXSrkWJaEZjCrillEKhzucNLY) -> 0, Tag(UIjiejIFFLWpeDBcRdFDNLvjkteFuQLdANBZOuKfYPsisVqkWpsjIIboRgYRiPNSSGOt) -> -2147483648, Tag(JnnwgbJNUvKyoqUdyLdgYnfrINCsl) -> 1790180236, Tag(AnvPcyYzeXrcWfqKUkyTwgaKQQHfyxvaWFeYgrjwNQBmuDHYuquyjnpxqVYCFx) -> 1, Tag(WMaYjxVRwIuBWfLlZkvhwqYnbaNGPoUDgEeTWZvXCrshKGKC) -> 1, Tag(OSrUaDpjDtKgEUDHHcOuPAxTnsxxvkxbmmjCSDEVwEIaTtMYMMGHdJPIwNmkCYqzAgw) -> 904273992, Tag(YpsOOoQyXVPGrvQyRppCtcKQYLPjrsBTdSmvidG) -> -1, Tag(oMJYAgsUdZ) -> -1, Tag(KjvyRGNmqCLy) -> -1864608728, Tag(GEZTSVcTRsdOAPVzsdkvJVmkrWhoJivjnfykHCNsHWeoaCsZsQZSIBoaEH) -> -1, Tag(vwfNswZBnjrihFdHDIStvhIWdSGXFuMIut) -> 1695510672, Tag(DzUy) -> -839351872, Tag(uyRNvIQStIcOspIoIiWJXiQfdUfpvrGTurssmPnLAv) -> 0, Tag(LnzoqtpxPTGWKLCoUbXbv) -> -260356484, Tag(SClWdoYBhFEewRhdPFtopoboqZKeeJszdSRKfWmOoKoY) -> -153840263, Tag(pHSJ) -> 883205597, Tag(AeikeXWQsTGGgmEyrbSBguOAcnkvCBSAQxrqwArIDDioUvKjYNcYoHzoUyZNRZpjFunYDtIJzi) -> 0, Tag(pVVTbEMKmyorkFzGTTbUypPqWWQYvXMXGrwihIKrAuXcAKDfHPdmkdDBxlxhdf) -> 881688242, Tag(SmownOkBFVYMcgj) -> -974732519, Tag(Scev) -> -2147483648, Tag(aBaKQJzShzSSHDLBfNsOQovsHnMcqdosLRjrwWOCDShMeqMCZbJLAnJPrzEs) -> -2147483648, Tag(VeITlRgxLfKOuCQRHWgbjzYlRuSGLOYARmpHvzL) -> -2147483648, Tag(ARmYgvFKnyflLrDLjUGlQbAtlJDpzjvSITXrWaNQRiC) -> -227385994, Tag(QlkzYsCWQWXTZbXwRtCDrMYKPKqgqReJkT) -> -1030558325, Tag(WKhBSrQfbpJuPCDVjPMzeZZFQHNJyuOkZCDDSJqvXzUXEZIGCqhOJmXFEhscSa) -> 1114339592, Tag(THHrNHGQ) -> -2147483648)
Reproduction:
Index: main/src/test/scala/TagsTest.scala
IDEA additional info:
Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP
<+>UTF-8
===================================================================
diff --git a/main/src/test/scala/TagsTest.scala b/main/src/test/scala/TagsTest.scala
--- a/main/src/test/scala/TagsTest.scala (revision aae3dbd3b7226e4c8c84dba97c7ab6aba03db6c8)
+++ b/main/src/test/scala/TagsTest.scala (date 1732696483146)
@@ -33,13 +33,15 @@
excl(tag)(tm - tag)
}
- property("exclusive only allows a group with an excusive tag when the size is one") = forAll {
- (tm: TagMap, size: Size, etag: Tag) =>
- val absSize = size.value
- val tm2: TagMap =
- tm.updated(etag, absSize).updated(Tags.All, tm.getOrElse(Tags.All, 0) + absSize)
- (s"TagMap: $tm2") |:
- (excl(etag)(tm2) == (absSize <= 1))
+ propertyWithSeed(
+ "exclusive only allows a group with an excusive tag when the size is one",
+ Some("MfvVMxhwE6HKUzoUozqvPdBGCt7elPs5259yJ7XqC1N=")
+ ) = forAll { (tm: TagMap, size: Size, etag: Tag) =>
+ val absSize = size.value
+ val tm2: TagMap =
+ tm.updated(etag, absSize).updated(Tags.All, tm.getOrElse(Tags.All, 0) + absSize)
+ (s"TagMap: $tm2") |:
+ (excl(etag)(tm2) == (absSize <= 1))
}
property("exclusive always allows a group of size one") = forAll { (etag: Tag, mapTag: Tag) =>