Add test

Author: ladisgin

server/test/framework/Server_Tests.cpp

@@ -1564,6 +1564,22 @@ namespace {
         testUtils::checkStatusesCount(resultMap, tests, expectedStatusCountMap);
     }
 
+    TEST_F(Server_Test, precompiled_obj) {
+        std::string suite = "precompiled";
+        setSuite(suite);
+        static const std::string source2_c = getTestFilePath("source2.c");
+        auto projectRequest = createProjectRequest(projectName, suitePath, buildDirRelativePath, srcPaths,
+                                                   GrpcUtils::UTBOT_AUTO_TARGET_PATH, false, false, 30,
+                                                   ErrorMode::FAILING, false, true);
+        auto request = GrpcUtils::createFileRequest(std::move(projectRequest), source2_c);
+        auto testGen = FileTestGen(*request, writer.get(), TESTMODE);
+
+        Status status = Server::TestsGenServiceImpl::ProcessBaseTestRequest(testGen, writer.get());
+        ASSERT_TRUE(status.ok()) << status.error_message();
+
+        testUtils::checkMinNumberOfTests(testGen.tests, 1);
+    }
+
     TEST_F(Server_Test, Linkage_LD) {
         std::string suite = "linkage-ld";
         setSuite(suite);
@@ -1584,7 +1600,7 @@ namespace {
             buildDirRelativePath, std::move(testFilter));
         auto coverageAndResultsWriter = std::make_unique<ServerCoverageAndResultsWriter>(nullptr);
         CoverageAndResultsGenerator coverageGenerator{ runRequest.get(), coverageAndResultsWriter.get() };
-        utbot::SettingsContext settingsContext{ true, true, 45, 0, true, false, ErrorMode::FAILING, false};
+        utbot::SettingsContext settingsContext{ true, true, 45, 0, true, false, ErrorMode::FAILING, false, false};
         coverageGenerator.generate(false, settingsContext);
 
         ASSERT_TRUE(coverageGenerator.getCoverageMap().empty());

server/test/framework/Stub_Tests.cpp

@@ -197,7 +197,7 @@ namespace {
         static auto coverageAndResultsWriter =
                 std::make_unique<ServerCoverageAndResultsWriter>(nullptr);
         CoverageAndResultsGenerator coverageGenerator{runRequest.get(), coverageAndResultsWriter.get()};
-        utbot::SettingsContext settingsContext{true, true, 15, 0, true, true, ErrorMode::FAILING, false};
+        utbot::SettingsContext settingsContext{true, true, 15, 0, true, true, ErrorMode::FAILING, false, false};
         coverageGenerator.generate(true, settingsContext);
         EXPECT_FALSE(coverageGenerator.hasExceptions());
     }

server/test/framework/TestUtils.cpp

@@ -229,12 +229,13 @@ namespace testUtils {
                                                          bool verbose,
                                                          int kleeTimeout,
                                                          ErrorMode errorMode,
-                                                         bool differentVariables) {
+                                                         bool differentVariables,
+                                                         bool skipPrecompiled) {
         auto projectContext = GrpcUtils::createProjectContext(
                 projectName, projectPath, projectPath / "tests", buildDirRelativePath);
         auto settingsContext =
                 GrpcUtils::createSettingsContext(true, verbose, kleeTimeout, 0, false, useStubs, errorMode,
-                                                 differentVariables, false);
+                                                 differentVariables, skipPrecompiled);
         return GrpcUtils::createProjectRequest(std::move(projectContext),
                                                std::move(settingsContext),
                                                srcPaths,

server/test/framework/TestUtils.h

@@ -78,7 +78,8 @@ namespace testUtils {
                                                          bool verbose = true,
                                                          int kleeTimeout = 60,
                                                          ErrorMode errorMode = ErrorMode::FAILING,
-                                                         bool differentVariables = false);
+                                                         bool differentVariables = false,
+                                                         bool skipPrecompiled = false);
 
     std::unique_ptr<FileRequest> createFileRequest(const std::string &projectName,
                                                    const fs::path &projectPath,

server/test/framework/main.cpp

@@ -71,6 +71,9 @@ int main(int argc, char **argv) {
         testUtils::tryExecGetBuildCommands(testUtils::getRelativeTestSuitePath("object-file"), clang,
                                            testUtils::MAKE_BUILD_COMMANDS_TOOL);
 
+        testUtils::tryExecGetBuildCommands(testUtils::getRelativeTestSuitePath("precompiled"), clang,
+                                           testUtils::MAKE_BUILD_COMMANDS_TOOL);
+
         testUtils::tryExecGetBuildCommands(testUtils::getRelativeTestSuitePath("linkage-ld"), clang,
                                            testUtils::MAKE_BUILD_COMMANDS_TOOL);
 

server/test/suites/object-file/Makefile

@@ -3,7 +3,7 @@
 all: exe
 
 clean:
-	rm exe lib.a lib1.o lib2.o
+	rm exe lib.a lib1.o lib2.o source1.o
 
 lib1.o: lib1.c
 	clang -c -o lib1.o lib1.c
@@ -14,5 +14,8 @@ lib2.o: lib2.c
 lib.a: lib1.o lib2.o
 	ar crs -o lib.a lib1.o lib2.o
 
-exe: source1.c source2.c lib.a
-	clang -o exe source1.c source2.c lib.a
+source1.o: source1.c
+	clang -c -o source1.o source1.c
+
+exe: source1.o source2.c lib.a
+	clang -o exe source1.o source2.c lib.a

server/test/suites/object-file/source2.c

@@ -1,6 +1,6 @@
 #include <stdlib.h>
 
-int main(int argc, char* argv[]) {
+int main(int argc, char *argv[]) {
     if (f(argc) < 5) {
         return 0;
     } else {

server/test/suites/precompiled/Makefile

@@ -0,0 +1,12 @@
+.PHONY: all clean
+
+all: exe
+
+clean:
+	rm source2.o exe
+
+source2.o: source2.c
+	clang -c -o source2.o source2.c
+
+exe: source2.o
+	clang -o exe ../object-file/source1.o source2.o

server/test/suites/precompiled/source2.c

@@ -0,0 +1,13 @@
+#include <stdlib.h>
+
+int g() {
+    return 15;
+}
+
+int main(int argc, char *argv[]) {
+    if (f(argc) < 5) {
+        return 0;
+    } else {
+        return atoi(argv[0]);
+    }
+}