public void DanglingPointerDerefSimple(TestClassMethod initializationMethod,
InferError expectedError)
{
// We provide the "false" argument because it is required to initialize the object.
TestRunManager.Run(InitVars(state: TestClassState.Initialized) +
CallTestClassMethod(initializationMethod,
true,
args: new string[] { false.ToString().ToLower() }) +
DerefObject(VarName.InstanceObjectField),
GetString(expectedError));
}
public void NullExceptionSimple(TestClassState state, InferError expectedError)
{
TestRunManager.Run(InitVars(state: state) +
DerefObject(VarName.Tc),
GetString(expectedError));
}
