TESTSOLV(1) LIBSOLV TESTSOLV(1)

# [NAME](#NAME)

testsolv - run a libsolv testcase through the solver

# [SYNOPSIS](#SYNOPSIS)

**testsolv** \[*OPTIONS*] *TESTCASE*

# [DESCRIPTION](#DESCRIPTION)

The testsolv tools can be used to run a testcase. Testcases can either be manually created to test specific features, or they can be written by libsolv’s testcase\_write function. This is useful to evaluate bug reports about the solver.

**-v**

Increase the debug level of the solver. This option can be specified multiple times to further increase the amount of debug data.

**-r**

Write the output in testcase format instead of human readable text. The output can then be used in the result section of the test case. If the **-r** option is given twice, the output is formatted for verbatim inclusion.

**-l** *PKGSPEC*

Instead of running the solver, list packages in the repositories.

**-s** *SOLUTIONSPEC*

This is used in the solver test suite to test the calculated solutions to encountered problems.

# [AUTHOR](#AUTHOR)

Michael Schroeder <mls@suse.de>

03/25/2024 libsolv

---

Document: testsolv(1) from libsolv 0.7.40-r0 (Chainguard OS)
Source: https://github.com/openSUSE/libsolv