示例#1
0
 public void AddImport([PexAssumeUnderTest] AphidInterpreter target, string name)
 {
     PexSymbolicValue.Ignore(target.OwnerThread);
     PexSymbolicValue.Ignore(target.AsmBuilder.AssemblyName);
     PexSymbolicValue.Ignore(target.AsmBuilder.AssemblyFilename);
     target.AddImport(name);
     // TODO: add assertions to method AphidInterpreterTest.AddImport(AphidInterpreter, String)
 }