some modifications to testPPDDL.cpp
some modifications to testPPDDL.cpp

luisenp/mdp-lib,luisenp/mdp-lib,sandysa/mdp-lib,sandysa/mdp-lib,luisenp/mdp-lib,sandysa/mdp-lib,luisenp/mdp-lib,sandysa/mdp-lib,sandysa/mdp-lib,luisenp/mdp-lib