/*
 * Copyright 2020, Google, LLC.
 * SPDX-License-Identifier: BSD-3-Clause
 */

package de.jflex.testcase.caseless_jlex;

import de.jflex.testing.testsuite.JFlexTestRunner;
import de.jflex.testing.testsuite.annotations.TestSpec;
import org.junit.Test;
import org.junit.runner.RunWith;

/** Tests that the generator throws a warning about "hello" being swallowed by "[a-z]+". */
@RunWith(JFlexTestRunner.class)
@TestSpec(
    lex = "javatests/de/jflex/testcase/caseless_jlex/caseless.flex",
    sysout = "javatests/de/jflex/testcase/caseless_jlex/caseless.sysout",
    quiet = true,
    jlexCompat = true)
public class GenerationTest {
  @Test
  public void ok() {}
}
