#include "assert.h"
#include "output.h"

[[noreturn]] void assertion_failed(const char* exp, const char* func,
                                   const char* file, int line) {
  (void)exp;
  (void)func;
  (void)file;
  (void)line;
  DBG << "Assertion failed: " << exp << "\nin function: " << func << "\nfrom file: \"" << file << "\" in line " << line << flush;
  // TODO: Print error message (in debug window)
  // TODO: Then stop the current core permanently
  //       Use appropriate method from class Core to do so.
  while (true) {
  }  // wait forever so we can mark this as [[noreturn]]
}