return to top
source
Reusable VNN-COMP-style artifact checkers. Example modules choose bundled/default paths; checker logic lives here.