cc_test(
  name = "verifier",
  srcs = ["VerifierTest.cpp"],
  deps = [
    "//willow",
    "@catch2//:catch2_main"
  ],
  tags = ["ir"]
)

test_suite(
  name = "ir_tests",
  tests = [
    ":verifier"
  ],
)