'\" t
.\"     Title: testsolv
.\"    Author: [see the "Author" section]
.\" Generator: DocBook XSL Stylesheets vsnapshot <http://docbook.sf.net/>
.\"      Date: 08/04/2017
.\"    Manual: LIBSOLV
.\"    Source: libsolv
.\"  Language: English
.\"
.TH "TESTSOLV" "1" "08/04/2017" "libsolv" "LIBSOLV"
.\" -----------------------------------------------------------------
.\" * Define some portability stuff
.\" -----------------------------------------------------------------
.\" ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
.\" http://bugs.debian.org/507673
.\" http://lists.gnu.org/archive/html/groff/2009-02/msg00013.html
.\" ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
.ie \n(.g .ds Aq \(aq
.el       .ds Aq '
.\" -----------------------------------------------------------------
.\" * set default formatting
.\" -----------------------------------------------------------------
.\" disable hyphenation
.nh
.\" disable justification (adjust text to left margin only)
.ad l
.\" -----------------------------------------------------------------
.\" * MAIN CONTENT STARTS HERE *
.\" -----------------------------------------------------------------
.SH "NAME"
testsolv \- run a libsolv testcase through the solver
.SH "SYNOPSIS"
.sp
\fBtestsolv\fR [\fIOPTIONS\fR] \fITESTCASE\fR
.SH "DESCRIPTION"
.sp
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\(cqs testcase_write function\&. This is useful to evaluate bug reports about the solver\&.
.PP
\fB\-v\fR
.RS 4
Increase the debug level of the solver\&. This option can be specified multiple times to further increase the amount of debug data\&.
.RE
.PP
\fB\-r\fR
.RS 4
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
\fB\-r\fR
option is given twice, the output is formatted for verbatim inclusion\&.
.RE
.PP
\fB\-l\fR \fIPKGSPEC\fR
.RS 4
Instead of running the solver, list packages in the repositories\&.
.RE
.PP
\fB\-s\fR \fISOLUTIONSPEC\fR
.RS 4
This is used in the solver test suite to test the calculated solutions to encountered problems\&.
.RE
.SH "AUTHOR"
.sp
Michael Schroeder <mls@suse\&.de>