Suppress warning about deprecated Runtime.exec

Lipen · Lipen · commit f196a980c8f2 · 2025-07-03T14:39:28.000+03:00
diff --git a/usvm-ts/src/main/kotlin/org/usvm/util/TsStateVisualizer.kt b/usvm-ts/src/main/kotlin/org/usvm/util/TsStateVisualizer.kt
@@ -26,6 +26,7 @@ fun TsState.renderGraph() {
     myRenderDot(dot)
 }
 
+@Suppress("Deprecated")
 fun myRenderDot(
     dot: String,
     outDir: Path = createTempDirectory(),

Original file line number	Diff line number	Diff line change
`@@ -26,6 +26,7 @@ fun TsState.renderGraph() {`
`26`	`26`	`myRenderDot(dot)`
`27`	`27`	`}`
`28`	`28`
	`29`	`+@Suppress("Deprecated")`
`29`	`30`	`fun myRenderDot(`
`30`	`31`	`dot: String,`
`31`	`32`	`outDir: Path = createTempDirectory(),`