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

#define PROCESS_COUNT 5

void do_test_spawn(void) {
  // spawn multiple processes

  struct spawninfo si[PROCESS_COUNT];
  domainid_t pid[PROCESS_COUNT];
  for(uint i = 0; i < PROCESS_COUNT; ++i) {
    CHECK_ERR(spawn_load_by_name("hello", &(si[i]), &(pid[i])));
  }
}