check_property - Checks a property into the current list of properties, or a newly specified property


check_property [-h] [-n number] | [(-c | -l | -i | -s | -q ) [-p "formula [IN context]"]]

Checks the specified property taken from the property list, or adds the new specified property and checks it.

Command options:

-h
Prints the help.
-c
Checks all the CTL properties not already checked
-l
Checks all the LTL properties not already checked
-i
Checks all the INVAR properties not already checked
-s
Checks all the PSL properties not already checked
-q
Checks all the COMPUTE properties not already checked
-n number
Checks the property with id number in the property list if it exists.
-p "formula [IN context]"
Checks the formula specified on the command-line.
context is the module instance name which the variables in formula must be evaluated in.
If no property has been specified via -n or -p, then all the properties (of a given type) in the property list will be evaluated.
Last updated on 2009/03/04 13h:34