Zartaj Majeed

Thanks for looking into this - adding the state as you show looks good to me - couple suggestions to improve the output 1. report total and duplicate/unique counts 2....

Thanks for elaborating Akim - I think I understand the difference between duplicate counterexamples and two SR conflicts being counted as one - I'll need to go back to the...

I was not able to find any docs beyond `info flex` for the `flex -S` option: ```bash '-SFILE, --skel=FILE' overrides the default skeleton file from which 'flex' constructs its scanners....

A script `skelfromc.sh` to generate a skeleton file from `flex.skl` that works with `flex -S`. See above comment for explanation. ```bash #!/bin/bash # skelfromc.sh # a script to generate a...

I think using `yyless` as advised in this FAQ in the info file `doc/flex.texi` helps: [How can I make REJECT cascade across start condition boundaries?](https://github.com/westes/flex/blob/master/doc/flex.texi#L5711) Something like - moving the...

You may find my comment and script in https://github.com/westes/flex/issues/303 useful. From what you describe it seems the skeleton file format has changed in incompatible ways

The `yy_init` references you show from the generated C++ lexer are for the `yyFlexLexer` member in `FlexLexer.h`. Is it possible your C++ lexer class does not have `yyFlexLexer` as a...

Are you simply trying to compile a C lexer as C++? In that case you should not use `%option c++` - this option requires you to use `yyFlexLexer` class from...

Could you provide a reproducible test case that shows yyinput() does not return EOF on end of file? Isn't the code change you've pointed to what's described in chapter 9...

You're right - `input()` is shown returning EOF on end of file in some parts of flex docs while it returns 0 in other places - I found the Posix...