Provided by: cudf-tools_0.7-2build3_amd64
cudf-check - manipulate CUDF documents
cudf-check is a command line tool to manipulate and validate CUDF documents. Use Cases validate a CUDF document (package universe + request): cudf-check -cudf FILE validate a CUDF document (package universe + request) and its solution cudf-check -cudf FILE -sol FILE validate a package universe (without user request) cudf-check -univ FILE
-cudf parse the given CUDF (universe + request) -univ parse the given package universe -sol parse the given solution -dump dump results to standard output -help --help show usage information and exit
cudf-check returns an exit status of 0 (true) if all performed checks (universe consistency, solution consistency, request-solution correspondence) were successful; if one or more of them fails, cudf-check returns an exit status of 1 (false).
Copyright: (C) 2009-2014 Stefano Zacchiroli <email@example.com> License: GNU General Public License (GPL), version 3 or above