Detekt fix

UnitTestBot · Jul 29, 2024 · a22bec0 · a22bec0
1 parent 9fba9e7
commit a22bec0
Show file tree

Hide file tree

Showing 4 changed files with 2 additions and 4 deletions.
diff --git a/usvm-ts/src/main/kotlin/org/usvm/TSExprResolver.kt b/usvm-ts/src/main/kotlin/org/usvm/TSExprResolver.kt
@@ -263,5 +263,4 @@ class TSSimpleValueResolver(
         val sort = ctx.typeToSort(local.type)
         return URegisterStackLValue(sort, localIdx)
     }
-
 }
diff --git a/usvm-ts/src/main/kotlin/org/usvm/TSExpressions.kt b/usvm-ts/src/main/kotlin/org/usvm/TSExpressions.kt
@@ -30,5 +30,4 @@ class TSUndefinedValue(ctx: TSContext) : UExpr<TSUndefinedSort>(ctx) {
     override fun print(printer: ExpressionPrinter) {
         printer.append("undefined")
     }
-
 }
diff --git a/usvm-ts/src/main/kotlin/org/usvm/TSMachine.kt b/usvm-ts/src/main/kotlin/org/usvm/TSMachine.kt
@@ -1,6 +1,5 @@
 package org.usvm
 
-import kotlin.time.Duration.Companion.seconds
 import org.jacodb.ets.base.EtsStmt
 import org.jacodb.ets.model.EtsFile
 import org.jacodb.ets.model.EtsMethod
@@ -18,6 +17,7 @@ import org.usvm.statistics.collectors.TargetsReachedStatesCollector
 import org.usvm.statistics.distances.CfgStatisticsImpl
 import org.usvm.statistics.distances.PlainCallGraphStatistics
 import org.usvm.stopstrategies.createStopStrategy
+import kotlin.time.Duration.Companion.seconds
 
 class TSMachine(
     private val project: EtsFile,

diff --git a/usvm-ts/src/main/kotlin/org/usvm/state/TSStateUtils.kt b/usvm-ts/src/main/kotlin/org/usvm/state/TSStateUtils.kt
@@ -26,4 +26,4 @@ fun TSState.returnValue(valueToReturn: UExpr<out USort>) {
 
 fun EtsMethod.localIdx(idx: Int) = if (isStatic) idx else idx + 1
 
-inline val EtsMethod.parametersWithThisCount get() = localIdx(parameters.size)
+inline val EtsMethod.parametersWithThisCount get() = localIdx(parameters.size)
-Original file line number
+Diff line change
@@ Expand Up / @@ -263,5 +263,4 @@ class TSSimpleValueResolver( @@
             val sort = ctx.typeToSort(local.type)
             return URegisterStackLValue(sort, localIdx)
         }
     }
Original file line number	Diff line number	Diff line change
Expand Up		@@ -26,4 +26,4 @@ fun TSState.returnValue(valueToReturn: UExpr<out USort>) {

		fun EtsMethod.localIdx(idx: Int) = if (isStatic) idx else idx + 1

		inline val EtsMethod.parametersWithThisCount get() = localIdx(parameters.size)
		inline val EtsMethod.parametersWithThisCount get() = localIdx(parameters.size)