@@ -126,9 +126,9 @@ class SummaryReturnExampleTest : SummaryTestCaseGeneratorTest(
126
126
" 2nd return statement: return a;\n "
127
127
128
128
val methodName1 = " testCompareChars_NLessThan1"
129
- val methodName2 = " testCompareChars_0OfCharactertoCharsiEqualsA " // TODO: a weird unclear naming
130
- val methodName3 = " testCompareChars_0OfCharactertoCharsiEqualsB "
131
- val methodName4 = " testCompareChars_0OfCharactertoCharsiNotEqualsB " // TODO: si -> is
129
+ val methodName2 = " testCompareChars_0OfCharacterToCharsIEqualsA " // TODO: a weird unclear naming
130
+ val methodName3 = " testCompareChars_0OfCharacterToCharsIEqualsB "
131
+ val methodName4 = " testCompareChars_0OfCharacterToCharsINotEqualsB "
132
132
133
133
val displayName1 = " n < 1 : True -> return ' '"
134
134
val displayName2 = " Character.toChars(i)[0] == a : True -> return b"
@@ -196,9 +196,9 @@ class SummaryReturnExampleTest : SummaryTestCaseGeneratorTest(
196
196
" returns from: return a;"
197
197
198
198
val methodName1 = " testInnerVoidCompareChars_NLessThan1"
199
- val methodName2 = " testInnerVoidCompareChars_0OfCharactertoCharsiEqualsA " // TODO: a weird unclear naming
200
- val methodName3 = " testInnerVoidCompareChars_0OfCharactertoCharsiNotEqualsB "
201
- val methodName4 = " testInnerVoidCompareChars_0OfCharactertoCharsiEqualsB " // TODO: si -> is
199
+ val methodName2 = " testInnerVoidCompareChars_0OfCharacterToCharsIEqualsA " // TODO: a weird unclear naming
200
+ val methodName3 = " testInnerVoidCompareChars_0OfCharacterToCharsINotEqualsB "
201
+ val methodName4 = " testInnerVoidCompareChars_0OfCharacterToCharsIEqualsB "
202
202
203
203
val displayName1 = " n < 1 : True -> return ' '"
204
204
val displayName2 = " Character.toChars(i)[0] == a : True -> return b"
@@ -270,9 +270,9 @@ class SummaryReturnExampleTest : SummaryTestCaseGeneratorTest(
270
270
" Test afterwards returns from: return compareChars(a, b, n);\n "
271
271
272
272
val methodName1 = " testInnerReturnCompareChars_NLessThan1"
273
- val methodName2 = " testInnerReturnCompareChars_0OfCharactertoCharsiEqualsA " // TODO: a weird unclear naming
274
- val methodName3 = " testInnerReturnCompareChars_0OfCharactertoCharsiNotEqualsB "
275
- val methodName4 = " testInnerReturnCompareChars_0OfCharactertoCharsiEqualsB " // TODO: si -> is
273
+ val methodName2 = " testInnerReturnCompareChars_0OfCharacterToCharsIEqualsA " // TODO: a weird unclear naming
274
+ val methodName3 = " testInnerReturnCompareChars_0OfCharacterToCharsINotEqualsB "
275
+ val methodName4 = " testInnerReturnCompareChars_0OfCharacterToCharsIEqualsB "
276
276
277
277
val displayName1 = " n < 1 : True -> return ' '"
278
278
val displayName2 = " Character.toChars(i)[0] == a : True -> return b"
0 commit comments