public void NegativeStructCtorWithClosure4() { try { var c = new CodeUnderTest.ConstructorsWithClosures.StructCtors("Hello", new[] { "A", "b", "D" }); throw new Exception("Expected failure did not happen"); } catch (TestRewriterMethods.PostconditionException a) { Assert.AreEqual(": Contract.Exists(0, data.Length, i => data[i] == (encoder as string))", a.Message); } }
public void NegativeStructCtorWithClosure5() { try { var c = new CodeUnderTest.ConstructorsWithClosures.StructCtors(null, (string)null); throw new Exception("Expected failure did not happen"); } catch (ArgumentException a) { Assert.AreEqual("Precondition failed: encoder != null", a.Message); } }
public void PositiveStructCtorWithClosure6() { var c = new CodeUnderTest.ConstructorsWithClosures.StructCtors("Hello", "Hello"); }
public void PositiveStructCtorWithClosure5() { var c = new CodeUnderTest.ConstructorsWithClosures.StructCtors("Hello", new[] { "Foo", "Bar", "Hello" }); }
public void PositiveStructCtorWithClosure4() { var c = new CodeUnderTest.ConstructorsWithClosures.StructCtors(new object(), false); }
public void PositiveStructCtorWithClosure3() { var c = new CodeUnderTest.ConstructorsWithClosures.StructCtors("hello", true); }
public void PositiveStructCtorWithClosure2() { var c = new CodeUnderTest.ConstructorsWithClosures.StructCtors(new Object()); }