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>


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





We can't live, work or learn in freedom unless the software we use is free.