Skip to content

Conversation

@sofurihafe
Copy link
Member

Description

Unit test generation without configuration for Spring

Fixes #2393

How to test

Automated tests

Not relevant.

Manual tests

  1. Open AnimalsAndPeople project.
  2. Make (0% < fuzzer value < 100%).
  3. Generate unit test without configuration with 60 seconds timeout for NamesService:getAllNames().
  4. Verify that one test from Symbolic Execution is generated.

@sofurihafe sofurihafe added comp-fuzzing Issue is related to the fuzzing ctg-bug-fix PR is fixing a bug labels Jul 10, 2023
@sofurihafe sofurihafe requested a review from EgorkaKulikov July 10, 2023 14:07
@EgorkaKulikov EgorkaKulikov changed the title Correct thisInstance null check place in Engine Make thisInstance null checks under timeout Jul 10, 2023
@EgorkaKulikov EgorkaKulikov enabled auto-merge (squash) July 10, 2023 14:21
@EgorkaKulikov EgorkaKulikov merged commit 66573e0 into main Jul 10, 2023
@EgorkaKulikov EgorkaKulikov deleted the andrey-t/fuzzer_null_check branch July 10, 2023 14:46
@alisevych alisevych requested a review from Markoutte July 11, 2023 13:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

comp-fuzzing Issue is related to the fuzzing ctg-bug-fix PR is fixing a bug

Projects

None yet

Development

Successfully merging this pull request may close these issues.

No tests for unit tests when Fuzzer is enabled

3 participants