We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents d46f705 + 578765e commit cb8ad8eCopy full SHA for cb8ad8e
CODEOWNERS
@@ -56,7 +56,7 @@
56
/src/cpp/ @kroening @tautschnig @peterschrammel
57
/src/solvers/smt2 @kroening @martin-cs @peterschrammel @thomasspriggs @NlightNFotis @TGWDB
58
/src/solvers/smt2_incremental @peterschrammel @thomasspriggs @NlightNFotis @TGWDB @chrisr-diffblue
59
-/src/solvers/makefile @kroening @tautschnig @peterschrammel @chrisr-diffblue @thomasspriggs @NlightNFotis @TGWDB
+/src/solvers/Makefile @kroening @tautschnig @peterschrammel @chrisr-diffblue @thomasspriggs @NlightNFotis @TGWDB
60
/src/statement-list/ @kroening @tautschnig @peterschrammel @pkesseli
61
62
/cmake/ @diffblue/diffblue-opensource
0 commit comments