crytic
diff --git a/‎.github/CODEOWNERS‎
Lines changed: 3 additions & 0 deletions b/‎.github/CODEOWNERS‎
Lines changed: 3 additions & 0 deletions
diff --git a/‎CODEOWNERS‎
Lines changed: 0 additions & 3 deletions b/‎CODEOWNERS‎
Lines changed: 0 additions & 3 deletions
@@ -0,0 +1,3 @@
+*                                  @anishnaik @bsamuels453 @james-miller-93 @Jaime-Iglesias
+/program-analysis/echidna/         @elopez
+/learn_evm/                        @bohendo
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+* @anishnaik @bsamuels453 @james-miller-93 @Jaime-Iglesias`
	`2`	`+/program-analysis/echidna/ @elopez`
	`3`	`+/learn_evm/ @bohendo`