@@ -13,11 +13,11 @@ class SummaryMinStackTest : SummaryTestCaseGeneratorTest(
13
13
fun testGetMin () {
14
14
val summary1 = " @utbot.classUnderTest {@link MinStack}\n " +
15
15
" @utbot.methodUnderTest {@link org.utbot.examples.structures.MinStack#getMin()}\n " +
16
- " @utbot.throwsException {@link ArrayIndexOutOfBoundsException} in: return minStack[size - 1];"
16
+ " @utbot.throwsException {@link java.lang. ArrayIndexOutOfBoundsException} in: return minStack[size - 1];"
17
17
18
18
val summary2 = " @utbot.classUnderTest {@link MinStack}\n " +
19
19
" @utbot.methodUnderTest {@link org.utbot.examples.structures.MinStack#getMin()}\n " +
20
- " @utbot.throwsException {@link NullPointerException} in: return minStack[size - 1];"
20
+ " @utbot.throwsException {@link java.lang. NullPointerException} in: return minStack[size - 1];"
21
21
22
22
val summary3 = " @utbot.classUnderTest {@link MinStack}\n " +
23
23
" @utbot.methodUnderTest {@link org.utbot.examples.structures.MinStack#getMin()}\n " +
@@ -61,7 +61,7 @@ class SummaryMinStackTest : SummaryTestCaseGeneratorTest(
61
61
val summary1 = " @utbot.classUnderTest {@link MinStack}\n " +
62
62
" @utbot.methodUnderTest {@link org.utbot.examples.structures.MinStack#removeValue()}\n " +
63
63
" @utbot.executesCondition {@code (size <= 0): True}\n " +
64
- " @utbot.throwsException {@link RuntimeException} after condition: {@code size <= 0}"
64
+ " @utbot.throwsException {@link java.lang. RuntimeException} after condition: {@code size <= 0}"
65
65
66
66
val summary2 = " @utbot.classUnderTest {@link MinStack}\n " +
67
67
" @utbot.methodUnderTest {@link org.utbot.examples.structures.MinStack#removeValue()}\n " +
@@ -99,36 +99,36 @@ class SummaryMinStackTest : SummaryTestCaseGeneratorTest(
99
99
fun testAddValue () {
100
100
val summary1 = " @utbot.classUnderTest {@link MinStack}\n " +
101
101
" @utbot.methodUnderTest {@link org.utbot.examples.structures.MinStack#addValue(long)}\n " +
102
- " @utbot.throwsException {@link ArrayIndexOutOfBoundsException} in: stack[size] = value;"
102
+ " @utbot.throwsException {@link java.lang. ArrayIndexOutOfBoundsException} in: stack[size] = value;"
103
103
104
104
val summary2 = " @utbot.classUnderTest {@link MinStack}\n " +
105
105
" @utbot.methodUnderTest {@link org.utbot.examples.structures.MinStack#addValue(long)}\n " +
106
- " @utbot.throwsException {@link NullPointerException} in: stack[size] = value;"
106
+ " @utbot.throwsException {@link java.lang. NullPointerException} in: stack[size] = value;"
107
107
108
108
val summary3 = " @utbot.classUnderTest {@link MinStack}\n " +
109
109
" @utbot.methodUnderTest {@link org.utbot.examples.structures.MinStack#addValue(long)}\n " +
110
110
" @utbot.executesCondition {@code (size == 0): True}\n " +
111
- " @utbot.throwsException {@link ArrayIndexOutOfBoundsException} in: minStack[size] = value;"
111
+ " @utbot.throwsException {@link java.lang. ArrayIndexOutOfBoundsException} in: minStack[size] = value;"
112
112
113
113
val summary4 = " @utbot.classUnderTest {@link MinStack}\n " +
114
114
" @utbot.methodUnderTest {@link org.utbot.examples.structures.MinStack#addValue(long)}\n " +
115
115
" @utbot.executesCondition {@code (size == 0): True}\n " +
116
- " @utbot.throwsException {@link NullPointerException} in: minStack[size] = value;"
116
+ " @utbot.throwsException {@link java.lang. NullPointerException} in: minStack[size] = value;"
117
117
118
118
val summary5 = " @utbot.classUnderTest {@link MinStack}\n " +
119
119
" @utbot.methodUnderTest {@link org.utbot.examples.structures.MinStack#addValue(long)}\n " +
120
120
" @utbot.executesCondition {@code (size == 0): False}\n " +
121
- " @utbot.throwsException {@link NullPointerException} in: minStack[size] = Math.min(minStack[size - 1], value);"
121
+ " @utbot.throwsException {@link java.lang. NullPointerException} in: minStack[size] = Math.min(minStack[size - 1], value);"
122
122
123
123
val summary6 = " @utbot.classUnderTest {@link MinStack}\n " +
124
124
" @utbot.methodUnderTest {@link org.utbot.examples.structures.MinStack#addValue(long)}\n " +
125
125
" @utbot.executesCondition {@code (size == 0): False}\n " +
126
- " @utbot.throwsException {@link ArrayIndexOutOfBoundsException} in: minStack[size] = Math.min(minStack[size - 1], value);"
126
+ " @utbot.throwsException {@link java.lang. ArrayIndexOutOfBoundsException} in: minStack[size] = Math.min(minStack[size - 1], value);"
127
127
val summary7 = " @utbot.classUnderTest {@link MinStack}\n " +
128
128
" @utbot.methodUnderTest {@link org.utbot.examples.structures.MinStack#addValue(long)}\n " +
129
129
" @utbot.executesCondition {@code (size == 0): False}\n " +
130
130
" @utbot.invokes {@code {@link java.lang.Math#min(long,long)}}\n " +
131
- " @utbot.throwsException {@link ArrayIndexOutOfBoundsException} in: minStack[size] = Math.min(minStack[size - 1], value);"
131
+ " @utbot.throwsException {@link java.lang. ArrayIndexOutOfBoundsException} in: minStack[size] = Math.min(minStack[size - 1], value);"
132
132
val summary8 = " @utbot.classUnderTest {@link MinStack}\n " +
133
133
" @utbot.methodUnderTest {@link org.utbot.examples.structures.MinStack#addValue(long)}\n " +
134
134
" @utbot.executesCondition {@code (size == 0): True}\n "
0 commit comments