-
Type: Bug
-
Resolution: Done
-
Priority: Major - P3
-
Affects Version/s: 3.1.7
-
Component/s: Testing Infrastructure
-
None
-
Fully Compatible
-
ALL
-
Quint 9 09/18/15
The variable x is undefined on this line.