moved goal injector main executable

src/CMakeLists.txt

@@ -1,7 +1,2 @@
 add_subdirectory(goal-injector)
 
-add_executable(instrumentator main.cpp)
-target_include_directories(instrumentator
-        PRIVATE ${CLANG_INCLUDE_DIRS}
-        )
-target_link_libraries(instrumentator PUBLIC frontend clangTooling clangAST clangIndex)

src/goal-injector/CMakeLists.txt

@@ -4,3 +4,9 @@ target_include_directories(frontend
         )
 set_target_properties(frontend PROPERTIES COMPILE_FLAGS "-fno-rtti")
 target_link_libraries(frontend clangTooling clangAST clangIndex fmt::fmt)
+
+add_executable(instrumentator main.cpp)
+target_include_directories(instrumentator
+        PRIVATE ${CLANG_INCLUDE_DIRS}
+        )
+target_link_libraries(instrumentator PUBLIC frontend clangTooling clangAST clangIndex)

src/goal-injector/main.cpp

@@ -0,0 +1,11 @@
+#include <goal-injector/goal-injector.h>
+#include <fstream>
+#include <iostream>
+
+int main(int argc, char **argv) {
+  if (argc != 2) 
+    std::cerr << "./injector <input.c> <output.c>\n";
+  const std::ifstream input(argv[1]);
+  GoalInjector::RunGoalInjectorA(input, argv[2]);
+  return 0;
+}