Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add a test case for issue #290 #343

Closed
wants to merge 6 commits into from

Commits on Aug 17, 2022

  1. Configuration menu
    Copy the full SHA
    09349ba View commit details
    Browse the repository at this point in the history
  2. Add a test case for useless mutual recursive rule.

    This test case is not caught by the error that I proposed in pr softdevteam#294.
    ratmice committed Aug 17, 2022
    Configuration menu
    Copy the full SHA
    e2c0a9c View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2022

  1. Configuration menu
    Copy the full SHA
    5e15461 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    8d1f4ce View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    f39e3dd View commit details
    Browse the repository at this point in the history
  4. Mark start rule as used

    ratmice committed Aug 19, 2022
    Configuration menu
    Copy the full SHA
    7998898 View commit details
    Browse the repository at this point in the history