// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
// -*- Mode: C++ -*-
//
// Copyright (C) 2022 Google, Inc.
//
// Author: Matthias Maennich

#define CATCH_CONFIG_MAIN
#include <catch2/catch.hpp>