/**
 * int-testing-tools.c
 *   Some fun testing tools for working with arrays of integers.
 */

#include "int-testing-tools.h"
#include "generic-testing-tools.c"

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

  if (size == 0)
    {
      printf ("{}");
      return;
    }

  printf ("{%3d", values[0]);
  for (i = 1; i < size; i++)
    printf(",%3d", values[i]);
  printf ("}");
} // print_int_array