blob: 0e718740e59bbd33603f3f43243eed861b8687e6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
'\" t
.\" Title: testsolv
.\" Author: [see the "Author" section]
.\" Generator: DocBook XSL Stylesheets v1.78.0 <http://docbook.sf.net/>
.\" Date: 08/26/2015
.\" Manual: LIBSOLV
.\" Source: libsolv
.\" Language: English
.\"
.TH "TESTSOLV" "1" "08/26/2015" "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 formated 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>
|
