mirror of
https://github.com/UpsilonNumworks/Upsilon.git
synced 2026-03-18 21:30:38 +01:00
56 lines
1.5 KiB
C++
56 lines
1.5 KiB
C++
#include "quiz.h"
|
|
#include "symbols.h"
|
|
#include <ion.h>
|
|
#include <poincare/init.h>
|
|
#include <poincare/tree_pool.h>
|
|
#include <poincare/exception_checkpoint.h>
|
|
|
|
void quiz_print(const char * message) {
|
|
Ion::Console::writeLine(message);
|
|
}
|
|
|
|
static inline void ion_main_inner() {
|
|
int i = 0;
|
|
while (quiz_cases[i] != NULL) {
|
|
QuizCase c = quiz_cases[i];
|
|
quiz_print(quiz_case_names[i]);
|
|
int initialPoolSize = Poincare::TreePool::sharedPool()->numberOfNodes();
|
|
quiz_assert(initialPoolSize == 0);
|
|
c();
|
|
int currentPoolSize = Poincare::TreePool::sharedPool()->numberOfNodes();
|
|
quiz_assert(initialPoolSize == currentPoolSize);
|
|
i++;
|
|
}
|
|
quiz_print("ALL TESTS FINISHED");
|
|
#ifdef PLATFORM_DEVICE
|
|
while (1) {
|
|
Ion::Timing::msleep(100000);
|
|
}
|
|
#endif
|
|
}
|
|
|
|
|
|
void ion_main(int argc, const char * const argv[]) {
|
|
Ion::Backlight::init();
|
|
Poincare::Init(); // Initialize Poincare::TreePool::sharedPool
|
|
#if !PLATFORM_DEVICE
|
|
/* s_stackStart must be defined as early as possible to ensure that there
|
|
* cannot be allocated memory pointers before. Otherwise, with MicroPython for
|
|
* example, stack pointer could go backward after initialization and allocated
|
|
* memory pointers could be overlooked during mark procedure. */
|
|
volatile int stackTop;
|
|
Ion::setStackStart((void *)(&stackTop));
|
|
#endif
|
|
|
|
Poincare::ExceptionCheckpoint ecp;
|
|
if (ExceptionRun(ecp)) {
|
|
ion_main_inner();
|
|
} else {
|
|
// There has been a memory allocation problem
|
|
#if POINCARE_TREE_LOG
|
|
Poincare::TreePool::sharedPool()->log();
|
|
#endif
|
|
quiz_assert(false);
|
|
}
|
|
}
|