package org.utbot.examples.stream;
import org.junit.jupiter.api.Test;
import org.junit.jupiter.api.DisplayName;
import java.util.ArrayList;
import java.util.List;
import static org.utbot.runtime.utils.UtUtils.createInstance;
public class BaseStreamExampleTest {
 ///region Test suites for executable org.utbot.examples.stream.BaseStreamExample.returningStreamExample
 ///region SYMBOLIC EXECUTION ENGINE: SUCCESSFUL EXECUTIONS for method returningStreamExample(java.util.List)
 /**
 * @utbot.classUnderTest {@link BaseStreamExample}
 * @utbot.methodUnderTest {@link BaseStreamExample#returningStreamExample(List)}
 * @utbot.executesCondition {@code (list.isEmpty()): True}
 * @utbot.invokes {@code {@link List#stream()}}
 * @utbot.returnsFrom {@code return list.stream();}
 */
 @Test
 @DisplayName("returningStreamExample: list.isEmpty() : True -> return list.stream()")
 public void testReturningStreamExample_ListIsEmpty() throws Exception {
 BaseStreamExample baseStreamExample = new BaseStreamExample();
 ArrayList list = new ArrayList();
 Object actual = baseStreamExample.returningStreamExample(list);
 Object expected = createInstance("java.util.stream.ReferencePipeline$Head");
 }
 /**
 * @utbot.classUnderTest {@link BaseStreamExample}
 * @utbot.methodUnderTest {@link BaseStreamExample#returningStreamExample(List)}
 * @utbot.executesCondition {@code (list.isEmpty()): False}
 * @utbot.invokes {@code {@link List#stream()}}
 * @utbot.returnsFrom {@code return list.stream();}
 */
 @Test
 @DisplayName("returningStreamExample: list.isEmpty() : False -> return list.stream()")
 public void testReturningStreamExample_NotListIsEmpty() throws Exception {
 BaseStreamExample baseStreamExample = new BaseStreamExample();
 ArrayList list = new ArrayList();
 list.add(null);
 list.add(null);
 list.add(null);
 list.add(null);
 list.add(null);
 list.add(null);
 list.add(null);
 list.add(null);
 list.add(null);
 list.add(null);
 Object actual = baseStreamExample.returningStreamExample(list);
 Object expected = createInstance("java.util.stream.ReferencePipeline$Head");
 }
 ///endregion
 ///endregion
}