9 testsolv - run a libsolv testcase through the solver
13 *testsolv* ['OPTIONS'] 'TESTCASE'
17 The testsolv tools can be used to run a testcase. Testcases can
18 either be manually created to test specific features, or they
19 can be written by libsolv's testcase_write function. This is useful
20 to evaluate bug reports about the solver.
23 Increase the debug level of the solver. This option can be specified
24 multiple times to further increase the amount of debug data.
27 Write the output in testcase format instead of human readable text.
28 The output can then be used in the result section of the test case.
29 If the *-r* option is given twice, the output is formated for
33 Instead of running the solver, list packages in the repositories.
36 This is used in the solver test suite to test the calculated solutions
37 to encountered problems.
41 Michael Schroeder <mls@suse.de>