Skip to content

Conversation

@toku-sa-n
Copy link
Collaborator

This PR does the following things.

  • It creates the "Data declarations" section and a few subsections.
  • It moves tests related to data declarations into appropriate sections.
  • It splits large test cases.
  • It simplifies complex test cases, e.g., removing unnecessary parts from a test case.
  • It adds missing test cases.

This is a part of #610.

@mihaimaruseac mihaimaruseac merged commit 4d3cee9 into mihaimaruseac:master Dec 4, 2022
@toku-sa-n toku-sa-n deleted the data_decls branch December 4, 2022 14:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants