-
David Hauzar authored
Do not append '.' to the name of the variable representing field access if the field name is empty string (that is, if the field name should be ignored in counterexample).
13fdd091
Do not append '.' to the name of the variable representing field access if the field name is empty string (that is, if the field name should be ignored in counterexample).