feat: add --trace-file commandline option

Author: sillydan1

src/cli/verifier/cli_options.h

@@ -17,6 +17,7 @@
  */
 #ifndef AALTITOAD_CLI_OPTIONS_H
 #define AALTITOAD_CLI_OPTIONS_H
+#include "arguments.h"
 #include <vector>
 #include <argvparse.h>
 #include <iostream>
@@ -41,6 +42,8 @@ std::vector<option_t> get_options() {
             {"disable-warn",'w', argument_requirement::REQUIRE_ARG,  "Disable a warning"},
             {"list-warn",   'W', argument_requirement::NO_ARG,       "List all warnings available"},
             {"no-warn",     'm', argument_requirement::NO_ARG,       "Disable all warnings"},
+
+            {"trace-file",  't', argument_requirement::REQUIRE_ARG,  "Provide file to output result-traces to. Default is stdout"}, // TODO: We should output JSON formatted traces
     };
 }
 

src/cli/verifier/main.cpp

@@ -99,16 +99,20 @@ int main(int argc, char** argv) {
         spdlog::debug("reachability search took {0}ms", t.milliseconds_elapsed());
 
         // gather and return results
+        auto trace_file = cli_arguments["trace-file"].as_string_or_default("");
+        auto* trace_stream = &std::cout;
+        if(trace_file != "")
+            trace_stream = new std::ofstream{trace_file, std::ios::app};
         for(auto& result : results) {
-            std::cout << result.query << ": " << std::boolalpha << result.solution.has_value() << "\n";
+            *trace_stream << result.query << ": " << std::boolalpha << result.solution.has_value() << "\n";
             if(result.solution.has_value())
-                std::cout << result.solution.value();
+                *trace_stream << result.solution.value(); // TODO: This should be json formatted
         }
 
         return 0;
     } catch (std::exception& any) {
         spdlog::error(any.what());
-        std::cout.flush();
+        std::cout.flush(); // Flush the output streams, just to be nice
         std::cerr.flush();
         return 1;
     }