#include <test_threads.h>
#include <test_helper.h>
#include <spawn/spawn.h>

void do_test_threads(void) {
    debug_printf("[do_test_threads]\n");

    struct spawninfo *si = malloc(sizeof(struct spawninfo));
    domainid_t *pid = malloc(sizeof(domainid_t));

    CHECK_ERR(spawn_load_by_name("mallocator", si, pid));
}