/**
 * int-testing-tools.h
 *   My favorite testing tools, specialized for integers.
 */
 
#ifndef __INT_TESTING_TOOLS__
#define __INT_TESTING_TOOLS__

#include <stdio.h>

#include "clear-definitions.h"
#define TYPE int
#define PREFIX(FUN) FUN
#define MAY_PRECEDE(X,Y) (X <= Y)
#define EQUALS(X,Y) (X == Y)

#include "generic-testing-tools.h"

void print_int_array (int values[], int size);

#endif // __INT_TESTING_TOOLS__