These variables will be treated as symbolic variables during symbolic execution, whereas all other variables will be treated as concrete values.
These variables will be treated as symbolic variables during symbolic execution. All other variables will be treated as concrete values.