#include "./pke-at-test-dummy.h"

#include <pke/pk.h>

int main(int argc, char *argv[])
{
	(void)argc;
	(void)argv;

	pk_test_group_get *fns[] = {
		pke_at_test_get_dummy
	};

	pk_test_run_test_groups(fns, 1);

	return 0;
}