1 files changed, 7 insertions, 0 deletions
diff --git a/tests/sources/0505_loop_rel2.c b/tests/sources/0505_loop_rel2.c
new file mode 100644
index 0000000..e335932
--- /dev/null
+++ b/tests/sources/0505_loop_rel2.c
@@ -0,0 +1,7 @@
+int N = rand(0,1000);
+int x = 0;
+while (x < N) {
+  print(x,N);
+  x = x + rand(0,3);
+}
+assert(x>=N && x<N+3);