java_test(
    name = "CharClassesQuickcheck",
    timeout = "short",
    srcs = [
        "CharClassesGen.java",
        "CharClassesQuickcheck.java",
    ],
    deps = [
        "IntCharSetQuickcheck",
        "//jflex/src/main/java/jflex/base",
        "//jflex/src/main/java/jflex/chars",
        "//jflex/src/main/java/jflex/core",
        "//jflex/src/main/java/jflex/core/unicode",
        "//jflex/src/test/java/jflex/chars",
        "//third_party/com/google/truth",
        "//third_party/com/pholser/quickcheck",
    ],
)

java_test(
    name = "IntCharSetQuickcheck",
    timeout = "short",
    srcs = [
        "IntCharSetGen.java",
        "IntCharSetQuickcheck.java",
    ],
    deps = [
        "//jflex/src/main/java/jflex/chars",
        "//jflex/src/main/java/jflex/core",
        "//jflex/src/main/java/jflex/core/unicode",
        "//jflex/src/test/java/jflex/chars",
        "//third_party/com/google/truth",
        "//third_party/com/pholser/quickcheck",
    ],
)

java_test(
    name = "IntCharSetTest",
    timeout = "short",
    srcs = ["IntCharSetTest.java"],
    deps = [
        "//jflex/src/main/java/jflex/chars",
        "//jflex/src/main/java/jflex/core",
        "//jflex/src/main/java/jflex/core/unicode",
        "//third_party/com/google/truth",
    ],
)
