adding testcase for maxSolutions
authorStefan Schubert <schubi@suse.de>
Tue, 15 Aug 2006 10:06:42 +0000 (10:06 +0000)
committerStefan Schubert <schubi@suse.de>
Tue, 15 Aug 2006 10:06:42 +0000 (10:06 +0000)
commiteae5c5385cae0fd69c9684e86c15abb58c3e55f1
tree309ae61c397c739cc57b8fda8676c50b1ffd5616
parent89673ce5f5b17e112f9e07946fe30c1e61488025
adding testcase for maxSolutions
testsuite/solver/data.deptestomatic/basic-exercises/exercise-18-system.xml
testsuite/solver/data.deptestomatic/basic-exercises/maxSolution-test.solution [new file with mode: 0644]
testsuite/solver/data.deptestomatic/basic-exercises/maxSolution-test.xml [new file with mode: 0644]