test_validate.cpp

Go to the documentation of this file.

#include <criterion/criterion.h>
 
Test(verifier, test_1) {
    // TODO add test cases for the verifier
}