/* file distribution_utest_main.cpp */

#define CATCH_CONFIG_MAIN
#include "catch2/catch.hpp"

/* end distribution_utest_main.cpp */