  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 2011/10/28 14h:49
