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