Move regression tests with QuickCheck tests #201
Comments
ivanperez-keera
added a commit
that referenced
this issue
Apr 7, 2022
As Yampa progresses, as much of the regression tests as possible should use the same mechanisms for testing. Yampa's regression tests are currently in yampa/, while some randomized tests are with yampa-test. The randomized test cover features also tested in the regression tests, so the latter should progressively disappear in favor of randomized tests when coverage is deemed similar or better with the new method. This commit moves all tests into yampa-test, to progress in a direction of uniformity, test coverage, and simplification.
ivanperez-keera
added a commit
that referenced
this issue
Apr 7, 2022
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
As Yampa progresses, as much of the regression tests as possible should use the same mechanisms for testing.
Yampa's regression tests are currently in
yampa/, while some randomized tests are withyampa-test. The randomized test cover features also tested in the regression tests, so the latter should progressively disappear in favor of randomized tests when coverage is deemed similar or better with the new method.To progress in that direction, all tests should be together (in this case, with
yampa-test).The text was updated successfully, but these errors were encountered: