[zypp-commit] r7543 - in /trunk/sat-solver/testsuite: README.FAILS deptestomatic.c