Enable smart fuzzer for UTBot by default for a plugin #66

[Markoutte]

Description

This change enables fuzzing by default.

Fixes #66

Type of Change

• Breaking change (fix or feature that would cause existing functionality to not work as expected)

How Has This Been Tested?

Automated Testing

Fuzzing related tests can be found in module utbot-fuzzers (org/utbot/framework/plugin/api)

NB: Tests of different samples run without fuzzing

Manual Scenario

Change settings.properties with value:

checkSolverTimeoutMillis=1 

and generate test. The result should contain fuzzing-generated tests and can contain test created by symbolic engine. Usually the time is too small, and output contains only fuzzing-generated tests.

Try this example. Among fuzzing-generated test there's no test that returns 2.

public int floatToInt(float x) { if (x < 0) { if ((int) x < 0) { return 1; } return 2; // smth small to int zero } return 3; }