/** @file main.c
 * @brief Caller Hash H1 de mutaciones y consultas C observadas.
 * @details Enteros C y capacidad fija; recrear libera primero la instancia anterior.
 * Un fallo real de reserva se informa y sale por cleanup. No inyecta fallos QA.
 * Consultas ausentes se reproducen; validaciones rechazadas no llaman C.
 */
#include "tad_tabla_hash.h"
#include <stdio.h>
#include <limits.h>

/** @brief Ejecuta el historial y libera todos los objetos.
 * @return 0 en exito; 1 ante fallo de reserva o insercion.
 */
int main(void) {
    TablaHash tabla = {0};
    int status = 0;
    th_inicializar(&tabla, 17);
    if (!tabla.buckets) { status = 1; goto cleanup; }
    printf("state:%d:%d\n", tabla.capacidad, tabla.cantidad);
cleanup:
    th_destruir(&tabla);
    return status;
}
