Merge remote-tracking branch 'origin/main' into cospike-integration

This commit is contained in:
abejgonzalez
2023-08-30 18:06:31 -07:00
26 changed files with 36 additions and 48 deletions

View File

@@ -1,3 +1,3 @@
*
!.gitignore
*Makefile
*Makefile

View File

@@ -27,4 +27,3 @@ done
target_args="$target_args +permissive-off"
INPUT_ARGS="$regular_args $target_args"

View File

@@ -62,4 +62,3 @@ PREPROC_DEFINES = \
-define RANDOMIZE_REG_INIT \
-define RANDOMIZE_GARBAGE_ASSIGN \
-define RANDOMIZE_INVALID_ASSIGN