19 FILE * fp = fopen(fn,
"w");
28 FILE * fp = fopen(fn,
"r");
163 char * ret = mkdtemp(
prefix);
175 const struct CMUnitTest tests[] = {
void message(int where, const char *fmt,...)
void hci_init(HCIManager *manager, char *prefix, double WallClockTimeLimit, double AutoCheckPointTime, int FOFEnabled)
int hci_query(HCIManager *manager, HCIAction *action)
void hci_override_now(HCIManager *manager, double now)
char * fastpm_strdup_printf(const char *fmt,...)
double LongestTimeBetweenQueries
static int teardown(void **state)
static void test_hci_auto_checkpoint(void **state)
static void touch(char *prefix, char *b)
static void test_hci_auto_checkpoint2(void **state)
static void test_hci_terminate(void **state)
static int exists(char *prefix, char *b)
static void test_hci_stop(void **state)
static void test_hci_timeout(void **state)
static int setup(void **state)
static void test_hci_checkpoint(void **state)
static void test_hci_no_action(void **state)