Code style fixes

Fraunhofer-AISEC · Jun 14, 2024 · 0355a27 · 0355a27
1 parent 10b983f
commit 0355a27
Showing 1 changed file with 12 additions and 8 deletions.
diff --git a/ids-connector/src/main/kotlin/de/fhg/aisec/ids/ConnectorConfiguration.kt b/ids-connector/src/main/kotlin/de/fhg/aisec/ids/ConnectorConfiguration.kt
@@ -120,21 +120,25 @@ class ConnectorConfiguration {
         if (cmcHostAndPort.size > 1) {
             cmcPort = cmcHostAndPort[1].toInt()
         }
-        val proverConfig: CmcProverConfig = CmcProverConfig.Builder()
-            .setCmcHost(cmcHostAndPort[0])
-            .setCmcPort(cmcPort)
-            .build()
+        val proverConfig: CmcProverConfig =
+            CmcProverConfig
+                .Builder()
+                .setCmcHost(cmcHostAndPort[0])
+                .setCmcPort(cmcPort)
+                .build()
         RaProverDriverRegistry.registerDriver(
             CmcProver.ID,
             { fsmListener -> CmcProver(fsmListener) },
             proverConfig
         )
 
         // RAT verifier configuration
-        val verifierConfig: CmcVerifierConfig = CmcVerifierConfig.Builder()
-            .setCmcHost(cmcHostAndPort[0])
-            .setCmcPort(cmcPort)
-            .build()
+        val verifierConfig: CmcVerifierConfig =
+            CmcVerifierConfig
+                .Builder()
+                .setCmcHost(cmcHostAndPort[0])
+                .setCmcPort(cmcPort)
+                .build()
         RaVerifierDriverRegistry.registerDriver(
             CmcVerifier.ID,
             { fsmListener -> CmcVerifier(fsmListener) },