// Part of the Carbon Language project, under the Apache License v2.0 with LLVM
// Exceptions. See /LICENSE for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception

#include <string>

#include "llvm/ADT/SmallVector.h"
#include "toolchain/driver/driver_file_test_base.h"

namespace Carbon::Testing {
namespace {

class CheckFileTest : public DriverFileTestBase {
 public:
  using DriverFileTestBase::DriverFileTestBase;

  auto GetDefaultArgs() -> llvm::SmallVector<std::string> override {
    // TODO: Remove the "--dump-raw-semantics-ir" once the textual IR format
    // stabilizes.
    return {"compile", "--phase=check", "--dump-raw-semantics-ir",
            "--dump-semantics-ir", "%s"};
  }
};

}  // namespace

CARBON_FILE_TEST_FACTORY(CheckFileTest);

}  // namespace Carbon::Testing