Opened 9 years ago

Closed 9 years ago

Last modified 9 years ago

#171 closed defect (fixed)

uaflex: wrong DFA for Ada strings

Reported by: Maxim Reznik Owned by:
Priority: major Milestone: 0.3.0
Component: Matreshka Version:
Keywords: Cc:

Description (last modified by Maxim Reznik)

wrong DFA for next regexp:
\"([^"]+|\"\")*\"

Change History (5)

comment:1 by Maxim Reznik, 9 years ago

Description: modified (diff)

comment:2 by Maxim Reznik, 9 years ago

In [2431]:

  • matreshka-internals-finite_automatons.adb

(Walk_List): Check nullable on whole rest of list, not just next item
(Minimize): Adopt to Ada 2005 (GNAT GPL)
Drop trailing spaces

Refs #171

comment:3 by Maxim Reznik, 9 years ago

In [2432]:

Add test Refs #171

comment:4 by Maxim Reznik, 9 years ago

Resolution: fixed
Status: newclosed

comment:5 by vadim.godunko, 9 years ago

Milestone: 0.3.0
Note: See TracTickets for help on using tickets.