search

triska / clpz

Constraint Logic Programming over Integers
https://www.metalevel.at/prolog/clpz
184 stars 15 forks source link

Test cases #10

Open JCumin opened 7 years ago

JCumin commented 7 years ago

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

triska commented 7 years ago

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?

JCumin commented 7 years ago

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

UWN commented 7 years ago

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.