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