/* Verification of LLRB-Tree height in put operations.
 * LLRB-Tree allows (max-height) <= 2*(min-height).
 */

#include <stdlib.h>
#include <stdio.h>
#include <time.h>
#include "llrbContextWithVerifier.h"

__code meta(struct Context* context, enum Code next) {
    if (next == Put) {
        verify_tree_height(context->data[Tree]->tree.root);
    }
    goto (context->code[next])(context);
}

__code start_code(struct Context* context, enum Code next) {
    unsigned int seed = (unsigned int)time(NULL);

    printf("--- srand(%u)\n", seed);
    goto meta(context, next);
}

__code exit_code(struct Context* context) {
    free(context->code);
    free(context->data);
    free(context->heapStart);
    goto exit(0);
}