Skip to content

Commit ff2d2d1

Browse files
committed
Add unit tests (#452)
1 parent e0afba1 commit ff2d2d1

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

utbot-framework/src/test/kotlin/org/utbot/sarif/SarifReportTest.kt

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -86,6 +86,7 @@ class SarifReportTest {
8686
assert(location.region.startLine == 1337)
8787
assert(relatedLocation.artifactLocation.uri.contains("MainTest.java"))
8888
assert(relatedLocation.region.startLine == 1)
89+
assert(relatedLocation.region.startColumn == 1)
8990
}
9091

9192
@Test
@@ -158,6 +159,7 @@ class SarifReportTest {
158159
}
159160
assert(codeFlowPhysicalLocations[0].artifactLocation.uri.contains("MainTest.java"))
160161
assert(codeFlowPhysicalLocations[0].region.startLine == 3)
162+
assert(codeFlowPhysicalLocations[0].region.startColumn == 7)
161163
}
162164

163165
@Test
@@ -181,6 +183,7 @@ class SarifReportTest {
181183
}
182184
assert(codeFlowPhysicalLocations[0].artifactLocation.uri.contains("MainTest.java"))
183185
assert(codeFlowPhysicalLocations[0].region.startLine == 4)
186+
assert(codeFlowPhysicalLocations[0].region.startColumn == 5)
184187
}
185188

186189
// internal
@@ -217,7 +220,7 @@ class SarifReportTest {
217220
private val generatedTestsCodeMain = """
218221
public void testMain_ThrowArithmeticException() {
219222
Main main = new Main();
220-
main.main(0);
223+
main.main(0); // shift for `startColumn` == 7
221224
}
222225
""".trimIndent()
223226

0 commit comments

Comments
 (0)