#include <assert.h>
#include <quiz.h>
#include "simplify_utils.h"

using namespace Poincare;

QUIZ_CASE(poincare_simplify_addition_integer) {
  assert(simplifies_to("1", "1"));
  assert(simplifies_to("1+2", "3"));
  assert(simplifies_to("1+A", "1+A"));
  assert(simplifies_to("1+2+3+4+5+6+7", "28"));
  assert(simplifies_to("1+2+3+4+5+A+6+7", "28+A"));
  assert(simplifies_to("A*(0+0)", "0"));
}