test/Golden/Automaton/eof.dump

   1 catchFail
   2   <try>
   3   | catchFail
   4   |   <try>
   5   |   | pushInput
   6   |   | read
   7   |   | pop
   8   |   | popFail
   9   |   | loadInput
  10   |   | fail
  11   |   <handler>
  12   |     loadInput
  13   |     push ()
  14   |     popFail
  15   |     ret
  16   <handler>
  17     pushInput
  18     lift InstrPureSameOffset
  19     choices [id]
  20       <branch>
  21       | fail
  22       <default>
  23         fail