From 257052f424b0d33671b4be88106adcebfad8c6c2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9a=20Saviot?= Date: Mon, 3 Sep 2018 15:07:56 +0200 Subject: [PATCH] [poincare] Init poincare (the shared pool) before running tests --- quiz/src/runner.cpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/quiz/src/runner.cpp b/quiz/src/runner.cpp index fa266a8fe..a14bbf31d 100644 --- a/quiz/src/runner.cpp +++ b/quiz/src/runner.cpp @@ -2,6 +2,7 @@ #include "symbols.h" #include #include +#include #include void quiz_print(const char * message) { @@ -21,6 +22,9 @@ void quiz_print(const char * message) { } void ion_main(int argc, char * argv[]) { + // Initialize Poincare::TreePool::sharedPool + Poincare::init(); + int i = 0; while (quiz_cases[i] != NULL) { QuizCase c = quiz_cases[i];