oops

egraphs-good · Feb 3, 2025 · 65fca07 · 65fca07
1 parent 1f3b423
commit 65fca07
Showing 1 changed file with 11 additions and 12 deletions.
diff --git a/tests/passing/small/select.rs b/tests/passing/small/select.rs
@@ -1,16 +1,15 @@
 // ARGS: 20
 fn main(x: i64) {
-    let res: i64 = x / 2;
-    // let ten: i64 = 10;
-    // let done: i64 = ten;
-    // let i: i64 = 0;
-    // let res: i64 = 0;
-    // while !(done == 5) {
-    //     i += 1;
-    //     res += i;
-    //     if i == x {
-    //         done = 5;
-    //     }
-    // }
+    let ten: i64 = 10;
+    let done: i64 = ten;
+    let i: i64 = 0;
+    let res: i64 = 0;
+    while !(done == 5) {
+        i += 1;
+        res += i;
+        if i == x {
+            done = 5;
+        }
+    }
     println!("{}", res);
 }