public class Main {
 int func(int x, int y, int z) {
 assert (y == 0);
 while (y < 10000)
 y += 1;
 if (x == y || z == y)
 return 1;
 return 2;
 }
}

public final class MainTest {
 ///region Test suites for executable com.company.Main.func
 ///region SYMBOLIC EXECUTION: EXPLICITLY THROWN UNCHECKED EXCEPTIONS for method func(int, int, int)
 /**
 * @utbot.classUnderTest {@link Main}
 * @utbot.methodUnderTest {@link Main#func(int, int, int)}
 * @utbot.executesCondition {@code (assert (y == 0);): True}
 * @utbot.executesCondition {@code (assert (y == 0);): True}
 * @utbot.throwsException {@link AssertionError} in: assert (y == 0);
 */
 @Test
 @DisplayName("func: assert (y == 0) -> ThrowAssertionError")
 public void testFunc_ThrowAssertionError() {
 Main main = new Main();
 
 /* This test fails because method [com.company.Main.func] produces [java.lang.AssertionError]
 com.company.Main.func(Main.java:5) */
 main.func(-255, -255, -255);
 }
 ///endregion
 ///endregion
}

public final class MainTest {
 ///region Test suites for executable com.company.Main.func
 ///region SYMBOLIC EXECUTION: EXPLICITLY THROWN UNCHECKED EXCEPTIONS for method func(int, int, int)
 /**
 * @utbot.classUnderTest {@link Main}
 * @utbot.methodUnderTest {@link Main#func(int, int, int)}
 * @utbot.executesCondition {@code (assert (y == 0);): True}
 * @utbot.executesCondition {@code (assert (y == 0);): True}
 * @utbot.throwsException {@link AssertionError} in: assert (y == 0);
 */
 @Test
 @DisplayName("func: assert (y == 0) -> ThrowAssertionError")
 public void testFunc_ThrowAssertionError() {
 Main main = new Main();
 
 /* This test fails because method [com.company.Main.func] produces [java.lang.AssertionError]
 com.company.Main.func(Main.java:5) */
 main.func(-255, -255, -255);
 }
 ///endregion
 ///region OTHER: SUCCESSFUL EXECUTIONS for method func(int, int, int)
 @Test
 public void testFunc1() {
 Main main = new Main();
 int actual = main.func(0, 0, 0);
 assertEquals(2, actual);
 }
 ///endregion
 ///endregion
}