cudf-check(1) manipulate CUDF documents

SYNOPSIS

cudf-check [OPTION]

DESCRIPTION

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

OPTIONS

-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

EXIT STATUS

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).

AUTHOR

Copyright: (C) 2009-2014 Stefano Zacchiroli <[email protected]>

License: GNU General Public License (GPL), version 3 or above