projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0b2506b) | patch
Make uncovered-api-functions.py exit with 1 if something is not covered (#8360)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Tue, 22 Mar 2022 20:33:11 +0000 (21:33 +0100)
committerGitHub <noreply@github.com>
Tue, 22 Mar 2022 20:33:11 +0000 (20:33 +0000)
commita1b3a4d35105de63f08745ef0a4cce33964a971c
tree19b93adcc697f1cc9cfb063f8451c5dd4be3cc58tree
parent0b2506b8db508f6fa1320e7534cd1b74cebffb22commit | diff
Make uncovered-api-functions.py exit with 1 if something is not covered (#8360)

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 diff | blob | history