private Options GrabTestOptions(string testGroupName) { var dataRow = TestContext.DataRow; var sourceFile = Options.LoadString(dataRow, "Name"); var clousotOptions = Options.LoadString(dataRow, "Options"); var useContractReferenceAssemblies = Options.LoadBool(dataRow, "ContractReferenceAssemblies", false); var useExe = Options.LoadBool(dataRow, "Exe", false); var compilerOptions = Options.LoadString(dataRow, "CompilerOptions"); var references = Options.LoadList(dataRow, "References"); var libPaths = Options.LoadList(dataRow, "LibPaths"); var compilerCode = Options.LoadString(dataRow, "Compiler", "CS"); var skipForCCI2 = Options.LoadBool(dataRow, "SkipCCI2", false); var skipSlicing = Options.LoadBool(dataRow, "SkipSlicing", false); var options = new Options( sourceFile: sourceFile, clousotOptions: clousotOptions, useContractReferenceAssemblies: useContractReferenceAssemblies, useExe: useExe, compilerOptions: compilerOptions, references: references.ToArray(), libPaths: libPaths.ToArray(), compilerCode: compilerCode, skipForCCI2: skipForCCI2, skipSlicing: skipSlicing, skipForNet35: false); options.TestGroupName = testGroupName; CurrentGroupInfo = options.Group; return(options); }