/* ------------------------------------------------------------------
 * async_veri.h
 * Header file of async_veri.h
 * Declaration of variables and APIs.
 * ----------------------------------------------------------------*/

#ifndef STM_ASYNC_VERI_H
#define STM_ASYNC_VERI_H

#include <pthread.h>

#include "test_commands.h"

#define ASYNC_VERIFICATION_TIMEOUT_SECONDS (10) /* seconds */
#define MAX_ETB_LINE_BUF_SIZE (2 * MAX_LINE_BUF_SIZE)

/* variables */
extern pthread_t thread_async_id; /* async verification thread id */

/* APIs */
extern void set_async_verification_finished(bool);
extern bool get_async_verification_finished(void);
extern inline void INIT_ASYNC_VERI_LIST(void);
extern int append_async_verification_node(struct stm_test_run_node_type *);
extern int wait_for_async_verification(void);
/* Entry function of async verifcation thread */
extern void *thread_async_verification(void *param);

#endif /* STM_ASYNC_VERI_H */