René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Overflow in fuzzing","articleBody":"**Description**\r\n\r\nThere is problem with negative size in Combinations. This is cause of crash UtBot.\r\n\r\n**To Reproduce**\r\n\r\nRun ContestEstimator on project antlr, class org.antlr.v4.parse.LeftRecursiveRuleWalker.\r\n\r\n**Expected behavior**\r\n\r\nTests are supposed to be generated.\r\n\r\n**Actual behavior**\r\n\r\nContestEstimator crashes with exception from fuzz function.\r\n\r\n**Visual proofs (screenshots, logs, images)**\r\n\r\n~~~\r\nException in thread \"SymbolicExecution\" java.lang.IllegalStateException: Size must be positive or 0 but current value is -1810579852\r\n\tat org.utbot.fuzzer.PseudoShuffledIntProgression.\u003cinit\u003e(PseudoShuffledIntProgression.kt:95)\r\n\tat org.utbot.fuzzer.PseudoShuffledIntProgression.\u003cinit\u003e(PseudoShuffledIntProgression.kt:89)\r\n\tat org.utbot.fuzzer.CartesianProduct.iterator(CartesianProduct.kt:18)\r\n\tat org.utbot.fuzzer.CartesianProduct.asSequence(CartesianProduct.kt:13)\r\n\tat org.utbot.fuzzer.FuzzerKt.fuzz(Fuzzer.kt:34)\r\n\tat org.utbot.fuzzer.providers.ObjectModelProvider.generateModelsWithFieldsInitialization(ObjectModelProvider.kt:119)\r\n\tat org.utbot.fuzzer.providers.ObjectModelProvider.access$generateModelsWithFieldsInitialization(ObjectModelProvider.kt:37)\r\n\tat org.utbot.fuzzer.providers.ObjectModelProvider$generate$1.invokeSuspend(ObjectModelProvider.kt:90)\r\n\tat kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)\r\n\tat kotlin.sequences.SequenceBuilderIterator.hasNext(SequenceBuilder.kt:140)\r\n\tat org.utbot.fuzzer.ModelProvider$Combined$generate$1.invokeSuspend(ModelProvider.kt:143)\r\n\tat kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)\r\n\tat kotlin.sequences.SequenceBuilderIterator.hasNext(SequenceBuilder.kt:140)\r\n\tat org.utbot.fuzzer.FuzzerKt.fuzz(Fuzzer.kt:76)\r\n\tat org.utbot.fuzzer.providers.ObjectModelProvider$Companion.fuzzParameters(ObjectModelProvider.kt:173)\r\n\tat org.utbot.fuzzer.providers.ObjectModelProvider$Companion.access$fuzzParameters(ObjectModelProvider.kt:145)\r\n\tat org.utbot.fuzzer.providers.ObjectModelProvider$generate$1.invokeSuspend(ObjectModelProvider.kt:82)\r\n\tat kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)\r\n\tat kotlin.sequences.SequenceBuilderIterator.hasNext(SequenceBuilder.kt:140)\r\n\tat org.utbot.fuzzer.ModelProvider$withFallback$1$1.invokeSuspend(ModelProvider.kt:142)\r\n\tat kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)\r\n\tat kotlin.sequences.SequenceBuilderIterator.hasNext(SequenceBuilder.kt:140)\r\n\tat kotlin.sequences.TakeSequence$iterator$1.hasNext(Sequences.kt:421)\r\n\tat kotlin.sequences.SequencesKt___SequencesKt.toCollection(_Sequences.kt:752)\r\n\tat kotlin.sequences.SequencesKt___SequencesKt.toMutableList(_Sequences.kt:782)\r\n\tat kotlin.sequences.SequencesKt__SequencesKt$shuffled$1.invokeSuspend(Sequences.kt:140)\r\n\tat kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)\r\n\tat kotlin.sequences.SequenceBuilderIterator.hasNext(SequenceBuilder.kt:140)\r\n\tat kotlin.sequences.TransformingSequence$iterator$1.hasNext(Sequences.kt:214)\r\n\tat kotlin.sequences.SequencesKt___SequencesKt.first(_Sequences.kt:110)\r\n\tat org.utbot.engine.UtBotSymbolicEngine$fuzzing$2.invokeSuspend(UtBotSymbolicEngine.kt:406)\r\n\tat org.utbot.engine.UtBotSymbolicEngine$fuzzing$2.invoke(UtBotSymbolicEngine.kt)\r\n\t...\r\n~~~\r\n\r\n**Environment**\r\n\r\nJava 8.\r\n","author":{"url":"https://github.com/SBOne-Kenobi","@type":"Person","name":"SBOne-Kenobi"},"datePublished":"2022-07-26T08:12:57.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/588/UTBotJava/issues/588"}