[PPL-devel] Test using big parameter.

[François Galea]

Hi Enea,

Sorry about the delay. I will provide you with these tests ASAP.

Best,

François.

Enea Zaffanella a écrit :
> Hi Francois.
> 
> I saw you recent commits on documentation: thank you very much.
> 
> I will now improve our invariant checking method PIP_Decision_Node::OK() 
> and will add assertions and comments on why code is sometimes unreachable.
> 
> In order to further improve our code coverage ratio, I wonder if you can 
> provide me with a couple of tests using the big parameter; and, while at 
> it, do you have an example of PIP_Problem where the solution tree has a 
> PIP_Solution_Node containing more than a single context constraint?
> 
> Thank you in advance,
> Enea.