What is a VRS file and how to create it using DevTest Workstation