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 /6f3e8d47722b8bd7fb60e07a2c3ab68394bda4d1 | |
| 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 '6f3e8d47722b8bd7fb60e07a2c3ab68394bda4d1')
0 files changed, 0 insertions, 0 deletions