package Examples;

import Sequenic.T2.T2annotation.option;

@option("--lenexec=50")
public class GATest1 {
	/*
	public void m1(int i1, int i2, int i3) {
		// T2 can already cover this one
		if(i1 + i2 == i3) {
			System.out.println("In narrow path: "+i1+" "+i2+" "+i3);
		}
	}
	*/
	private int asdfi1 = 10;
	private int blahi2 = -20;
	private int yoi3 = 50; //100;
	public void plus1() { asdfi1 += 2; }
	public void plus2() { blahi2++; }
	public void plus3() { yoi3++; }
	public void minus1() { asdfi1--; }
	public void minus2() { blahi2--; }
	public void minus3() { yoi3--; }
	public void testje() {
		if(asdfi1 + blahi2 == yoi3) System.out.println("test "+asdfi1+" "+blahi2+" "+yoi3);
	}
}