test_update.cpp

Go to the documentation of this file.

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