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 53c90db commit 0f69bc9Copy full SHA for 0f69bc9
CODEOWNERS
@@ -45,13 +45,6 @@ src/cpp/ @kroening @tautschnig @peterschrammel
45
46
# These files change frequently and changes are low-risk
47
48
-src/util/irep_ids.def @diffblue/cbmc-developers
49
-
50
-unit/ @diffblue/cbmc-developers
51
-regression/ @diffblue/cbmc-developers
52
-jbmc/unit/ @diffblue/cbmc-developers
53
-jbmc/regression/ @diffblue/cbmc-developers
54
55
scripts/ @diffblue/devops @thk123 @forejtv @peterschrammel
56
.travis.yml @diffblue/devops @thk123 @forejtv @peterschrammel
57
appveyor.yml @diffblue/devops @thk123 @forejtv @peterschrammel
0 commit comments