projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
0b2506b
)
Make uncovered-api-functions.py exit with 1 if something is not covered (#8360)
author
Gereon Kremer
<gereon.kremer@cs.rwth-aachen.de>
Tue, 22 Mar 2022 20:33:11 +0000
(21:33 +0100)
committer
GitHub
<noreply@github.com>
Tue, 22 Mar 2022 20:33:11 +0000
(20:33 +0000)
This simplifies the integration of this script in CI or buildbot jobs. The idea is to automatically check that the whole API is covered by unit tests, and that the language bindings do the same.
contrib/uncovered-api-functions.py
patch
|
blob
|
history
diff --git
a/contrib/uncovered-api-functions.py
b/contrib/uncovered-api-functions.py
index 17659fc21fccd911ede0fe219442aeb2c9610add..a3b152e15b61e0aba98ff66b55077eee5987ac85 100755
(executable)
--- a/
contrib/uncovered-api-functions.py
+++ b/
contrib/uncovered-api-functions.py
@@
-3,6
+3,7
@@
import json
import re
import subprocess
+import sys
def demangle(name):
@@
-42,3
+43,6
@@
if __name__ == "__main__":
print('starting in {filename}:{startline}'.format(**nc))
print('function {function}'.format(**nc))
print('')
+ if notcovered:
+ sys.exit(1)
+ sys.exit(0)