-
Notifications
You must be signed in to change notification settings - Fork 17
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
make tests about one ore more functions #28
Comments
now test has argument "about", originally introduced to implement better seeding. But that doesn't answer the question: what are the tests for this function? |
As a first step, return the |
gather all assertions about a function in a sort of spec
At this point we have a test.set function that allows people to gather tests in group and see which functions are exercised by which tests. There may be better ways of printing out this information and there may be a need for tests that span across multiple files. The heuristic for the about arg needs to be battle tested. |
need also to add tests for the new features and increase coverage |
And documentation |
While assertions normally implement properties of certain functions that we want to test, this is fairly implicit in the qc api. A test takes an assertion, and such assertion invokes functions that need to operate properly for the assertion to succeed. Only in the argument
cover
can the user focus specifically on one function. This can make assertions less self documenting ("what was this assertion about"), but, more concretely, makes it harder to operate a choice of seed that makes test case selection independent between runs before and after a software fix (related to #26)The text was updated successfully, but these errors were encountered: