#define CATCH_CONFIG_MAIN
#include "./exprs/tests.cpp"
#include "catch2/catch.hpp"