1TESTSOLV(1)                         LIBSOLV                        TESTSOLV(1)
2
3
4

NAME

6       testsolv - run a libsolv testcase through the solver
7

SYNOPSIS

9       testsolv [OPTIONS] TESTCASE
10

DESCRIPTION

12       The testsolv tools can be used to run a testcase. Testcases can either
13       be manually created to test specific features, or they can be written
14       by libsolv’s testcase_write function. This is useful to evaluate bug
15       reports about the solver.
16
17       -v
18           Increase the debug level of the solver. This option can be
19           specified multiple times to further increase the amount of debug
20           data.
21
22       -r
23           Write the output in testcase format instead of human readable text.
24           The output can then be used in the result section of the test case.
25           If the -r option is given twice, the output is formated for
26           verbatim inclusion.
27
28       -l PKGSPEC
29           Instead of running the solver, list packages in the repositories.
30
31       -s SOLUTIONSPEC
32           This is used in the solver test suite to test the calculated
33           solutions to encountered problems.
34

AUTHOR

36       Michael Schroeder <mls@suse.de>
37
38
39
40libsolv                           09/14/2018                       TESTSOLV(1)