SubDir PLASMA Solvers test ;

if ! $(PLASMA_READY) {

 # All input file names used for the tests
local solverInputFiles = 	../../Solvers/test/UnboundVariableFiltering.nddl 
				../../Solvers/test/OpenConditionFiltering.nddl
				../../Solvers/test/ThreatFiltering.nddl
				../../Solvers/test/StaticCSP.nddl 
				../../Solvers/test/SuccessfulSearch.nddl 
				../../Solvers/test/ExhaustiveSearch.nddl 
				../../Solvers/test/SimpleActivation.nddl 
				../../Solvers/test/SimpleRejection.nddl 
				../../Solvers/test/BacktrackFirstDecision.nddl 
				../../Solvers/test/GNATS_3196.nddl ;
 
 # Create dependency for initial state files to be parsed
 local solversInputFile ;
 for solversInputFile in $(solverInputFiles) {
  NddlParser $(solversInputFile:S=.xml) : $(solversInputFile) ;
  LocalDepends run-solvers-module-tests : $(solversInputFile:S=.xml) ;
 }

 NddlMain solvers-module-tests : module-tests.cc solvers-test-module.cc : Model.nddl : Solvers ;
 RunModuleMain run-solvers-module-tests : solvers-module-tests ;
 LocalDepends tests : run-solvers-module-tests ;
} # PLASMA_READY
