Function test_unsignedContainsValue

tests/unit/test_range.c:415–436

}

void test_unsignedContainsValue() {
	UnsignedRange *r = UnsignedRange_New();
	// 0 <= X < UINT64_MAX
	TEST_ASSERT(UnsignedRange_ContainsValue(r, 100));

	// X <= 100
	UnsignedRange_TightenRange(r, OP_LE, 100);
	TEST_ASSERT(!UnsignedRange_ContainsValue(r, 101));
	TEST_ASSERT(UnsignedRange_ContainsValue(r, 100));
	TEST_ASSERT(UnsignedRange_ContainsValue(r, 99));

	// X >= 0 AND X <= 0
	UnsignedRange_TightenRange(r, OP_EQUAL, 0);
	TEST_ASSERT(!UnsignedRange_ContainsValue(r, 1));
	TEST_ASSERT(UnsignedRange_ContainsValue(r, 0));

	// X > 0
	UnsignedRange_TightenRange(r, OP_GT, 0);
	TEST_ASSERT(!UnsignedRange_ContainsValue(r, 0));

	UnsignedRange_Free(r);
}

TEST_LIST = {
	{"numericRangeValidation", test_numericRangeValidation},