Open bradunov opened 9 years ago
The following code: fun comp test() { var y : arr[24] bit; times 2 { (x1 : arr[12] bit) <- take; (x2 : arr[12] bit) <- take; do { println x1; println x2; }; } };
Assigns the value of x2 to both x1 and x2. If I replace take with takes 12, everything works fine.
The following code: fun comp test() { var y : arr[24] bit; times 2 { (x1 : arr[12] bit) <- take; (x2 : arr[12] bit) <- take; do { println x1; println x2; }; } };
Assigns the value of x2 to both x1 and x2. If I replace take with takes 12, everything works fine.