Community
Participate
Working Groups
helper1("p.A", 4, 23, 4, 28, true, true);
}
public void test33() throws Exception { // test for https://bugs.eclipse.org/bugs/show_bug.cgi?id=279715
helper1("p.A", 5, 29, 5, 30, true, true);
// -- testing failing preconditions
public void testFail0() throws Exception {
package p;
class A {
public static final int B= 12;
public static final int C= B - 1; //inline C
public static final int K= 99;
public static void main(String[] args) {
int f1= K - 1 - C;
int f2= K - C - C - C;
int x1= K + C;
int x2= K - C;
int x3= K + 1 - C;
int x4= K - 1 + C;
int x5= K + 1 + C - C - C;
int f1= K - 1 - (B - 1);
int f2= K - (B - 1) - (B - 1) - (B - 1);
int x1= K + (B - 1);
int x2= K - (B - 1);
int x3= K + 1 - (B - 1);
int x4= K - 1 + (B - 1);
int x5= K + 1 + (B - 1) - (B - 1) - (B - 1);