Skip to content

Commit 14ec594

Browse files
Add code owners for the new goto-harness tool
1 parent 7c54057 commit 14ec594

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

CODEOWNERS

+1
Original file line numberDiff line numberDiff line change
@@ -40,6 +40,7 @@
4040
# These files change frequently and changes are medium-risk
4141

4242
/src/goto-analyzer/ @martin-cs @chrisr-diffblue @peterschrammel @danpoe @hannes-steffenhagen-diffblue
43+
/src/goto-harness/ @martin-cs @chrisr-diffblue @peterschrammel @danpoe @hannes-steffenhagen-diffblue
4344
/src/goto-instrument/ @martin-cs @chrisr-diffblue @peterschrammel @danpoe @hannes-steffenhagen-diffblue
4445
/src/goto-diff/ @tautschnig @peterschrammel
4546
/jbmc/src/jbmc/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschrammel

0 commit comments

Comments
 (0)