Contest 2023

[Markoutte]

Description

This branch is used to build jar for contest with small changes that are not relevant to main product.

List of changes

• By default all tests that throw an exception should have @Test(expected = ) annotation
• Fuzzer's executions are chosen first, because they are more readable (contest has no source code for generating summaries for symbolic's executions)
• Too long test which are usually commented are removed from the output. It is done, because it is more readable for a human