FreeBSD Manual Pages
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 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> libsolv 03/25/2024 TESTSOLV(1)
NAME | SYNOPSIS | DESCRIPTION | AUTHOR
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.0>