---
name: "testsolv"
section: "1"
platform: "linux"
package: "libsolv"
version: "0.7.41-1"
release: "Arch Linux 2026-11-01"
platforms: ["linux"]
url: "https://new.carta.tech/testsolv"
---

# testsolv(1)

run a libsolv testcase through the solver

## NAME

testsolv - run a libsolv testcase through the solver

## SYNOPSIS

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

## 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

Michael Schroeder \<mls@suse.de\>