Skip to content

Fuzzing is not stopped on timeout when symbolic execution is excluded #570

Closed
@alisevych

Description

@alisevych

Description

Need to stop test generation on timeout when only fuzzing test generation is turned on.
Fuzzing is turned on and the Simplest mode of Code analysis is used in Settings.

To Reproduce

Steps to reproduce the behavior:

  1. If you have settings.properties check that useFuzzing=true is present
  2. Run the 'UTBotJava' project in IntelliJ Idea
  3. Open File -> Settings... -> Tools -> UTBot
  4. Drag the Code analysis slider to the left most position - the Simplest
  5. Open utbot-sample/src/test/java/org/utbot/examples/algorithms/ArraysQuickSortTest.java
  6. Initiate test generation for the class with default settings (timeout 60 sec for the class)

Expected behavior

Tests are supposed to be generated after 60 sec maximum.

Actual behavior

Currently the test generation can last for 10 minutes approx.

Visual proofs (screenshots, logs, images)

Simplest Code analysis

Timeout for generation

Hanging for 10+ minutes

Environment

IntelliJ IDEA 2022.1.3

Additional context

When Code analysis slider is moved just 1 notch to the right - timeout doesn't exceed. If it is set to 10 sec - the generation ends in 10 sec approx. Only tests generated by Fuzzer are present in the Test class.

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

Status

Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions