java_test(
    name = "DfaTest",
    srcs = ["DfaTest.java"],
    deps = [
        "//jflex/src/main/java/jflex/dfa",
        "//jflex/src/main/java/jflex/dfa:deprecated_dfa",
        "//third_party/com/google/truth",
    ],
)
