Alexandre Duret-Lutz authored
This occured when parsing the HOA automaton generated by Rabinizer3 for a very long LTL formula with many nested U. State labels could easily be more than 40k characters. * src/parseaut/scanaut.ll: Fix that. * src/tests/parseaut.test: New test case. * NEWS: Mention the fix.64df4fbc
To find the state of this project's repository at the time of any of these versions, check out the tags.