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