Problem with reduced test case generation #2
Description
When the code for generating a testcase is called again with reduced information, we get an assertion failure: Assertion `op.getSourcePathList().size() == 1' failed.
{{ message }}
When the code for generating a testcase is called again with reduced information, we get an assertion failure: Assertion `op.getSourcePathList().size() == 1' failed.