diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-01 12:30:31 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-01 19:30:31 +0000 |
commit | a5e08f68afc53b181e9558d97495d50c53b11f48 (patch) | |
tree | 29c8f8a2729ed66fcd6615c76fd6d4d82253fcbe /cmake/CodeCoverage.cmake | |
parent | 3f4b33522bd04b509b73267550d24c44e61998ce (diff) |
Delete hashsmt example. (#6263)
This example does not serve the purpose of documenting how to use the
new API. It uses Command, which is not available via the API, and it's
not worth the effort to migrate it.
Diffstat (limited to 'cmake/CodeCoverage.cmake')
0 files changed, 0 insertions, 0 deletions