#include "util.h"
#include "platform.h"
#include <stdarg.h>
#include <stdio.h>

noreturn void assume__failed(const char *file, int line, const char *expr) {
  panic_begin();
  fprintf(stderr, "%s:%d: assertion failed: %s\n", file, line, expr);
  panic_end();
}

noreturn void todo__impl(const char *file, int line, const char *fmt, ...) {
  panic_begin();
  printf("%s:%d: TODO: ", file, line);
  va_list ap;
  va_start(ap, fmt);
  vprintf(fmt, ap);
  va_end(ap);
  panic_end();
}