Skip to content

Commit 8bda4a2

Browse files
committed
Update CODEOWNERS to reflect string solver move
In 39a03aa several files were moved to solvers/strings, but CODEOWNERS was not updated accordingly.
1 parent 5530ca3 commit 8bda4a2

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

CODEOWNERS

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,7 @@
3131
/src/goto-programs/ @smowton @kroening @tautschnig @peterschrammel @pkesseli
3232
/src/util/ @smowton @kroening @tautschnig @peterschrammel @pkesseli
3333
/src/solvers/refinement @martin-cs @romainbrenguier @peterschrammel
34+
/src/solvers/strings @martin-cs @romainbrenguier @peterschrammel
3435
/jbmc/src/java_bytecode/ @smowton @mgudemann @thk123 @cristina-david @cesaro @pkesseli @NathanJPhillips @peterschrammel
3536
/src/analyses/ @martin-cs @peterschrammel @chrisr-diffblue @thk123 @smowton
3637
/src/pointer-analysis/ @martin-cs @peterschrammel @chrisr-diffblue @smowton

0 commit comments

Comments
 (0)