#include "harness/trace.h"
#include <stdarg.h>
#include <stddef.h>
#include <stdio.h>
#include <sys/types.h>
int harness_debug_level = 4;
void debug_printf(const char* fmt, const char* fn, const char* fmt2, ...) {
va_list ap;
}
void panic_printf(const char* fmt, const char* fn, const char* fmt2, ...) {
va_list ap;
FILE
* fp
= fopen("dethrace.log", "w");
if (fp != NULL) {
}
if (fp != NULL) {
}
if (fp != NULL) {
}
}
void debug_print_vector3(const char* fmt, const char* fn, char* msg, br_vector3* v) {
printf("%s %f, %f, %f\n", msg
, v
->v
[0], v
->v
[1], v
->v
[2]);
}
void debug_print_matrix34(const char* fmt, const char* fn, char* msg, br_matrix34* m) {
printf("matrix34 \"%s\"\n", msg
);
for (int i = 0; i < 4; i++) {
printf(" %f, %f, %f\n", m
->m
[i
][0], m
->m
[i
][1], m
->m
[i
][2]);
}
}
void debug_print_matrix4(const char* fmt, const char* fn, char* msg, br_matrix4* m) {
printf("matrix34 \"%s\"\n", msg
);
for (int i = 0; i < 4; i++) {
printf(" %f, %f, %f, %f\n", m
->m
[i
][0], m
->m
[i
][1], m
->m
[i
][2], m
->m
[i
][3]);
}
}
// int count_open_fds(void) {
// DIR* dp = opendir("/dev/fd/");
// struct dirent* de;
// int count = -3; // '.', '..', dp
// if (dp == NULL)
// return -1;
// while ((de = readdir(dp)) != NULL)
// count++;
// (void)closedir(dp);
// return count;
// }