Testing with costraint