[iss-73]

Squashed commit of the following:

commit bc0bb2d
Author: joaquin.f.fernandez <joaquin.f.fernandez@gmail.com>
Date:   Fri Aug 2 11:56:05 2024 -0300

    Generate and call sbg-eval binary for causalization.

commit 23c1127
Author: joaquin.f.fernandez <joaquin.f.fernandez@gmail.com>
Date:   Fri Aug 2 11:55:27 2024 -0300

    Updated sbg makefile.

commit d608d8a
Author: joaquin.f.fernandez <joaquin.f.fernandez@gmail.com>
Date:   Fri Aug 2 11:55:10 2024 -0300

    Minor sonar lint fixes.

commit 2c586ac
Author: joaquin.f.fernandez <joaquin.f.fernandez@gmail.com>
Date:   Fri Aug 2 11:54:40 2024 -0300

    Updated stub test file.

commit c5baad8
Author: joaquin.f.fernandez <joaquin.f.fernandez@gmail.com>
Date:   Fri Aug 2 11:53:45 2024 -0300

    Updated VS code settings.

commit 8a78825
Author: joaquin.f.fernandez <joaquin.f.fernandez@gmail.com>
Date:   Fri Aug 2 11:53:32 2024 -0300

    Updated pre-commit hooks.

commit 9d89bc9
Author: joaquin.f.fernandez <joaquin.f.fernandez@gmail.com>
Date:   Fri Aug 2 11:52:50 2024 -0300

    Added SBG input file generators.

commit 7c329df
Author: joaquin.f.fernandez <joaquin.f.fernandez@gmail.com>
Date:   Fri Aug 2 11:52:19 2024 -0300

    Deleted matching graph builder files.

.hooks/README.md

@@ -1,3 +1,3 @@
 Configure hooks locally by running:
 
-git config core.hooksPath .hooks
+git config --local core.hooksPath .hooks

.hooks/pre-commit

@@ -7,18 +7,18 @@ def get_files():
                                     '--name-only', 'HEAD']).split()
 
 def apply_code_style():
-    files = filter(lambda x: x.find('tests/*') == -1, get_files())
+    files = filter(lambda x: x.find(b'tests/system/gt_data') == -1, get_files())
 
-    files = filter(lambda x: x.endswith('.c') or
-                             x.endswith('.h') or
-                             x.endswith('.cpp'), files)
+    files = filter(lambda x: x.endswith(b'.c') or
+                             x.endswith(b'.h') or
+                             x.endswith(b'.cpp'), files)
     for f in files:
-      print("Apply code style to: " + f)
+      print("Apply code style to: " + str(f))
       subprocess.check_output(['clang-format-7', '-i', f])
       subprocess.check_output(['git', 'add', f])
 
 def main():
     apply_code_style()
 
 if (__name__ == '__main__'):
-    main()
+    main()

.vscode/settings.json

@@ -25,6 +25,55 @@
         "type_traits": "cpp",
         "utility": "cpp",
         "iostream": "cpp",
-        "thread": "cpp"
-    }
+        "thread": "cpp",
+        "cctype": "cpp",
+        "clocale": "cpp",
+        "cmath": "cpp",
+        "csignal": "cpp",
+        "cstdarg": "cpp",
+        "cstddef": "cpp",
+        "cstdio": "cpp",
+        "cstdlib": "cpp",
+        "cstring": "cpp",
+        "ctime": "cpp",
+        "cwchar": "cpp",
+        "cwctype": "cpp",
+        "chrono": "cpp",
+        "compare": "cpp",
+        "complex": "cpp",
+        "concepts": "cpp",
+        "condition_variable": "cpp",
+        "cstdint": "cpp",
+        "map": "cpp",
+        "set": "cpp",
+        "unordered_map": "cpp",
+        "unordered_set": "cpp",
+        "exception": "cpp",
+        "functional": "cpp",
+        "iterator": "cpp",
+        "numeric": "cpp",
+        "optional": "cpp",
+        "ratio": "cpp",
+        "source_location": "cpp",
+        "system_error": "cpp",
+        "iomanip": "cpp",
+        "iosfwd": "cpp",
+        "istream": "cpp",
+        "limits": "cpp",
+        "mutex": "cpp",
+        "new": "cpp",
+        "ranges": "cpp",
+        "stop_token": "cpp",
+        "streambuf": "cpp",
+        "cinttypes": "cpp",
+        "typeindex": "cpp",
+        "typeinfo": "cpp",
+        "variant": "cpp",
+        "cfenv": "cpp",
+        "valarray": "cpp",
+        "rope": "cpp",
+        "slist": "cpp",
+        "regex": "cpp"
+    },
+    "sonarlint.pathToCompileCommands": "${workspaceFolder}/compile_commands.json"
 }

causalize/sbg_implementation/Makefile.include

@@ -8,6 +8,8 @@ all: $(CAUSALIZE_SBG)
 # Sources
 CAUSALIZE_SBG_SRC := \
     $(CAUSALIZE_SBG_DIR)/main.cpp\
+    $(CAUSALIZE_SBG_DIR)/generate_sbg_input.cpp\
+	$(UTIL_DIR)/ast_visitors/constant_expression.cpp \
 	$(UTIL_DIR)/ast_visitors/matching_exps.cpp \
 	$(UTIL_DIR)/ast_visitors/pwl_map_values.cpp \
 	$(UTIL_DIR)/logger.cpp