comments on test

Author: Daniel Kroening

regression/symex/show-trace1/main.c

@@ -4,9 +4,9 @@ int main()
 {
   int i, j, k;
 
-  i=input();
-  j=input();
-  k=input();
+  i=input(); // expect 2
+  j=input(); // expect 3
+  k=input(); // expect 6
 
   if(i==2)
     if(j==i+1)