: The action CompareVariable [...] <variable> {, <another_string> | <variable>} )
and variable name may [...] script variables [...] variable of the test
and variable name may [...] variable [...] of the interface variables
view. Each variable [...] ). The variable can be set [...] of the variables, usually
and variable name may [...] variable [...] of the interface variables
for variables) <invariants [...] of a variable [...] variable with a value
, system variables or global variables can
variables and all variables to be tested
script variable Test [...] variables (and any state variables) Output
variable [...] to specify the variable [...] . Result variable Test