DISCOVERY Plug-in

You can achieve the coverage goal using [Test Case Generation using Symbolic Execution] feature.

Execute in Unit Test view

[Test Case Generation using Symbolic Execution] feature in Unit Test view allows to create and execute the checked test cases.

Execute in context menu

If you select multiple functions/tests and click [Test Case Generation using Symbolic Execution] in context menu, test cases are added to the selected functions/tests and executed.