Description

This PR adds the -ea command line for java invocation when an integration test is run. The test runner code is refactored: a list of additional arguments is added, and list builders are used instead of list concatenation during the command line construction.

As list builders are experimental in Kotlin 1.4.20, necessary @OptIn annotations and the corresponding compiler argument have been added. They will become obsolete upon transition to Kotlin 1.7.

Fixes #538

Type of Change

• Bug fix (non-breaking change which fixes an issue)
• Refactoring

How Has This Been Tested?

Automated Testing

A new test with assert statement was added to the utbot-framework test suite: org.utbot.examples.codegen.JavaAssertTest.

Manual Scenario

It is an infrastructural change, so no explicit manual checking is expected. To verify that the change works, it is necessary to add a test involving Java assert statement to the utbot-framework test suite.

Checklist (remove irrelevant options):

• 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
• New documentation is provided or existed one is altered
• No new warnings
• Tests that prove my change is effective
• All tests pass locally with my changes