Spider2/tests/dynarr_get1_death.c

#include "util.h"

int tests_dynarr_get1_death(int argc, char **argv) {
    int_dynarr_t a = dynarr_initi(int_dynarr_t);
    dynarr_get(a, 0);
    return 0;
}