// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
// -*- mode: C++ -*-
//
// Copyright 2021 Google LLC
//
// Licensed under the Apache License v2.0 with LLVM Exceptions (the
// "License"); you may not use this file except in compliance with the
// License.  You may obtain a copy of the License at
//
//     https://llvm.org/LICENSE.txt
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
//
// Author: Giuliano Procida

#include "error.h"

#include <catch2/catch.hpp>

namespace Test {

TEST_CASE("Check") {
  CHECK_NOTHROW(stg::Check(true) << "phew");
  CHECK_THROWS(stg::Check(false) << "oh dear");
}

TEST_CASE("Die") {
  CHECK_THROWS(stg::Die() << "Mr Bond");
}

}  // namespace Test