/*
 * This file contains the test main function, which is auto generated by catch2
 */

#include <catch2/catch_test_macros.hpp>