diff options
| author | Gibheer <gibheer+git@zero-knowledge.org> | 2023-09-05 15:23:43 +0200 |
|---|---|---|
| committer | Gibheer <gibheer+git@zero-knowledge.org> | 2023-09-05 15:23:43 +0200 |
| commit | 71cd89a4f1b5d99a48dd02d4e87d1e461b5c94dc (patch) | |
| tree | c67c257a34727d9766074486696c60dc58b547ca /d00e3f4a410ef27d2aa9c8eee08ec9146a4b2fa7 | |
| parent | 26a4ca6ab56d23054f606bc378ba355cebce485a (diff) | |
add debug log support for the checker
This makes it possible to use this library and get a debug checker
output.
Diffstat (limited to 'd00e3f4a410ef27d2aa9c8eee08ec9146a4b2fa7')
0 files changed, 0 insertions, 0 deletions