testsolv - run a libsolv testcase through the solver


   testsolv [OPTIONS] TESTCASE


   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.

       Increase the debug level of the solver. This option can be
       specified multiple times to further increase the amount of debug

       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.

       Instead of running the solver, list packages in the repositories.

       This is used in the solver test suite to test the calculated
       solutions to encountered problems.


   Michael Schroeder <mls@suse.de>

More Linux Commands

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

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

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

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

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

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

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

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

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

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

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-

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.