84 lines
2.4 KiB
C
84 lines
2.4 KiB
C
#include <criterion/criterion.h>
|
|
|
|
#include "eval.h"
|
|
|
|
TestSuite(eval_string);
|
|
|
|
static void do_success(const char *input, int exptected) {
|
|
int val;
|
|
|
|
cr_assert(eval_string(input, &val));
|
|
cr_assert_eq(val, exptected);
|
|
}
|
|
|
|
static void do_failure(const char *input) {
|
|
int val;
|
|
|
|
cr_assert_not(eval_string(input, &val));
|
|
}
|
|
|
|
#define SUCCESS(Name, Input) \
|
|
Test(eval_string, Name) { do_success(#Input, (Input)); }
|
|
|
|
#pragma GCC diagnostic push
|
|
#pragma GCC diagnostic ignored "-Wparentheses"
|
|
SUCCESS(one, 1)
|
|
SUCCESS(the_answer, 42)
|
|
SUCCESS(int_max, 2147483647)
|
|
SUCCESS(addition, 1 + 2)
|
|
SUCCESS(additions, 1 + 2 + 3 + 4)
|
|
SUCCESS(substraction, 1 - 2)
|
|
SUCCESS(substractions, 1 - 1 - 1)
|
|
SUCCESS(multiplication, 2 * 3)
|
|
SUCCESS(multiplications, 2 * 3 * 4)
|
|
SUCCESS(division, 6 / 3)
|
|
SUCCESS(divisions, 6 / 3 / 2)
|
|
SUCCESS(modulo, 6 % 5)
|
|
SUCCESS(modulos, 127 % 19 % 3)
|
|
SUCCESS(left_shift, 1 << 3)
|
|
SUCCESS(left_shifts, 1 << 2 << 3)
|
|
SUCCESS(left_shift_not_one, 42 << 3)
|
|
SUCCESS(right_shift, 1024 >> 3)
|
|
SUCCESS(right_shifts, 1 >> 2 >> 3)
|
|
SUCCESS(right_shift_not_one, 1337 >> 3)
|
|
SUCCESS(eq, 1 == 1)
|
|
SUCCESS(neq, 1 != 1)
|
|
SUCCESS(not_true, !1)
|
|
SUCCESS(not_false, !0)
|
|
SUCCESS(bit_not, ~0)
|
|
SUCCESS(bit_not_the_answer, ~42)
|
|
SUCCESS(bit_and, 0 & 1)
|
|
SUCCESS(bit_and_non_zero, 255 & 127)
|
|
SUCCESS(bit_xor, 0 ^ 1)
|
|
SUCCESS(bit_xor_non_zero, 255 ^ 127)
|
|
SUCCESS(and, 1 && 0)
|
|
SUCCESS(and_non_false, 1 && 2)
|
|
SUCCESS(or, 0 || 1)
|
|
SUCCESS(or_false, 0 || 0)
|
|
SUCCESS(ternary_true, 1 ? 12 : 27)
|
|
SUCCESS(ternary_false, 0 ? 12 : 27)
|
|
SUCCESS(arith_priorities, 1 + 2 * 3 % 4 * 52 / 3)
|
|
SUCCESS(parenthesis, (1 + 2) * 3)
|
|
SUCCESS(shift_priorities, 1 + 2 << 5 - 3 >> 1)
|
|
SUCCESS(bitwise_priorities, 3241235 ^ 1234 & 4321 | 94)
|
|
SUCCESS(boolean_priorities, 1 == 3 & 1 | 2048)
|
|
SUCCESS(ternary_priorities, 1 == 2 ? 1 << 3 - 1 >> 1 : 42 << 4)
|
|
SUCCESS(ternary_associativity, 1 == 1 ? 1 : 0 == 0 ? 2 : 3)
|
|
// Other operators
|
|
Test(eval_string, power) { do_success("4 ** 3 ** 2", 262144); }
|
|
Test(eval_string, power_explicit) { do_success("4 ** (3 ** 2)", 262144); }
|
|
Test(eval_string, power_priority) { do_success("- 2 ** 2", -4); }
|
|
#pragma GCC diagnostic pop
|
|
|
|
#define FAILURE(Name, Input) \
|
|
Test(eval_string, Name) { do_failure(Input); }
|
|
|
|
FAILURE(empty, "")
|
|
FAILURE(right_parenthesis, ")")
|
|
FAILURE(empty_parenthesis, "()")
|
|
FAILURE(trailing_operator, "1 +")
|
|
FAILURE(trailing_expression, "1 1")
|
|
FAILURE(double_operator, "1 * * 1")
|
|
FAILURE(prefix_as_infix, "1 ! 1")
|
|
FAILURE(infix_as_prefix, "*1")
|