blob: b41dfcd4c7697c5c06c0b589da059f1a7f369aac (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
cc_test(
name = "verifier",
srcs = ["VerifierTest.cpp"],
deps = [
"//willow",
"@catch2//:catch2_main"
],
tags = ["ir"]
)
test_suite(
name = "ir_tests",
tests = [
":verifier"
],
)
|