public void setupEnvironment()
{
Commands cmd = new Commands();
cmd.performOneCommand(Commands.COMMAND_CLEAR_GLOBAL);
SampleUtil.loadVM();
ConfigurationBuilder.vg = VariantGeneratorFactory.GetVariantGenerator("z3");
}
public void setupEnvironment()
{
Commands cmd = new Commands();
cmd.performOneCommand(Commands.COMMAND_CLEAR_GLOBAL);
if (file != null)
{
string path = Path.GetFullPath(Path.Combine(System.AppDomain.CurrentDomain.BaseDirectory, "..//..//.."))
+ Path.DirectorySeparatorChar + "ExampleFiles"
+ Path.DirectorySeparatorChar + file;
SampleUtil.loadVM(path);
}
else
{
SampleUtil.loadVM();
}
ConfigurationBuilder.vg = VariantGeneratorFactory.GetVariantGenerator("z3");
}
public void TestLoadingTestVM()
{
Assert.IsTrue(SampleUtil.loadVM());
}
public static void loadSamplingVM()
{
SampleUtil.loadVM();
}
