|
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 |