예제 #1
0
 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));
 }
예제 #2
0
 public void NullExceptionSimple(TestClassState state, InferError expectedError)
 {
     TestRunManager.Run(InitVars(state: state) +
                        DerefObject(VarName.Tc),
                        GetString(expectedError));
 }