diff options
-rw-r--r-- | KNOWN_FAILURES | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/KNOWN_FAILURES b/KNOWN_FAILURES index e69de29..9f39951 100644 --- a/KNOWN_FAILURES +++ b/KNOWN_FAILURES @@ -0,0 +1,2 @@ +./loop loop_gt 10 +./loop loop_ge 10 |