• Alexandre Duret-Lutz's avatar
    hoa: add support for --ABORT-- · c12b2d63
    Alexandre Duret-Lutz authored
    * src/hoaparse/parsedecl.hh (hoa_abort): New structure.
    * src/hoaparse/hoascan.ll: Throw hoa_abort on --ABORT--.
    * src/hoaparse/hoaparse.yy: Deal with this exception.
    * src/hoaparse/public.hh: Add a boolean flag to mark aborted automata.
    * src/bin/autfilt.cc: Report aborted automata.
    * src/tgbatest/hoaparse.test: Add test case.
    c12b2d63
hoascan.ll 3.98 KB