Add more test cases

This commit is contained in:
Tamas Vajk
2022-10-21 08:51:11 +02:00
parent 7559d3095f
commit 9d1af76c02
2 changed files with 17 additions and 1 deletions

View File

@@ -1 +1,3 @@
| A.kt:5:12:5:12 | c | $@ might not terminate, as this loop condition is constant within the loop. | A.kt:5:5:9:5 | while (...) | Loop |
| A.kt:12:12:12:12 | d | $@ might not terminate, as this loop condition is constant within the loop. | A.kt:12:5:16:5 | while (...) | Loop |
| A.kt:19:12:19:12 | e | $@ might not terminate, as this loop condition is constant within the loop. | A.kt:19:5:23:5 | while (...) | Loop |