Test cases
JCumin opened this issue · comments
Is there any available list of test cases to check changes made to CLPZ?
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 X + 3 #= 7 still succeeds with X = 4, etc.
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.