/*
 * Copyright information and license terms for this software can be
 * found in the file LICENSE that is included with the distribution
 */

extern void pvDatabaseAllTests(void);

int main(int argc, char **argv)
{
  pvDatabaseAllTests();
  return 0;
}