Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help
TESTSOLV(1)			     LIBSOLV			     TESTSOLV(1)

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  lib-
     solv'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  inclu-
	 sion.

     -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>

libsolv 			   03/25/2024			     TESTSOLV(1)

Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=testsolv&sektion=1&manpath=FreeBSD+Ports+15.1.quarterly>

home | help