Closed Gianfrancoalongi closed 11 years ago
Now I see that this happens for the Expected text as well. This is enough to reproduce the problem.
∇ Z ← bug_TEST
Z ← (⊂(1 (1 2)) ⊂(2 (1 2 3)))
∇
Found the bug, and fixed it. I had swapped the amount of rows for Expected Term and Got Term
On failure, there are cases where the expected and got text seems to be off in some way. I have seen it happen when the displayed version of the Got is large.
I will provide an exact example of this.