Run pre-commit

se-sic · Nov 9, 2023 · 5197c1c · 5197c1c
1 parent 8e4b1dc
commit 5197c1c
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 4 deletions.
diff --git a/unittests/Solver/ConfigurationFactory.cpp b/unittests/Solver/ConfigurationFactory.cpp
@@ -73,8 +73,7 @@ TEST(ConfigurationFactory, GetAllConfigurations2) {
 }
 
 TEST(ConfigurationFactory, GetAllConfigurations3) {
-  auto FM = feature::loadFeatureModel(
-      getTestResource("test_msmr.xml"));
+  auto FM = feature::loadFeatureModel(getTestResource("test_msmr.xml"));
   auto ConfigResult = ConfigurationFactory::getAllConfigs(*FM);
   EXPECT_TRUE(ConfigResult);
   auto Configs = ConfigResult.extractValue();

diff --git a/unittests/Solver/Z3Tests.cpp b/unittests/Solver/Z3Tests.cpp
@@ -2,8 +2,8 @@
 
 #include "z3++.h"
 
-#include "vara/Solver/ConfigurationFactory.h"
 #include "vara/Feature/FeatureModelBuilder.h"
+#include "vara/Solver/ConfigurationFactory.h"
 #include "gtest/gtest.h"
 
 namespace vara::solver {

diff --git a/unittests/resources/xml/test_msmr.xml b/unittests/resources/xml/test_msmr.xml
@@ -45,4 +45,4 @@
             <optional>True</optional>
         </configurationOption>
     </binaryOptions>
-</vm>
+</vm>