Add comment to test file

boogie-org · Mar 29, 2023 · d8783c0 · d8783c0
1 parent bf9e673
commit d8783c0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Test/stackoverflow/nesting.bpl b/Test/stackoverflow/nesting.bpl
@@ -3,7 +3,7 @@
 
 type Ref;
 type Field A B;
-type HeapType = <A, B> [Ref, Field A B]B;
+type HeapType = <A, B> [Ref, Field A B]B; // Using type parameters and the ==> operator can trigger the OpTypeEraser visitor which can cause stack overflows.
 
 procedure foo(n: int)
   requires true || true || true || true || true || true || true || true || true || true || true || true || true || true || true || true || true || true || true || true || true || true || true || true || true || true