doc/testsolv.txt

   1 testsolv(1)
   2 ===========
   3 :man manual: LIBSOLV
   4 :man source: libsolv
   5
   6
   7 Name
   8 ----
   9 testsolv - run a libsolv testcase through the solver
  10
  11 Synopsis
  12 --------
  13 *testsolv* ['OPTIONS'] 'TESTCASE'
  14
  15 Description
  16 -----------
  17 The testsolv tools can be used to run a testcase. Testcases can
  18 either be manually created to test specific features, or they
  19 can be written by libsolv's testcase_write function. This is useful
  20 to evaluate bug reports about the solver.
  21
  22 *-v*::
  23 Increase the debug level of the solver. This option can be specified
  24 multiple times to further increase the amount of debug data.
  25
  26 *-r*::
  27 Write the output in testcase format instead of human readable text.
  28 The output can then be used in the result section of the test case.
  29 If the *-r* option is given twice, the output is formated for
  30 verbatim inclusion.
  31
  32 *-l* 'PKGSPEC'::
  33 Instead of running the solver, list packages in the repositories.
  34
  35 *-s* 'SOLUTIONSPEC'::
  36 This is used in the solver test suite to test the calculated solutions
  37 to encountered problems.
  38
  39 Author
  40 ------
  41 Michael Schroeder <mls@suse.de>