Link related issue to ignored termination benchmarks

epfl-lara · Jan 27, 2020 · f19a9e3 · f19a9e3
1 parent 53f1463
commit f19a9e3
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/frontends/scalac/src/it/scala/stainless/termination/TerminationSuite.scala b/frontends/scalac/src/it/scala/stainless/termination/TerminationSuite.scala
@@ -40,20 +40,20 @@ class TerminationSuite extends ComponentTestSuite {
     case "termination/looping/Queue"                    => Skip // Call to function looping_2$0 is not allowed here, because it
                                                                 // is mutually recursive with the current function looping_1$0
 
-    // Relation processor hangs when strengthening applications (TODO: open issue and link it here)
+    // Relation processor hangs when strengthening applications (https://github.com/epfl-lara/stainless/issues/724)
     case "verification/valid/LawTypeArgsElim" => Ignore
     case "verification/valid/QuickSortFilter" => Ignore
     case "verification/valid/StableSorter"    => Ignore
 
-    // Invalid measure inferred in RelationProcessor (TODO: open issue and link it here)
+    // Invalid measure inferred in RelationProcessor (https://github.com/epfl-lara/stainless/issues/725)
     case "termination/valid/ConstantPropagation" => Ignore
     case "termination/valid/HOTermination"       => Ignore
     case "termination/valid/Indirect"            => Ignore
     case "termination/valid/QuickSort"           => Ignore
     case "verification/valid/MergeSort"          => Ignore
     case "verification/valid/MergeSort2"         => Ignore
 
-    // Fails due to a bug in ChainProcessor (TODO: open issue and link it here)
+    // Fails due to a bug in ChainProcessor (https://github.com/epfl-lara/stainless/issues/726)
     case "verification/valid/Nested14" => Ignore
     case "verification/valid/Nested16" => Ignore
 

diff --git a/frontends/scalac/src/it/scala/stainless/verification/TypeCheckerSuite.scala b/frontends/scalac/src/it/scala/stainless/verification/TypeCheckerSuite.scala
@@ -35,7 +35,7 @@ trait TypeCheckerSuite extends ComponentTestSuite {
     // Not compatible with typechecker
     case "verification/valid/Countable2" => Ignore
 
-    // Fails due to bug in typechecker
+    // Considered valid due to bug in typechecker
     case "verification/invalid/Equations1"  => Ignore
     case "verification/invalid/Equations2"  => Ignore
     case "verification/invalid/Equations3"  => Ignore