Run prequisite steps for VarNameCleaner in tests

2023-10-03 13:03:40 +00:00 · 2020-08-05 22:12:51 +01:00
parent e77ae3f06e
commit 2e8616e2e4
9 changed files with 33 additions and 18 deletions
@@ -12,12 +12,14 @@
 // step: varNameCleaner
 //
 // {
-//     let f_1
+//     {
+//         let f_1
+//         let f_2
+//     }
 //     function f(x) -> x_1, y
 //     {
 //         let y_1 := x
 //         y := y_1
 //         x_1 := y
 //     }
-//     let f_2
 // }