From a75d266b4fd238872b61d53e4e6db6d85a27506e Mon Sep 17 00:00:00 2001
From: Guillaume Sarthou <gsarthou@laas.fr>
Date: Sun, 3 Dec 2023 15:16:47 +0100
Subject: [PATCH] [CI] clean mains

---
 src/tests/CI/dynamic.cpp                   | 2 --
 src/tests/CI/globalFeatures.cpp            | 2 --
 src/tests/CI/library.cpp                   | 2 --
 src/tests/CI/multi.cpp                     | 2 --
 src/tests/CI/propertiesInheritage.cpp      | 2 --
 src/tests/CI/propertiesInheritageIndex.cpp | 2 --
 src/tests/CI/requests.cpp                  | 2 --
 7 files changed, 14 deletions(-)

diff --git a/src/tests/CI/dynamic.cpp b/src/tests/CI/dynamic.cpp
index a1c59471..dbae420a 100644
--- a/src/tests/CI/dynamic.cpp
+++ b/src/tests/CI/dynamic.cpp
@@ -72,6 +72,4 @@ int main(int argc, char** argv)
 
   testing::InitGoogleTest(&argc, argv);
   return RUN_ALL_TESTS();
-
-  return 0;
 }
diff --git a/src/tests/CI/globalFeatures.cpp b/src/tests/CI/globalFeatures.cpp
index d5384fb3..6421dc19 100644
--- a/src/tests/CI/globalFeatures.cpp
+++ b/src/tests/CI/globalFeatures.cpp
@@ -157,6 +157,4 @@ int main(int argc, char** argv)
 
   testing::InitGoogleTest(&argc, argv);
   return RUN_ALL_TESTS();
-
-  return 0;
 }
diff --git a/src/tests/CI/library.cpp b/src/tests/CI/library.cpp
index dd43a334..7816d4e7 100644
--- a/src/tests/CI/library.cpp
+++ b/src/tests/CI/library.cpp
@@ -110,6 +110,4 @@ int main(int argc, char** argv)
 
   testing::InitGoogleTest(&argc, argv);
   return RUN_ALL_TESTS();
-
-  return 0;
 }
diff --git a/src/tests/CI/multi.cpp b/src/tests/CI/multi.cpp
index 75df970d..e15618cd 100644
--- a/src/tests/CI/multi.cpp
+++ b/src/tests/CI/multi.cpp
@@ -104,6 +104,4 @@ int main(int argc, char** argv)
 
   testing::InitGoogleTest(&argc, argv);
   return RUN_ALL_TESTS();
-
-  return 0;
 }
diff --git a/src/tests/CI/propertiesInheritage.cpp b/src/tests/CI/propertiesInheritage.cpp
index 5d383dc5..70f8db5d 100644
--- a/src/tests/CI/propertiesInheritage.cpp
+++ b/src/tests/CI/propertiesInheritage.cpp
@@ -734,6 +734,4 @@ int main(int argc, char** argv)
 
   testing::InitGoogleTest(&argc, argv);
   return RUN_ALL_TESTS();
-
-  return 0;
 }
diff --git a/src/tests/CI/propertiesInheritageIndex.cpp b/src/tests/CI/propertiesInheritageIndex.cpp
index 3bc5ef68..16796017 100644
--- a/src/tests/CI/propertiesInheritageIndex.cpp
+++ b/src/tests/CI/propertiesInheritageIndex.cpp
@@ -734,6 +734,4 @@ int main(int argc, char** argv)
 
   testing::InitGoogleTest(&argc, argv);
   return RUN_ALL_TESTS();
-
-  return 0;
 }
diff --git a/src/tests/CI/requests.cpp b/src/tests/CI/requests.cpp
index 0951dc82..88ba5c7b 100644
--- a/src/tests/CI/requests.cpp
+++ b/src/tests/CI/requests.cpp
@@ -195,6 +195,4 @@ int main(int argc, char** argv)
 
   testing::InitGoogleTest(&argc, argv);
   return RUN_ALL_TESTS();
-
-  return 0;
 }