A slicing criterion is a list of single slicing criteria, which can be in the form of line:column, line@variable-name, or $id.
line:column
line@variable-name
$id
A slicing criterion is a list of single slicing criteria, which can be in the form of
line:column,line@variable-name, or$id.