Add sleep_millis function
#include "backend.h"
#include "util.h"
+#include <unistd.h>
#include <pthread.h>
pthread_mutex_t dbg_mutex;
@@ -29,3 +30,8 @@ void dbg_fprint_bytes(FILE* out_file, void* bytes, int byte_count) {
pthread_mutex_unlock(&dbg_mutex);
#endif
}
+
+
+void sleep_millis(int millis) {
+ usleep(millis * 1000);
+}
