// if testPath then test if the current path is feasible
// else validate the path in the program decribed by
// a precondition, a path, a final state and a postcondition
protected void verify() throws AnalyzeException,ConstraintException, ValidationException {
// visite du xml et generation du fichier de contrainte
XMLVisitAndValidate xvv = new XMLVisitAndValidate(name,path,format,solver);
if (all)
xvv.validateAll(timeout);
else
xvv.validate(timeout);
}