// Provide a similar API we can use even in P# production mode.
internal static string GetTestVar(string name)
{
string value;
if (TestVars.TryGetValue(name, out value))
{
return(value);
}
else
{
return(PSharpRuntime.GetTestVar(name));
}
}