public void IteratorNegativePostElemEqParam2() {
var test2 = new CodeUnderTest.IteratorSimpleContract.Test2();
string[] strs = { "aaa", "hello" };
test2.Test1g(strs, "hello");
}
public void IteratorNegativePostElemLTMaxConstrained() {
var test2 = new CodeUnderTest.IteratorSimpleContract.Test2();
test2.Test2h();
}
public void IteratorPositivePostElemNN() {
var test2 = new CodeUnderTest.IteratorSimpleContract.Test2();
string[] strs = { "hello" };
test2.Test1d(strs);
}
public void IteratorNegativePostElemLTMax() {
var test2 = new CodeUnderTest.IteratorSimpleContract.Test2();
int[] xs = { 2, 3, 4, 9 };
test2.Test1f(xs, 10);
}
public void IteratorNegativeCollectionNN() {
var test2 = new CodeUnderTest.IteratorSimpleContract.Test2();
IEnumerable<string> x = null;
test2.Test1d(x);
}
public void IteratorNegativeElemNN() {
var test2 = new CodeUnderTest.IteratorSimpleContract.Test2();
string[] strs = { null };
test2.Test1d(strs);
}
public void IteratorPositiveLegacyArgNN() {
var test2 = new CodeUnderTest.IteratorSimpleContract.Test2();
test2.Test1b("hello");
}
public void IteratorNegativeLegacyArgNN() {
var test2 = new CodeUnderTest.IteratorSimpleContract.Test2();
try
{
test2.Test1b(null);
} catch (ArgumentException) {
// An ArgumentException is thrown by the legacy precondition.
}
}
public void IteratorNegativePostAllNN() {
var test2 = new CodeUnderTest.IteratorSimpleContract.Test2();
test2.Test1aa("hello"); // Postcondition of Test1aa is invalid.
}
public void IteratorNegativeNN() {
var test2 = new CodeUnderTest.IteratorSimpleContract.Test2();
test2.Test1a(null); // Precondition of Test1a violated.
}
public void IteratorPositiveNN() {
var test2 = new CodeUnderTest.IteratorSimpleContract.Test2();
test2.Test1a("hello"); // Precondition of Test1a holds
}
