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