Merge pull request #269 from ftsrg/code-reformat

[AutoPR] Reformatted code
ftsrg · Jun 21, 2024 · c4e24fa · c4e24fa
2 parents f0de2e5 + bdaead3
commit c4e24fa
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/subprojects/common/multi-tests/src/test/kotlin/multi/MultiNondetDiningPhilosophersTest.kt b/subprojects/common/multi-tests/src/test/kotlin/multi/MultiNondetDiningPhilosophersTest.kt
@@ -115,7 +115,8 @@ class MultiNondetDiningPhilosophersTest {
             RefToMultiPrec(cfaRefToPrec, cfaRefToPrec, ItpRefToExplPrec()),
             RefToMultiPrec(cfaRefToPrec, cfaRefToPrec, ItpRefToExplPrec()), ItpRefToExplPrec(),
             MultiPrec(cfaInitPrec, cfaInitPrec, dataInitPrec),
-            MultiPrec(cfaInitPrec, cfaInitPrec, dataInitPrec), dataInitPrec, Z3LegacySolverFactory.getInstance(), logger)
+            MultiPrec(cfaInitPrec, cfaInitPrec, dataInitPrec), dataInitPrec, Z3LegacySolverFactory.getInstance(),
+            logger)
         val result = multiConfigBuilder.build().check()
 
         Assertions.assertTrue(result.isUnsafe)