|
Defines |
| #define | DIFF(D1, D2) dbm_printDiff(stdout, D1, D2, size) |
| #define | DBM_EQUAL(D1, D2) ASSERT(dbm_areEqual(D1,D2,size), DIFF(D1,D2)) |
| #define | ADBM(NAME) raw_t *NAME = allocDBM(size) |
| #define | AVECT(NAME) int32_t *NAME = allocPt(size) |
| #define | MAXRANGE 10000 |
| #define | RANGE() ((rand()%MAXRANGE)+1) |
| #define | PROGRESS() debug_spin(stderr) |
| #define | DBM(I, J) dbm[(I)*dim+(J)] |
| #define | ENDL printf(" \n") |
| #define | DBM_GEN(D) |
Functions |
| void | test_diagonalExtrapolateMaxBounds (raw_t *dbm, cindex_t dim, const int32_t *max) |
| void | test_diagonalExtrapolateLUBounds (raw_t *dbm, cindex_t dim, const int32_t *lower, const int32_t *upper) |
| static raw_t * | allocDBM (uint32_t dim) |
| static int32_t * | allocPt (uint32_t dim) |
| static void | test (uint32_t size) |
| int | main (int argc, char *argv[]) |
Variables |
| static uint32_t | allDBMs = 0 |
| static uint32_t | goodDBMs = 0 |