├── .github ├── ISSUE_TEMPLATE │ ├── bug_report.md │ ├── feature_request.md │ └── regression_checklist.md └── workflows │ ├── build-utbot.yml │ ├── docs-to-wiki.yml │ ├── issue-to-project.yml │ ├── matrix.json │ ├── publish-base-env.yml │ ├── publish-c-family-cli-image.yml │ └── publish-utbot.yml ├── .gitignore ├── .gitmodules ├── CONTRIBUTING.md ├── COPYRIGHT_HEADER.txt ├── DEVNOTE.md ├── LICENSE ├── NOTICE ├── README.md ├── SmokeTest.md ├── clion-plugin ├── .gitignore ├── .run │ ├── Run IDE for UI Tests.run.xml │ ├── Run IDE with Plugin.run.xml │ ├── Run Plugin Tests.run.xml │ ├── Run Plugin Verification.run.xml │ └── Run Qodana.run.xml ├── CHANGELOG.md ├── CONFIGURATION.md ├── LICENSE ├── README.md ├── USAGE.md ├── build.gradle.kts ├── gradle.properties ├── gradle │ └── wrapper │ │ ├── gradle-wrapper.jar │ │ └── gradle-wrapper.properties ├── gradlew ├── gradlew.bat ├── images │ ├── check-config │ │ ├── check-not.gif │ │ └── check-ok.gif │ ├── install │ │ ├── choose-zip.png │ │ └── install-from-disk.png │ └── plugin_usage │ │ ├── generate │ │ ├── editor-gen.png │ │ ├── gen-search.png │ │ └── project-view-gen.png │ │ ├── overview.png │ │ ├── settings-demo.gif │ │ ├── sftp │ │ ├── sftp-config.gif │ │ └── upload.gif │ │ ├── statusbar │ │ ├── connected.png │ │ ├── not-connected.png │ │ ├── status-bar-actions.png │ │ ├── status-bar-icons.png │ │ ├── verbose-off.png │ │ └── verbose-on.png │ │ └── wizard │ │ ├── wizard-build-options.png │ │ ├── wizard-connection.png │ │ ├── wizard-demo.gif │ │ ├── wizard-final.png │ │ └── wizard-welcome.png ├── qodana.yml ├── settings.gradle.kts └── src │ ├── main │ ├── kotlin │ │ └── org │ │ │ └── utbot │ │ │ └── cpp │ │ │ └── clion │ │ │ └── plugin │ │ │ ├── UTBotBundle.kt │ │ │ ├── UTBotStartupActivity.kt │ │ │ ├── actions │ │ │ ├── AskServerToGenerateBuildDir.kt │ │ │ ├── AskServerToGenerateJsonForProjectConfiguration.kt │ │ │ ├── ChangeVerboseModeAction.kt │ │ │ ├── FocusAction.kt │ │ │ ├── ReconnectAction.kt │ │ │ ├── RefreshTargetsAction.kt │ │ │ ├── ShowSettings.kt │ │ │ ├── ShowWizardAction.kt │ │ │ ├── TogglePluginAction.kt │ │ │ ├── UTBotBaseAction.kt │ │ │ ├── UTBotBaseToggleAction.kt │ │ │ ├── configure │ │ │ │ ├── ConfigureProjectAction.kt │ │ │ │ └── ReconfigureProjectAction.kt │ │ │ ├── generate │ │ │ │ ├── BaseGenerateTestsAction.kt │ │ │ │ ├── GenerateForAssertionAction.kt │ │ │ │ ├── GenerateForClassAction.kt │ │ │ │ ├── GenerateForFileAction.kt │ │ │ │ ├── GenerateForFolderAction.kt │ │ │ │ ├── GenerateForFunctionAction.kt │ │ │ │ ├── GenerateForLineAction.kt │ │ │ │ ├── GenerateForPredicateAction.kt │ │ │ │ ├── GenerateForProjectAction.kt │ │ │ │ ├── GenerateForSnippetAction.kt │ │ │ │ ├── RunAllTestsWithCoverageAction.kt │ │ │ │ └── RunWithCoverageAction.kt │ │ │ └── mark │ │ │ │ ├── BaseSourceFolderAction.kt │ │ │ │ ├── MarkSourceFolderAction.kt │ │ │ │ └── UnmarkSourceFolderAction.kt │ │ │ ├── client │ │ │ ├── Client.kt │ │ │ ├── GrpcClient.kt │ │ │ ├── ManagedClient.kt │ │ │ ├── Request.kt │ │ │ ├── channels │ │ │ │ ├── GTestLogChannelImpl.kt │ │ │ │ ├── LogChannelImpl.kt │ │ │ │ └── ServerLogChannelImpl.kt │ │ │ ├── handlers │ │ │ │ ├── CoverageAndResultsHandler.kt │ │ │ │ ├── Handler.kt │ │ │ │ ├── ProjectConfigurationHandler.kt │ │ │ │ ├── SourceCode.kt │ │ │ │ ├── StreamHandler.kt │ │ │ │ ├── StreamHandlerWithProgress.kt │ │ │ │ └── TestsStreamHandler.kt │ │ │ ├── logger │ │ │ │ ├── ClientLogger.kt │ │ │ │ ├── LogFormatter.kt │ │ │ │ ├── LogLevel.kt │ │ │ │ ├── LogMessage.kt │ │ │ │ └── LogWriter.kt │ │ │ └── requests │ │ │ │ ├── BaseRequest.kt │ │ │ │ ├── CheckProjectConfigurationRequest.kt │ │ │ │ ├── CreateBuildFolderRequest.kt │ │ │ │ ├── GenerateJsonFilesRequest.kt │ │ │ │ ├── ProjectTargetsRequest.kt │ │ │ │ ├── RunAllTestsWithCoverageRequest.kt │ │ │ │ ├── RunWithCoverageRequest.kt │ │ │ │ └── test │ │ │ │ ├── AssertionRequest.kt │ │ │ │ ├── BaseTestsRequest.kt │ │ │ │ ├── ClassRequest.kt │ │ │ │ ├── FileRequest.kt │ │ │ │ ├── FolderRequest.kt │ │ │ │ ├── FunctionRequest.kt │ │ │ │ ├── FunctionReturnTypeRequest.kt │ │ │ │ ├── LineRequest.kt │ │ │ │ ├── PredicateRequest.kt │ │ │ │ ├── ProjectRequest.kt │ │ │ │ └── SnippetRequest.kt │ │ │ ├── coverage │ │ │ ├── Coverage.kt │ │ │ ├── UTBotCoverageEngine.kt │ │ │ ├── UTBotCoverageFileProvider.kt │ │ │ ├── UTBotCoverageRunner.kt │ │ │ └── UTBotCoverageSuite.kt │ │ │ ├── grpc │ │ │ ├── ConfigurationGrpcRequests.kt │ │ │ ├── GrpcRequestBuilder.kt │ │ │ ├── GrpcRequestBuilderFactory.kt │ │ │ ├── GrpcRequestBuildersImpl.kt │ │ │ └── VersionGrpcRequests.kt │ │ │ ├── listeners │ │ │ ├── ConnectionSettingsListener.kt │ │ │ ├── PluginActivationListener.kt │ │ │ ├── SourceFoldersListener.kt │ │ │ ├── UTBotEventsListener.kt │ │ │ ├── UTBotSettingsChangedListener.kt │ │ │ └── UTBotTestResultsReceivedListener.kt │ │ │ ├── settings │ │ │ ├── SettingsProvider.kt │ │ │ ├── UTBotAllProjectSettings.kt │ │ │ ├── UTBotConfigurable.kt │ │ │ ├── UTBotProjectIndependentSettings.kt │ │ │ └── UTBotProjectStoredSettings.kt │ │ │ ├── ui │ │ │ ├── ObservableValue.kt │ │ │ ├── UTBotIcons.kt │ │ │ ├── UTBotRequestProgressIndicator.kt │ │ │ ├── services │ │ │ │ ├── OutputProvider.kt │ │ │ │ └── TestsResultsStorage.kt │ │ │ ├── sourceFoldersView │ │ │ │ ├── ProxyProjectViewTree.kt │ │ │ │ ├── UTBotNode.kt │ │ │ │ ├── UTBotProjectViewPane.kt │ │ │ │ ├── UTBotProjectViewPaneForSettings.kt │ │ │ │ ├── UTBotTreeStructureProvider.kt │ │ │ │ └── Updater.kt │ │ │ ├── statusBar │ │ │ │ └── StatusBarConnectionStatus.kt │ │ │ ├── targetsToolWindow │ │ │ │ └── UTBotTargetsToolWindowFactory.kt │ │ │ ├── testsResults │ │ │ │ ├── TestNameAndTestSuite.kt │ │ │ │ └── UTBotTestRunLineMarkerProvider.kt │ │ │ ├── utbotToolWindow │ │ │ │ ├── UTBotToolWindowFactory.kt │ │ │ │ ├── logsToolWindow │ │ │ │ │ └── ConsoleToolWindow.kt │ │ │ │ └── targetToolWindow │ │ │ │ │ ├── UTBotTarget.kt │ │ │ │ │ ├── UTBotTargetsController.kt │ │ │ │ │ └── UTBotTargetsToolWindow.kt │ │ │ └── wizard │ │ │ │ ├── UTBotBaseWizardStep.kt │ │ │ │ ├── UTBotWizard.kt │ │ │ │ └── steps │ │ │ │ ├── BuildOptionsStep.kt │ │ │ │ ├── ConnectionStep.kt │ │ │ │ ├── FinalStep.kt │ │ │ │ └── IntroStep.kt │ │ │ └── utils │ │ │ ├── ActionUtils.kt │ │ │ ├── ClientUtils.kt │ │ │ ├── DisposingUtils.kt │ │ │ ├── EnvironmentUtils.kt │ │ │ ├── FileUtils.kt │ │ │ ├── NotificationUtils.kt │ │ │ ├── PathUtils.kt │ │ │ └── UiUtils.kt │ └── resources │ │ ├── META-INF │ │ └── plugin.xml │ │ ├── icons │ │ └── utbot-folder.svg │ │ ├── media │ │ ├── cmake_options.html │ │ ├── connection.html │ │ ├── final_wizard_text.html │ │ ├── installation.html │ │ ├── intro_wizard_text.html │ │ ├── options_wizard_text.html │ │ └── remote_path.html │ │ └── messages │ │ └── UTBot.properties │ └── test │ ├── kotlin │ └── org │ │ └── utbot │ │ └── cpp │ │ └── clion │ │ └── plugin │ │ ├── SwingEdtInterceptor.kt │ │ ├── TestFixtureProxy.kt │ │ ├── TestUtil.kt │ │ └── tests │ │ ├── buildingRequestsTests │ │ ├── BaseBuildingTest.kt │ │ ├── FileRequestBuildingTest.kt │ │ ├── LineRequestBuildingTest.kt │ │ └── ProjectRequestBuildingTest.kt │ │ ├── integrationTests │ │ ├── BaseGenerationTestCase.kt │ │ ├── CppCompiler.kt │ │ ├── GenerateForFileTest.kt │ │ ├── GenerateForIsolatedFileTest.kt │ │ ├── GenerateForLineTest.kt │ │ └── GenerateForProjectTest.kt │ │ └── utilsTests │ │ ├── CommonSubpathTests.kt │ │ └── ToWslFormatTest.kt │ └── resources │ └── tinylog.properties ├── docker ├── Dockerfile_base ├── Dockerfile_c_family_cli ├── Dockerfile_image_without_utbot ├── action-scripts │ ├── build-clean-utbot.sh │ ├── build-clion-plugin.sh │ ├── build-utbot.sh │ ├── build-vsix.sh │ ├── generate-tests.sh │ ├── install-dependencies-for-docker-image-without-utbot.sh │ ├── integration-tests.sh │ ├── prepare-ubuntu-release.sh │ ├── runClionIntegrationTests.sh │ └── unit-tests.sh ├── building_dependencies │ ├── clean_release.sh │ ├── install_packages │ │ └── debian.sh │ ├── patches │ │ └── lit.py │ └── runtime_env.sh ├── create_env.sh ├── get_c_family_cli_download_url.py ├── release_distribution_scripts │ ├── utbot_online_cli.sh │ ├── utbot_run_system.sh │ ├── utbot_scripts │ │ └── common_functions.sh │ └── utbot_server_restart.sh ├── unpack_and_run_utbot.sh └── utbot_docker_dev.sh ├── docs ├── Home.md ├── _Sidebar.md ├── c-syntax.md ├── clion-fine-tune.md ├── clion-generate-tests.md ├── clion-get-use-of-results.md ├── clion-install-and-configure.md ├── clion-overall.md ├── contributor-guides │ ├── advanced │ │ ├── LI.md │ │ ├── Symcretes.md │ │ ├── Symsizes.md │ │ ├── compile-database.md │ │ ├── coverage.md │ │ ├── generating-and-running-tests.md │ │ ├── incrementality.md │ │ ├── klee-patches.md │ │ ├── linking-bitcode.md │ │ ├── makefiles.md │ │ ├── preparing-sources-for-klee.md │ │ ├── stubs-inside.md │ │ ├── stubs.md │ │ ├── symbolic-execution.md │ │ ├── symbolic-stdin.md │ │ ├── targets.md │ │ ├── types-fetching.md │ │ ├── utbot-inside.md │ │ └── utbot-logging.md │ └── develop │ │ ├── Labels-usage-guidelines.md │ │ ├── create-release.md │ │ ├── testing-release-utbotcpp-in-docker.md │ │ ├── todo.md │ │ └── troubleshooting.md ├── cpp-syntax.md ├── faq.md ├── github-action.md ├── images │ ├── clion │ │ ├── clion-build-notification.PNG │ │ ├── clion-concise-test.PNG │ │ ├── clion-configure-notification.PNG │ │ ├── clion-configure-widget.PNG │ │ ├── clion-coverage-information.PNG │ │ ├── clion-coverage-scenarios.PNG │ │ ├── clion-coverage-show-results.PNG │ │ ├── clion-generate-for-file-project.PNG │ │ ├── clion-generate-for-folder-project.PNG │ │ ├── clion-generate-for-snippet.PNG │ │ ├── clion-generate-from-editor.PNG │ │ ├── clion-generation-in-progress.PNG │ │ ├── clion-install-from-disk.PNG │ │ ├── clion-open-project.PNG │ │ ├── clion-plugin-installed.PNG │ │ ├── clion-region-error.PNG │ │ ├── clion-region-regression.PNG │ │ ├── clion-run-all.PNG │ │ ├── clion-run-test.PNG │ │ ├── clion-sarif.PNG │ │ ├── clion-search-all-commands.PNG │ │ ├── clion-search-run-all-tests.PNG │ │ ├── clion-search-wizard.PNG │ │ ├── clion-settings-initial.PNG │ │ ├── clion-sftp-browse.PNG │ │ ├── clion-sftp-ssh-config-connection.PNG │ │ ├── clion-sftp-ssh-config-mapping.PNG │ │ ├── clion-sftp-ssh-config.PNG │ │ ├── clion-sftp.PNG │ │ ├── clion-statistics.PNG │ │ ├── clion-test-folder-file.PNG │ │ ├── clion-upload-to-server.PNG │ │ ├── clion-utbot-widget.PNG │ │ ├── clion-wizard-default-step-1.PNG │ │ ├── clion-wizard-default-step-2.PNG │ │ └── clion-wizard-remote-step-1.PNG │ ├── github-action │ │ ├── gh-action-1.PNG │ │ ├── gh-action-2.PNG │ │ ├── gh-action-actions.PNG │ │ ├── gh-action-alerts.PNG │ │ ├── gh-action-branch.PNG │ │ ├── gh-action-pr.PNG │ │ ├── gh-action-run.PNG │ │ └── gh-action-yml.PNG │ └── vscode │ │ ├── vscode-build-notification.PNG │ │ ├── vscode-command-palette-code-snippet.png │ │ ├── vscode-command-palette-configure.png │ │ ├── vscode-command-palette-generate.png │ │ ├── vscode-command-palette-run-all-tests.PNG │ │ ├── vscode-command-palette-wizard.png │ │ ├── vscode-command-palette.png │ │ ├── vscode-concise-test.PNG │ │ ├── vscode-configure-notification.PNG │ │ ├── vscode-coverage-show-results.PNG │ │ ├── vscode-coverage.PNG │ │ ├── vscode-generate-from-editor.PNG │ │ ├── vscode-generate-from-explorer.PNG │ │ ├── vscode-install-from-vsix.PNG │ │ ├── vscode-installed.PNG │ │ ├── vscode-open-folder.png │ │ ├── vscode-run-all-codelens.PNG │ │ ├── vscode-run-codelens.PNG │ │ ├── vscode-running.PNG │ │ ├── vscode-sarif.PNG │ │ ├── vscode-settings.PNG │ │ ├── vscode-sftp-explorer.PNG │ │ ├── vscode-statistics.PNG │ │ ├── vscode-test-folder-file.PNG │ │ ├── vscode-test-region-error.PNG │ │ ├── vscode-test-region-regression.PNG │ │ ├── vscode-wizard-default-step-1.PNG │ │ ├── vscode-wizard-default-step-2.PNG │ │ ├── vscode-wizard-initial.PNG │ │ └── vscode-wizard-remote-step-1.PNG ├── install-dependencies-gcc9.md ├── install-docker-windows.md ├── install-server-on-ubuntu.md ├── install-server.md ├── install-wsl.md ├── install_client.md ├── intro.md ├── linux-macos.md ├── linux-remote.md ├── linux.md ├── macos.md ├── set-up-docker-os.md ├── system-requirements.md ├── troubleshooting.md ├── vscode-fine-tune.md ├── vscode-generate-tests.md ├── vscode-get-use-of-results.md ├── vscode-install-and-configure.md ├── vscode-overall.md ├── windows-local.md ├── windows-remote.md └── windows.md ├── integration-tests ├── c-example-mini │ ├── .gitignore │ ├── CMakeLists.txt │ ├── lib │ │ ├── CMakeLists.txt │ │ ├── basic_functions.c │ │ ├── basic_functions.h │ │ ├── input_output │ │ │ ├── file.c │ │ │ ├── file.h │ │ │ ├── input_output.c │ │ │ └── input_output.h │ │ ├── main.c │ │ ├── module │ │ │ ├── libfunc.c │ │ │ └── libfunc.h │ │ └── structures │ │ │ └── structs │ │ │ ├── simple_structs.c │ │ │ └── simple_structs.h │ ├── main.c │ ├── snippet.c │ └── src │ │ ├── CMakeLists.txt │ │ ├── simple_calc.c │ │ └── simple_calc.h ├── c-example │ ├── .gitignore │ ├── CMakeLists.txt │ ├── itf.json │ ├── lib │ │ ├── CMakeLists.txt │ │ ├── algorithm.c │ │ ├── alignment.c │ │ ├── array │ │ │ ├── array-sort.c │ │ │ └── array-sort.h │ │ ├── assertion_failures.c │ │ ├── assertion_failures.h │ │ ├── basic_functions.c │ │ ├── basic_functions.h │ │ ├── bits.c │ │ ├── bits.h │ │ ├── compound_literals.c │ │ ├── dependent_functions.c │ │ ├── dependent_functions.h │ │ ├── different_variables.c │ │ ├── different_variables.h │ │ ├── floats │ │ │ ├── floating_point.c │ │ │ ├── floating_point.h │ │ │ ├── floating_point_plain.c │ │ │ └── floating_point_plain.h │ │ ├── generic_selection.c │ │ ├── globals.c │ │ ├── halt.c │ │ ├── halt.h │ │ ├── helloworld.c │ │ ├── helloworld.h │ │ ├── inits.c │ │ ├── inits.h │ │ ├── inline_asm.c │ │ ├── inner │ │ │ ├── inner_basic_functions.c │ │ │ └── inner_basic_functions.h │ │ ├── input_output │ │ │ ├── file.c │ │ │ ├── file.h │ │ │ ├── input_output.c │ │ │ └── input_output.h │ │ ├── keywords │ │ │ ├── keywords.c │ │ │ ├── keywords.h │ │ │ ├── qualifiers.c │ │ │ └── qualifiers.h │ │ ├── linked-list │ │ │ ├── hard-linked-list.c │ │ │ ├── hard-linked-list.h │ │ │ ├── linked-list.c │ │ │ ├── linked-list.h │ │ │ ├── tree.c │ │ │ └── tree.h │ │ ├── loops.c │ │ ├── loops.h │ │ ├── main.c │ │ ├── memory.c │ │ ├── module │ │ │ ├── libfunc.c │ │ │ └── libfunc.h │ │ ├── multi_arrays.c │ │ ├── multi_arrays.h │ │ ├── pointers │ │ │ ├── function_pointers.c │ │ │ ├── function_pointers.h │ │ │ ├── pointer_parameters.c │ │ │ ├── pointer_parameters.h │ │ │ ├── pointer_return.c │ │ │ └── pointer_return.h │ │ ├── pseudo_random.c │ │ ├── static.c │ │ ├── structures │ │ │ ├── bitfields.c │ │ │ ├── bitfields.h │ │ │ ├── enums.c │ │ │ ├── enums.h │ │ │ ├── simple_unions.c │ │ │ ├── simple_unions.h │ │ │ ├── struct_arrays.c │ │ │ ├── struct_arrays.h │ │ │ └── structs │ │ │ │ ├── complex_structs.c │ │ │ │ ├── complex_structs.h │ │ │ │ ├── packed_structs.c │ │ │ │ ├── packed_structs.h │ │ │ │ ├── simple_structs.c │ │ │ │ ├── simple_structs.h │ │ │ │ ├── structs_with_pointers.c │ │ │ │ └── structs_with_pointers.h │ │ ├── stubs │ │ │ ├── stubs.c │ │ │ └── stubs.h │ │ ├── symbolic_stdin.c │ │ ├── types │ │ │ ├── typedefs_1.c │ │ │ ├── typedefs_1.h │ │ │ ├── typedefs_2.c │ │ │ ├── typedefs_2.h │ │ │ ├── types.c │ │ │ ├── types.h │ │ │ ├── types_2.c │ │ │ ├── types_2.h │ │ │ └── types_3.c │ │ ├── variadic.c │ │ ├── void_functions.c │ │ └── void_functions.h │ ├── main.c │ ├── snippet.c │ └── src │ │ ├── CMakeLists.txt │ │ ├── calc.c │ │ └── calc.h ├── cpp-example │ ├── .gitignore │ ├── CMakeLists.txt │ ├── c_lib │ │ ├── CMakeLists.txt │ │ ├── keywords.c │ │ ├── keywords.h │ │ ├── qualifiers.c │ │ └── qualifiers.h │ ├── cxx_lib │ │ ├── CMakeLists.txt │ │ ├── abstract_shape.hpp │ │ ├── constructors.cpp │ │ ├── constructors.h │ │ ├── different_parameters.cpp │ │ ├── different_parameters.h │ │ ├── multiple_classes.cpp │ │ ├── multiple_classes.h │ │ ├── namespace.cpp │ │ ├── namespace.hpp │ │ ├── point_2d.cpp │ │ ├── point_2d.hpp │ │ ├── structs │ │ │ ├── bitfields.cpp │ │ │ └── bitfields.hpp │ │ ├── triangle.cpp │ │ └── triangle.h │ └── main.cpp ├── installation_checks │ ├── automated_install_checks.sh │ └── clean.sh ├── multimodule-c-example │ ├── .gitignore │ ├── CMakeLists.txt │ ├── README.md │ ├── build.sh │ ├── lib │ │ ├── calc │ │ │ ├── CMakeLists.txt │ │ │ ├── mult.c │ │ │ ├── mult.h │ │ │ ├── sum.c │ │ │ └── sum.h │ │ └── literals │ │ │ ├── CMakeLists.txt │ │ │ ├── foo.c │ │ │ └── foo.h │ └── main.c └── perfomance-test │ ├── CMakeLists.txt │ ├── main.c │ └── src │ ├── CMakeLists.txt │ ├── func10.c │ ├── generate.py │ └── main.c ├── media └── wizardInstall.gif ├── pics ├── VSCode_CurrentFunction.png ├── VSCode_CurrentFunction2.png ├── VSCode_CurrentFunction3.png ├── VSCode_ForFolder1.png ├── VSCode_ForFolder3.png └── VSCode_withPrompted1.png ├── server ├── .clang-format ├── .clion.source.upload.marker ├── .gitignore ├── CMakeLists.txt ├── Doxyfile ├── build.sh ├── cmake │ └── build_type.cmake ├── config.h.in ├── logger-aux │ ├── loguru.h │ └── loguru_debug.cpp ├── main.cpp ├── pch.h ├── proto │ ├── testgen.proto │ └── util.proto ├── src │ ├── BordersFinder.cpp │ ├── BordersFinder.h │ ├── BuildResult.cpp │ ├── BuildResult.h │ ├── FeaturesFilter.cpp │ ├── FeaturesFilter.h │ ├── GTestLogger.cpp │ ├── GTestLogger.h │ ├── Include.cpp │ ├── Include.h │ ├── KleeGenerator.cpp │ ├── KleeGenerator.h │ ├── KleeRunner.cpp │ ├── KleeRunner.h │ ├── Language.cpp │ ├── Language.h │ ├── LineInfo.h │ ├── NameDecorator.cpp │ ├── NameDecorator.h │ ├── PathSubstitution.cpp │ ├── PathSubstitution.h │ ├── Paths.cpp │ ├── Paths.h │ ├── ProjectContext.cpp │ ├── ProjectContext.h │ ├── RequestEnvironment.cpp │ ├── RequestEnvironment.h │ ├── Result.h │ ├── ReturnTypesFetcher.cpp │ ├── ReturnTypesFetcher.h │ ├── SARIFGenerator.cpp │ ├── SARIFGenerator.h │ ├── Server.cpp │ ├── Server.h │ ├── SettingsContext.cpp │ ├── SettingsContext.h │ ├── Synchronizer.cpp │ ├── Synchronizer.h │ ├── Tests.cpp │ ├── Tests.h │ ├── ThreadSafeContainers.h │ ├── TimeExecStatistics.cpp │ ├── TimeExecStatistics.h │ ├── Version.h │ ├── building │ │ ├── BaseCommand.cpp │ │ ├── BaseCommand.h │ │ ├── BuildDatabase.cpp │ │ ├── BuildDatabase.h │ │ ├── CompilationDatabase.cpp │ │ ├── CompilationDatabase.h │ │ ├── CompileCommand.cpp │ │ ├── CompileCommand.h │ │ ├── IRParser.cpp │ │ ├── IRParser.h │ │ ├── LinkCommand.cpp │ │ ├── LinkCommand.h │ │ ├── Linker.cpp │ │ ├── Linker.h │ │ ├── ProjectBuildDatabase.h │ │ ├── ProjectBuildDatabse.cpp │ │ ├── RunCommand.cpp │ │ ├── RunCommand.h │ │ ├── TargetBuildDatabase.cpp │ │ ├── TargetBuildDatabase.h │ │ ├── UserProjectConfiguration.cpp │ │ └── UserProjectConfiguration.h │ ├── clang-utils │ │ ├── ASTPrinter.cpp │ │ ├── ASTPrinter.h │ │ ├── AlignmentFetcher.cpp │ │ ├── AlignmentFetcher.h │ │ ├── ClangUtils.cpp │ │ ├── ClangUtils.h │ │ ├── Matchers.cpp │ │ ├── Matchers.h │ │ ├── SimpleFrontendActionFactory.cpp │ │ ├── SimpleFrontendActionFactory.h │ │ ├── SourceFileChainedCallbacks.cpp │ │ ├── SourceFileChainedCallbacks.h │ │ ├── SourceToHeaderMatchCallback.cpp │ │ ├── SourceToHeaderMatchCallback.h │ │ ├── SourceToHeaderRewriter.cpp │ │ └── SourceToHeaderRewriter.h │ ├── commands │ │ ├── Commands.cpp │ │ └── Commands.h │ ├── coverage │ │ ├── Coverage.cpp │ │ ├── Coverage.h │ │ ├── CoverageAndResultsGenerator.cpp │ │ ├── CoverageAndResultsGenerator.h │ │ ├── CoverageTool.cpp │ │ ├── CoverageTool.h │ │ ├── GcovCoverageTool.cpp │ │ ├── GcovCoverageTool.h │ │ ├── LlvmCoverageTool.cpp │ │ ├── LlvmCoverageTool.h │ │ ├── TestRunner.cpp │ │ ├── TestRunner.h │ │ ├── UnitTest.cpp │ │ └── UnitTest.h │ ├── environment │ │ ├── EnvironmentPaths.cpp │ │ └── EnvironmentPaths.h │ ├── exceptions │ │ ├── BaseException.h │ │ ├── CancellationException.h │ │ ├── CompilationDatabaseException.h │ │ ├── CoverageGenerationException.h │ │ ├── EnvironmentException.h │ │ ├── ExecutionProcessException.cpp │ │ ├── ExecutionProcessException.h │ │ ├── FileNotPresentedInArtifactException.cpp │ │ ├── FileNotPresentedInArtifactException.h │ │ ├── FileNotPresentedInCommandsException.cpp │ │ ├── FileNotPresentedInCommandsException.h │ │ ├── FileSystemException.cpp │ │ ├── FileSystemException.h │ │ ├── IncorrectIndexException.h │ │ ├── LLVMException.h │ │ ├── NoSuchTypeException.h │ │ ├── NoTestGeneratedException.h │ │ ├── RequestCancellationException.h │ │ └── UnImplementedException.h │ ├── fetchers │ │ ├── ArraySubscriptFetcherMatchCallback.cpp │ │ ├── ArraySubscriptFetcherMatchCallback.h │ │ ├── Fetcher.cpp │ │ ├── Fetcher.h │ │ ├── FetcherUtils.cpp │ │ ├── FetcherUtils.h │ │ ├── FunctionDeclsMatchCallback.cpp │ │ ├── FunctionDeclsMatchCallback.h │ │ ├── GlobalVariableUsageMatchCallback.cpp │ │ ├── GlobalVariableUsageMatchCallback.h │ │ ├── IncludeFetchSourceFileCallback.cpp │ │ ├── IncludeFetchSourceFileCallback.h │ │ ├── ReturnStmtFetcherMatchCallback.cpp │ │ ├── ReturnStmtFetcherMatchCallback.h │ │ ├── SingleFileParseModeCallback.cpp │ │ ├── SingleFileParseModeCallback.h │ │ ├── TypeDeclsMatchCallback.cpp │ │ └── TypeDeclsMatchCallback.h │ ├── printers │ │ ├── CCJsonPrinter.cpp │ │ ├── CCJsonPrinter.h │ │ ├── DefaultMakefilePrinter.cpp │ │ ├── DefaultMakefilePrinter.h │ │ ├── HeaderPrinter.cpp │ │ ├── HeaderPrinter.h │ │ ├── KleeConstraintsPrinter.cpp │ │ ├── KleeConstraintsPrinter.h │ │ ├── KleePrinter.cpp │ │ ├── KleePrinter.h │ │ ├── NativeMakefilePrinter.cpp │ │ ├── NativeMakefilePrinter.h │ │ ├── Printer.cpp │ │ ├── Printer.h │ │ ├── RelativeMakefilePrinter.cpp │ │ ├── RelativeMakefilePrinter.h │ │ ├── SourceWrapperPrinter.cpp │ │ ├── SourceWrapperPrinter.h │ │ ├── StubsPrinter.cpp │ │ ├── StubsPrinter.h │ │ ├── TestMakefilesPrinter.cpp │ │ ├── TestMakefilesPrinter.h │ │ ├── TestsPrinter.cpp │ │ └── TestsPrinter.h │ ├── streams │ │ ├── BaseWriter.cpp │ │ ├── BaseWriter.h │ │ ├── DummyStreamWriter.cpp │ │ ├── DummyStreamWriter.h │ │ ├── FileTargetsWriter.cpp │ │ ├── FileTargetsWriter.h │ │ ├── IStreamWriter.cpp │ │ ├── IStreamWriter.h │ │ ├── MessageWriter.h │ │ ├── ProgressWriter.cpp │ │ ├── ProgressWriter.h │ │ ├── ProjectConfigWriter.cpp │ │ ├── ProjectConfigWriter.h │ │ ├── ProjectTargetsWriter.cpp │ │ ├── ProjectTargetsWriter.h │ │ ├── ServerWriter.h │ │ ├── TargetsWriter.cpp │ │ ├── TargetsWriter.h │ │ ├── WriterUtils.cpp │ │ ├── WriterUtils.h │ │ ├── coverage │ │ │ ├── CLICoverageAndResultsWriter.cpp │ │ │ ├── CLICoverageAndResultsWriter.h │ │ │ ├── CoverageAndResultsWriter.cpp │ │ │ ├── CoverageAndResultsWriter.h │ │ │ ├── ServerCoverageAndResultsWriter.cpp │ │ │ └── ServerCoverageAndResultsWriter.h │ │ ├── stubs │ │ │ ├── CLIStubsWriter.cpp │ │ │ ├── CLIStubsWriter.h │ │ │ ├── ServerStubsWriter.cpp │ │ │ ├── ServerStubsWriter.h │ │ │ ├── StubsWriter.cpp │ │ │ └── StubsWriter.h │ │ └── tests │ │ │ ├── CLITestsWriter.cpp │ │ │ ├── CLITestsWriter.h │ │ │ ├── ServerTestsWriter.cpp │ │ │ ├── ServerTestsWriter.h │ │ │ ├── TestsWriter.cpp │ │ │ └── TestsWriter.h │ ├── stubs │ │ ├── StubGen.cpp │ │ ├── StubGen.h │ │ ├── StubSourcesFinder.cpp │ │ ├── StubSourcesFinder.h │ │ ├── Stubs.h │ │ ├── StubsCollector.cpp │ │ ├── StubsCollector.h │ │ ├── StubsStorage.cpp │ │ └── StubsStorage.h │ ├── tasks │ │ ├── BaseForkTask.cpp │ │ ├── BaseForkTask.h │ │ ├── RunKleeTask.cpp │ │ ├── RunKleeTask.h │ │ ├── ShellExecTask.cpp │ │ └── ShellExecTask.h │ ├── testgens │ │ ├── AssertionTestGen.cpp │ │ ├── AssertionTestGen.h │ │ ├── BaseTestGen.cpp │ │ ├── BaseTestGen.h │ │ ├── ClassTestGen.cpp │ │ ├── ClassTestGen.h │ │ ├── FileTestGen.cpp │ │ ├── FileTestGen.h │ │ ├── FolderTestGen.cpp │ │ ├── FolderTestGen.h │ │ ├── FunctionTestGen.cpp │ │ ├── FunctionTestGen.h │ │ ├── LineTestGen.cpp │ │ ├── LineTestGen.h │ │ ├── PredicateTestGen.cpp │ │ ├── PredicateTestGen.h │ │ ├── ProjectTestGen.cpp │ │ ├── ProjectTestGen.h │ │ ├── SnippetTestGen.cpp │ │ └── SnippetTestGen.h │ ├── types │ │ ├── AbstractType.h │ │ ├── ArrayType.h │ │ ├── FunctionPointerType.h │ │ ├── ObjectPointerType.h │ │ ├── SimpleType.h │ │ ├── TypeVisitor.cpp │ │ ├── TypeVisitor.h │ │ ├── Types.cpp │ │ ├── Types.h │ │ ├── TypesResolver.cpp │ │ └── TypesResolver.h │ ├── utils │ │ ├── ArgumentsUtils.cpp │ │ ├── ArgumentsUtils.h │ │ ├── CLIUtils.cpp │ │ ├── CLIUtils.h │ │ ├── CPipe.cpp │ │ ├── CPipe.h │ │ ├── CollectionUtils.cpp │ │ ├── CollectionUtils.h │ │ ├── CompilationUtils.cpp │ │ ├── CompilationUtils.h │ │ ├── Copyright.h │ │ ├── DynamicLibraryUtils.cpp │ │ ├── DynamicLibraryUtils.h │ │ ├── ErrorInfo.h │ │ ├── ExecUtils.cpp │ │ ├── ExecUtils.h │ │ ├── ExecutionResult.h │ │ ├── FairMutex.cpp │ │ ├── FairMutex.h │ │ ├── FileSystemUtils.cpp │ │ ├── FileSystemUtils.h │ │ ├── GenerationUtils.cpp │ │ ├── GenerationUtils.h │ │ ├── GrpcUtils.cpp │ │ ├── GrpcUtils.h │ │ ├── HashUtils.cpp │ │ ├── HashUtils.h │ │ ├── JsonUtils.cpp │ │ ├── JsonUtils.h │ │ ├── KleeUtils.cpp │ │ ├── KleeUtils.h │ │ ├── LinkerUtils.cpp │ │ ├── LinkerUtils.h │ │ ├── LogUtils.cpp │ │ ├── LogUtils.h │ │ ├── MakefileUtils.cpp │ │ ├── MakefileUtils.h │ │ ├── PrinterUtils.cpp │ │ ├── PrinterUtils.h │ │ ├── RequestLockMutex.h │ │ ├── SanitizerUtils.cpp │ │ ├── SanitizerUtils.h │ │ ├── ServerUtils.cpp │ │ ├── ServerUtils.h │ │ ├── SizeUtils.cpp │ │ ├── SizeUtils.h │ │ ├── StringFormat.cpp │ │ ├── StringFormat.h │ │ ├── StringUtils.cpp │ │ ├── StringUtils.h │ │ ├── StubsUtils.cpp │ │ ├── StubsUtils.h │ │ ├── TimeUtils.cpp │ │ ├── TimeUtils.h │ │ ├── TraceUtils.cpp │ │ ├── TraceUtils.h │ │ ├── TypeTraitsUtils.h │ │ ├── TypeUtils.cpp │ │ ├── TypeUtils.h │ │ ├── Void.cpp │ │ ├── Void.h │ │ ├── path │ │ │ ├── FileSystemPath.cpp │ │ │ └── FileSystemPath.h │ │ └── stats │ │ │ ├── CSVPrinter.cpp │ │ │ ├── CSVPrinter.h │ │ │ ├── CSVReader.cpp │ │ │ ├── CSVReader.h │ │ │ ├── FileStatsMap.h │ │ │ ├── KleeStats.cpp │ │ │ ├── KleeStats.h │ │ │ ├── TestsExecutionStats.cpp │ │ │ ├── TestsExecutionStats.h │ │ │ ├── TestsGenerationStats.cpp │ │ │ └── TestsGenerationStats.h │ └── visitors │ │ ├── AbstractValueViewVisitor.cpp │ │ ├── AbstractValueViewVisitor.h │ │ ├── AssertsVisitor.cpp │ │ ├── AssertsVisitor.h │ │ ├── FunctionPointerForStubsVisitor.cpp │ │ ├── FunctionPointerForStubsVisitor.h │ │ ├── KleeAssumeParamVisitor.cpp │ │ ├── KleeAssumeParamVisitor.h │ │ ├── KleeAssumeReturnValueVisitor.cpp │ │ ├── KleeAssumeReturnValueVisitor.h │ │ ├── KleeAssumeVisitor.cpp │ │ ├── KleeAssumeVisitor.h │ │ ├── ParametrizedAssertsVisitor.cpp │ │ ├── ParametrizedAssertsVisitor.h │ │ ├── VerboseAssertsParamVisitor.cpp │ │ ├── VerboseAssertsParamVisitor.h │ │ ├── VerboseAssertsReturnValueVisitor.cpp │ │ ├── VerboseAssertsReturnValueVisitor.h │ │ ├── VerboseAssertsVisitor.cpp │ │ ├── VerboseAssertsVisitor.h │ │ ├── VerboseParameterVisitor.cpp │ │ └── VerboseParameterVisitor.h └── test │ ├── framework │ ├── BaseTest.cpp │ ├── BaseTest.h │ ├── CLI_Tests.cpp │ ├── CollectionUtil_Tests.cpp │ ├── KleeGen_Tests.cpp │ ├── Library_Test.cpp │ ├── Regression_Tests.cpp │ ├── Server_Tests.cpp │ ├── Stub_Tests.cpp │ ├── Syntax_Tests.cpp │ ├── Targets_Test.cpp │ ├── TestUtils.cpp │ ├── TestUtils.h │ ├── Utils_Tests.cpp │ └── main.cpp │ └── suites │ ├── char │ ├── CMakeLists.txt │ ├── char_literals.c │ ├── char_literals.h │ └── tests │ │ └── CMakeLists.txt │ ├── cli │ ├── CMakeLists.txt │ ├── assertion_failures.c │ ├── assertion_failures.h │ ├── basic_functions.c │ ├── basic_functions.h │ ├── complex_structs.c │ ├── complex_structs.h │ ├── goldenImage │ │ └── utbot_report │ │ │ └── project_code_analysis.sarif │ ├── inner │ │ ├── inner_basic_functions.c │ │ └── inner_basic_functions.h │ └── snippet.c │ ├── coverage │ ├── CMakeLists.txt │ ├── basic_functions.c │ ├── basic_functions.h │ ├── dependent_functions.c │ ├── dependent_functions.h │ ├── pregenerated_tests │ │ ├── basic_functions_dot_c_test.cpp │ │ ├── basic_functions_dot_c_test.h │ │ ├── dependent_functions_dot_c_test.cpp │ │ ├── dependent_functions_dot_c_test.h │ │ ├── simple_class_dot_cpp_test.cpp │ │ ├── simple_class_dot_cpp_test.h │ │ ├── simple_loop_uncovered_dot_c_test.cpp │ │ └── simple_loop_uncovered_dot_c_test.h │ ├── simple_class.cpp │ ├── simple_class.h │ ├── simple_loop_uncovered.c │ └── simple_loop_uncovered.h │ ├── datacom │ ├── CMakeLists.txt │ └── main.c │ ├── error │ ├── CMakeLists.txt │ ├── exceptions.h │ ├── methods_with_asserts.cpp │ ├── methods_with_asserts.h │ ├── methods_with_exceptions.cpp │ └── methods_with_exceptions.h │ ├── halt │ ├── CMakeLists.txt │ ├── asm.c │ ├── memory.c │ ├── raise.c │ └── sleep.c │ ├── installed │ ├── CMakeLists.txt │ ├── lib.c │ ├── lib.h │ └── main.c │ ├── library-project │ ├── CMakeLists.txt │ ├── lib │ │ ├── CMakeLists.txt │ │ ├── sum.c │ │ └── sum.h │ ├── main.c │ └── src │ │ ├── CMakeLists.txt │ │ ├── test.c │ │ └── test.h │ ├── linkage-ld │ ├── Makefile │ └── issue-638.c │ ├── linkage │ ├── CMakeLists.txt │ ├── a.c │ ├── b.c │ └── main.c │ ├── object-file │ ├── Makefile │ ├── lib1.c │ ├── lib2.c │ ├── source1.c │ └── source2.c │ ├── precompiled │ ├── Makefile │ └── source.c │ ├── regression │ ├── CMakeLists.txt │ ├── GH215.c │ ├── ISSUE-140 │ │ ├── CMakeLists.txt │ │ └── module │ │ │ ├── libfunc.c │ │ │ └── libfunc.h │ ├── PR-200 │ │ ├── PR-200.c │ │ ├── pair.c │ │ └── pair.h │ ├── PR120.c │ ├── PR123.c │ ├── PR153.c │ ├── SAT-752.c │ ├── SAT-760 │ │ ├── SAT-760.h │ │ ├── SAT-760_1.c │ │ └── SAT-760_2.c │ ├── SAT-766.c │ ├── SAT-767.c │ ├── SAT-777.c │ ├── helloworld.c │ ├── helloworld.h │ ├── issue-195.c │ ├── issue-276.c │ ├── issue-514.c │ ├── issue-600.c │ └── main.c │ ├── run │ ├── executable │ │ ├── CMakeLists.txt │ │ ├── func.c │ │ ├── func.h │ │ ├── main.c │ │ └── pregenerated_tests │ │ │ ├── func_dot_c_test.cpp │ │ │ └── func_dot_c_test.h │ ├── shared_library │ │ ├── CMakeLists.txt │ │ ├── func.c │ │ ├── func.h │ │ └── pregenerated_tests │ │ │ ├── func_dot_c_test.cpp │ │ │ └── func_dot_c_test.h │ ├── static_library │ │ ├── CMakeLists.txt │ │ ├── func.c │ │ ├── func.h │ │ └── pregenerated_tests │ │ │ ├── func_dot_c_test.cpp │ │ │ └── func_dot_c_test.h │ └── timeout │ │ ├── CMakeLists.txt │ │ ├── main.c │ │ └── pregenerated_tests │ │ └── main_dot_c_test.cpp │ ├── server │ ├── CMakeLists.txt │ ├── alignment.c │ ├── assertion_failures.c │ ├── assertion_failures.h │ ├── basic_functions.c │ ├── basic_functions.h │ ├── complex_structs.c │ ├── complex_structs.h │ ├── dependent_functions.c │ ├── dependent_functions.h │ ├── different_variables.c │ ├── different_variables.h │ ├── exception.h │ ├── external_dependent.c │ ├── file.c │ ├── file.h │ ├── floating_point.c │ ├── floating_point.h │ ├── floating_point_plain.c │ ├── floating_point_plain.h │ ├── globals.c │ ├── hard_linked_list.c │ ├── hard_linked_list.h │ ├── inner │ │ ├── inner_basic_functions.c │ │ └── inner_basic_functions.h │ ├── input_output.c │ ├── input_output.h │ ├── keywords.c │ ├── keywords.h │ ├── linkage.c │ ├── linked_list.c │ ├── linked_list.h │ ├── main.c │ ├── multi_dim_pointers.c │ ├── multi_dim_pointers.h │ ├── multiple_classes.cpp │ ├── multiple_classes.h │ ├── pointer_parameters.c │ ├── pointer_parameters.h │ ├── pointer_return.c │ ├── pointer_return.h │ ├── simple_structs.c │ ├── simple_structs.h │ ├── simple_unions.c │ ├── simple_unions.h │ ├── snippet.c │ ├── struct_with_union.c │ ├── struct_with_union.h │ ├── structs_with_pointers.c │ ├── structs_with_pointers.h │ ├── symbolic_stdin.c │ ├── thread_local.c │ ├── thread_local.h │ ├── tree.c │ ├── tree.h │ ├── typedefs.c │ ├── typedefs.h │ ├── types.c │ └── types.h │ ├── small-project │ ├── CMakeLists.txt │ ├── lib │ │ ├── CMakeLists.txt │ │ ├── libfile.c │ │ └── libfile.h │ └── src │ │ ├── CMakeLists.txt │ │ ├── srcfile.c │ │ └── srcfile.h │ ├── stddef │ ├── CMakeLists.txt │ └── stddef.c │ ├── stub │ ├── CMakeLists.txt │ ├── lib │ │ ├── calc │ │ │ ├── CMakeLists.txt │ │ │ ├── mult.c │ │ │ ├── mult.h │ │ │ ├── sum.c │ │ │ └── sum.h │ │ ├── foreign │ │ │ ├── CMakeLists.txt │ │ │ ├── bar.c │ │ │ └── bar.h │ │ ├── function_pointers │ │ │ ├── CMakeLists.txt │ │ │ ├── function_pointers.c │ │ │ └── function_pointers.h │ │ └── literals │ │ │ ├── CMakeLists.txt │ │ │ ├── foo.c │ │ │ └── foo.h │ ├── main.c │ ├── modified │ │ ├── foo.c │ │ ├── sum.c │ │ ├── sum.h │ │ ├── sum_stub.c │ │ └── sum_stub_sync.c │ └── original │ │ ├── foo.c │ │ ├── sum.c │ │ └── sum.h │ ├── syntax │ ├── CMakeLists.txt │ ├── array_sort.c │ ├── array_sort.h │ ├── bitfields.c │ ├── bitfields.h │ ├── complex_structs.c │ ├── complex_structs.h │ ├── constants.c │ ├── constants.h │ ├── constructors.cpp │ ├── constructors.h │ ├── different_parameters.cpp │ ├── different_parameters.h │ ├── enums.c │ ├── enums.h │ ├── file.c │ ├── file.h │ ├── floats_special.c │ ├── floats_special.h │ ├── function_with_rvalue_params.cpp │ ├── function_with_rvalue_params.h │ ├── functions_as_params.c │ ├── functions_as_params.h │ ├── hard_linked_list.c │ ├── hard_linked_list.h │ ├── inits.c │ ├── inits.h │ ├── inner_unnamed.c │ ├── inner_unnamed.h │ ├── input_output.c │ ├── input_output.h │ ├── itf.json │ ├── linked_list.c │ ├── linked_list.h │ ├── main.c │ ├── multi_arrays.c │ ├── multi_arrays.h │ ├── namespace.cpp │ ├── namespace.h │ ├── packed_structs.c │ ├── packed_structs.h │ ├── pointer_parameters.c │ ├── pointer_parameters.h │ ├── pointer_return.c │ ├── pointer_return.h │ ├── qualifiers.c │ ├── qualifiers.h │ ├── simple_class.cpp │ ├── simple_class.h │ ├── simple_structs.c │ ├── simple_structs.h │ ├── simple_unions.c │ ├── simple_unions.h │ ├── struct_with_union.c │ ├── struct_with_union.h │ ├── structs_with_pointers.c │ ├── structs_with_pointers.h │ ├── stubs.c │ ├── stubs.h │ ├── tree.c │ ├── tree.h │ ├── typedefs_1.c │ ├── typedefs_1.h │ ├── typedefs_2.c │ ├── typedefs_2.h │ ├── types.c │ ├── types.h │ ├── types_3.c │ ├── unsupported_class.cpp │ ├── unsupported_class.h │ ├── variadic.c │ ├── void_functions.c │ └── void_functions.h │ └── targets │ ├── CMakeLists.txt │ ├── cat.c │ ├── dummy.c │ ├── get_10.c │ ├── get_20x.c │ ├── get_any_val.h │ ├── get_val_main.c │ ├── get_val_main_2.c │ ├── ls.c │ ├── parse.c │ ├── parse.h │ ├── shared.c │ ├── shared.h │ ├── usage.c │ └── usage.h ├── submodules └── build-klee.sh └── vscode-plugin ├── .eslintrc.json ├── .gitignore ├── .vscode ├── extensions.json ├── launch.json ├── settings.json └── tasks.json ├── .vscodeignore ├── CHANGELOG.md ├── LICENSE ├── app_images ├── gutter-icon-dark.svg ├── gutter-icon-light.svg ├── no-gutter-icon-dark.svg ├── no-gutter-icon-light.svg ├── old-gutter-icon-dark.svg ├── old-gutter-icon-light.svg ├── partial-gutter-icon-dark.svg └── partial-gutter-icon-light.svg ├── build.sh ├── download_vscode.js ├── icons ├── errored.svg ├── failed.svg ├── file.svg ├── folder-default-open.svg ├── folder-defaut.svg ├── folder-utbot-open.svg ├── folder-utbot.svg ├── folder.svg ├── passed.svg ├── refresh-dark.svg ├── refresh-light.svg ├── target-unused-dark.svg ├── target-unused-light.svg ├── target-used-dark.svg ├── target-used-light.svg ├── tools-dark.svg ├── tools-light.svg └── utbot.svg ├── log.configuration.json ├── media ├── vscode-vars-list ├── vscode.css ├── wizard.html ├── wizardHTML.css └── wizardHTML.js ├── package.json ├── package.nls.json ├── protoc.bat ├── protoc.sh ├── src ├── cache │ └── testsCache.ts ├── client │ ├── client.ts │ └── clientEventsEmitter.ts ├── codelens │ └── codelensProvider.ts ├── config │ ├── commands.ts │ ├── config.ts │ ├── defaultValues.ts │ ├── notificationMessages.ts │ ├── prefs.ts │ ├── projectConfig.ts │ └── projectConfigEventsEmitter.ts ├── dataloader │ └── dataLoader.ts ├── emitter │ └── UTBotEventEmitter.ts ├── explorer │ ├── UTBotExplorerTargetElement.ts │ ├── UTBotProjectTarget.ts │ ├── UTBotTargetsProvider.ts │ ├── utbotExplorer.ts │ ├── utbotExplorerElement.ts │ ├── utbotExplorerEventsEmitter.ts │ ├── utbotExplorerStateStorage.ts │ ├── utbotFoldersProvider.ts │ ├── utbotFoldersStorage.ts │ └── utbotTargetsStorage.ts ├── extension.ts ├── generators │ ├── gen.ts │ └── stubsGen.ts ├── interface │ ├── iconPaths.ts │ ├── stateDecorationTypes.ts │ └── utbotUI.ts ├── logger.ts ├── requests │ ├── params.ts │ └── protos.ts ├── responses │ └── responseHandler.ts ├── runner │ └── testsRunner.ts ├── test │ ├── helper.ts │ ├── run.sh │ ├── runTest.ts │ ├── suite │ │ ├── fileTests.test.ts │ │ ├── index.ts │ │ ├── isolatedTests.yet_to_be_done.ts │ │ ├── lineTests.test.ts │ │ ├── negativeCases.yet_tobe_done.ts │ │ ├── predicateTests.yet_to_be_done.ts │ │ └── projectTests.test.ts │ └── testLogger.ts ├── utils │ ├── fsUtils.ts │ ├── grpcServicePing.ts │ ├── pathUtils.ts │ ├── utils.ts │ └── vscodeUtils.ts ├── validators │ └── predicates.ts ├── visualizers │ ├── coverageVisualizer.ts │ ├── testResultsVisualizer.ts │ └── visualizer.ts └── wizard │ ├── wizard.ts │ └── wizardEventsEmitter.ts ├── syntaxes └── log.tmLanguage ├── tsconfig.json └── win-installer.bat /.github/ISSUE_TEMPLATE/bug_report.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/.github/ISSUE_TEMPLATE/bug_report.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/feature_request.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/.github/ISSUE_TEMPLATE/feature_request.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/regression_checklist.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/.github/ISSUE_TEMPLATE/regression_checklist.md -------------------------------------------------------------------------------- /.github/workflows/build-utbot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/.github/workflows/build-utbot.yml -------------------------------------------------------------------------------- /.github/workflows/docs-to-wiki.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/.github/workflows/docs-to-wiki.yml -------------------------------------------------------------------------------- /.github/workflows/issue-to-project.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/.github/workflows/issue-to-project.yml -------------------------------------------------------------------------------- /.github/workflows/matrix.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/.github/workflows/matrix.json -------------------------------------------------------------------------------- /.github/workflows/publish-base-env.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/.github/workflows/publish-base-env.yml -------------------------------------------------------------------------------- /.github/workflows/publish-c-family-cli-image.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/.github/workflows/publish-c-family-cli-image.yml -------------------------------------------------------------------------------- /.github/workflows/publish-utbot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/.github/workflows/publish-utbot.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/.gitmodules -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /COPYRIGHT_HEADER.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/COPYRIGHT_HEADER.txt -------------------------------------------------------------------------------- /DEVNOTE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/DEVNOTE.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/LICENSE -------------------------------------------------------------------------------- /NOTICE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/NOTICE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/README.md -------------------------------------------------------------------------------- /SmokeTest.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/SmokeTest.md -------------------------------------------------------------------------------- /clion-plugin/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/clion-plugin/.gitignore -------------------------------------------------------------------------------- /clion-plugin/.run/Run IDE for UI Tests.run.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/clion-plugin/.run/Run IDE for UI Tests.run.xml -------------------------------------------------------------------------------- /clion-plugin/.run/Run IDE with Plugin.run.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/clion-plugin/.run/Run IDE with Plugin.run.xml -------------------------------------------------------------------------------- /clion-plugin/.run/Run Plugin Tests.run.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/clion-plugin/.run/Run Plugin Tests.run.xml -------------------------------------------------------------------------------- /clion-plugin/.run/Run Qodana.run.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/clion-plugin/.run/Run Qodana.run.xml -------------------------------------------------------------------------------- /clion-plugin/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/clion-plugin/CHANGELOG.md -------------------------------------------------------------------------------- /clion-plugin/CONFIGURATION.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/clion-plugin/CONFIGURATION.md -------------------------------------------------------------------------------- /clion-plugin/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/clion-plugin/LICENSE -------------------------------------------------------------------------------- /clion-plugin/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/clion-plugin/README.md -------------------------------------------------------------------------------- /clion-plugin/USAGE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/clion-plugin/USAGE.md -------------------------------------------------------------------------------- /clion-plugin/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/clion-plugin/build.gradle.kts -------------------------------------------------------------------------------- /clion-plugin/gradle.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/clion-plugin/gradle.properties -------------------------------------------------------------------------------- /clion-plugin/gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/clion-plugin/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /clion-plugin/gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/clion-plugin/gradlew -------------------------------------------------------------------------------- /clion-plugin/gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/clion-plugin/gradlew.bat -------------------------------------------------------------------------------- /clion-plugin/images/check-config/check-not.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/clion-plugin/images/check-config/check-not.gif -------------------------------------------------------------------------------- /clion-plugin/images/check-config/check-ok.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/clion-plugin/images/check-config/check-ok.gif -------------------------------------------------------------------------------- /clion-plugin/images/install/choose-zip.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/clion-plugin/images/install/choose-zip.png -------------------------------------------------------------------------------- /clion-plugin/images/plugin_usage/overview.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/clion-plugin/images/plugin_usage/overview.png -------------------------------------------------------------------------------- /clion-plugin/images/plugin_usage/sftp/upload.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/clion-plugin/images/plugin_usage/sftp/upload.gif -------------------------------------------------------------------------------- /clion-plugin/qodana.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/clion-plugin/qodana.yml -------------------------------------------------------------------------------- /clion-plugin/settings.gradle.kts: -------------------------------------------------------------------------------- 1 | rootProject.name = "UTBotCppClion" 2 | -------------------------------------------------------------------------------- /clion-plugin/src/main/kotlin/org/utbot/cpp/clion/plugin/ui/targetsToolWindow/UTBotTargetsToolWindowFactory.kt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docker/Dockerfile_base: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docker/Dockerfile_base -------------------------------------------------------------------------------- /docker/Dockerfile_c_family_cli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docker/Dockerfile_c_family_cli -------------------------------------------------------------------------------- /docker/Dockerfile_image_without_utbot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docker/Dockerfile_image_without_utbot -------------------------------------------------------------------------------- /docker/action-scripts/build-clean-utbot.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docker/action-scripts/build-clean-utbot.sh -------------------------------------------------------------------------------- /docker/action-scripts/build-clion-plugin.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docker/action-scripts/build-clion-plugin.sh -------------------------------------------------------------------------------- /docker/action-scripts/build-utbot.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docker/action-scripts/build-utbot.sh -------------------------------------------------------------------------------- /docker/action-scripts/build-vsix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docker/action-scripts/build-vsix.sh -------------------------------------------------------------------------------- /docker/action-scripts/generate-tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docker/action-scripts/generate-tests.sh -------------------------------------------------------------------------------- /docker/action-scripts/integration-tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docker/action-scripts/integration-tests.sh -------------------------------------------------------------------------------- /docker/action-scripts/prepare-ubuntu-release.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docker/action-scripts/prepare-ubuntu-release.sh -------------------------------------------------------------------------------- /docker/action-scripts/unit-tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docker/action-scripts/unit-tests.sh -------------------------------------------------------------------------------- /docker/building_dependencies/clean_release.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docker/building_dependencies/clean_release.sh -------------------------------------------------------------------------------- /docker/building_dependencies/patches/lit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docker/building_dependencies/patches/lit.py -------------------------------------------------------------------------------- /docker/building_dependencies/runtime_env.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docker/building_dependencies/runtime_env.sh -------------------------------------------------------------------------------- /docker/create_env.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docker/create_env.sh -------------------------------------------------------------------------------- /docker/get_c_family_cli_download_url.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docker/get_c_family_cli_download_url.py -------------------------------------------------------------------------------- /docker/unpack_and_run_utbot.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docker/unpack_and_run_utbot.sh -------------------------------------------------------------------------------- /docker/utbot_docker_dev.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docker/utbot_docker_dev.sh -------------------------------------------------------------------------------- /docs/Home.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/Home.md -------------------------------------------------------------------------------- /docs/_Sidebar.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/_Sidebar.md -------------------------------------------------------------------------------- /docs/c-syntax.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/c-syntax.md -------------------------------------------------------------------------------- /docs/clion-fine-tune.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/clion-fine-tune.md -------------------------------------------------------------------------------- /docs/clion-generate-tests.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/clion-generate-tests.md -------------------------------------------------------------------------------- /docs/clion-get-use-of-results.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/clion-get-use-of-results.md -------------------------------------------------------------------------------- /docs/clion-install-and-configure.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/clion-install-and-configure.md -------------------------------------------------------------------------------- /docs/clion-overall.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/clion-overall.md -------------------------------------------------------------------------------- /docs/contributor-guides/advanced/LI.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/contributor-guides/advanced/LI.md -------------------------------------------------------------------------------- /docs/contributor-guides/advanced/Symcretes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/contributor-guides/advanced/Symcretes.md -------------------------------------------------------------------------------- /docs/contributor-guides/advanced/Symsizes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/contributor-guides/advanced/Symsizes.md -------------------------------------------------------------------------------- /docs/contributor-guides/advanced/coverage.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/contributor-guides/advanced/coverage.md -------------------------------------------------------------------------------- /docs/contributor-guides/advanced/klee-patches.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/contributor-guides/advanced/klee-patches.md -------------------------------------------------------------------------------- /docs/contributor-guides/advanced/makefiles.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/contributor-guides/advanced/makefiles.md -------------------------------------------------------------------------------- /docs/contributor-guides/advanced/stubs-inside.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/contributor-guides/advanced/stubs-inside.md -------------------------------------------------------------------------------- /docs/contributor-guides/advanced/stubs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/contributor-guides/advanced/stubs.md -------------------------------------------------------------------------------- /docs/contributor-guides/advanced/targets.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/contributor-guides/advanced/targets.md -------------------------------------------------------------------------------- /docs/contributor-guides/advanced/utbot-inside.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/contributor-guides/advanced/utbot-inside.md -------------------------------------------------------------------------------- /docs/contributor-guides/develop/todo.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/contributor-guides/develop/todo.md -------------------------------------------------------------------------------- /docs/cpp-syntax.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/cpp-syntax.md -------------------------------------------------------------------------------- /docs/faq.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/faq.md -------------------------------------------------------------------------------- /docs/github-action.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/github-action.md -------------------------------------------------------------------------------- /docs/images/clion/clion-build-notification.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/clion/clion-build-notification.PNG -------------------------------------------------------------------------------- /docs/images/clion/clion-concise-test.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/clion/clion-concise-test.PNG -------------------------------------------------------------------------------- /docs/images/clion/clion-configure-widget.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/clion/clion-configure-widget.PNG -------------------------------------------------------------------------------- /docs/images/clion/clion-coverage-information.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/clion/clion-coverage-information.PNG -------------------------------------------------------------------------------- /docs/images/clion/clion-coverage-scenarios.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/clion/clion-coverage-scenarios.PNG -------------------------------------------------------------------------------- /docs/images/clion/clion-generate-for-snippet.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/clion/clion-generate-for-snippet.PNG -------------------------------------------------------------------------------- /docs/images/clion/clion-generate-from-editor.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/clion/clion-generate-from-editor.PNG -------------------------------------------------------------------------------- /docs/images/clion/clion-install-from-disk.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/clion/clion-install-from-disk.PNG -------------------------------------------------------------------------------- /docs/images/clion/clion-open-project.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/clion/clion-open-project.PNG -------------------------------------------------------------------------------- /docs/images/clion/clion-plugin-installed.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/clion/clion-plugin-installed.PNG -------------------------------------------------------------------------------- /docs/images/clion/clion-region-error.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/clion/clion-region-error.PNG -------------------------------------------------------------------------------- /docs/images/clion/clion-region-regression.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/clion/clion-region-regression.PNG -------------------------------------------------------------------------------- /docs/images/clion/clion-run-all.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/clion/clion-run-all.PNG -------------------------------------------------------------------------------- /docs/images/clion/clion-run-test.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/clion/clion-run-test.PNG -------------------------------------------------------------------------------- /docs/images/clion/clion-sarif.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/clion/clion-sarif.PNG -------------------------------------------------------------------------------- /docs/images/clion/clion-search-all-commands.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/clion/clion-search-all-commands.PNG -------------------------------------------------------------------------------- /docs/images/clion/clion-search-run-all-tests.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/clion/clion-search-run-all-tests.PNG -------------------------------------------------------------------------------- /docs/images/clion/clion-search-wizard.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/clion/clion-search-wizard.PNG -------------------------------------------------------------------------------- /docs/images/clion/clion-settings-initial.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/clion/clion-settings-initial.PNG -------------------------------------------------------------------------------- /docs/images/clion/clion-sftp-browse.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/clion/clion-sftp-browse.PNG -------------------------------------------------------------------------------- /docs/images/clion/clion-sftp-ssh-config.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/clion/clion-sftp-ssh-config.PNG -------------------------------------------------------------------------------- /docs/images/clion/clion-sftp.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/clion/clion-sftp.PNG -------------------------------------------------------------------------------- /docs/images/clion/clion-statistics.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/clion/clion-statistics.PNG -------------------------------------------------------------------------------- /docs/images/clion/clion-test-folder-file.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/clion/clion-test-folder-file.PNG -------------------------------------------------------------------------------- /docs/images/clion/clion-upload-to-server.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/clion/clion-upload-to-server.PNG -------------------------------------------------------------------------------- /docs/images/clion/clion-utbot-widget.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/clion/clion-utbot-widget.PNG -------------------------------------------------------------------------------- /docs/images/clion/clion-wizard-remote-step-1.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/clion/clion-wizard-remote-step-1.PNG -------------------------------------------------------------------------------- /docs/images/github-action/gh-action-1.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/github-action/gh-action-1.PNG -------------------------------------------------------------------------------- /docs/images/github-action/gh-action-2.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/github-action/gh-action-2.PNG -------------------------------------------------------------------------------- /docs/images/github-action/gh-action-actions.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/github-action/gh-action-actions.PNG -------------------------------------------------------------------------------- /docs/images/github-action/gh-action-alerts.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/github-action/gh-action-alerts.PNG -------------------------------------------------------------------------------- /docs/images/github-action/gh-action-branch.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/github-action/gh-action-branch.PNG -------------------------------------------------------------------------------- /docs/images/github-action/gh-action-pr.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/github-action/gh-action-pr.PNG -------------------------------------------------------------------------------- /docs/images/github-action/gh-action-run.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/github-action/gh-action-run.PNG -------------------------------------------------------------------------------- /docs/images/github-action/gh-action-yml.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/github-action/gh-action-yml.PNG -------------------------------------------------------------------------------- /docs/images/vscode/vscode-command-palette.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/vscode/vscode-command-palette.png -------------------------------------------------------------------------------- /docs/images/vscode/vscode-concise-test.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/vscode/vscode-concise-test.PNG -------------------------------------------------------------------------------- /docs/images/vscode/vscode-coverage.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/vscode/vscode-coverage.PNG -------------------------------------------------------------------------------- /docs/images/vscode/vscode-installed.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/vscode/vscode-installed.PNG -------------------------------------------------------------------------------- /docs/images/vscode/vscode-open-folder.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/vscode/vscode-open-folder.png -------------------------------------------------------------------------------- /docs/images/vscode/vscode-run-all-codelens.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/vscode/vscode-run-all-codelens.PNG -------------------------------------------------------------------------------- /docs/images/vscode/vscode-run-codelens.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/vscode/vscode-run-codelens.PNG -------------------------------------------------------------------------------- /docs/images/vscode/vscode-running.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/vscode/vscode-running.PNG -------------------------------------------------------------------------------- /docs/images/vscode/vscode-sarif.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/vscode/vscode-sarif.PNG -------------------------------------------------------------------------------- /docs/images/vscode/vscode-settings.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/vscode/vscode-settings.PNG -------------------------------------------------------------------------------- /docs/images/vscode/vscode-sftp-explorer.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/vscode/vscode-sftp-explorer.PNG -------------------------------------------------------------------------------- /docs/images/vscode/vscode-statistics.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/vscode/vscode-statistics.PNG -------------------------------------------------------------------------------- /docs/images/vscode/vscode-test-folder-file.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/vscode/vscode-test-folder-file.PNG -------------------------------------------------------------------------------- /docs/images/vscode/vscode-wizard-initial.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/images/vscode/vscode-wizard-initial.PNG -------------------------------------------------------------------------------- /docs/install-dependencies-gcc9.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/install-dependencies-gcc9.md -------------------------------------------------------------------------------- /docs/install-docker-windows.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/install-docker-windows.md -------------------------------------------------------------------------------- /docs/install-server-on-ubuntu.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/install-server-on-ubuntu.md -------------------------------------------------------------------------------- /docs/install-server.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/install-server.md -------------------------------------------------------------------------------- /docs/install-wsl.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/install-wsl.md -------------------------------------------------------------------------------- /docs/install_client.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/install_client.md -------------------------------------------------------------------------------- /docs/intro.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/intro.md -------------------------------------------------------------------------------- /docs/linux-macos.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/linux-macos.md -------------------------------------------------------------------------------- /docs/linux-remote.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/linux-remote.md -------------------------------------------------------------------------------- /docs/linux.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/linux.md -------------------------------------------------------------------------------- /docs/macos.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/macos.md -------------------------------------------------------------------------------- /docs/set-up-docker-os.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/set-up-docker-os.md -------------------------------------------------------------------------------- /docs/system-requirements.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/system-requirements.md -------------------------------------------------------------------------------- /docs/troubleshooting.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/troubleshooting.md -------------------------------------------------------------------------------- /docs/vscode-fine-tune.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/vscode-fine-tune.md -------------------------------------------------------------------------------- /docs/vscode-generate-tests.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/vscode-generate-tests.md -------------------------------------------------------------------------------- /docs/vscode-get-use-of-results.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/vscode-get-use-of-results.md -------------------------------------------------------------------------------- /docs/vscode-install-and-configure.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/vscode-install-and-configure.md -------------------------------------------------------------------------------- /docs/vscode-overall.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/vscode-overall.md -------------------------------------------------------------------------------- /docs/windows-local.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/windows-local.md -------------------------------------------------------------------------------- /docs/windows-remote.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/windows-remote.md -------------------------------------------------------------------------------- /docs/windows.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/docs/windows.md -------------------------------------------------------------------------------- /integration-tests/c-example-mini/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example-mini/.gitignore -------------------------------------------------------------------------------- /integration-tests/c-example-mini/lib/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example-mini/lib/main.c -------------------------------------------------------------------------------- /integration-tests/c-example-mini/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example-mini/main.c -------------------------------------------------------------------------------- /integration-tests/c-example-mini/snippet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example-mini/snippet.c -------------------------------------------------------------------------------- /integration-tests/c-example/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/.gitignore -------------------------------------------------------------------------------- /integration-tests/c-example/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/CMakeLists.txt -------------------------------------------------------------------------------- /integration-tests/c-example/itf.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/itf.json -------------------------------------------------------------------------------- /integration-tests/c-example/lib/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/lib/CMakeLists.txt -------------------------------------------------------------------------------- /integration-tests/c-example/lib/algorithm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/lib/algorithm.c -------------------------------------------------------------------------------- /integration-tests/c-example/lib/alignment.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/lib/alignment.c -------------------------------------------------------------------------------- /integration-tests/c-example/lib/bits.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/lib/bits.c -------------------------------------------------------------------------------- /integration-tests/c-example/lib/bits.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/lib/bits.h -------------------------------------------------------------------------------- /integration-tests/c-example/lib/globals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/lib/globals.c -------------------------------------------------------------------------------- /integration-tests/c-example/lib/halt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/lib/halt.c -------------------------------------------------------------------------------- /integration-tests/c-example/lib/halt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/lib/halt.h -------------------------------------------------------------------------------- /integration-tests/c-example/lib/helloworld.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/lib/helloworld.c -------------------------------------------------------------------------------- /integration-tests/c-example/lib/helloworld.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/lib/helloworld.h -------------------------------------------------------------------------------- /integration-tests/c-example/lib/inits.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/lib/inits.c -------------------------------------------------------------------------------- /integration-tests/c-example/lib/inits.h: -------------------------------------------------------------------------------- 1 | bool init_global(); 2 | -------------------------------------------------------------------------------- /integration-tests/c-example/lib/inline_asm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/lib/inline_asm.c -------------------------------------------------------------------------------- /integration-tests/c-example/lib/loops.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/lib/loops.c -------------------------------------------------------------------------------- /integration-tests/c-example/lib/loops.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/lib/loops.h -------------------------------------------------------------------------------- /integration-tests/c-example/lib/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/lib/main.c -------------------------------------------------------------------------------- /integration-tests/c-example/lib/memory.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/lib/memory.c -------------------------------------------------------------------------------- /integration-tests/c-example/lib/multi_arrays.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/lib/multi_arrays.c -------------------------------------------------------------------------------- /integration-tests/c-example/lib/multi_arrays.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/lib/multi_arrays.h -------------------------------------------------------------------------------- /integration-tests/c-example/lib/static.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/lib/static.c -------------------------------------------------------------------------------- /integration-tests/c-example/lib/stubs/stubs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/lib/stubs/stubs.c -------------------------------------------------------------------------------- /integration-tests/c-example/lib/stubs/stubs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/lib/stubs/stubs.h -------------------------------------------------------------------------------- /integration-tests/c-example/lib/types/types.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/lib/types/types.c -------------------------------------------------------------------------------- /integration-tests/c-example/lib/types/types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/lib/types/types.h -------------------------------------------------------------------------------- /integration-tests/c-example/lib/variadic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/lib/variadic.c -------------------------------------------------------------------------------- /integration-tests/c-example/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/main.c -------------------------------------------------------------------------------- /integration-tests/c-example/snippet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/snippet.c -------------------------------------------------------------------------------- /integration-tests/c-example/src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/src/CMakeLists.txt -------------------------------------------------------------------------------- /integration-tests/c-example/src/calc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/src/calc.c -------------------------------------------------------------------------------- /integration-tests/c-example/src/calc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/c-example/src/calc.h -------------------------------------------------------------------------------- /integration-tests/cpp-example/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/cpp-example/.gitignore -------------------------------------------------------------------------------- /integration-tests/cpp-example/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/cpp-example/CMakeLists.txt -------------------------------------------------------------------------------- /integration-tests/cpp-example/c_lib/keywords.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/cpp-example/c_lib/keywords.c -------------------------------------------------------------------------------- /integration-tests/cpp-example/c_lib/keywords.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/cpp-example/c_lib/keywords.h -------------------------------------------------------------------------------- /integration-tests/cpp-example/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/cpp-example/main.cpp -------------------------------------------------------------------------------- /integration-tests/installation_checks/clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/installation_checks/clean.sh -------------------------------------------------------------------------------- /integration-tests/multimodule-c-example/.gitignore: -------------------------------------------------------------------------------- 1 | .vscode/ 2 | build/ 3 | tests/ -------------------------------------------------------------------------------- /integration-tests/multimodule-c-example/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /integration-tests/multimodule-c-example/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/multimodule-c-example/main.c -------------------------------------------------------------------------------- /integration-tests/perfomance-test/main.c: -------------------------------------------------------------------------------- 1 | int main() { 2 | return 0; 3 | } 4 | -------------------------------------------------------------------------------- /integration-tests/perfomance-test/src/func10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/integration-tests/perfomance-test/src/func10.c -------------------------------------------------------------------------------- /integration-tests/perfomance-test/src/main.c: -------------------------------------------------------------------------------- 1 | int main() { 2 | return 0; 3 | } 4 | -------------------------------------------------------------------------------- /media/wizardInstall.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/media/wizardInstall.gif -------------------------------------------------------------------------------- /pics/VSCode_CurrentFunction.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/pics/VSCode_CurrentFunction.png -------------------------------------------------------------------------------- /pics/VSCode_CurrentFunction2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/pics/VSCode_CurrentFunction2.png -------------------------------------------------------------------------------- /pics/VSCode_CurrentFunction3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/pics/VSCode_CurrentFunction3.png -------------------------------------------------------------------------------- /pics/VSCode_ForFolder1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/pics/VSCode_ForFolder1.png -------------------------------------------------------------------------------- /pics/VSCode_ForFolder3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/pics/VSCode_ForFolder3.png -------------------------------------------------------------------------------- /pics/VSCode_withPrompted1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/pics/VSCode_withPrompted1.png -------------------------------------------------------------------------------- /server/.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/.clang-format -------------------------------------------------------------------------------- /server/.clion.source.upload.marker: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /server/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/.gitignore -------------------------------------------------------------------------------- /server/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/CMakeLists.txt -------------------------------------------------------------------------------- /server/Doxyfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/Doxyfile -------------------------------------------------------------------------------- /server/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/build.sh -------------------------------------------------------------------------------- /server/cmake/build_type.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/cmake/build_type.cmake -------------------------------------------------------------------------------- /server/config.h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/config.h.in -------------------------------------------------------------------------------- /server/logger-aux/loguru.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/logger-aux/loguru.h -------------------------------------------------------------------------------- /server/logger-aux/loguru_debug.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/logger-aux/loguru_debug.cpp -------------------------------------------------------------------------------- /server/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/main.cpp -------------------------------------------------------------------------------- /server/pch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/pch.h -------------------------------------------------------------------------------- /server/proto/testgen.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/proto/testgen.proto -------------------------------------------------------------------------------- /server/proto/util.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/proto/util.proto -------------------------------------------------------------------------------- /server/src/BordersFinder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/BordersFinder.cpp -------------------------------------------------------------------------------- /server/src/BordersFinder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/BordersFinder.h -------------------------------------------------------------------------------- /server/src/BuildResult.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/BuildResult.cpp -------------------------------------------------------------------------------- /server/src/BuildResult.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/BuildResult.h -------------------------------------------------------------------------------- /server/src/FeaturesFilter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/FeaturesFilter.cpp -------------------------------------------------------------------------------- /server/src/FeaturesFilter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/FeaturesFilter.h -------------------------------------------------------------------------------- /server/src/GTestLogger.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/GTestLogger.cpp -------------------------------------------------------------------------------- /server/src/GTestLogger.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/GTestLogger.h -------------------------------------------------------------------------------- /server/src/Include.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/Include.cpp -------------------------------------------------------------------------------- /server/src/Include.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/Include.h -------------------------------------------------------------------------------- /server/src/KleeGenerator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/KleeGenerator.cpp -------------------------------------------------------------------------------- /server/src/KleeGenerator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/KleeGenerator.h -------------------------------------------------------------------------------- /server/src/KleeRunner.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/KleeRunner.cpp -------------------------------------------------------------------------------- /server/src/KleeRunner.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/KleeRunner.h -------------------------------------------------------------------------------- /server/src/Language.cpp: -------------------------------------------------------------------------------- 1 | #include "Language.h" 2 | -------------------------------------------------------------------------------- /server/src/Language.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/Language.h -------------------------------------------------------------------------------- /server/src/LineInfo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/LineInfo.h -------------------------------------------------------------------------------- /server/src/NameDecorator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/NameDecorator.cpp -------------------------------------------------------------------------------- /server/src/NameDecorator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/NameDecorator.h -------------------------------------------------------------------------------- /server/src/PathSubstitution.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/PathSubstitution.cpp -------------------------------------------------------------------------------- /server/src/PathSubstitution.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/PathSubstitution.h -------------------------------------------------------------------------------- /server/src/Paths.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/Paths.cpp -------------------------------------------------------------------------------- /server/src/Paths.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/Paths.h -------------------------------------------------------------------------------- /server/src/ProjectContext.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/ProjectContext.cpp -------------------------------------------------------------------------------- /server/src/ProjectContext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/ProjectContext.h -------------------------------------------------------------------------------- /server/src/RequestEnvironment.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/RequestEnvironment.cpp -------------------------------------------------------------------------------- /server/src/RequestEnvironment.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/RequestEnvironment.h -------------------------------------------------------------------------------- /server/src/Result.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/Result.h -------------------------------------------------------------------------------- /server/src/ReturnTypesFetcher.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/ReturnTypesFetcher.cpp -------------------------------------------------------------------------------- /server/src/ReturnTypesFetcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/ReturnTypesFetcher.h -------------------------------------------------------------------------------- /server/src/SARIFGenerator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/SARIFGenerator.cpp -------------------------------------------------------------------------------- /server/src/SARIFGenerator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/SARIFGenerator.h -------------------------------------------------------------------------------- /server/src/Server.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/Server.cpp -------------------------------------------------------------------------------- /server/src/Server.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/Server.h -------------------------------------------------------------------------------- /server/src/SettingsContext.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/SettingsContext.cpp -------------------------------------------------------------------------------- /server/src/SettingsContext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/SettingsContext.h -------------------------------------------------------------------------------- /server/src/Synchronizer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/Synchronizer.cpp -------------------------------------------------------------------------------- /server/src/Synchronizer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/Synchronizer.h -------------------------------------------------------------------------------- /server/src/Tests.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/Tests.cpp -------------------------------------------------------------------------------- /server/src/Tests.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/Tests.h -------------------------------------------------------------------------------- /server/src/ThreadSafeContainers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/ThreadSafeContainers.h -------------------------------------------------------------------------------- /server/src/TimeExecStatistics.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/TimeExecStatistics.cpp -------------------------------------------------------------------------------- /server/src/TimeExecStatistics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/TimeExecStatistics.h -------------------------------------------------------------------------------- /server/src/Version.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/Version.h -------------------------------------------------------------------------------- /server/src/building/BaseCommand.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/building/BaseCommand.cpp -------------------------------------------------------------------------------- /server/src/building/BaseCommand.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/building/BaseCommand.h -------------------------------------------------------------------------------- /server/src/building/BuildDatabase.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/building/BuildDatabase.cpp -------------------------------------------------------------------------------- /server/src/building/BuildDatabase.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/building/BuildDatabase.h -------------------------------------------------------------------------------- /server/src/building/CompilationDatabase.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/building/CompilationDatabase.cpp -------------------------------------------------------------------------------- /server/src/building/CompilationDatabase.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/building/CompilationDatabase.h -------------------------------------------------------------------------------- /server/src/building/CompileCommand.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/building/CompileCommand.cpp -------------------------------------------------------------------------------- /server/src/building/CompileCommand.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/building/CompileCommand.h -------------------------------------------------------------------------------- /server/src/building/IRParser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/building/IRParser.cpp -------------------------------------------------------------------------------- /server/src/building/IRParser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/building/IRParser.h -------------------------------------------------------------------------------- /server/src/building/LinkCommand.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/building/LinkCommand.cpp -------------------------------------------------------------------------------- /server/src/building/LinkCommand.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/building/LinkCommand.h -------------------------------------------------------------------------------- /server/src/building/Linker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/building/Linker.cpp -------------------------------------------------------------------------------- /server/src/building/Linker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/building/Linker.h -------------------------------------------------------------------------------- /server/src/building/ProjectBuildDatabase.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/building/ProjectBuildDatabase.h -------------------------------------------------------------------------------- /server/src/building/ProjectBuildDatabse.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/building/ProjectBuildDatabse.cpp -------------------------------------------------------------------------------- /server/src/building/RunCommand.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/building/RunCommand.cpp -------------------------------------------------------------------------------- /server/src/building/RunCommand.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/building/RunCommand.h -------------------------------------------------------------------------------- /server/src/building/TargetBuildDatabase.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/building/TargetBuildDatabase.cpp -------------------------------------------------------------------------------- /server/src/building/TargetBuildDatabase.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/building/TargetBuildDatabase.h -------------------------------------------------------------------------------- /server/src/building/UserProjectConfiguration.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/building/UserProjectConfiguration.h -------------------------------------------------------------------------------- /server/src/clang-utils/ASTPrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/clang-utils/ASTPrinter.cpp -------------------------------------------------------------------------------- /server/src/clang-utils/ASTPrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/clang-utils/ASTPrinter.h -------------------------------------------------------------------------------- /server/src/clang-utils/AlignmentFetcher.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/clang-utils/AlignmentFetcher.cpp -------------------------------------------------------------------------------- /server/src/clang-utils/AlignmentFetcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/clang-utils/AlignmentFetcher.h -------------------------------------------------------------------------------- /server/src/clang-utils/ClangUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/clang-utils/ClangUtils.cpp -------------------------------------------------------------------------------- /server/src/clang-utils/ClangUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/clang-utils/ClangUtils.h -------------------------------------------------------------------------------- /server/src/clang-utils/Matchers.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/clang-utils/Matchers.cpp -------------------------------------------------------------------------------- /server/src/clang-utils/Matchers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/clang-utils/Matchers.h -------------------------------------------------------------------------------- /server/src/clang-utils/SimpleFrontendActionFactory.cpp: -------------------------------------------------------------------------------- 1 | #include "SimpleFrontendActionFactory.h" 2 | -------------------------------------------------------------------------------- /server/src/commands/Commands.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/commands/Commands.cpp -------------------------------------------------------------------------------- /server/src/commands/Commands.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/commands/Commands.h -------------------------------------------------------------------------------- /server/src/coverage/Coverage.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/coverage/Coverage.cpp -------------------------------------------------------------------------------- /server/src/coverage/Coverage.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/coverage/Coverage.h -------------------------------------------------------------------------------- /server/src/coverage/CoverageTool.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/coverage/CoverageTool.cpp -------------------------------------------------------------------------------- /server/src/coverage/CoverageTool.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/coverage/CoverageTool.h -------------------------------------------------------------------------------- /server/src/coverage/GcovCoverageTool.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/coverage/GcovCoverageTool.cpp -------------------------------------------------------------------------------- /server/src/coverage/GcovCoverageTool.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/coverage/GcovCoverageTool.h -------------------------------------------------------------------------------- /server/src/coverage/LlvmCoverageTool.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/coverage/LlvmCoverageTool.cpp -------------------------------------------------------------------------------- /server/src/coverage/LlvmCoverageTool.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/coverage/LlvmCoverageTool.h -------------------------------------------------------------------------------- /server/src/coverage/TestRunner.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/coverage/TestRunner.cpp -------------------------------------------------------------------------------- /server/src/coverage/TestRunner.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/coverage/TestRunner.h -------------------------------------------------------------------------------- /server/src/coverage/UnitTest.cpp: -------------------------------------------------------------------------------- 1 | #include "UnitTest.h" 2 | -------------------------------------------------------------------------------- /server/src/coverage/UnitTest.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/coverage/UnitTest.h -------------------------------------------------------------------------------- /server/src/environment/EnvironmentPaths.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/environment/EnvironmentPaths.cpp -------------------------------------------------------------------------------- /server/src/environment/EnvironmentPaths.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/environment/EnvironmentPaths.h -------------------------------------------------------------------------------- /server/src/exceptions/BaseException.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/exceptions/BaseException.h -------------------------------------------------------------------------------- /server/src/exceptions/CancellationException.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/exceptions/CancellationException.h -------------------------------------------------------------------------------- /server/src/exceptions/EnvironmentException.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/exceptions/EnvironmentException.h -------------------------------------------------------------------------------- /server/src/exceptions/FileSystemException.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/exceptions/FileSystemException.cpp -------------------------------------------------------------------------------- /server/src/exceptions/FileSystemException.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/exceptions/FileSystemException.h -------------------------------------------------------------------------------- /server/src/exceptions/LLVMException.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/exceptions/LLVMException.h -------------------------------------------------------------------------------- /server/src/exceptions/NoSuchTypeException.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/exceptions/NoSuchTypeException.h -------------------------------------------------------------------------------- /server/src/exceptions/UnImplementedException.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/exceptions/UnImplementedException.h -------------------------------------------------------------------------------- /server/src/fetchers/Fetcher.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/fetchers/Fetcher.cpp -------------------------------------------------------------------------------- /server/src/fetchers/Fetcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/fetchers/Fetcher.h -------------------------------------------------------------------------------- /server/src/fetchers/FetcherUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/fetchers/FetcherUtils.cpp -------------------------------------------------------------------------------- /server/src/fetchers/FetcherUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/fetchers/FetcherUtils.h -------------------------------------------------------------------------------- /server/src/fetchers/TypeDeclsMatchCallback.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/fetchers/TypeDeclsMatchCallback.cpp -------------------------------------------------------------------------------- /server/src/fetchers/TypeDeclsMatchCallback.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/fetchers/TypeDeclsMatchCallback.h -------------------------------------------------------------------------------- /server/src/printers/CCJsonPrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/printers/CCJsonPrinter.cpp -------------------------------------------------------------------------------- /server/src/printers/CCJsonPrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/printers/CCJsonPrinter.h -------------------------------------------------------------------------------- /server/src/printers/DefaultMakefilePrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/printers/DefaultMakefilePrinter.cpp -------------------------------------------------------------------------------- /server/src/printers/DefaultMakefilePrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/printers/DefaultMakefilePrinter.h -------------------------------------------------------------------------------- /server/src/printers/HeaderPrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/printers/HeaderPrinter.cpp -------------------------------------------------------------------------------- /server/src/printers/HeaderPrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/printers/HeaderPrinter.h -------------------------------------------------------------------------------- /server/src/printers/KleeConstraintsPrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/printers/KleeConstraintsPrinter.cpp -------------------------------------------------------------------------------- /server/src/printers/KleeConstraintsPrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/printers/KleeConstraintsPrinter.h -------------------------------------------------------------------------------- /server/src/printers/KleePrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/printers/KleePrinter.cpp -------------------------------------------------------------------------------- /server/src/printers/KleePrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/printers/KleePrinter.h -------------------------------------------------------------------------------- /server/src/printers/NativeMakefilePrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/printers/NativeMakefilePrinter.cpp -------------------------------------------------------------------------------- /server/src/printers/NativeMakefilePrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/printers/NativeMakefilePrinter.h -------------------------------------------------------------------------------- /server/src/printers/Printer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/printers/Printer.cpp -------------------------------------------------------------------------------- /server/src/printers/Printer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/printers/Printer.h -------------------------------------------------------------------------------- /server/src/printers/RelativeMakefilePrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/printers/RelativeMakefilePrinter.h -------------------------------------------------------------------------------- /server/src/printers/SourceWrapperPrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/printers/SourceWrapperPrinter.cpp -------------------------------------------------------------------------------- /server/src/printers/SourceWrapperPrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/printers/SourceWrapperPrinter.h -------------------------------------------------------------------------------- /server/src/printers/StubsPrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/printers/StubsPrinter.cpp -------------------------------------------------------------------------------- /server/src/printers/StubsPrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/printers/StubsPrinter.h -------------------------------------------------------------------------------- /server/src/printers/TestMakefilesPrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/printers/TestMakefilesPrinter.cpp -------------------------------------------------------------------------------- /server/src/printers/TestMakefilesPrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/printers/TestMakefilesPrinter.h -------------------------------------------------------------------------------- /server/src/printers/TestsPrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/printers/TestsPrinter.cpp -------------------------------------------------------------------------------- /server/src/printers/TestsPrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/printers/TestsPrinter.h -------------------------------------------------------------------------------- /server/src/streams/BaseWriter.cpp: -------------------------------------------------------------------------------- 1 | #include "BaseWriter.h" 2 | -------------------------------------------------------------------------------- /server/src/streams/BaseWriter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/BaseWriter.h -------------------------------------------------------------------------------- /server/src/streams/DummyStreamWriter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/DummyStreamWriter.cpp -------------------------------------------------------------------------------- /server/src/streams/DummyStreamWriter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/DummyStreamWriter.h -------------------------------------------------------------------------------- /server/src/streams/FileTargetsWriter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/FileTargetsWriter.cpp -------------------------------------------------------------------------------- /server/src/streams/FileTargetsWriter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/FileTargetsWriter.h -------------------------------------------------------------------------------- /server/src/streams/IStreamWriter.cpp: -------------------------------------------------------------------------------- 1 | #include "IStreamWriter.h" 2 | -------------------------------------------------------------------------------- /server/src/streams/IStreamWriter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/IStreamWriter.h -------------------------------------------------------------------------------- /server/src/streams/MessageWriter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/MessageWriter.h -------------------------------------------------------------------------------- /server/src/streams/ProgressWriter.cpp: -------------------------------------------------------------------------------- 1 | #include "ProgressWriter.h" 2 | -------------------------------------------------------------------------------- /server/src/streams/ProgressWriter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/ProgressWriter.h -------------------------------------------------------------------------------- /server/src/streams/ProjectConfigWriter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/ProjectConfigWriter.cpp -------------------------------------------------------------------------------- /server/src/streams/ProjectConfigWriter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/ProjectConfigWriter.h -------------------------------------------------------------------------------- /server/src/streams/ProjectTargetsWriter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/ProjectTargetsWriter.cpp -------------------------------------------------------------------------------- /server/src/streams/ProjectTargetsWriter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/ProjectTargetsWriter.h -------------------------------------------------------------------------------- /server/src/streams/ServerWriter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/ServerWriter.h -------------------------------------------------------------------------------- /server/src/streams/TargetsWriter.cpp: -------------------------------------------------------------------------------- 1 | #include "TargetsWriter.h" 2 | -------------------------------------------------------------------------------- /server/src/streams/TargetsWriter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/TargetsWriter.h -------------------------------------------------------------------------------- /server/src/streams/WriterUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/WriterUtils.cpp -------------------------------------------------------------------------------- /server/src/streams/WriterUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/WriterUtils.h -------------------------------------------------------------------------------- /server/src/streams/stubs/CLIStubsWriter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/stubs/CLIStubsWriter.cpp -------------------------------------------------------------------------------- /server/src/streams/stubs/CLIStubsWriter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/stubs/CLIStubsWriter.h -------------------------------------------------------------------------------- /server/src/streams/stubs/ServerStubsWriter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/stubs/ServerStubsWriter.cpp -------------------------------------------------------------------------------- /server/src/streams/stubs/ServerStubsWriter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/stubs/ServerStubsWriter.h -------------------------------------------------------------------------------- /server/src/streams/stubs/StubsWriter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/stubs/StubsWriter.cpp -------------------------------------------------------------------------------- /server/src/streams/stubs/StubsWriter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/stubs/StubsWriter.h -------------------------------------------------------------------------------- /server/src/streams/tests/CLITestsWriter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/tests/CLITestsWriter.cpp -------------------------------------------------------------------------------- /server/src/streams/tests/CLITestsWriter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/tests/CLITestsWriter.h -------------------------------------------------------------------------------- /server/src/streams/tests/ServerTestsWriter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/tests/ServerTestsWriter.cpp -------------------------------------------------------------------------------- /server/src/streams/tests/ServerTestsWriter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/tests/ServerTestsWriter.h -------------------------------------------------------------------------------- /server/src/streams/tests/TestsWriter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/tests/TestsWriter.cpp -------------------------------------------------------------------------------- /server/src/streams/tests/TestsWriter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/streams/tests/TestsWriter.h -------------------------------------------------------------------------------- /server/src/stubs/StubGen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/stubs/StubGen.cpp -------------------------------------------------------------------------------- /server/src/stubs/StubGen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/stubs/StubGen.h -------------------------------------------------------------------------------- /server/src/stubs/StubSourcesFinder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/stubs/StubSourcesFinder.cpp -------------------------------------------------------------------------------- /server/src/stubs/StubSourcesFinder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/stubs/StubSourcesFinder.h -------------------------------------------------------------------------------- /server/src/stubs/Stubs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/stubs/Stubs.h -------------------------------------------------------------------------------- /server/src/stubs/StubsCollector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/stubs/StubsCollector.cpp -------------------------------------------------------------------------------- /server/src/stubs/StubsCollector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/stubs/StubsCollector.h -------------------------------------------------------------------------------- /server/src/stubs/StubsStorage.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/stubs/StubsStorage.cpp -------------------------------------------------------------------------------- /server/src/stubs/StubsStorage.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/stubs/StubsStorage.h -------------------------------------------------------------------------------- /server/src/tasks/BaseForkTask.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/tasks/BaseForkTask.cpp -------------------------------------------------------------------------------- /server/src/tasks/BaseForkTask.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/tasks/BaseForkTask.h -------------------------------------------------------------------------------- /server/src/tasks/RunKleeTask.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/tasks/RunKleeTask.cpp -------------------------------------------------------------------------------- /server/src/tasks/RunKleeTask.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/tasks/RunKleeTask.h -------------------------------------------------------------------------------- /server/src/tasks/ShellExecTask.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/tasks/ShellExecTask.cpp -------------------------------------------------------------------------------- /server/src/tasks/ShellExecTask.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/tasks/ShellExecTask.h -------------------------------------------------------------------------------- /server/src/testgens/AssertionTestGen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/testgens/AssertionTestGen.cpp -------------------------------------------------------------------------------- /server/src/testgens/AssertionTestGen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/testgens/AssertionTestGen.h -------------------------------------------------------------------------------- /server/src/testgens/BaseTestGen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/testgens/BaseTestGen.cpp -------------------------------------------------------------------------------- /server/src/testgens/BaseTestGen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/testgens/BaseTestGen.h -------------------------------------------------------------------------------- /server/src/testgens/ClassTestGen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/testgens/ClassTestGen.cpp -------------------------------------------------------------------------------- /server/src/testgens/ClassTestGen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/testgens/ClassTestGen.h -------------------------------------------------------------------------------- /server/src/testgens/FileTestGen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/testgens/FileTestGen.cpp -------------------------------------------------------------------------------- /server/src/testgens/FileTestGen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/testgens/FileTestGen.h -------------------------------------------------------------------------------- /server/src/testgens/FolderTestGen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/testgens/FolderTestGen.cpp -------------------------------------------------------------------------------- /server/src/testgens/FolderTestGen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/testgens/FolderTestGen.h -------------------------------------------------------------------------------- /server/src/testgens/FunctionTestGen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/testgens/FunctionTestGen.cpp -------------------------------------------------------------------------------- /server/src/testgens/FunctionTestGen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/testgens/FunctionTestGen.h -------------------------------------------------------------------------------- /server/src/testgens/LineTestGen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/testgens/LineTestGen.cpp -------------------------------------------------------------------------------- /server/src/testgens/LineTestGen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/testgens/LineTestGen.h -------------------------------------------------------------------------------- /server/src/testgens/PredicateTestGen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/testgens/PredicateTestGen.cpp -------------------------------------------------------------------------------- /server/src/testgens/PredicateTestGen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/testgens/PredicateTestGen.h -------------------------------------------------------------------------------- /server/src/testgens/ProjectTestGen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/testgens/ProjectTestGen.cpp -------------------------------------------------------------------------------- /server/src/testgens/ProjectTestGen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/testgens/ProjectTestGen.h -------------------------------------------------------------------------------- /server/src/testgens/SnippetTestGen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/testgens/SnippetTestGen.cpp -------------------------------------------------------------------------------- /server/src/testgens/SnippetTestGen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/testgens/SnippetTestGen.h -------------------------------------------------------------------------------- /server/src/types/AbstractType.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/types/AbstractType.h -------------------------------------------------------------------------------- /server/src/types/ArrayType.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/types/ArrayType.h -------------------------------------------------------------------------------- /server/src/types/FunctionPointerType.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/types/FunctionPointerType.h -------------------------------------------------------------------------------- /server/src/types/ObjectPointerType.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/types/ObjectPointerType.h -------------------------------------------------------------------------------- /server/src/types/SimpleType.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/types/SimpleType.h -------------------------------------------------------------------------------- /server/src/types/TypeVisitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/types/TypeVisitor.cpp -------------------------------------------------------------------------------- /server/src/types/TypeVisitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/types/TypeVisitor.h -------------------------------------------------------------------------------- /server/src/types/Types.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/types/Types.cpp -------------------------------------------------------------------------------- /server/src/types/Types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/types/Types.h -------------------------------------------------------------------------------- /server/src/types/TypesResolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/types/TypesResolver.cpp -------------------------------------------------------------------------------- /server/src/types/TypesResolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/types/TypesResolver.h -------------------------------------------------------------------------------- /server/src/utils/ArgumentsUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/ArgumentsUtils.cpp -------------------------------------------------------------------------------- /server/src/utils/ArgumentsUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/ArgumentsUtils.h -------------------------------------------------------------------------------- /server/src/utils/CLIUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/CLIUtils.cpp -------------------------------------------------------------------------------- /server/src/utils/CLIUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/CLIUtils.h -------------------------------------------------------------------------------- /server/src/utils/CPipe.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/CPipe.cpp -------------------------------------------------------------------------------- /server/src/utils/CPipe.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/CPipe.h -------------------------------------------------------------------------------- /server/src/utils/CollectionUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/CollectionUtils.cpp -------------------------------------------------------------------------------- /server/src/utils/CollectionUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/CollectionUtils.h -------------------------------------------------------------------------------- /server/src/utils/CompilationUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/CompilationUtils.cpp -------------------------------------------------------------------------------- /server/src/utils/CompilationUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/CompilationUtils.h -------------------------------------------------------------------------------- /server/src/utils/Copyright.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/Copyright.h -------------------------------------------------------------------------------- /server/src/utils/DynamicLibraryUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/DynamicLibraryUtils.cpp -------------------------------------------------------------------------------- /server/src/utils/DynamicLibraryUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/DynamicLibraryUtils.h -------------------------------------------------------------------------------- /server/src/utils/ErrorInfo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/ErrorInfo.h -------------------------------------------------------------------------------- /server/src/utils/ExecUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/ExecUtils.cpp -------------------------------------------------------------------------------- /server/src/utils/ExecUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/ExecUtils.h -------------------------------------------------------------------------------- /server/src/utils/ExecutionResult.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/ExecutionResult.h -------------------------------------------------------------------------------- /server/src/utils/FairMutex.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/FairMutex.cpp -------------------------------------------------------------------------------- /server/src/utils/FairMutex.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/FairMutex.h -------------------------------------------------------------------------------- /server/src/utils/FileSystemUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/FileSystemUtils.cpp -------------------------------------------------------------------------------- /server/src/utils/FileSystemUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/FileSystemUtils.h -------------------------------------------------------------------------------- /server/src/utils/GenerationUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/GenerationUtils.cpp -------------------------------------------------------------------------------- /server/src/utils/GenerationUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/GenerationUtils.h -------------------------------------------------------------------------------- /server/src/utils/GrpcUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/GrpcUtils.cpp -------------------------------------------------------------------------------- /server/src/utils/GrpcUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/GrpcUtils.h -------------------------------------------------------------------------------- /server/src/utils/HashUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/HashUtils.cpp -------------------------------------------------------------------------------- /server/src/utils/HashUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/HashUtils.h -------------------------------------------------------------------------------- /server/src/utils/JsonUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/JsonUtils.cpp -------------------------------------------------------------------------------- /server/src/utils/JsonUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/JsonUtils.h -------------------------------------------------------------------------------- /server/src/utils/KleeUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/KleeUtils.cpp -------------------------------------------------------------------------------- /server/src/utils/KleeUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/KleeUtils.h -------------------------------------------------------------------------------- /server/src/utils/LinkerUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/LinkerUtils.cpp -------------------------------------------------------------------------------- /server/src/utils/LinkerUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/LinkerUtils.h -------------------------------------------------------------------------------- /server/src/utils/LogUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/LogUtils.cpp -------------------------------------------------------------------------------- /server/src/utils/LogUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/LogUtils.h -------------------------------------------------------------------------------- /server/src/utils/MakefileUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/MakefileUtils.cpp -------------------------------------------------------------------------------- /server/src/utils/MakefileUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/MakefileUtils.h -------------------------------------------------------------------------------- /server/src/utils/PrinterUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/PrinterUtils.cpp -------------------------------------------------------------------------------- /server/src/utils/PrinterUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/PrinterUtils.h -------------------------------------------------------------------------------- /server/src/utils/RequestLockMutex.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/RequestLockMutex.h -------------------------------------------------------------------------------- /server/src/utils/SanitizerUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/SanitizerUtils.cpp -------------------------------------------------------------------------------- /server/src/utils/SanitizerUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/SanitizerUtils.h -------------------------------------------------------------------------------- /server/src/utils/ServerUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/ServerUtils.cpp -------------------------------------------------------------------------------- /server/src/utils/ServerUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/ServerUtils.h -------------------------------------------------------------------------------- /server/src/utils/SizeUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/SizeUtils.cpp -------------------------------------------------------------------------------- /server/src/utils/SizeUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/SizeUtils.h -------------------------------------------------------------------------------- /server/src/utils/StringFormat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/StringFormat.cpp -------------------------------------------------------------------------------- /server/src/utils/StringFormat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/StringFormat.h -------------------------------------------------------------------------------- /server/src/utils/StringUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/StringUtils.cpp -------------------------------------------------------------------------------- /server/src/utils/StringUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/StringUtils.h -------------------------------------------------------------------------------- /server/src/utils/StubsUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/StubsUtils.cpp -------------------------------------------------------------------------------- /server/src/utils/StubsUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/StubsUtils.h -------------------------------------------------------------------------------- /server/src/utils/TimeUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/TimeUtils.cpp -------------------------------------------------------------------------------- /server/src/utils/TimeUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/TimeUtils.h -------------------------------------------------------------------------------- /server/src/utils/TraceUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/TraceUtils.cpp -------------------------------------------------------------------------------- /server/src/utils/TraceUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/TraceUtils.h -------------------------------------------------------------------------------- /server/src/utils/TypeTraitsUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/TypeTraitsUtils.h -------------------------------------------------------------------------------- /server/src/utils/TypeUtils.cpp: -------------------------------------------------------------------------------- 1 | #include "TypeUtils.h" 2 | -------------------------------------------------------------------------------- /server/src/utils/TypeUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/TypeUtils.h -------------------------------------------------------------------------------- /server/src/utils/Void.cpp: -------------------------------------------------------------------------------- 1 | #include "Void.h" 2 | -------------------------------------------------------------------------------- /server/src/utils/Void.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/Void.h -------------------------------------------------------------------------------- /server/src/utils/path/FileSystemPath.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/path/FileSystemPath.cpp -------------------------------------------------------------------------------- /server/src/utils/path/FileSystemPath.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/path/FileSystemPath.h -------------------------------------------------------------------------------- /server/src/utils/stats/CSVPrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/stats/CSVPrinter.cpp -------------------------------------------------------------------------------- /server/src/utils/stats/CSVPrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/stats/CSVPrinter.h -------------------------------------------------------------------------------- /server/src/utils/stats/CSVReader.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/stats/CSVReader.cpp -------------------------------------------------------------------------------- /server/src/utils/stats/CSVReader.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/stats/CSVReader.h -------------------------------------------------------------------------------- /server/src/utils/stats/FileStatsMap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/stats/FileStatsMap.h -------------------------------------------------------------------------------- /server/src/utils/stats/KleeStats.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/stats/KleeStats.cpp -------------------------------------------------------------------------------- /server/src/utils/stats/KleeStats.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/stats/KleeStats.h -------------------------------------------------------------------------------- /server/src/utils/stats/TestsExecutionStats.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/stats/TestsExecutionStats.cpp -------------------------------------------------------------------------------- /server/src/utils/stats/TestsExecutionStats.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/stats/TestsExecutionStats.h -------------------------------------------------------------------------------- /server/src/utils/stats/TestsGenerationStats.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/utils/stats/TestsGenerationStats.h -------------------------------------------------------------------------------- /server/src/visitors/AbstractValueViewVisitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/visitors/AbstractValueViewVisitor.h -------------------------------------------------------------------------------- /server/src/visitors/AssertsVisitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/visitors/AssertsVisitor.cpp -------------------------------------------------------------------------------- /server/src/visitors/AssertsVisitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/visitors/AssertsVisitor.h -------------------------------------------------------------------------------- /server/src/visitors/KleeAssumeParamVisitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/visitors/KleeAssumeParamVisitor.cpp -------------------------------------------------------------------------------- /server/src/visitors/KleeAssumeParamVisitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/visitors/KleeAssumeParamVisitor.h -------------------------------------------------------------------------------- /server/src/visitors/KleeAssumeVisitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/visitors/KleeAssumeVisitor.cpp -------------------------------------------------------------------------------- /server/src/visitors/KleeAssumeVisitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/visitors/KleeAssumeVisitor.h -------------------------------------------------------------------------------- /server/src/visitors/VerboseAssertsVisitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/visitors/VerboseAssertsVisitor.cpp -------------------------------------------------------------------------------- /server/src/visitors/VerboseAssertsVisitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/visitors/VerboseAssertsVisitor.h -------------------------------------------------------------------------------- /server/src/visitors/VerboseParameterVisitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/src/visitors/VerboseParameterVisitor.h -------------------------------------------------------------------------------- /server/test/framework/BaseTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/framework/BaseTest.cpp -------------------------------------------------------------------------------- /server/test/framework/BaseTest.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/framework/BaseTest.h -------------------------------------------------------------------------------- /server/test/framework/CLI_Tests.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/framework/CLI_Tests.cpp -------------------------------------------------------------------------------- /server/test/framework/CollectionUtil_Tests.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/framework/CollectionUtil_Tests.cpp -------------------------------------------------------------------------------- /server/test/framework/KleeGen_Tests.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/framework/KleeGen_Tests.cpp -------------------------------------------------------------------------------- /server/test/framework/Library_Test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/framework/Library_Test.cpp -------------------------------------------------------------------------------- /server/test/framework/Regression_Tests.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/framework/Regression_Tests.cpp -------------------------------------------------------------------------------- /server/test/framework/Server_Tests.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/framework/Server_Tests.cpp -------------------------------------------------------------------------------- /server/test/framework/Stub_Tests.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/framework/Stub_Tests.cpp -------------------------------------------------------------------------------- /server/test/framework/Syntax_Tests.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/framework/Syntax_Tests.cpp -------------------------------------------------------------------------------- /server/test/framework/Targets_Test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/framework/Targets_Test.cpp -------------------------------------------------------------------------------- /server/test/framework/TestUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/framework/TestUtils.cpp -------------------------------------------------------------------------------- /server/test/framework/TestUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/framework/TestUtils.h -------------------------------------------------------------------------------- /server/test/framework/Utils_Tests.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/framework/Utils_Tests.cpp -------------------------------------------------------------------------------- /server/test/framework/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/framework/main.cpp -------------------------------------------------------------------------------- /server/test/suites/char/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/char/CMakeLists.txt -------------------------------------------------------------------------------- /server/test/suites/char/char_literals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/char/char_literals.c -------------------------------------------------------------------------------- /server/test/suites/char/char_literals.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/char/char_literals.h -------------------------------------------------------------------------------- /server/test/suites/char/tests/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/char/tests/CMakeLists.txt -------------------------------------------------------------------------------- /server/test/suites/cli/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/cli/CMakeLists.txt -------------------------------------------------------------------------------- /server/test/suites/cli/assertion_failures.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/cli/assertion_failures.c -------------------------------------------------------------------------------- /server/test/suites/cli/assertion_failures.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/cli/assertion_failures.h -------------------------------------------------------------------------------- /server/test/suites/cli/basic_functions.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/cli/basic_functions.c -------------------------------------------------------------------------------- /server/test/suites/cli/basic_functions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/cli/basic_functions.h -------------------------------------------------------------------------------- /server/test/suites/cli/complex_structs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/cli/complex_structs.c -------------------------------------------------------------------------------- /server/test/suites/cli/complex_structs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/cli/complex_structs.h -------------------------------------------------------------------------------- /server/test/suites/cli/snippet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/cli/snippet.c -------------------------------------------------------------------------------- /server/test/suites/coverage/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/coverage/CMakeLists.txt -------------------------------------------------------------------------------- /server/test/suites/coverage/basic_functions.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/coverage/basic_functions.c -------------------------------------------------------------------------------- /server/test/suites/coverage/basic_functions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/coverage/basic_functions.h -------------------------------------------------------------------------------- /server/test/suites/coverage/simple_class.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/coverage/simple_class.cpp -------------------------------------------------------------------------------- /server/test/suites/coverage/simple_class.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/coverage/simple_class.h -------------------------------------------------------------------------------- /server/test/suites/datacom/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/datacom/CMakeLists.txt -------------------------------------------------------------------------------- /server/test/suites/datacom/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/datacom/main.c -------------------------------------------------------------------------------- /server/test/suites/error/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/error/CMakeLists.txt -------------------------------------------------------------------------------- /server/test/suites/error/exceptions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/error/exceptions.h -------------------------------------------------------------------------------- /server/test/suites/halt/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/halt/CMakeLists.txt -------------------------------------------------------------------------------- /server/test/suites/halt/asm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/halt/asm.c -------------------------------------------------------------------------------- /server/test/suites/halt/memory.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/halt/memory.c -------------------------------------------------------------------------------- /server/test/suites/halt/raise.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/halt/raise.c -------------------------------------------------------------------------------- /server/test/suites/halt/sleep.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/halt/sleep.c -------------------------------------------------------------------------------- /server/test/suites/installed/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/installed/CMakeLists.txt -------------------------------------------------------------------------------- /server/test/suites/installed/lib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/installed/lib.c -------------------------------------------------------------------------------- /server/test/suites/installed/lib.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/installed/lib.h -------------------------------------------------------------------------------- /server/test/suites/installed/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/installed/main.c -------------------------------------------------------------------------------- /server/test/suites/library-project/lib/sum.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/library-project/lib/sum.c -------------------------------------------------------------------------------- /server/test/suites/library-project/lib/sum.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/library-project/lib/sum.h -------------------------------------------------------------------------------- /server/test/suites/library-project/main.c: -------------------------------------------------------------------------------- 1 | int main() { 2 | return 0; 3 | } 4 | -------------------------------------------------------------------------------- /server/test/suites/library-project/src/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/library-project/src/test.c -------------------------------------------------------------------------------- /server/test/suites/library-project/src/test.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/library-project/src/test.h -------------------------------------------------------------------------------- /server/test/suites/linkage-ld/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/linkage-ld/Makefile -------------------------------------------------------------------------------- /server/test/suites/linkage-ld/issue-638.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/linkage-ld/issue-638.c -------------------------------------------------------------------------------- /server/test/suites/linkage/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/linkage/CMakeLists.txt -------------------------------------------------------------------------------- /server/test/suites/linkage/a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/linkage/a.c -------------------------------------------------------------------------------- /server/test/suites/linkage/b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/linkage/b.c -------------------------------------------------------------------------------- /server/test/suites/linkage/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/linkage/main.c -------------------------------------------------------------------------------- /server/test/suites/object-file/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/object-file/Makefile -------------------------------------------------------------------------------- /server/test/suites/object-file/lib1.c: -------------------------------------------------------------------------------- 1 | int lib1func() { 2 | return 5; 3 | } 4 | -------------------------------------------------------------------------------- /server/test/suites/object-file/lib2.c: -------------------------------------------------------------------------------- 1 | int lib2func() { 2 | return 6; 3 | } 4 | -------------------------------------------------------------------------------- /server/test/suites/object-file/source1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/object-file/source1.c -------------------------------------------------------------------------------- /server/test/suites/object-file/source2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/object-file/source2.c -------------------------------------------------------------------------------- /server/test/suites/precompiled/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/precompiled/Makefile -------------------------------------------------------------------------------- /server/test/suites/precompiled/source.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/precompiled/source.c -------------------------------------------------------------------------------- /server/test/suites/regression/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/regression/CMakeLists.txt -------------------------------------------------------------------------------- /server/test/suites/regression/GH215.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/regression/GH215.c -------------------------------------------------------------------------------- /server/test/suites/regression/PR-200/PR-200.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/regression/PR-200/PR-200.c -------------------------------------------------------------------------------- /server/test/suites/regression/PR-200/pair.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/regression/PR-200/pair.c -------------------------------------------------------------------------------- /server/test/suites/regression/PR-200/pair.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/regression/PR-200/pair.h -------------------------------------------------------------------------------- /server/test/suites/regression/PR120.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/regression/PR120.c -------------------------------------------------------------------------------- /server/test/suites/regression/PR123.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/regression/PR123.c -------------------------------------------------------------------------------- /server/test/suites/regression/PR153.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/regression/PR153.c -------------------------------------------------------------------------------- /server/test/suites/regression/SAT-752.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/regression/SAT-752.c -------------------------------------------------------------------------------- /server/test/suites/regression/SAT-766.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/regression/SAT-766.c -------------------------------------------------------------------------------- /server/test/suites/regression/SAT-767.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/regression/SAT-767.c -------------------------------------------------------------------------------- /server/test/suites/regression/SAT-777.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/regression/SAT-777.c -------------------------------------------------------------------------------- /server/test/suites/regression/helloworld.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/regression/helloworld.c -------------------------------------------------------------------------------- /server/test/suites/regression/helloworld.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/regression/helloworld.h -------------------------------------------------------------------------------- /server/test/suites/regression/issue-195.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/regression/issue-195.c -------------------------------------------------------------------------------- /server/test/suites/regression/issue-276.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/regression/issue-276.c -------------------------------------------------------------------------------- /server/test/suites/regression/issue-514.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/regression/issue-514.c -------------------------------------------------------------------------------- /server/test/suites/regression/issue-600.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/regression/issue-600.c -------------------------------------------------------------------------------- /server/test/suites/regression/main.c: -------------------------------------------------------------------------------- 1 | int main() {} 2 | -------------------------------------------------------------------------------- /server/test/suites/run/executable/func.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/run/executable/func.c -------------------------------------------------------------------------------- /server/test/suites/run/executable/func.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/run/executable/func.h -------------------------------------------------------------------------------- /server/test/suites/run/executable/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/run/executable/main.c -------------------------------------------------------------------------------- /server/test/suites/run/shared_library/func.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/run/shared_library/func.c -------------------------------------------------------------------------------- /server/test/suites/run/shared_library/func.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/run/shared_library/func.h -------------------------------------------------------------------------------- /server/test/suites/run/static_library/func.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/run/static_library/func.c -------------------------------------------------------------------------------- /server/test/suites/run/static_library/func.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/run/static_library/func.h -------------------------------------------------------------------------------- /server/test/suites/run/timeout/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/run/timeout/CMakeLists.txt -------------------------------------------------------------------------------- /server/test/suites/run/timeout/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/run/timeout/main.c -------------------------------------------------------------------------------- /server/test/suites/server/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/CMakeLists.txt -------------------------------------------------------------------------------- /server/test/suites/server/alignment.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/alignment.c -------------------------------------------------------------------------------- /server/test/suites/server/assertion_failures.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/assertion_failures.c -------------------------------------------------------------------------------- /server/test/suites/server/assertion_failures.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/assertion_failures.h -------------------------------------------------------------------------------- /server/test/suites/server/basic_functions.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/basic_functions.c -------------------------------------------------------------------------------- /server/test/suites/server/basic_functions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/basic_functions.h -------------------------------------------------------------------------------- /server/test/suites/server/complex_structs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/complex_structs.c -------------------------------------------------------------------------------- /server/test/suites/server/complex_structs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/complex_structs.h -------------------------------------------------------------------------------- /server/test/suites/server/exception.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/exception.h -------------------------------------------------------------------------------- /server/test/suites/server/external_dependent.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/external_dependent.c -------------------------------------------------------------------------------- /server/test/suites/server/file.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/file.c -------------------------------------------------------------------------------- /server/test/suites/server/file.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/file.h -------------------------------------------------------------------------------- /server/test/suites/server/floating_point.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/floating_point.c -------------------------------------------------------------------------------- /server/test/suites/server/floating_point.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/floating_point.h -------------------------------------------------------------------------------- /server/test/suites/server/globals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/globals.c -------------------------------------------------------------------------------- /server/test/suites/server/hard_linked_list.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/hard_linked_list.c -------------------------------------------------------------------------------- /server/test/suites/server/hard_linked_list.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/hard_linked_list.h -------------------------------------------------------------------------------- /server/test/suites/server/input_output.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/input_output.c -------------------------------------------------------------------------------- /server/test/suites/server/input_output.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/input_output.h -------------------------------------------------------------------------------- /server/test/suites/server/keywords.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/keywords.c -------------------------------------------------------------------------------- /server/test/suites/server/keywords.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/keywords.h -------------------------------------------------------------------------------- /server/test/suites/server/linkage.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/linkage.c -------------------------------------------------------------------------------- /server/test/suites/server/linked_list.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/linked_list.c -------------------------------------------------------------------------------- /server/test/suites/server/linked_list.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/linked_list.h -------------------------------------------------------------------------------- /server/test/suites/server/main.c: -------------------------------------------------------------------------------- 1 | int main() {} 2 | -------------------------------------------------------------------------------- /server/test/suites/server/multi_dim_pointers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/multi_dim_pointers.c -------------------------------------------------------------------------------- /server/test/suites/server/multi_dim_pointers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/multi_dim_pointers.h -------------------------------------------------------------------------------- /server/test/suites/server/multiple_classes.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/multiple_classes.cpp -------------------------------------------------------------------------------- /server/test/suites/server/multiple_classes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/multiple_classes.h -------------------------------------------------------------------------------- /server/test/suites/server/pointer_parameters.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/pointer_parameters.c -------------------------------------------------------------------------------- /server/test/suites/server/pointer_parameters.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/pointer_parameters.h -------------------------------------------------------------------------------- /server/test/suites/server/pointer_return.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/pointer_return.c -------------------------------------------------------------------------------- /server/test/suites/server/pointer_return.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/pointer_return.h -------------------------------------------------------------------------------- /server/test/suites/server/simple_structs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/simple_structs.c -------------------------------------------------------------------------------- /server/test/suites/server/simple_structs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/simple_structs.h -------------------------------------------------------------------------------- /server/test/suites/server/simple_unions.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/simple_unions.c -------------------------------------------------------------------------------- /server/test/suites/server/simple_unions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/simple_unions.h -------------------------------------------------------------------------------- /server/test/suites/server/snippet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/snippet.c -------------------------------------------------------------------------------- /server/test/suites/server/struct_with_union.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/struct_with_union.c -------------------------------------------------------------------------------- /server/test/suites/server/struct_with_union.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/struct_with_union.h -------------------------------------------------------------------------------- /server/test/suites/server/symbolic_stdin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/symbolic_stdin.c -------------------------------------------------------------------------------- /server/test/suites/server/thread_local.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/thread_local.c -------------------------------------------------------------------------------- /server/test/suites/server/thread_local.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/thread_local.h -------------------------------------------------------------------------------- /server/test/suites/server/tree.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/tree.c -------------------------------------------------------------------------------- /server/test/suites/server/tree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/tree.h -------------------------------------------------------------------------------- /server/test/suites/server/typedefs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/typedefs.c -------------------------------------------------------------------------------- /server/test/suites/server/typedefs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/typedefs.h -------------------------------------------------------------------------------- /server/test/suites/server/types.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/types.c -------------------------------------------------------------------------------- /server/test/suites/server/types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/server/types.h -------------------------------------------------------------------------------- /server/test/suites/small-project/lib/libfile.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/small-project/lib/libfile.c -------------------------------------------------------------------------------- /server/test/suites/small-project/lib/libfile.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/small-project/lib/libfile.h -------------------------------------------------------------------------------- /server/test/suites/small-project/src/srcfile.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/small-project/src/srcfile.c -------------------------------------------------------------------------------- /server/test/suites/small-project/src/srcfile.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/small-project/src/srcfile.h -------------------------------------------------------------------------------- /server/test/suites/stddef/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/stddef/CMakeLists.txt -------------------------------------------------------------------------------- /server/test/suites/stddef/stddef.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/stddef/stddef.c -------------------------------------------------------------------------------- /server/test/suites/stub/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/stub/CMakeLists.txt -------------------------------------------------------------------------------- /server/test/suites/stub/lib/calc/mult.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/stub/lib/calc/mult.c -------------------------------------------------------------------------------- /server/test/suites/stub/lib/calc/mult.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/stub/lib/calc/mult.h -------------------------------------------------------------------------------- /server/test/suites/stub/lib/calc/sum.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/stub/lib/calc/sum.c -------------------------------------------------------------------------------- /server/test/suites/stub/lib/calc/sum.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/stub/lib/calc/sum.h -------------------------------------------------------------------------------- /server/test/suites/stub/lib/foreign/bar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/stub/lib/foreign/bar.c -------------------------------------------------------------------------------- /server/test/suites/stub/lib/foreign/bar.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/stub/lib/foreign/bar.h -------------------------------------------------------------------------------- /server/test/suites/stub/lib/literals/foo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/stub/lib/literals/foo.c -------------------------------------------------------------------------------- /server/test/suites/stub/lib/literals/foo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/stub/lib/literals/foo.h -------------------------------------------------------------------------------- /server/test/suites/stub/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/stub/main.c -------------------------------------------------------------------------------- /server/test/suites/stub/modified/foo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/stub/modified/foo.c -------------------------------------------------------------------------------- /server/test/suites/stub/modified/sum.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/stub/modified/sum.c -------------------------------------------------------------------------------- /server/test/suites/stub/modified/sum.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/stub/modified/sum.h -------------------------------------------------------------------------------- /server/test/suites/stub/modified/sum_stub.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/stub/modified/sum_stub.c -------------------------------------------------------------------------------- /server/test/suites/stub/original/foo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/stub/original/foo.c -------------------------------------------------------------------------------- /server/test/suites/stub/original/sum.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/stub/original/sum.c -------------------------------------------------------------------------------- /server/test/suites/stub/original/sum.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/stub/original/sum.h -------------------------------------------------------------------------------- /server/test/suites/syntax/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/CMakeLists.txt -------------------------------------------------------------------------------- /server/test/suites/syntax/array_sort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/array_sort.c -------------------------------------------------------------------------------- /server/test/suites/syntax/array_sort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/array_sort.h -------------------------------------------------------------------------------- /server/test/suites/syntax/bitfields.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/bitfields.c -------------------------------------------------------------------------------- /server/test/suites/syntax/bitfields.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/bitfields.h -------------------------------------------------------------------------------- /server/test/suites/syntax/complex_structs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/complex_structs.c -------------------------------------------------------------------------------- /server/test/suites/syntax/complex_structs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/complex_structs.h -------------------------------------------------------------------------------- /server/test/suites/syntax/constants.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/constants.c -------------------------------------------------------------------------------- /server/test/suites/syntax/constants.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/constants.h -------------------------------------------------------------------------------- /server/test/suites/syntax/constructors.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/constructors.cpp -------------------------------------------------------------------------------- /server/test/suites/syntax/constructors.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/constructors.h -------------------------------------------------------------------------------- /server/test/suites/syntax/enums.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/enums.c -------------------------------------------------------------------------------- /server/test/suites/syntax/enums.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/enums.h -------------------------------------------------------------------------------- /server/test/suites/syntax/file.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/file.c -------------------------------------------------------------------------------- /server/test/suites/syntax/file.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/file.h -------------------------------------------------------------------------------- /server/test/suites/syntax/floats_special.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/floats_special.c -------------------------------------------------------------------------------- /server/test/suites/syntax/floats_special.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/floats_special.h -------------------------------------------------------------------------------- /server/test/suites/syntax/hard_linked_list.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/hard_linked_list.c -------------------------------------------------------------------------------- /server/test/suites/syntax/hard_linked_list.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/hard_linked_list.h -------------------------------------------------------------------------------- /server/test/suites/syntax/inits.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/inits.c -------------------------------------------------------------------------------- /server/test/suites/syntax/inits.h: -------------------------------------------------------------------------------- 1 | bool init_global(); 2 | -------------------------------------------------------------------------------- /server/test/suites/syntax/inner_unnamed.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/inner_unnamed.c -------------------------------------------------------------------------------- /server/test/suites/syntax/inner_unnamed.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/inner_unnamed.h -------------------------------------------------------------------------------- /server/test/suites/syntax/input_output.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/input_output.c -------------------------------------------------------------------------------- /server/test/suites/syntax/input_output.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/input_output.h -------------------------------------------------------------------------------- /server/test/suites/syntax/itf.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/itf.json -------------------------------------------------------------------------------- /server/test/suites/syntax/linked_list.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/linked_list.c -------------------------------------------------------------------------------- /server/test/suites/syntax/linked_list.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/linked_list.h -------------------------------------------------------------------------------- /server/test/suites/syntax/main.c: -------------------------------------------------------------------------------- 1 | int main() {} 2 | -------------------------------------------------------------------------------- /server/test/suites/syntax/multi_arrays.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/multi_arrays.c -------------------------------------------------------------------------------- /server/test/suites/syntax/multi_arrays.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/multi_arrays.h -------------------------------------------------------------------------------- /server/test/suites/syntax/namespace.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/namespace.cpp -------------------------------------------------------------------------------- /server/test/suites/syntax/namespace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/namespace.h -------------------------------------------------------------------------------- /server/test/suites/syntax/packed_structs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/packed_structs.c -------------------------------------------------------------------------------- /server/test/suites/syntax/packed_structs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/packed_structs.h -------------------------------------------------------------------------------- /server/test/suites/syntax/pointer_parameters.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/pointer_parameters.c -------------------------------------------------------------------------------- /server/test/suites/syntax/pointer_parameters.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/pointer_parameters.h -------------------------------------------------------------------------------- /server/test/suites/syntax/pointer_return.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/pointer_return.c -------------------------------------------------------------------------------- /server/test/suites/syntax/pointer_return.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/pointer_return.h -------------------------------------------------------------------------------- /server/test/suites/syntax/qualifiers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/qualifiers.c -------------------------------------------------------------------------------- /server/test/suites/syntax/qualifiers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/qualifiers.h -------------------------------------------------------------------------------- /server/test/suites/syntax/simple_class.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/simple_class.cpp -------------------------------------------------------------------------------- /server/test/suites/syntax/simple_class.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/simple_class.h -------------------------------------------------------------------------------- /server/test/suites/syntax/simple_structs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/simple_structs.c -------------------------------------------------------------------------------- /server/test/suites/syntax/simple_structs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/simple_structs.h -------------------------------------------------------------------------------- /server/test/suites/syntax/simple_unions.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/simple_unions.c -------------------------------------------------------------------------------- /server/test/suites/syntax/simple_unions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/simple_unions.h -------------------------------------------------------------------------------- /server/test/suites/syntax/struct_with_union.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/struct_with_union.c -------------------------------------------------------------------------------- /server/test/suites/syntax/struct_with_union.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/struct_with_union.h -------------------------------------------------------------------------------- /server/test/suites/syntax/stubs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/stubs.c -------------------------------------------------------------------------------- /server/test/suites/syntax/stubs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/stubs.h -------------------------------------------------------------------------------- /server/test/suites/syntax/tree.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/tree.c -------------------------------------------------------------------------------- /server/test/suites/syntax/tree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/tree.h -------------------------------------------------------------------------------- /server/test/suites/syntax/typedefs_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/typedefs_1.c -------------------------------------------------------------------------------- /server/test/suites/syntax/typedefs_1.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/typedefs_1.h -------------------------------------------------------------------------------- /server/test/suites/syntax/typedefs_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/typedefs_2.c -------------------------------------------------------------------------------- /server/test/suites/syntax/typedefs_2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/typedefs_2.h -------------------------------------------------------------------------------- /server/test/suites/syntax/types.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/types.c -------------------------------------------------------------------------------- /server/test/suites/syntax/types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/types.h -------------------------------------------------------------------------------- /server/test/suites/syntax/types_3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/types_3.c -------------------------------------------------------------------------------- /server/test/suites/syntax/unsupported_class.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/unsupported_class.h -------------------------------------------------------------------------------- /server/test/suites/syntax/variadic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/variadic.c -------------------------------------------------------------------------------- /server/test/suites/syntax/void_functions.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/void_functions.c -------------------------------------------------------------------------------- /server/test/suites/syntax/void_functions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/syntax/void_functions.h -------------------------------------------------------------------------------- /server/test/suites/targets/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/targets/CMakeLists.txt -------------------------------------------------------------------------------- /server/test/suites/targets/cat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/targets/cat.c -------------------------------------------------------------------------------- /server/test/suites/targets/dummy.c: -------------------------------------------------------------------------------- 1 | int main() { 2 | } 3 | -------------------------------------------------------------------------------- /server/test/suites/targets/get_10.c: -------------------------------------------------------------------------------- 1 | int get_any_val() { 2 | return 10; 3 | } 4 | -------------------------------------------------------------------------------- /server/test/suites/targets/get_20x.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/targets/get_20x.c -------------------------------------------------------------------------------- /server/test/suites/targets/get_any_val.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/targets/get_any_val.h -------------------------------------------------------------------------------- /server/test/suites/targets/get_val_main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/targets/get_val_main.c -------------------------------------------------------------------------------- /server/test/suites/targets/get_val_main_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/targets/get_val_main_2.c -------------------------------------------------------------------------------- /server/test/suites/targets/ls.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/targets/ls.c -------------------------------------------------------------------------------- /server/test/suites/targets/parse.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/targets/parse.c -------------------------------------------------------------------------------- /server/test/suites/targets/parse.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/targets/parse.h -------------------------------------------------------------------------------- /server/test/suites/targets/shared.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/targets/shared.c -------------------------------------------------------------------------------- /server/test/suites/targets/shared.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/targets/shared.h -------------------------------------------------------------------------------- /server/test/suites/targets/usage.c: -------------------------------------------------------------------------------- 1 | #include "usage.h" 2 | -------------------------------------------------------------------------------- /server/test/suites/targets/usage.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/server/test/suites/targets/usage.h -------------------------------------------------------------------------------- /submodules/build-klee.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/submodules/build-klee.sh -------------------------------------------------------------------------------- /vscode-plugin/.eslintrc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/.eslintrc.json -------------------------------------------------------------------------------- /vscode-plugin/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/.gitignore -------------------------------------------------------------------------------- /vscode-plugin/.vscode/extensions.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/.vscode/extensions.json -------------------------------------------------------------------------------- /vscode-plugin/.vscode/launch.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/.vscode/launch.json -------------------------------------------------------------------------------- /vscode-plugin/.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/.vscode/settings.json -------------------------------------------------------------------------------- /vscode-plugin/.vscode/tasks.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/.vscode/tasks.json -------------------------------------------------------------------------------- /vscode-plugin/.vscodeignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/.vscodeignore -------------------------------------------------------------------------------- /vscode-plugin/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/CHANGELOG.md -------------------------------------------------------------------------------- /vscode-plugin/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/LICENSE -------------------------------------------------------------------------------- /vscode-plugin/app_images/gutter-icon-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/app_images/gutter-icon-dark.svg -------------------------------------------------------------------------------- /vscode-plugin/app_images/gutter-icon-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/app_images/gutter-icon-light.svg -------------------------------------------------------------------------------- /vscode-plugin/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/build.sh -------------------------------------------------------------------------------- /vscode-plugin/download_vscode.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/download_vscode.js -------------------------------------------------------------------------------- /vscode-plugin/icons/errored.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/icons/errored.svg -------------------------------------------------------------------------------- /vscode-plugin/icons/failed.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/icons/failed.svg -------------------------------------------------------------------------------- /vscode-plugin/icons/file.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/icons/file.svg -------------------------------------------------------------------------------- /vscode-plugin/icons/folder-default-open.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/icons/folder-default-open.svg -------------------------------------------------------------------------------- /vscode-plugin/icons/folder-defaut.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/icons/folder-defaut.svg -------------------------------------------------------------------------------- /vscode-plugin/icons/folder-utbot-open.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/icons/folder-utbot-open.svg -------------------------------------------------------------------------------- /vscode-plugin/icons/folder-utbot.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/icons/folder-utbot.svg -------------------------------------------------------------------------------- /vscode-plugin/icons/folder.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/icons/folder.svg -------------------------------------------------------------------------------- /vscode-plugin/icons/passed.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/icons/passed.svg -------------------------------------------------------------------------------- /vscode-plugin/icons/refresh-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/icons/refresh-dark.svg -------------------------------------------------------------------------------- /vscode-plugin/icons/refresh-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/icons/refresh-light.svg -------------------------------------------------------------------------------- /vscode-plugin/icons/target-unused-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/icons/target-unused-dark.svg -------------------------------------------------------------------------------- /vscode-plugin/icons/target-unused-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/icons/target-unused-light.svg -------------------------------------------------------------------------------- /vscode-plugin/icons/target-used-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/icons/target-used-dark.svg -------------------------------------------------------------------------------- /vscode-plugin/icons/target-used-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/icons/target-used-light.svg -------------------------------------------------------------------------------- /vscode-plugin/icons/tools-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/icons/tools-dark.svg -------------------------------------------------------------------------------- /vscode-plugin/icons/tools-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/icons/tools-light.svg -------------------------------------------------------------------------------- /vscode-plugin/icons/utbot.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/icons/utbot.svg -------------------------------------------------------------------------------- /vscode-plugin/log.configuration.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/log.configuration.json -------------------------------------------------------------------------------- /vscode-plugin/media/vscode-vars-list: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/media/vscode-vars-list -------------------------------------------------------------------------------- /vscode-plugin/media/vscode.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/media/vscode.css -------------------------------------------------------------------------------- /vscode-plugin/media/wizard.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/media/wizard.html -------------------------------------------------------------------------------- /vscode-plugin/media/wizardHTML.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/media/wizardHTML.css -------------------------------------------------------------------------------- /vscode-plugin/media/wizardHTML.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/media/wizardHTML.js -------------------------------------------------------------------------------- /vscode-plugin/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/package.json -------------------------------------------------------------------------------- /vscode-plugin/package.nls.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/package.nls.json -------------------------------------------------------------------------------- /vscode-plugin/protoc.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/protoc.bat -------------------------------------------------------------------------------- /vscode-plugin/protoc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/protoc.sh -------------------------------------------------------------------------------- /vscode-plugin/src/cache/testsCache.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/cache/testsCache.ts -------------------------------------------------------------------------------- /vscode-plugin/src/client/client.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/client/client.ts -------------------------------------------------------------------------------- /vscode-plugin/src/codelens/codelensProvider.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/codelens/codelensProvider.ts -------------------------------------------------------------------------------- /vscode-plugin/src/config/commands.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/config/commands.ts -------------------------------------------------------------------------------- /vscode-plugin/src/config/config.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/config/config.ts -------------------------------------------------------------------------------- /vscode-plugin/src/config/defaultValues.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/config/defaultValues.ts -------------------------------------------------------------------------------- /vscode-plugin/src/config/prefs.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/config/prefs.ts -------------------------------------------------------------------------------- /vscode-plugin/src/config/projectConfig.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/config/projectConfig.ts -------------------------------------------------------------------------------- /vscode-plugin/src/dataloader/dataLoader.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/dataloader/dataLoader.ts -------------------------------------------------------------------------------- /vscode-plugin/src/emitter/UTBotEventEmitter.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/emitter/UTBotEventEmitter.ts -------------------------------------------------------------------------------- /vscode-plugin/src/explorer/utbotExplorer.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/explorer/utbotExplorer.ts -------------------------------------------------------------------------------- /vscode-plugin/src/extension.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/extension.ts -------------------------------------------------------------------------------- /vscode-plugin/src/generators/gen.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/generators/gen.ts -------------------------------------------------------------------------------- /vscode-plugin/src/generators/stubsGen.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/generators/stubsGen.ts -------------------------------------------------------------------------------- /vscode-plugin/src/interface/iconPaths.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/interface/iconPaths.ts -------------------------------------------------------------------------------- /vscode-plugin/src/interface/utbotUI.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/interface/utbotUI.ts -------------------------------------------------------------------------------- /vscode-plugin/src/logger.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/logger.ts -------------------------------------------------------------------------------- /vscode-plugin/src/requests/params.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/requests/params.ts -------------------------------------------------------------------------------- /vscode-plugin/src/requests/protos.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/requests/protos.ts -------------------------------------------------------------------------------- /vscode-plugin/src/responses/responseHandler.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/responses/responseHandler.ts -------------------------------------------------------------------------------- /vscode-plugin/src/runner/testsRunner.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/runner/testsRunner.ts -------------------------------------------------------------------------------- /vscode-plugin/src/test/helper.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/test/helper.ts -------------------------------------------------------------------------------- /vscode-plugin/src/test/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/test/run.sh -------------------------------------------------------------------------------- /vscode-plugin/src/test/runTest.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/test/runTest.ts -------------------------------------------------------------------------------- /vscode-plugin/src/test/suite/fileTests.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/test/suite/fileTests.test.ts -------------------------------------------------------------------------------- /vscode-plugin/src/test/suite/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/test/suite/index.ts -------------------------------------------------------------------------------- /vscode-plugin/src/test/suite/lineTests.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/test/suite/lineTests.test.ts -------------------------------------------------------------------------------- /vscode-plugin/src/test/testLogger.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/test/testLogger.ts -------------------------------------------------------------------------------- /vscode-plugin/src/utils/fsUtils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/utils/fsUtils.ts -------------------------------------------------------------------------------- /vscode-plugin/src/utils/grpcServicePing.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/utils/grpcServicePing.ts -------------------------------------------------------------------------------- /vscode-plugin/src/utils/pathUtils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/utils/pathUtils.ts -------------------------------------------------------------------------------- /vscode-plugin/src/utils/utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/utils/utils.ts -------------------------------------------------------------------------------- /vscode-plugin/src/utils/vscodeUtils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/utils/vscodeUtils.ts -------------------------------------------------------------------------------- /vscode-plugin/src/validators/predicates.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/validators/predicates.ts -------------------------------------------------------------------------------- /vscode-plugin/src/visualizers/visualizer.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/visualizers/visualizer.ts -------------------------------------------------------------------------------- /vscode-plugin/src/wizard/wizard.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/src/wizard/wizard.ts -------------------------------------------------------------------------------- /vscode-plugin/syntaxes/log.tmLanguage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/syntaxes/log.tmLanguage -------------------------------------------------------------------------------- /vscode-plugin/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/tsconfig.json -------------------------------------------------------------------------------- /vscode-plugin/win-installer.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UnitTestBot/UTBotCpp/HEAD/vscode-plugin/win-installer.bat --------------------------------------------------------------------------------