Files
Upsilon/poincare/test/simplify_addition.cpp
Felix Raimundo 44ec987008 Add is_identical_to util in tests.
Change-Id: I8b55a228e1bd27e4c7b72891ff887bdc15b02fad
2016-04-11 12:47:24 +02:00

13 lines
369 B
C++

#include <assert.h>
#include <quiz.h>
#include "simplify_utils.h"
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"));
}