clpz icon indicating copy to clipboard operation
clpz copied to clipboard

Published 20 hours ago • verified publisher icon triska

Test cases

Open JCumin opened this issue 8 years ago • 3 comments

Is there any available list of test cases to check changes made to CLPZ?

JCumin avatar Jul 28 '17 11:07 JCumin

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?

triska avatar Jul 28 '17 17:07 triska

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!).

JCumin avatar Jul 29 '17 15:07 JCumin

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.

UWN avatar Jul 29 '17 23:07 UWN