File: testsolv.txt

package info (click to toggle)
libsolv 0.6.24-1+deb9u1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 4,320 kB
  • ctags: 4,178
  • sloc: ansic: 58,528; python: 852; perl: 740; tcl: 728; ruby: 704; sh: 263; cpp: 204; makefile: 65
file content (41 lines) | stat: -rw-r--r-- 1,060 bytes parent folder | download
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
testsolv(1)
===========
:man manual: LIBSOLV
:man source: libsolv


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>