• Alexandre Duret-Lutz's avatar
    fix "input buffer overflow, can't enlarge buffer..." · 64df4fbc
    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.
To find the state of this project's repository at the time of any of these versions, check out the tags.