diff options
author | Gibheer <gibheer+git@zero-knowledge.org> | 2021-12-02 15:55:48 +0100 |
---|---|---|
committer | Gibheer <gibheer+git@zero-knowledge.org> | 2021-12-02 15:55:48 +0100 |
commit | 0639a504ebcc48030f8eefd80839738cfb89a583 (patch) | |
tree | f7d8ad5e16f995088c48fc2aec4341bf4784666e /README.md | |
parent | e2b479c34fcee4c41009fc9e8fe869831fbd494f (diff) |
add basic infrastructure for writing a checker
These are the first components to interact with the database in a
predefined way to write a checker instance.
CheckExec serves as an example implementing the Executor interface.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions