Skip to content
Snippets Groups Projects

Revert "str: tune the pair from string parsing"

Merged Tomáš Pecka requested to merge merge-jt into master

This reverts commit bc91e284.

Parser can't parse automata string inputs where a state containing a pair is also a final state.

NFA a b c d

<<(InitialStateLabel), 0> <a, 1> <b, 2> <c, 3> - <<a, 1> <a, 1> - - - <b, 2> - <b, 2> <c, 3> - <c, 3> - - - <d, 4> <<d, 4> - - - -

Merge request reports

Pipeline #161667 passed with warnings

Pipeline passed with warnings for d96b0d91 on merge-jt

Approval is optional

Merged by Tomáš PeckaTomáš Pecka 3 years ago (Nov 25, 2021 10:36am UTC)

Merge details

  • Changes merged into master with d96b0d91.
  • Did not delete the source branch.
  • Auto-merge enabled

Pipeline #161689 passed with warnings

Pipeline passed with warnings for d96b0d91 on master

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading