do not compare channels if the solutions has the same
authorStefan Schubert <schubi@suse.de>
Fri, 3 Mar 2006 07:55:33 +0000 (07:55 +0000)
committerStefan Schubert <schubi@suse.de>
Fri, 3 Mar 2006 07:55:33 +0000 (07:55 +0000)
commit8189533453a0fb7847000987655167ab1f8a47e4
tree5b52592d1183b71c473190860db100d1f9c2208d
parent96e5d6f62e70bf3d777ad740b49c6752ed2ef263
do not compare channels if the solutions has the same
testsuite/solver/data.deptestomatic/basic-exercises/exercise-39-force-test.solution