java_test(
    name = "StateSetQuickcheck",
    timeout = "short",
    srcs = [
        "StateSetGen.java",
        "StateSetQuickcheck.java",
    ],
    deps = [
        "//jflex/src/main/java/jflex/state",
        "//third_party/com/google/truth",
        "//third_party/com/pholser/quickcheck",
    ],
)
