@DisplayName("factorial: -> return 1")

 ///region SYMBOLIC EXECUTION: SUCCESSFUL EXECUTIONS for method factorial(int)
 /**
 * @utbot.classUnderTest {@link Recursion}
 * @utbot.methodUnderTest {@link Recursion#factorial(int)}
 * @utbot.executesCondition {@code (n == 0): False}
 * @utbot.invokes {@link Recursion#factorial(int)}
 * @utbot.triggersRecursion factorial, where the test return from: {@code return 1;}
 * @utbot.returnsFrom {@code return n * factorial(n - 1);}
 */
 @Test
 @DisplayName("factorial: -> return 1")
 public void testFactorial_NNotEqualsZero() {
 Recursion recursion = new Recursion();
 int actual = recursion.factorial(1);
 assertEquals(1, actual);
 }
 /**
 * @utbot.classUnderTest {@link Recursion}
 * @utbot.methodUnderTest {@link Recursion#factorial(int)}
 * @utbot.returnsFrom {@code return 1;}
 */
 @Test
 @DisplayName("factorial: -> return 1")
 public void testFactorial_Return1() {
 Recursion recursion = new Recursion();
 int actual = recursion.factorial(0);
 assertEquals(1, actual);
 }
 ///endregion

 @DisplayName("factorial: n < 0 -> ThrowIllegalArgumentException")