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

first round of basic test cases for L4 -> LE (just the test cases, without the testing glue code) #415

Merged
merged 8 commits into from
Aug 10, 2023

Commits on Aug 10, 2023

  1. init one example

    Co-authored-by: johsi-k <[email protected]>
    ym-han and johsi-k committed Aug 10, 2023
    Configuration menu
    Copy the full SHA
    95c62f2 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    e331f24 View commit details
    Browse the repository at this point in the history
  3. rejig structure of LE testcases

    Co-authored-by: johsi-k <[email protected]>
    ym-han and johsi-k committed Aug 10, 2023
    Configuration menu
    Copy the full SHA
    5cf3bba View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    6732585 View commit details
    Browse the repository at this point in the history
  5. indentation_databreach: add prelim draft of LE version

    Co-authored-by: johsi-k <[email protected]>
    ym-han and johsi-k committed Aug 10, 2023
    Configuration menu
    Copy the full SHA
    d308522 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    28ea4f4 View commit details
    Browse the repository at this point in the history
  7. indentation-databreach: add putative Natural L4 input

    Co-authored-by: johsi-k <[email protected]>
    ym-han and johsi-k committed Aug 10, 2023
    Configuration menu
    Copy the full SHA
    a30d6c8 View commit details
    Browse the repository at this point in the history
  8. rejig test dir structure again -- just use the nonlib* pattern to d…

    …enote rules/templates that don't include the lib-specific rules/templates
    
    Co-authored-by: johsi-k <[email protected]>
    ym-han and johsi-k committed Aug 10, 2023
    Configuration menu
    Copy the full SHA
    1be3e81 View commit details
    Browse the repository at this point in the history