From ce49d20a5fe3726e1800bc495a25c7617212abf4 Mon Sep 17 00:00:00 2001
From: Emanuele Grasso <96300448+L0P0P@users.noreply.github.com>
Date: Sun, 14 Jul 2024 18:48:09 +0200
Subject: Reaching definition analysis (#17)

Co-authored-by: Santo Cariotti <santo@dcariotti.me>
Co-authored-by: geno <gabriele.genovese2@studio.unibo.it>
Co-authored-by: geno <gabrigeno@gmail.com>
---
 test/2b.py | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 test/2b.py

(limited to 'test/2b.py')

diff --git a/test/2b.py b/test/2b.py
new file mode 100644
index 0000000..d6d0bb2
--- /dev/null
+++ b/test/2b.py
@@ -0,0 +1,9 @@
+n = 1
+x = 2
+y = 3
+m = 1
+while n + 2 < 2 * x - 3 * y + 50:
+    m = m + n
+    n = n + 1
+
+print(m)
-- 
cgit v1.2.3-18-g5258