Skip to content

Commit b96edca

Browse files
committed
Add codeowners for incremental SMT2
So that the team currently implementing this piece of work can approve PRs on it.
1 parent 3a1450c commit b96edca

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
@@ -54,6 +54,7 @@
5454
/jbmc/src/jdiff/ @smowton @peterschrammel
5555
/src/cpp/ @kroening @tautschnig @peterschrammel
5656
/src/solvers/smt2 @kroening @martin-cs @tautschnig @peterschrammel @allredj @romainbrenguier
57+
/src/solvers/smt2_incremental @peterschrammel @thomasspriggs @NlightNFotis @TGWDB @chrisr-diffblue
5758
/src/statement-list/ @kroening @tautschnig @peterschrammel @pkesseli
5859

5960
/cmake/ @diffblue/diffblue-opensource

0 commit comments

Comments
 (0)