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.
1 parent 1c1fb76 commit 763f6a2Copy full SHA for 763f6a2
CODEOWNERS
@@ -45,7 +45,7 @@
45
/src/goto-analyzer/ @martin-cs @chrisr-diffblue @peterschrammel
46
/src/goto-harness/ @martin-cs @chrisr-diffblue @peterschrammel
47
/src/goto-instrument/ @martin-cs @chrisr-diffblue @peterschrammel @smowton
48
-/src/goto-instrument/code_contract.* @tautschnig @feliperodri @SaswatPadhi
+/src/goto-instrument/code_contracts.* @tautschnig @feliperodri @SaswatPadhi
49
/src/goto-diff/ @tautschnig @peterschrammel
50
/src/jsil/ @kroening @tautschnig
51
/src/memory-analyzer/ @tautschnig @chrisr-diffblue
0 commit comments