doc/gen/testsolv.1

   1 '\" t
   2 .\"     Title: testsolv
   3 .\"    Author: [see the "Author" section]
   4 .\" Generator: DocBook XSL Stylesheets vsnapshot <http://docbook.sf.net/>
   5 .\"      Date: 08/04/2017
   6 .\"    Manual: LIBSOLV
   7 .\"    Source: libsolv
   8 .\"  Language: English
   9 .\"
  10 .TH "TESTSOLV" "1" "08/04/2017" "libsolv" "LIBSOLV"
  11 .\" -----------------------------------------------------------------
  12 .\" * Define some portability stuff
  13 .\" -----------------------------------------------------------------
  14 .\" ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  15 .\" http://bugs.debian.org/507673
  16 .\" http://lists.gnu.org/archive/html/groff/2009-02/msg00013.html
  17 .\" ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  18 .ie \n(.g .ds Aq \(aq
  19 .el       .ds Aq '
  20 .\" -----------------------------------------------------------------
  21 .\" * set default formatting
  22 .\" -----------------------------------------------------------------
  23 .\" disable hyphenation
  24 .nh
  25 .\" disable justification (adjust text to left margin only)
  26 .ad l
  27 .\" -----------------------------------------------------------------
  28 .\" * MAIN CONTENT STARTS HERE *
  29 .\" -----------------------------------------------------------------
  30 .SH "NAME"
  31 testsolv \- run a libsolv testcase through the solver
  32 .SH "SYNOPSIS"
  33 .sp
  34 \fBtestsolv\fR [\fIOPTIONS\fR] \fITESTCASE\fR
  35 .SH "DESCRIPTION"
  36 .sp
  37 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\&.
  38 .PP
  39 \fB\-v\fR
  40 .RS 4
  41 Increase the debug level of the solver\&. This option can be specified multiple times to further increase the amount of debug data\&.
  42 .RE
  43 .PP
  44 \fB\-r\fR
  45 .RS 4
  46 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
  47 \fB\-r\fR
  48 option is given twice, the output is formated for verbatim inclusion\&.
  49 .RE
  50 .PP
  51 \fB\-l\fR \fIPKGSPEC\fR
  52 .RS 4
  53 Instead of running the solver, list packages in the repositories\&.
  54 .RE
  55 .PP
  56 \fB\-s\fR \fISOLUTIONSPEC\fR
  57 .RS 4
  58 This is used in the solver test suite to test the calculated solutions to encountered problems\&.
  59 .RE
  60 .SH "AUTHOR"
  61 .sp
  62 Michael Schroeder <mls@suse\&.de>