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>
More Linux Commands
manpages/carg.3.html
carg(3) - calculate the complex argument - Linux man page...
A complex number can be described by two real coordinates. One may use rectangular coordinates and gets z = x + I * y where x = creal(z) and y = cimag(z). Or on
manpages/svnserve.8.html
svnserve(8) - Server for the 'svn' repository access method
svnserve allows access to Subversion repositories using the svn network protocol. It can both run as a standalone server process, or it can run out of inetd. Yo
manpages/Mail::SpamAssassin::Plugin::ReplaceTags.3pm.html
Mail::SpamAssassin::Plugin::ReplaceTags(3pm) - tags for Spam
Mail::SpamAssassin::Plugin::ReplaceTags.3pm - In a nutshell, pam_timestamp caches successful authentication attempts, and allows you to use a recent successful
manpages/java-java-1.8.0-openjdk.1.html
java-java-1.8.0-openjdk(1) Launches a Java application......
The java command starts a Java application. It does this by starting the Java Runtime Environment (JRE), loading the specified class, and calling that classs ma
manpages/mount.2.html
mount(2) - mount file system (System - Linux man page)......
mount() attaches the filesystem specified by source (which is often a device name, but can also be a directory name or a dummy) to the directory specified by ta
manpages/moduli.5.html
moduli(5) - Diffie Hellman moduli - Linux manual page.......
The /etc/ssh/moduli file contains prime numbers and generators for use by sshd(8) in the Diffie-Hellman Group Exchange key exchange method. New moduli may be ge
manpages/xargs.1.html
xargs(1) - build and execute command lines from standard inp
This manual page documents the GNU version of xargs. xargs reads items from the standard input, delimited by blanks (which can be protected with double or singl
manpages/XGetDeviceFocus.3.html
XGetDeviceFocus(3) - control extension input device focus...
The XSetDeviceFocus request changes the focus of the specified device and its last-focus-change time. It has no effect if the specified time is earlier than the
manpages/gnutls_x509_crl_set_this_update.3.html
gnutls_x509_crl_set_this_update(3) - API function (ManPage)
This function will set the time this CRL was issued. RETURNS On success, GNUTLS_E_SUCCESS (0) is returned, otherwise a negative error value. REPORTING BUGS Repo
manpages/look.1.html
look(1) - display lines beginning with a given string.......
The look utility displays any lines in file which contain string. As look performs a binary search, the lines in file must be sorted (where sort(1) got the same
manpages/wpa_passphrase.8.html
wpa_passphrase(8) - Generate a WPA PSK from an ASCII passphr
wpa_passphrase pre-computes PSK entries for network configuration blocks of a wpa_supplicant.conf file. An ASCII passphrase and SSID are used to generate a 256-
manpages/tc-tbf.8.html
tc-tbf(8) - Token Bucket Filter (Admin - Linux man page)....
The Token Bucket Filter is a classful queueing discipline available for traffic control with the tc(8) command. TBF is a pure shaper and never schedules traffic
