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