naive_tests_fix_try_2

Author: Nypiaka

server/src/commands/Commands.cpp

@@ -412,6 +412,10 @@ ErrorMode Commands::SettingsContextOptionGroup::getErrorMode() const {
     return errorMode;
 }
 
+bool Commands::SettingsContextOptionGroup::doDifferentVariablesOfTheSameType() const {
+    return differentVariablesOfTheSameType;
+}
+
 Commands::RunTestsCommands::RunTestsCommands(Commands::MainCommands &commands) {
     runCommand = commands.getRunTestsCommand();
 

server/src/commands/Commands.h

@@ -245,6 +245,8 @@ namespace Commands {
 
         [[nodiscard]] ErrorMode getErrorMode() const;
 
+        [[nodiscard]] bool doDifferentVariablesOfTheSameType() const;
+
     private:
         CLI::Option_group *settingsContextOptions;
         bool generateForStaticFunctions = true;
@@ -254,6 +256,7 @@ namespace Commands {
         bool noDeterministicSearcher = false;
         bool noStubs = false;
         ErrorMode errorMode = ErrorMode::FAILING;
+        bool differentVariablesOfTheSameType = false;
     };
 };