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