Description

Refactor:

• Removed runBlockingWithCancellationPredicate in our tests pipeline
• Moved ExecutionState to org.utbot.engine.state package. Moved out succeeding operations for ExecutionState to ExecutionStateUpdates.kt
• Some minor refactorings

Add:

• A common Simplifer which holds a cache for a whole Traverser.
• A MemoryUpdateSimplifier which simplifies MemoryUpdates.

Problems:

• Also tried to add simplified local memory updates, but didn't succeed. SetsTest::testSetContainsInteger was continuously failing. Now they aren't being simplified explicitly, but simplified implicitly with Traverser::resolve(Value) function.

Type of Change

• Refactoring (typos and non-functional changes)

How Has This Been Tested?

Automated Testing

Tests are passing.

Manual Scenario

I checked our engine on synthetic test with ~200 groups of array store and array select expressions (see code), and now it's 50 times faster.

public int longMethod(int x, int y) {
    int[] arr = new int[201];
    int cur = 1;

    arr[cur] = arr[cur - 1] + x - y;
    cur++;

    arr[cur] = arr[cur - 1] + x - y;
    cur++;

    // ^^^^
    // 200 times
   
    if (arr[cur - 1] == 400) {
        return 1;
    }
    return 2;
}

Checklist:

• The change followed the style guidelines of the UTBot project
• Self-review of the code is passed
• The change contains enough commentaries, particularly in hard-to-understand areas
• No new warnings
• All tests pass locally with my changes