| 379 | } |
| 380 | |
| 381 | void test_unsignedTightenRange() { |
| 382 | UnsignedRange *r = UnsignedRange_New(); |
| 383 | |
| 384 | // X < 100 |
| 385 | UnsignedRange_TightenRange(r, OP_LT, 100); |
| 386 | TEST_ASSERT(r->max == 100); |
| 387 | TEST_ASSERT(!r->include_max); |
| 388 | |
| 389 | // X <= 100 |
| 390 | UnsignedRange_TightenRange(r, OP_LE, 100); |
| 391 | TEST_ASSERT(r->max == 100); |
| 392 | TEST_ASSERT(!r->include_max); |
| 393 | |
| 394 | // X >= 50 |
| 395 | UnsignedRange_TightenRange(r, OP_GE, 50); |
| 396 | TEST_ASSERT(r->min == 50); |
| 397 | TEST_ASSERT(r->include_min); |
| 398 | |
| 399 | // X > 50 |
| 400 | UnsignedRange_TightenRange(r, OP_GT, 50); |
| 401 | TEST_ASSERT(r->min == 50); |
| 402 | TEST_ASSERT(!r->include_min); |
| 403 | |
| 404 | // 75 <= X >= 75 |
| 405 | UnsignedRange_TightenRange(r, OP_EQUAL, 75); |
| 406 | TEST_ASSERT(r->min == 75); |
| 407 | TEST_ASSERT(r->include_min); |
| 408 | TEST_ASSERT(r->max == 75); |
| 409 | TEST_ASSERT(r->include_max); |
| 410 | |
| 411 | TEST_ASSERT(UnsignedRange_IsValid(r)); |
| 412 | UnsignedRange_Free(r); |
| 413 | } |
| 414 | |
| 415 | void test_unsignedContainsValue() { |
| 416 | UnsignedRange *r = UnsignedRange_New(); |
nothing calls this directly
no test coverage detected