Skip to content
Find file Blame History Permalink
  • 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.
    64df4fbc
To find the state of this project's repository at the time of any of these versions, check out the tags.