Closed
Description
Description
If symbolic executions require force mocking they can't be added to the resulting test class as parametrized tests.
Currently they are just skipped. So the test class generated in parameterized mode do not include all the test cases generated without parameterization.
It is suggested to add symbolic executions with force mocks as standard tests.
Just as has been done for Fuzzer executions in #1137
Expected behavior
The solution is to do the following in parameterized mode:
- create parameterized tests for symbolic executions without force mocks
- create standard tests for symbolic executions with force mocks
Potential alternatives
The solution is not ideal. There is the mix of parametrized and standard tests in one class.
The alternative - as it is working now - is to skip tests that require force mocking.
Context
Discussed with @EgorkaKulikov and @sofurihafe
Metadata
Metadata
Assignees
Type
Projects
Status
Done