comment that isCoherent_Lattice and isCoherent_RType occasionally…

… fail
PRL-PRG · Jun 28, 2024 · c39e5c7 · c39e5c7
1 parent f8f4335
commit c39e5c7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/test/java/org/prlprg/ir/type/LatticeTests.java b/src/test/java/org/prlprg/ir/type/LatticeTests.java
@@ -65,6 +65,7 @@ static void setup() {
     RGenericValueType.ENABLE_WEIRD_CASE_LOGS = false;
   }
 
+  /** FIXME(jakob): This fails occasionally, closure types need to be fixed. */
   @Property(generation = GenerationMode.RANDOMIZED, tries = 100)
   void isCoherent_Lattice(
       @ForAll("latticePairsAndClasses") Tuple3<Object, Object, Object> lattices) {
@@ -88,6 +89,7 @@ void isCoherent_REffects(@ForAll REffects lhs, @ForAll REffects rhs) {
     isCoherent(lhs, rhs, REffects.ARBITRARY, REffects.PURE);
   }
 
+  /** FIXME(jakob): This fails occasionally, closure types need to be fixed. */
   @Property(generation = GenerationMode.RANDOMIZED, tries = 100)
   void isCoherent_RType(@ForAll RType lhs, @ForAll RType rhs) {
     isCoherent(lhs, rhs, RTypes.ANY, RTypes.NOTHING);