check_property - Checks a property into the current list of properties, or a newly specified property
check_property [-h] [-n number | -P "name"] | [(-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 name
- Checks the property named named 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 or -P,
then all the properties (of a given type) in the property list will be
evaluated.
Last updated on 2012/11/18 14h:37