-
Notifications
You must be signed in to change notification settings - Fork 14
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 cases #10
Comments
As a first step, I have added the current development version of CLP(Z) to the repository and will periodically synch it. Does this help? |
This is always a good addition to be able to see the changes that are made to the library as time goes on, so yes! (assuming it is not a hassle for you to use Github) My question originally was more about whether you had a list of test predicates to check that the changes you do to CLPZ do not make the implementation regress, e.g. check that I assume you do (otherwise I don't see how you would easily maintain and enhance it without breaking things in subtle ways), but it might be that you do not want to share those tests openly (which is fine!). |
Maintaining a set of specific test cases is a very tiresome activity. But, why don't you give it a try? With a fresh look on it. |
Is there any available list of test cases to check changes made to CLPZ?
The text was updated successfully, but these errors were encountered: