// Author: Diffblue Ltd.

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