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