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

Test declarations #83

Open
BosqueLanguage opened this issue Apr 8, 2024 · 1 comment
Open

Test declarations #83

BosqueLanguage opened this issue Apr 8, 2024 · 1 comment
Labels
help wanted Extra attention is needed
Milestone

Comments

@BosqueLanguage
Copy link
Owner

We need to cleanup the test declaration. We need to resolve a bit about how developers can define classic unit-tests, inline example tests, and fuzzing/property based tests.

  • Maybe let them be inline in other Bosque code? Annotations to control category and Grouping?
  • Then we can also do special treatment for dedicated test files.
  • Integrate nicely with examples feature.

This needs a little design thought + some work in the front-end to gather and manage anything extracted as test related. Also we will want to build a separate test-runner utility that parallels the compiler in terms of taking a set of files, extracting all of the specified tests, building the assembly, then nicely running the tests. Ideally we would like to have failing test debugging integrated from the beginning as well -- e.g. if we have a failure setup a repro that is ready to lanuch and debug.

@BosqueLanguage BosqueLanguage added the help wanted Extra attention is needed label Apr 8, 2024
@BosqueLanguage BosqueLanguage added this to the Target 2.0 milestone Apr 8, 2024
@BosqueLanguage
Copy link
Owner Author

Language and Parser/Checker support for examples landed in #86

Also added a spec option to flag for inclusion as examples in doc-gen (and test that the examples actually work)!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
help wanted Extra attention is needed
Projects
None yet
Development

No branches or pull requests

1 participant