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(); }